Enum Statement 

pub enum Statement {
    Declare {
        type_: Type,
        name: Ident,
        value: Option<Expr>,
    },
    Expr(Expr),
    Return(Option<Expr>),
    If {
        condition: Expr,
        then: Block,
        otherwise: Option<Block>,
    },
    For {
        init: Box<Statement>,
        condition: Expr,
        step: Expr,
        body: Block,
    },
    While {
        condition: Expr,
        body: Block,
    },
    Break,
    ForEach {
        binding: Ident,
        range: Expr,
        body: Block,
    },
    Switch {
        value: Expr,
        cases: Vec<SwitchCase>,
    },
    Throw(Expr),
    Try {
        body: Block,
        handlers: Vec<CatchClause>,
    },
    Comment(Doc),
}

One statement.

Variants

Declare

A declaration with an optional initialiser.

Fields

type_: Type

Type.

name: Ident

Name.

value: Option<Expr>

Initialiser.

Expr(Expr)

An expression followed by ;.

Return(Option<Expr>)

return expr;

If

if (cond) { .. } else { .. }

Fields

condition: Expr

Condition.

then: Block

Then-block.

otherwise: Option<Block>

Else-block.

For

for (init; cond; step) { .. }

Not Statement::ForEach. A generated codec walks a collection by index because the index is what the wire needs — an element’s position decides its alignment and, in a map written in ascending key order, which entry is written at all.

Fields

init: Box<Statement>

Initialiser.

condition: Expr

Condition.

step: Expr

Step.

body: Block

Body.

While

while (cond) { .. }

Not a for with the two clauses left empty. A decoder walks a @mutable aggregate’s headers until the delimiter is used up and a PL_CDR1 list until its sentinel; neither has a counter.

Fields

condition: Expr

Condition.

body: Block

Body.

Break

break;

ForEach

for (auto& name : range) { .. }

Fields

binding: Ident

The binding.

range: Expr

What is iterated.

body: Block

The body.

Switch

switch (value) { case ..: }

Fields

value: Expr

What is switched on.

cases: Vec<SwitchCase>

The cases, in written order.

Throw(Expr)

throw expr;

The Java tree has had one from the start and this one had not, which held for as long as the only C++ output was data declarations. A CORBA skeleton’s default arm is throw CORBA::BAD_OPERATION(); — §8.3 — and a call expression spelled to look like one would compile and then fall through.

Try

try { .. } catch (T& name) { .. } catch (...) { .. }

A generated DDS-RPC service turns what an operation throws into the case of the reply union that carries it (DDS-RPC 1.0 §7.5.1.1.5) or into a remote exception code (§7.5.2); that needs a handler.

Fields

body: Block

The guarded block.

handlers: Vec<CatchClause>

The handlers, in written order.

Comment(Doc)

A comment on its own line.

Trait Implementations

impl Clone for Statement

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 Statement

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

Formats the value using the given formatter.

impl Eq for Statement

impl PartialEq for Statement

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Statement