reactives
API
Generated with
reactives/reactives/reactives.fullmv

reactives.fullmv

package reactives.fullmv

Members list

Packages

package reactives.fullmv.mirrors
package reactives.fullmv.sgt.synchronization
package reactives.fullmv.tasks

Type members

Classlikes

case class CaseClassTransactionSpanningTreeNode[T](txn: T, children: Array[CaseClassTransactionSpanningTreeNode[T]]) extends TransactionSpanningTreeNode[T]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
sealed trait FramingBranchResult[+T, +R]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Frame[T, R]
class FrameSupersede[T, R]
object FramingBranchResult

Attributes

Companion
trait
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
class FullMVEngine(val timeout: Duration, val schedulerName: String) extends SchedulerWithDynamicScope[State, TransactionHandle], FullMVTurnHost, HostImpl[FullMVTurn]

Attributes

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

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait FullMVTurn extends Initializer[State], FullMVTurnProxy, SubsumableLockEntryPoint, Hosted[FullMVTurn]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Show all
Known subtypes
object FullMVTurn

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
FullMVTurn.type
class FullMVTurnImpl(val host: FullMVEngine, val guid: GUID, val userlandThread: Thread, initialLock: SubsumableLock) extends FullMVTurn

Attributes

Companion
object
Supertypes
trait FullMVTurn
class Object
trait Matchable
class Any
Show all
object FullMVTurnImpl

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
object FullMVUtil

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
FullMVUtil.type
case class LockedSameSCC(lock: SubsumableLock) extends SCCState

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait SCCState
class Object
trait Matchable
class Any
Show all
sealed trait MaybeWritten[+V]

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
object NotFinal
object Unwritten
class Written[V]
class MutableTransactionSpanningTreeNode[T](val txn: T) extends TransactionSpanningTreeNode[T]

Attributes

Supertypes
class Object
trait Matchable
class Any
class NonblockingSkipListVersionHistory[V, T <: FullMVTurn](init: T, val valuePersistency: V) extends FullMVState[V, T]

A node version history datastructure

A node version history datastructure

Type parameters

InDep

the type of incoming dependency nodes

OutDep

the type of outgoing dependency nodes

T

the type of transactions

V

the type of stored values

Value parameters

init

the initial creating transaction

valuePersistency

the value persistency descriptor

Attributes

Companion
object
Supertypes
trait FullMVState[V, T]
class Object
trait Matchable
class Any
object NonblockingSkipListVersionHistory

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
case object NotFinal extends MaybeWritten[Nothing]

Attributes

Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait MaybeWritten[Nothing]
class Object
trait Matchable
class Any
Show all
Self type
NotFinal.type
sealed trait NotificationBranchResult[+T, +R]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object DoNothing
trait ReevOutBranchResult[T, R]
class PureNotifyOnly[R]
Show all
object NotificationBranchResult

Attributes

Companion
trait
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
sealed trait SCCConnectivity extends SCCState

Attributes

Supertypes
trait SCCState
class Object
trait Matchable
class Any
Known subtypes
sealed trait SCCState

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
object SerializationGraphTracking

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
case class TransactionHandle(ti: FullMVTurn) extends Transaction[State]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
trait TransactionSpanningTreeNode[T]

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
object TurnPhase

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
TurnPhase.type
case object UnlockedSameSCC extends SCCConnectivity

Attributes

Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait SCCState
class Object
trait Matchable
class Any
Show all
Self type
case object UnlockedUnknown extends SCCConnectivity

Attributes

Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait SCCState
class Object
trait Matchable
class Any
Show all
Self type
case object Unwritten extends MaybeWritten[Nothing]

Attributes

Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait MaybeWritten[Nothing]
class Object
trait Matchable
class Any
Show all
Self type
Unwritten.type
case class Written[V](valueForSelf: V, valueForFuture: V) extends MaybeWritten[V]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait MaybeWritten[V]
class Object
trait Matchable
class Any
Show all

Types

type OutDep = of[State]
type Reactive = of[State]
type State[V] = FullMVState[V, FullMVTurn]
Generated with