MutuallyTrustingSync

lofi_acl.sync.no_acl.MutuallyTrustingSync
class MutuallyTrustingSync[RDT](localIdentity: PrivateIdentity, initialRdt: (Dots, RDT), initialPermissions: (Dots, Set[PublicIdentity]))(using lattice: Lattice[RDT], msgJsonCode: JsonValueCodec[MutuallyTrustingSyncMessage[RDT]])

Attributes

Graph
Supertypes
trait Runnable
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

def addUser(user: PublicIdentity): Unit
override def canHandleMessage(msg: MutuallyTrustingSyncMessage[RDT]): Boolean

Checks whether the message can be handled

Checks whether the message can be handled

Attributes

Definition Classes
CausalityCheckingMessageHandler
override def handleMessage(msg: MutuallyTrustingSyncMessage[RDT], sender: PublicIdentity): Boolean

Handles the message and returns whether this message has changed the causal context.

Handles the message and returns whether this message has changed the causal context.

Attributes

Definition Classes
CausalityCheckingMessageHandler
def mutateRdt(deltaMutator: RDT => RDT): Unit
override def newMessageWithMissingPredecessors(msg: MutuallyTrustingSyncMessage[RDT], sender: PublicIdentity): Unit

Attributes

Definition Classes
CausalityCheckingMessageHandler
override def receivedMessage(msg: MutuallyTrustingSyncMessage[RDT], sender: PublicIdentity): Unit

Thread safe.

Thread safe.

Attributes

Definition Classes

Inherited methods

def connectionEstablished(publicIdentity: PublicIdentity): Unit

Attributes

Inherited from:
MessageReceiver
def connectionShutdown(publicIdentity: PublicIdentity): Unit

Attributes

Inherited from:
MessageReceiver
override def run(): Unit

Attributes

Definition Classes
CausalityCheckingMessageHandler -> Runnable
Inherited from:
CausalityCheckingMessageHandler (hidden)
def setStopped(): Unit

Attributes

Inherited from:
CausalityCheckingMessageHandler (hidden)

Inherited fields

val msgQueue: LinkedBlockingQueue[(MutuallyTrustingSyncMessage[RDT], PublicIdentity)]

Attributes

Inherited from:
CausalityCheckingMessageHandler (hidden)