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

SubsumableLockBundle

rescala.fullmv.sgt.synchronization.SubsumableLockBundle
trait SubsumableLockBundle extends FullMVBundle

Attributes

Graph
Supertypes
trait FullMVBundle
class Object
trait Matchable
class Any
Known subtypes
class FullMVApi
object default
Self type

Members list

Type members

Classlikes

object SubsumableLock

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
class SubsumableLockHostImpl extends SubsumableLockHost, HostImpl[SubsumableLock]

Attributes

Supertypes
class Object
trait Matchable
class Any
Show all
Known subtypes
object lockHost
class SubsumableLockImpl(val host: SubsumableLockHost, val guid: GUID) extends SubsumableLock

Attributes

Supertypes
class Object
trait Matchable
class Any
Show all
Self type

Inherited classlikes

class FullMVEngine(val timeout: Duration, val schedulerName: String) extends SchedulerImpl[State, TransactionHandle], FullMVTurnHost, HostImpl[FullMVTurn]

Attributes

Inherited from:
FullMVBundle
Supertypes
trait Host[FullMVTurn]
trait Scheduler[State]
class Object
trait Matchable
class Any
Show all
trait FullMVState[V, T <: FullMVTurn]

Attributes

Inherited from:
FullMVBundle
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object FullMVTurn

Attributes

Inherited from:
FullMVBundle
Supertypes
class Object
trait Matchable
class Any
trait FullMVTurn extends Initializer[State], FullMVTurnProxy, SubsumableLockEntryPoint, Hosted[FullMVTurn]

Attributes

Inherited from:
FullMVBundle
Supertypes
class Object
trait Matchable
class Any
Show all
Known subtypes
case class TransactionHandle(ti: FullMVTurn) extends Transaction[State]

Attributes

Inherited from:
FullMVBundle
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Inherited types

type OutDep = of[State]

Attributes

Inherited from:
FullMVBundle
type Reactive = of[State]

Attributes

Inherited from:
FullMVBundle
type State[V] = FullMVState[V, FullMVTurn]

Attributes

Inherited from:
FullMVBundle
Generated with