Struct AfterBlock 

pub struct AfterBlock {
    pub binding: String,
    pub predicate: AfterPredicate,
    pub alias: Option<String>,
    pub milestone: Option<String>,
    pub body: Vec<BodyStmt>,
    pub span: SourceSpan,
}

Fields

binding: String

predicate: AfterPredicate

alias: Option<String>

milestone: Option<String>

For after p reaches "<name>" as m: the child milestone name being observed (Family C). None for every other predicate. The name lives here rather than on AfterPredicate so the predicate stays a fieldless Copy enum (see AfterPredicate::Reaches).

body: Vec<BodyStmt>

span: SourceSpan

Trait Implementations

impl Clone for AfterBlock

fn clone(&self) -> AfterBlock

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AfterBlock

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

Formats the value using the given formatter.

impl Eq for AfterBlock

impl PartialEq for AfterBlock

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for AfterBlock