Request

replication.ProtocolMessage.Request
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.

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait ProtocolMessage[Nothing]
class Object
trait Matchable
class Any
Show all

Members list

Value members

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product