rescala
API
Generated with
rescala/rescala/rescala.fullmv/rescala.fullmv.sgt.synchronization/SubsumableLockBundle/SubsumableLock

SubsumableLock

rescala.fullmv.sgt.synchronization.SubsumableLockBundle.SubsumableLock
object SubsumableLock

Attributes

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