Struct PlanStep 

pub struct PlanStep {
    pub action: Trigger,
    pub text: Vec<StepText>,
    pub group: usize,
    pub written: Vec<StepText>,
    pub fired: Vec<ExpId>,
    pub invariants: Vec<ExpId>,
    pub checks: Vec<Check>,
    pub state: Condition,
}

Fields

action: Trigger

text: Vec<StepText>

group: usize

The written step it belongs to: docs show a group as one step.

written: Vec<StepText>

The group’s lines as written, on its first step.

fired: Vec<ExpId>

Transitions that fire.

invariants: Vec<ExpId>

Invariants in force afterwards.

checks: Vec<Check>

state: Condition

The predicted state afterwards.

Implementations

impl PlanStep

pub fn exercises(&self) -> impl Iterator<Item = ExpId> + '_

Trait Implementations

impl Clone for PlanStep

fn clone(&self) -> PlanStep

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PlanStep

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

Formats the value using the given formatter.