pub struct RuntimeTransition {
pub source: RuntimeState,
pub event: Event,
pub target: RuntimeState,
pub choice: ChoiceKind,
}Expand description
One edge in the generated runtime transition table.
Fields§
§source: RuntimeStatePhase from which the event is legal.
event: EventEvent which advances the protocol.
target: RuntimeStatePhase entered after the event.
choice: ChoiceKindRole which selects this event.
Trait Implementations§
Source§impl Clone for RuntimeTransition
impl Clone for RuntimeTransition
Source§fn clone(&self) -> RuntimeTransition
fn clone(&self) -> RuntimeTransition
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreimpl Copy for RuntimeTransition
Source§impl Debug for RuntimeTransition
impl Debug for RuntimeTransition
impl Eq for RuntimeTransition
Source§impl PartialEq for RuntimeTransition
impl PartialEq for RuntimeTransition
impl StructuralPartialEq for RuntimeTransition
Auto Trait Implementations§
impl Freeze for RuntimeTransition
impl RefUnwindSafe for RuntimeTransition
impl Send for RuntimeTransition
impl Sync for RuntimeTransition
impl Unpin for RuntimeTransition
impl UnsafeUnpin for RuntimeTransition
impl UnwindSafe for RuntimeTransition
Blanket Implementations§
Source§impl<'a, T, E> AsTaggedExplicit<'a, E> for Twhere
T: 'a,
impl<'a, T, E> AsTaggedExplicit<'a, E> for Twhere
T: 'a,
Source§impl<'a, T, E> AsTaggedImplicit<'a, E> for Twhere
T: 'a,
impl<'a, T, E> AsTaggedImplicit<'a, E> for Twhere
T: 'a,
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