Enum circomspect_program_structure::abstract_syntax_tree::ast::Expression

pub enum Expression {
    InfixOp {
        meta: Meta,
        lhe: Box<Expression>,
        infix_op: ExpressionInfixOpcode,
        rhe: Box<Expression>,
    },
    PrefixOp {
        meta: Meta,
        prefix_op: ExpressionPrefixOpcode,
        rhe: Box<Expression>,
    },
    InlineSwitchOp {
        meta: Meta,
        cond: Box<Expression>,
        if_true: Box<Expression>,
        if_false: Box<Expression>,
    },
    ParallelOp {
        meta: Meta,
        rhe: Box<Expression>,
    },
    Variable {
        meta: Meta,
        name: String,
        access: Vec<Access>,
    },
    Number(Meta, BigInt),
    Call {
        meta: Meta,
        id: String,
        args: Vec<Expression>,
    },
    ArrayInLine {
        meta: Meta,
        values: Vec<Expression>,
    },
}

Variants

InfixOp

Fields

meta: Meta

lhe: Box<Expression>

infix_op: ExpressionInfixOpcode

rhe: Box<Expression>

PrefixOp

Fields

meta: Meta

prefix_op: ExpressionPrefixOpcode

rhe: Box<Expression>

InlineSwitchOp

Fields

meta: Meta

cond: Box<Expression>

if_true: Box<Expression>

if_false: Box<Expression>

ParallelOp

Fields

meta: Meta

rhe: Box<Expression>

Variable

Fields

meta: Meta

name: String

access: Vec<Access>

Number(Meta, BigInt)

Call

Fields

meta: Meta

id: String

args: Vec<Expression>

ArrayInLine

Fields

meta: Meta

values: Vec<Expression>

Implementations

impl Expression

pub fn get_meta(&self) -> &Meta

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

pub fn is_array(&self) -> bool

pub fn is_infix(&self) -> bool

pub fn is_prefix(&self) -> bool

pub fn is_switch(&self) -> bool

pub fn is_variable(&self) -> bool

pub fn is_number(&self) -> bool

pub fn is_call(&self) -> bool

pub fn is_parallel(&self) -> bool

Trait Implementations

impl Clone for Expression

fn clone(&self) -> Expression

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Expression

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

Formats the value using the given formatter.

impl Display for Expression

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

Formats the value using the given formatter.

impl FillMeta for Expression

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