Struct Trigger 

pub struct Trigger {
    pub event: Option<EventId>,
    pub changes: Condition,
}

What sets an expectation off: an event, a change the outside world makes to some states, or both at once.

Fields

event: Option<EventId>

changes: Condition

Implementations

impl Trigger

pub fn is_none(&self) -> bool

No event and no change: the expectation is an invariant that holds whenever its Given does.

pub fn compatible(&self, o: &Trigger) -> bool

Could a single action set off both?

pub fn fires(&self, o: &Trigger) -> bool

Does performing this action certainly set off an expectation triggered by o?

pub fn may_fire(&self, o: &Trigger) -> bool

Might performing this action set off o, depending on which value it picks? Only if it changes every state o is set off by.

Trait Implementations

impl Clone for Trigger

fn clone(&self) -> Trigger

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Trigger

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

Formats the value using the given formatter.

impl Default for Trigger

fn default() -> Trigger

Returns the “default value” for a type.

impl Eq for Trigger

impl Hash for Trigger

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 PartialEq for Trigger

fn eq(&self, other: &Trigger) -> bool

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Trigger