reactives
API
Generated with
reactives/reactives/reactives.fullmv/reactives.fullmv.sgt.synchronization/SubsumableLockImpl

SubsumableLockImpl

reactives.fullmv.sgt.synchronization.SubsumableLockImpl
See theSubsumableLockImpl companion class
object SubsumableLockImpl

Attributes

Companion
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

def acquireLock[R](contender: FullMVTurn, timeout: Duration): SubsumableLock
def acquireLock[R](defender: FullMVTurn, contender: FullMVTurn, timeout: Duration): Option[SubsumableLock]

Concrete fields

val DEBUG: Boolean
val futureNone: Future[None.type]
Generated with