Enum EndMethod 

pub enum EndMethod {
    Triggered,
    Matched,
}

Which end-point method a Transition::EndPoint applies.

Variants

Triggered

.triggered (16.9.11, 16.13.6): the instance’s ending clock is the clock of the context the method appears in (the builder rejects any other), so the status is read on the same tick it is set.

Matched

.matched (16.13.5): the instance may run on another clock. Its status is SET at the instance’s own end point and persists until the Observed region following the first tick of the testing clock after the match, so a testing tick sees every match since the previous testing tick, up to and including a match at the very time of the tick (a one-slot handoff between the two clock domains).

Trait Implementations

impl Clone for EndMethod

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for EndMethod

impl Debug for EndMethod

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

Formats the value using the given formatter.

impl Eq for EndMethod

impl Hash for EndMethod

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 EndMethod

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for EndMethod