Enum ExprKind

pub enum ExprKind<'hir> {
    Array(&'hir [Expr<'hir>]),
    Assign(&'hir Expr<'hir>, Option<BinOp>, &'hir Expr<'hir>),
    Binary(&'hir Expr<'hir>, BinOp, &'hir Expr<'hir>),
    Call(&'hir Expr<'hir>, CallArgs<'hir>, Option<&'hir [NamedArg<'hir>]>),
    Delete(&'hir Expr<'hir>),
    Ident(&'hir [Res]),
    Index(&'hir Expr<'hir>, Option<&'hir Expr<'hir>>),
    Slice(&'hir Expr<'hir>, Option<&'hir Expr<'hir>>, Option<&'hir Expr<'hir>>),
    Lit(&'hir Lit<'hir>),
    Member(&'hir Expr<'hir>, Ident),
    New(Type<'hir>),
    Payable(&'hir Expr<'hir>),
    Ternary(&'hir Expr<'hir>, &'hir Expr<'hir>, &'hir Expr<'hir>),
    Tuple(&'hir [Option<&'hir Expr<'hir>>]),
    TypeCall(Type<'hir>),
    Type(Type<'hir>),
    Unary(UnOp, &'hir Expr<'hir>),
    Err(ErrorGuaranteed),
}

A kind of expression.

Variants

Array(&'hir [Expr<'hir>])

An array literal expression: [a, b, c, d].

Assign(&'hir Expr<'hir>, Option<BinOp>, &'hir Expr<'hir>)

An assignment: a = b, a += b.

Binary(&'hir Expr<'hir>, BinOp, &'hir Expr<'hir>)

A binary operation: a + b, a >> b.

Call(&'hir Expr<'hir>, CallArgs<'hir>, Option<&'hir [NamedArg<'hir>]>)

A function call expression: foo(42), foo({ bar: 42 }), foo{ gas: 100_000 }(42).

Delete(&'hir Expr<'hir>)

A unary delete expression: delete vector.

Ident(&'hir [Res])

A resolved symbol: foo.

Potentially multiple references if it refers to something like an overloaded function.

Index(&'hir Expr<'hir>, Option<&'hir Expr<'hir>>)

A square bracketed indexing expression: vector[index], MyType[].

Slice(&'hir Expr<'hir>, Option<&'hir Expr<'hir>>, Option<&'hir Expr<'hir>>)

A square bracketed slice expression: slice[l:r].

Lit(&'hir Lit<'hir>)

A literal: hex"1234", 5.6 ether.

Member(&'hir Expr<'hir>, Ident)

Access of a named member: obj.k.

New(Type<'hir>)

A new expression: new Contract.

Payable(&'hir Expr<'hir>)

A payable expression: payable(address(0x...)).

Ternary(&'hir Expr<'hir>, &'hir Expr<'hir>, &'hir Expr<'hir>)

A ternary (AKA conditional) expression: foo ? bar : baz.

Tuple(&'hir [Option<&'hir Expr<'hir>>])

A tuple expression: (a,,, b, c, d).

TypeCall(Type<'hir>)

A type() expression: type(uint256).

Type(Type<'hir>)

An elementary type name: uint256.

Unary(UnOp, &'hir Expr<'hir>)

A unary operation: !x, -x, x++.

Err(ErrorGuaranteed)

Trait Implementations

impl<'hir> Debug for ExprKind<'hir>

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

Formats the value using the given formatter.