Enum stateright::Expectation
source · pub enum Expectation {
Always,
Eventually,
Sometimes,
}
Expand description
Indicates whether a property is always, eventually, or sometimes true.
Variants§
Always
The property is true for all reachable states.
Eventually
The property is eventually true for all behavior paths.
Sometimes
The property is true for at least one reachable state.
Implementations§
source§impl Expectation
impl Expectation
pub const fn discovery_is_failure(&self) -> bool
Trait Implementations§
source§impl Clone for Expectation
impl Clone for Expectation
source§fn clone(&self) -> Expectation
fn clone(&self) -> Expectation
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl Debug for Expectation
impl Debug for Expectation
source§impl<'de> Deserialize<'de> for Expectation
impl<'de> Deserialize<'de> for Expectation
source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
source§impl Ord for Expectation
impl Ord for Expectation
source§fn cmp(&self, other: &Expectation) -> Ordering
fn cmp(&self, other: &Expectation) -> Ordering
1.21.0 · source§fn max(self, other: Self) -> Selfwhere
Self: Sized,
fn max(self, other: Self) -> Selfwhere
Self: Sized,
Compares and returns the maximum of two values. Read more
source§impl PartialEq for Expectation
impl PartialEq for Expectation
source§fn eq(&self, other: &Expectation) -> bool
fn eq(&self, other: &Expectation) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.source§impl PartialOrd for Expectation
impl PartialOrd for Expectation
source§fn partial_cmp(&self, other: &Expectation) -> Option<Ordering>
fn partial_cmp(&self, other: &Expectation) -> Option<Ordering>
1.0.0 · source§fn le(&self, other: &Rhs) -> bool
fn le(&self, other: &Rhs) -> bool
This method tests less than or equal to (for
self
and other
) and is used by the <=
operator. Read moresource§impl Serialize for Expectation
impl Serialize for Expectation
impl Eq for Expectation
impl StructuralPartialEq for Expectation
Auto Trait Implementations§
impl Freeze for Expectation
impl RefUnwindSafe for Expectation
impl Send for Expectation
impl Sync for Expectation
impl Unpin for Expectation
impl UnwindSafe for Expectation
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more