Enum firm_construction::ast::Expr

pub enum Expr<'t> where
    't: 't,  {
    Binary(BinaryOp, Box<Spanned<'t, Expr<'t>>>, Box<Spanned<'t, Expr<'t>>>),
    Unary(UnaryOp, Box<Spanned<'t, Expr<'t>>>),
    MethodInvocation(Box<Spanned<'t, Expr<'t>>>, Spanned<'t, Symbol<'t>>, Spanned<'t, Vec<Spanned<'t, Expr<'t>>>>),
    FieldAccess(Box<Spanned<'t, Expr<'t>>>, Spanned<'t, Symbol<'t>>),
    ArrayAccess(Box<Spanned<'t, Expr<'t>>>, Box<Spanned<'t, Expr<'t>>>),
    Null,
    Boolean(bool),
    Int(Spanned<'t, &'t str>),
    NegInt(Spanned<'t, &'t str>),
    Var(Spanned<'t, Symbol<'t>>),
    ThisMethodInvocation(Spanned<'t, Symbol<'t>>, Spanned<'t, Vec<Spanned<'t, Expr<'t>>>>),
    This,
    NewObject(Spanned<'t, Symbol<'t>>),
    NewArray(Spanned<'t, BasicType<'t>>, Box<Spanned<'t, Expr<'t>>>, u64),
}

An expression is either one of

• Assignment: an assignment expression
• Binary: one of the binary operations defined in BinaryOp
• Unary: one of the unary operations defined in UnaryOp
• MethodInvocation: a method invocation on a primary expression: foo.method()
• FieldAccess: a field access on a primary expression: foo.bar
• ArrayAccess: an array access on a primary expression: foo[42] The primary expression from the original grammar are also part of this, since the distinction is only required for correct postfix-op parsing. These are:
• Null: the null keyword
• Boolean: a boolean literal
• Int: an integer literal
• Var: use of a variable
• MethodInvocation: a method invocation
• This: the this keyword
• NewObject: generating a new object, e.g. new Foo()
• NewArray: generating a new array, e.g. new int[]

Variants

Binary(BinaryOp, Box<Spanned<'t, Expr<'t>>>, Box<Spanned<'t, Expr<'t>>>)Unary(UnaryOp, Box<Spanned<'t, Expr<'t>>>)MethodInvocation(Box<Spanned<'t, Expr<'t>>>, Spanned<'t, Symbol<'t>>, Spanned<'t, Vec<Spanned<'t, Expr<'t>>>>)FieldAccess(Box<Spanned<'t, Expr<'t>>>, Spanned<'t, Symbol<'t>>)ArrayAccess(Box<Spanned<'t, Expr<'t>>>, Box<Spanned<'t, Expr<'t>>>)NullBoolean(bool)Int(Spanned<'t, &'t str>)NegInt(Spanned<'t, &'t str>)Var(Spanned<'t, Symbol<'t>>)ThisMethodInvocation(Spanned<'t, Symbol<'t>>, Spanned<'t, Vec<Spanned<'t, Expr<'t>>>>)ThisNewObject(Spanned<'t, Symbol<'t>>)NewArray(Spanned<'t, BasicType<'t>>, Box<Spanned<'t, Expr<'t>>>, u64)

Trait Implementations

impl<'t> PartialEq<Expr<'t>> for Expr<'t>

fn eq(&self, other: &Expr<'t>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Expr<'t>) -> bool

This method tests for !=.

impl<'t> Eq for Expr<'t>

impl<'t> Debug for Expr<'t>

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

Formats the value using the given formatter.

impl<'t> From<Expr<'t>> for ExprDiscriminants

fn from(val: Expr<'t>) -> ExprDiscriminants

Performs the conversion.

impl<'t, '_enum> From<&'_enum Expr<'t>> for ExprDiscriminants

fn from(val: &'_enum Expr<'t>) -> ExprDiscriminants

Performs the conversion.

impl<'t> Clone for Expr<'t>

fn clone(&self) -> Expr<'t>

Returns a copy of the value.

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

Performs copy-assignment from source.