Struct stateright::semantics::register::Register

pub struct Register<T>(pub T);

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

Tuple Fields

0: T

Trait Implementations

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

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

Returns a copy of the value.

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

Performs copy-assignment from source.

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

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

Formats the value using the given formatter.

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

fn default() -> Register<T>

Returns the “default value” for a type.

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

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

Feeds this value into the given Hasher.

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

Feeds a slice of this type into the given Hasher.

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

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

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

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

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.

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

Invokes an operation on this reference object.

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).

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,

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>