Enum c2rust_transpile::cfg::Structure

pub enum Structure<Stmt> {
    Simple {
        entries: IndexSet<Label>,
        body: Vec<Stmt>,
        terminator: GenTerminator<StructureLabel<Stmt>>,
    },
    Loop {
        entries: IndexSet<Label>,
        body: Vec<Structure<Stmt>>,
    },
    Multiple {
        entries: IndexSet<Label>,
        branches: IndexMap<Label, Vec<Structure<Stmt>>>,
        then: Vec<Structure<Stmt>>,
    },
}

These are the things that the relooper algorithm produces.

Variants

Simple

Series of statements and what to do after

Fields of Simple

entries: IndexSet<Label>body: Vec<Stmt>terminator: GenTerminator<StructureLabel<Stmt>>

Loop

Looping constructs

Fields of Loop

entries: IndexSet<Label>body: Vec<Structure<Stmt>>

Multiple

Branching constructs

Fields of Multiple

entries: IndexSet<Label>branches: IndexMap<Label, Vec<Structure<Stmt>>>then: Vec<Structure<Stmt>>

Trait Implementations

impl<Stmt: Clone> Clone for Structure<Stmt>

fn clone(&self) -> Structure<Stmt>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<Stmt: Debug> Debug for Structure<Stmt>

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

Formats the value using the given formatter.