Enum c2rust_transpile::cfg::structures::StructuredAST

pub enum StructuredAST<E, P, L, S> {
    Empty,
    Singleton(S),
    Append(Box<StructuredAST<E, P, L, S>>, Box<StructuredAST<E, P, L, S>>),
    Goto(L),
    Match(E, Vec<(Vec<P>, StructuredAST<E, P, L, S>)>),
    If(E, Box<StructuredAST<E, P, L, S>>, Box<StructuredAST<E, P, L, S>>),
    GotoTable(Vec<(L, StructuredAST<E, P, L, S>)>, Box<StructuredAST<E, P, L, S>>),
    Loop(Option<L>, Box<StructuredAST<E, P, L, S>>),
    Exit(ExitStyle, Option<L>),
}

Defunctionalized version of StructuredStatement trait

Variants

EmptySingleton(S)Append(Box<StructuredAST<E, P, L, S>>, Box<StructuredAST<E, P, L, S>>)Goto(L)Match(E, Vec<(Vec<P>, StructuredAST<E, P, L, S>)>)If(E, Box<StructuredAST<E, P, L, S>>, Box<StructuredAST<E, P, L, S>>)GotoTable(Vec<(L, StructuredAST<E, P, L, S>)>, Box<StructuredAST<E, P, L, S>>)Loop(Option<L>, Box<StructuredAST<E, P, L, S>>)Exit(ExitStyle, Option<L>)

Trait Implementations

impl<E, P, L, S> StructuredStatement for StructuredAST<E, P, L, S>

type E = E

An expression

type P = P

A pattern

type L = L

A label

type S = S

An unstructured regular statement

fn empty() -> Self

An empty statement

fn mk_singleton(stmt: Self::S) -> Self

Project a single statement into a structured statement

fn mk_append(self, second: Self) -> Self

Execute one statement, then the other

fn mk_goto(to: Self::L) -> Self

Jump to a label

fn mk_match(cond: Self::E, cases: Vec<(Vec<Self::P>, Self)>) -> Self

Make a match statement

fn mk_if(cond: Self::E, then: Self, else_: Self) -> Self

Make an if statement

fn mk_goto_table(cases: Vec<(Self::L, Self)>, then: Self) -> Self

Make a goto table

fn mk_loop(lbl: Option<Self::L>, body: Self) -> Self

Make some sort of loop

fn mk_exit(exit_style: ExitStyle, label: Option<Self::L>) -> Self

Make an exit from a loop