Enum circomspect_program_structure::abstract_syntax_tree::ast::Statement

pub enum Statement {
    IfThenElse {
        meta: Meta,
        cond: Expression,
        if_case: Box<Statement>,
        else_case: Option<Box<Statement>>,
    },
    While {
        meta: Meta,
        cond: Expression,
        stmt: Box<Statement>,
    },
    Return {
        meta: Meta,
        value: Expression,
    },
    InitializationBlock {
        meta: Meta,
        xtype: VariableType,
        initializations: Vec<Statement>,
    },
    Declaration {
        meta: Meta,
        xtype: VariableType,
        name: String,
        dimensions: Vec<Expression>,
        is_constant: bool,
    },
    Substitution {
        meta: Meta,
        var: String,
        access: Vec<Access>,
        op: AssignOp,
        rhe: Expression,
    },
    ConstraintEquality {
        meta: Meta,
        lhe: Expression,
        rhe: Expression,
    },
    LogCall {
        meta: Meta,
        args: Vec<LogArgument>,
    },
    Block {
        meta: Meta,
        stmts: Vec<Statement>,
    },
    Assert {
        meta: Meta,
        arg: Expression,
    },
}

Variants

IfThenElse

Fields

meta: Meta

cond: Expression

if_case: Box<Statement>

else_case: Option<Box<Statement>>

While

Fields

meta: Meta

cond: Expression

stmt: Box<Statement>

Return

Fields

meta: Meta

value: Expression

InitializationBlock

Fields

meta: Meta

xtype: VariableType

initializations: Vec<Statement>

Declaration

Fields

meta: Meta

xtype: VariableType

name: String

dimensions: Vec<Expression>

is_constant: bool

Substitution

Fields

meta: Meta

var: String

access: Vec<Access>

op: AssignOp

rhe: Expression

ConstraintEquality

Fields

meta: Meta

lhe: Expression

rhe: Expression

LogCall

Fields

meta: Meta

args: Vec<LogArgument>

Block

Fields

meta: Meta

stmts: Vec<Statement>

Assert

Fields

meta: Meta

arg: Expression

Implementations

impl Statement

pub fn get_meta(&self) -> &Meta

pub fn get_mut_meta(&mut self) -> &mut Meta

pub fn is_if_then_else(&self) -> bool

pub fn is_while(&self) -> bool

pub fn is_return(&self) -> bool

pub fn is_initialization_block(&self) -> bool

pub fn is_declaration(&self) -> bool

pub fn is_substitution(&self) -> bool

pub fn is_constraint_equality(&self) -> bool

pub fn is_log_call(&self) -> bool

pub fn is_block(&self) -> bool

pub fn is_assert(&self) -> bool

Trait Implementations

impl Clone for Statement

fn clone(&self) -> Statement

Returns a copy 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<(), Error>

Formats the value using the given formatter.

impl Display for Statement

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

Formats the value using the given formatter.

impl FillMeta for Statement

fn fill(&mut self, file_id: usize, element_id: &mut usize)