Enum Terminator 

pub enum Terminator {
    Jump(BlockId),
    Branch {
        cond: CondId,
        then: BlockId,
        otherwise: BlockId,
    },
    Select(Vec<BlockId>),
    ParagraphEnd {
        next: ParaId,
    },
    GoTo(ParaId),
    Switch {
        value: IntExpr,
        targets: Vec<ParaId>,
        otherwise: BlockId,
    },
    PerformEnter {
        range: RangeId,
        ret: BlockId,
        resume: Option<Resume>,
    },
    ExitProgram {
        next: BlockId,
    },
    End(Ending),
    Abend(AbendId),
    AlteredGoTo {
        para: ParaId,
        otherwise: BlockId,
    },
    Debug {
        range: RangeId,
        name: SymId,
        next: BlockId,
    },
}

Variants

Jump(BlockId)

Branch

Fields

cond: CondId

then: BlockId

otherwise: BlockId

Select(Vec<BlockId>)

On the Arm the block’s last op returned.

ParagraphEnd

Control passes the end of paragraph next − 1 for next, which may be one past the last: the return point armed there, if any, is taken.

Fields

next: ParaId

GoTo(ParaId)

Switch

GO TO … DEPENDING ON: targets[k − 1] for k in range, taken as a GoTo; else otherwise.

Fields

value: IntExpr

targets: Vec<ParaId>

otherwise: BlockId

PerformEnter

An out-of-line PERFORM: push a frame, arm its return point and enter the range; ret runs when it completes.

Fields

range: RangeId

ret: BlockId

resume: Option<Resume>

ExitProgram

Nothing in the run unit’s first program, GOBACK in any other.

Fields

next: BlockId

End(Ending)

Abend(AbendId)

AlteredGoTo

The entry of a paragraph an ALTER names: a GoTo of the target the alter table holds for para, or Jump(otherwise) while it holds none.

Fields

para: ParaId

otherwise: BlockId

Debug

Under the DEBUG option, the entry of a paragraph a debugging section serves: the section runs with DEBUG-NAME name, then next; a section that leaves takes the top frame with it.

Fields

range: RangeId

name: SymId

next: BlockId

Trait Implementations

impl Clone for Terminator

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Terminator

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

Formats the value using the given formatter.

impl Decode for Terminator

fn decode(r: &mut Reader<'_>) -> Result<Self, ModuleError>

impl Encode for Terminator

fn encode(&self, w: &mut Writer)

impl Eq for Terminator

impl PartialEq for Terminator

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Terminator