Enum moore_svlog_syntax::ast::ExprData[−][src]

pub enum ExprData<'a> {

Show 30 variants    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>,
    },

}
Expand description

An expression.

Variants

DummyExpr
LiteralExpr(Lit)

Tuple Fields of LiteralExpr

0: Lit
IdentExpr(Spanned<Name>)

An identifier, like foo.

Tuple Fields of IdentExpr

0: Spanned<Name>
SysIdentExpr(Spanned<Name>)

A system identifier, like $foo.

Tuple Fields of SysIdentExpr

0: Spanned<Name>
ThisExpr
DollarExpr
NullExpr
ScopeExpr(Box<Expr<'a>>, Spanned<Name>)

Tuple Fields of ScopeExpr

0: Box<Expr<'a>>1: Spanned<Name>
IndexExpr

Fields of IndexExpr

indexee: Box<Expr<'a>>index: Box<Expr<'a>>
UnaryExpr

Fields of UnaryExpr

op: Opexpr: Box<Expr<'a>>postfix: bool
BinaryExpr

Fields of BinaryExpr

op: Oplhs: Box<Expr<'a>>rhs: Box<Expr<'a>>
TernaryExpr

Fields of TernaryExpr

cond: Box<Expr<'a>>true_expr: Box<Expr<'a>>false_expr: Box<Expr<'a>>
AssignExpr

Fields of AssignExpr

op: AssignOplhs: Box<Expr<'a>>rhs: Box<Expr<'a>>
CallExpr(Box<Expr<'a>>, Vec<CallArg<'a>>)

Tuple Fields of CallExpr

0: Box<Expr<'a>>1: Vec<CallArg<'a>>
TypeExpr(Box<Type<'a>>)

Tuple Fields of TypeExpr

0: Box<Type<'a>>
ConstructorCallExpr(Vec<CallArg<'a>>)

Tuple Fields of ConstructorCallExpr

0: Vec<CallArg<'a>>
ClassNewExpr(Option<Box<Expr<'a>>>)

Tuple Fields of ClassNewExpr

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

Tuple Fields of ArrayNewExpr

0: Box<Expr<'a>>1: Option<Box<Expr<'a>>>
EmptyQueueExpr
StreamConcatExpr

Fields of StreamConcatExpr

slice: Option<StreamConcatSlice<'a>>exprs: Vec<StreamExpr<'a>>
ConcatExpr

Fields of ConcatExpr

repeat: Option<Box<Expr<'a>>>exprs: Vec<Expr<'a>>
MinTypMaxExpr

Fields of MinTypMaxExpr

min: Box<Expr<'a>>typ: Box<Expr<'a>>max: Box<Expr<'a>>
RangeExpr

Fields of RangeExpr

mode: RangeModelhs: Box<Expr<'a>>rhs: Box<Expr<'a>>
MemberExpr

A member expression, like a.b.

Fields of MemberExpr

expr: Box<Expr<'a>>name: Spanned<Name>
PatternExpr(Vec<PatternField<'a>>)

Tuple Fields of PatternExpr

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

Tuple Fields of InsideExpr

0: Box<Expr<'a>>1: Vec<ValueRange<'a>>
CastExpr(Type<'a>, Box<Expr<'a>>)

Tuple Fields of CastExpr

0: Type<'a>1: Box<Expr<'a>>
CastSizeExpr(Box<Expr<'a>>, Box<Expr<'a>>)

Tuple Fields of CastSizeExpr

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

Tuple Fields of CastSignExpr

0: Spanned<TypeSign>1: Box<Expr<'a>>
BitsExpr

A $bits call.

Fields of BitsExpr

name: Spanned<Name>arg: TypeOrExpr<'a>

Trait Implementations

Walk a visitor over the contents of self.

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

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

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

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

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

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

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

Returns a copy of the value. Read more

Performs copy-assignment from source. Read more

Formats the value using the given formatter. Read more

Apply a function to each child node.

Apply a function to this node.

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

This method tests for !=.

Auto Trait Implementations

Blanket Implementations

Gets the TypeId of self. Read more

Immutably borrows from an owned value. Read more

Mutably borrows from an owned value. Read more

Performs the conversion.

Performs the conversion.

The resulting type after obtaining ownership.

Creates owned data from borrowed data, usually by cloning. Read more

🔬 This is a nightly-only experimental API. (toowned_clone_into)

recently added

Uses borrowed data to replace owned data, usually by cloning. Read more

The type returned in the event of a conversion error.

Performs the conversion.

The type returned in the event of a conversion error.

Performs the conversion.