Struct stateright::semantics::register::Register

pub struct Register<T>(pub T);

A simple register used to define reference operational semantics via SequentialSpec.

Trait Implementations

impl<T: Clone> Clone for Register<T>

pub fn clone(&self) -> Register<T>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for Register<T>

pub fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<T: Default> Default for Register<T>

pub fn default() -> Register<T>

Returns the "default value" for a type.

impl<T: Hash> Hash for Register<T>

pub fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

pub fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given Hasher.

impl<T: PartialEq> PartialEq<Register<T>> for Register<T>

pub fn eq(&self, other: &Register<T>) -> bool

This method tests for self and other values to be equal, and is used by ==.

pub fn ne(&self, other: &Register<T>) -> bool

This method tests for !=.

impl<T: Clone + Debug + PartialEq> SequentialSpec for Register<T>

type Op = RegisterOp<T>

The type of operators. Often an enum.

type Ret = RegisterRet<T>

The type of values return by the operators. Often an enum or Option.

pub fn invoke(&mut self, op: &Self::Op) -> Self::Ret

Invokes an operation on this reference object.

pub fn is_valid_step(&mut self, op: &Self::Op, ret: &Self::Ret) -> bool

Indicates whether invoking a specified operation might result in a specified return value. Includes a default implementation that calls invoke, but a manual implementation may be provided for efficiency purposes (e.g. to avoid a clone() call).

pub fn is_valid_history(
    &mut self,
    ops: impl IntoIterator<Item = (Self::Op, Self::Ret)>
) -> bool

Indicates whether a sequential history of operations and corresponding return values is valid for this reference object.

impl<T> Serialize for Register<T> where
    T: Serialize, 

pub fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error> where
    __S: Serializer, 

Serialize this value into the given Serde serializer.

impl<T> StructuralPartialEq for Register<T>