replication.ProtocolMessage
See theProtocolMessage companion trait
object ProtocolMessage
Attributes
- Companion
- trait
- Graph
-
- Supertypes
-
trait Sumtrait Mirrorclass Objecttrait Matchableclass Any
- Self type
-
ProtocolMessage.type
Members list
Type members
Classlikes
case class Payload[+T](senders: Set[Uid], dots: Dots, data: T) extends ProtocolMessage[T]
Guarantees that for two payloads a and b, that if a.dots <= b.dots, then a.data <= b.data according to the lattice of T
Guarantees that for two payloads a and b, that if a.dots <= b.dots, then a.data <= b.data according to the lattice of T
Attributes
- Companion
- object
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait ProtocolMessage[T]class Objecttrait Matchableclass AnyShow all
object Payload
case class Ping(time: Long) extends ProtocolMessage[Nothing]
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait ProtocolMessage[Nothing]class Objecttrait Matchableclass AnyShow all
case class Pong(time: Long) extends ProtocolMessage[Nothing]
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait ProtocolMessage[Nothing]class Objecttrait Matchableclass AnyShow all
case class Request(sender: Uid, knows: Dots) extends ProtocolMessage[Nothing]
knows has to be a subset of the dots known at the sender. The sender of the request should then eventually receive all known missing dots.
knows has to be a subset of the dots known at the sender. The sender of the request should then eventually receive all known missing dots.
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait ProtocolMessage[Nothing]class Objecttrait Matchableclass AnyShow all
Inherited and Abstract types
The names of the product elements
The names of the product elements
Attributes
- Inherited from:
- Mirror
The name of the type
The name of the type
Attributes
- Inherited from:
- Mirror
In this article