Enum stateright::actor::register::RegisterCfg

pub enum RegisterCfg<Id, Value, ServerCfg> {
    Client {
        server_ids: Vec<Id>,
        desired_value: Value,
    },
    Server(ServerCfg),
}

A wrapper configuration for model-checking a register-like actor.

Variants

Client

Fields of Client

server_ids: Vec<Id>desired_value: Value

Server(ServerCfg)

Trait Implementations

impl<Id, Value, ServerCfg, ServerMsg: Serialize + DeserializeOwned> Actor<Id> for RegisterCfg<Id, Value, ServerCfg> where
    Id: Copy + Ord,
    Value: Clone,
    ServerCfg: Actor<Id, Msg = RegisterMsg<Value, ServerMsg>>, 

type Msg = ServerCfg::Msg

The type of messages sent and received by this actor.

type State = RegisterState<ServerCfg::State>

The type of state maintained by this actor.

fn start(&self) -> ActorResult<Id, Self::Msg, Self::State>

Indicates the initial state and outputs for the actor.

fn advance(
    &self,
    state: &Self::State,
    input: &ActorInput<Id, Self::Msg>
) -> Option<ActorResult<Id, Self::Msg, Self::State>>

Indicates the updated state and outputs for the actor when it receives an input.

fn deserialize(&self, bytes: &[u8]) -> Result<Self::Msg> where
    Self::Msg: DeserializeOwned, 

Indicates how to deserialize messages received by a spawned actor.

fn serialize(&self, msg: &Self::Msg) -> Result<Vec<u8>> where
    Self::Msg: Serialize, 

Indicates how to serialize messages sent by a spawned actor.

impl<Id: Clone, Value: Clone, ServerCfg: Clone> Clone for RegisterCfg<Id, Value, ServerCfg>

fn clone(&self) -> RegisterCfg<Id, Value, ServerCfg>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.