Enum ExprData 

pub enum ExprData<'a> {
    DummyExpr,
    LiteralExpr(Lit),
    IdentExpr(Spanned<Name>),
    SysIdentExpr(Spanned<Name>),
    ThisExpr,
    DollarExpr,
    NullExpr,
    ScopeExpr(Box<Expr<'a>>, Spanned<Name>),
    IndexExpr {
        indexee: Box<Expr<'a>>,
        index: Box<Expr<'a>>,
    },
    UnaryExpr {
        op: Op,
        expr: Box<Expr<'a>>,
        postfix: bool,
    },
    BinaryExpr {
        op: Op,
        lhs: Box<Expr<'a>>,
        rhs: Box<Expr<'a>>,
    },
    TernaryExpr {
        cond: Box<Expr<'a>>,
        true_expr: Box<Expr<'a>>,
        false_expr: Box<Expr<'a>>,
    },
    AssignExpr {
        op: AssignOp,
        lhs: Box<Expr<'a>>,
        rhs: Box<Expr<'a>>,
    },
    CallExpr(Box<Expr<'a>>, Vec<CallArg<'a>>),
    TypeExpr(Box<Type<'a>>),
    ConstructorCallExpr(Vec<CallArg<'a>>),
    ClassNewExpr(Option<Box<Expr<'a>>>),
    ArrayNewExpr(Box<Expr<'a>>, Option<Box<Expr<'a>>>),
    EmptyQueueExpr,
    StreamConcatExpr {
        slice: Option<StreamConcatSlice<'a>>,
        exprs: Vec<StreamExpr<'a>>,
    },
    ConcatExpr {
        repeat: Option<Box<Expr<'a>>>,
        exprs: Vec<Expr<'a>>,
    },
    MinTypMaxExpr {
        min: Box<Expr<'a>>,
        typ: Box<Expr<'a>>,
        max: Box<Expr<'a>>,
    },
    RangeExpr {
        mode: RangeMode,
        lhs: Box<Expr<'a>>,
        rhs: Box<Expr<'a>>,
    },
    MemberExpr {
        expr: Box<Expr<'a>>,
        name: Spanned<Name>,
    },
    PatternExpr(Vec<PatternField<'a>>),
    InsideExpr(Box<Expr<'a>>, Vec<ValueRange<'a>>),
    CastExpr(Type<'a>, Box<Expr<'a>>),
    CastSizeExpr(Box<Expr<'a>>, Box<Expr<'a>>),
    CastSignExpr(Spanned<TypeSign>, Box<Expr<'a>>),
    BitsExpr {
        name: Spanned<Name>,
        arg: TypeOrExpr<'a>,
    },
}

An expression.

Variants

DummyExpr

LiteralExpr(Lit)

IdentExpr(Spanned<Name>)

An identifier, like foo.

SysIdentExpr(Spanned<Name>)

A system identifier, like $foo.

ThisExpr

DollarExpr

NullExpr

ScopeExpr(Box<Expr<'a>>, Spanned<Name>)

IndexExpr

Fields

indexee: Box<Expr<'a>>

index: Box<Expr<'a>>

UnaryExpr

Fields

op: Op

expr: Box<Expr<'a>>

postfix: bool

BinaryExpr

Fields

op: Op

lhs: Box<Expr<'a>>

rhs: Box<Expr<'a>>

TernaryExpr

Fields

cond: Box<Expr<'a>>

true_expr: Box<Expr<'a>>

false_expr: Box<Expr<'a>>

AssignExpr

Fields

op: AssignOp

lhs: Box<Expr<'a>>

rhs: Box<Expr<'a>>

CallExpr(Box<Expr<'a>>, Vec<CallArg<'a>>)

TypeExpr(Box<Type<'a>>)

ConstructorCallExpr(Vec<CallArg<'a>>)

ClassNewExpr(Option<Box<Expr<'a>>>)

ArrayNewExpr(Box<Expr<'a>>, Option<Box<Expr<'a>>>)

EmptyQueueExpr

StreamConcatExpr

Fields

slice: Option<StreamConcatSlice<'a>>

exprs: Vec<StreamExpr<'a>>

ConcatExpr

Fields

repeat: Option<Box<Expr<'a>>>

exprs: Vec<Expr<'a>>

MinTypMaxExpr

Fields

min: Box<Expr<'a>>

typ: Box<Expr<'a>>

max: Box<Expr<'a>>

RangeExpr

Fields

mode: RangeMode

lhs: Box<Expr<'a>>

rhs: Box<Expr<'a>>

MemberExpr

A member expression, like a.b.

Fields

expr: Box<Expr<'a>>

name: Spanned<Name>

PatternExpr(Vec<PatternField<'a>>)

InsideExpr(Box<Expr<'a>>, Vec<ValueRange<'a>>)

CastExpr(Type<'a>, Box<Expr<'a>>)

CastSizeExpr(Box<Expr<'a>>, Box<Expr<'a>>)

CastSignExpr(Spanned<TypeSign>, Box<Expr<'a>>)

BitsExpr

A $bits call.

Fields

name: Spanned<Name>

arg: TypeOrExpr<'a>

Trait Implementations

impl<'a> AcceptVisitor<'a> for ExprData<'a>

fn accept(&'a self, visitor: &mut dyn Visitor<'a>)

Walk a visitor over the contents of self.

impl<'a> AnyNodeData for ExprData<'a>

fn get_name(&self) -> Option<Spanned<Name>>

Get this node’s name, or None if it does not have one.

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

Describe this node for diagnostics in indefinite form, e.g. “entity”.

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

Describe this node for diagnostics in definite form, e.g. “entity ‘top’”.

fn as_data(&self) -> &dyn AnyNodeData

where Self: Sized,

fn format_indefinite(&self) -> FormatNodeIndefinite<'_>

where Self: Sized,

Describe this node for diagnostics in indefinite form, e.g. “entity”.

fn format_definite(&self) -> FormatNodeDefinite<'_>

where Self: Sized,

Describe this node for diagnostics in definite form, e.g. “entity ‘top’”.

fn to_indefinite_string(&self) -> String

where Self: Sized,

Describe this node for diagnostics in indefinite form, e.g. “entity”.

fn to_definite_string(&self) -> String

where Self: Sized,

Describe this node for diagnostics in definite form, e.g. “entity ‘top’”.

impl<'a> Clone for ExprData<'a>

fn clone(&self) -> ExprData<'a>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for ExprData<'a>

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

Formats the value using the given formatter.

impl<'a> ForEachChild<'a> for ExprData<'a>

fn for_each_child(&'a self, each: &mut dyn FnMut(&'a dyn AnyNode<'a>))

Apply a function to each child node.

impl<'a> ForEachNode<'a> for ExprData<'a>

fn for_each_node(&'a self, each: &mut dyn FnMut(&'a dyn AnyNode<'a>))

Apply a function to this node.

impl<'a> PartialEq for ExprData<'a>

fn eq(&self, other: &ExprData<'a>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<'a> Eq for ExprData<'a>

impl<'a> StructuralPartialEq for ExprData<'a>