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>,
    },
    AnonymousComponent {
        meta: Meta,
        id: String,
        is_parallel: bool,
        params: Vec<Expression>,
        signals: Vec<Expression>,
        names: Option<Vec<(AssignOp, String)>>,
    },
    ArrayInLine {
        meta: Meta,
        values: Vec<Expression>,
    },
    Tuple {
        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>

AnonymousComponent

Fields

meta: Meta

id: String

is_parallel: bool

params: Vec<Expression>

signals: Vec<Expression>

names: Option<Vec<(AssignOp, String)>>

ArrayInLine

Fields

meta: Meta

values: Vec<Expression>

Tuple

Fields

meta: Meta

values: Vec<Expression>

Implementations

impl Expression

pub fn meta(&self) -> &Meta

pub fn meta_mut(&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

pub fn is_tuple(&self) -> bool

pub fn is_anonymous_component(&self) -> bool

pub fn make_anonymous_parallel(self) -> Expression

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)