Enum Expr 

pub enum Expr {
    Null,
    Undefined,
    True,
    False,
    Number(f64),
    BigInt(String),
    Regex(String, String),
    Str(String),
    Template {
        quasis: Vec<String>,
        exprs: Vec<Expr>,
    },
    TaggedTemplate {
        tag: Box<Expr>,
        quasis: Vec<String>,
        raws: Vec<String>,
        exprs: Vec<Expr>,
    },
    Ident(String),
    This,
    Super,
    NewTarget,
    Yield {
        arg: Option<Box<Expr>>,
        delegate: bool,
    },
    Await(Box<Expr>),
    Class(Box<ClassNode>),
    Array(Vec<Expr>),
    Hole,
    Object(Vec<Prop>),
    Spread(Box<Expr>),
    Logical(LogicalOp, Box<Expr>, Box<Expr>),
    Unary(UnOp, Box<Expr>),
    Binary(BinOp, Box<Expr>, Box<Expr>),
    Conditional {
        test: Box<Expr>,
        cons: Box<Expr>,
        alt: Box<Expr>,
    },
    Assign {
        target: Box<Expr>,
        value: Box<Expr>,
    },
    Update {
        op: UpdateOp,
        prefix: bool,
        target: Box<Expr>,
    },
    Call {
        func: Box<Expr>,
        args: Vec<Expr>,
        optional: bool,
    },
    New {
        callee: Box<Expr>,
        args: Vec<Expr>,
    },
    Member {
        object: Box<Expr>,
        property: String,
        optional: bool,
    },
    Index {
        object: Box<Expr>,
        index: Box<Expr>,
        optional: bool,
    },
    Function {
        params: Vec<Param>,
        body: FnBody,
        is_arrow: bool,
        name: Option<String>,
        is_generator: bool,
        is_async: bool,
        is_method: bool,
    },
    Sequence(Vec<Expr>),
}

A JavaScript expression.

Variants

Null

Undefined

True

False

Number(f64)

BigInt(String)

A BigInt literal as its canonical decimal digit string ("123" for 123n). Lowered to a heap JsObj::BigInt.

Regex(String, String)

A regex literal: (pattern, flags). Lowered to a JsObj::RegExp.

Str(String)

Template

A template literal: alternating literal quasis and interpolated exprs. quasis.len() == exprs.len() + 1.

Fields

quasis: Vec<String>

exprs: Vec<Expr>

TaggedTemplate

A tagged template tag`a${x}b`: calls tag(strings, ...values) where strings is the cooked-quasi array carrying a .raw array of raws.

Fields

tag: Box<Expr>

quasis: Vec<String>

raws: Vec<String>

exprs: Vec<Expr>

Ident(String)

A bare identifier (x); the compiler resolves scope at runtime.

This

this.

Super

super (only valid as super(...) call callee or super.x object).

NewTarget

new.target.

Yield

yield expr / yield* expr / yield (generator).

Fields

arg: Option<Box<Expr>>

delegate: bool

Await(Box<Expr>)

await expr (async function).

Class(Box<ClassNode>)

A class expression.

Array(Vec<Expr>)

Hole

An elided array-literal element ([1,,3]) — a HOLE, which reads back as undefined but is not an own property. Distinct from Expr::Undefined so compile_array can record it and destructure_array can skip it.

Object(Vec<Prop>)

Spread(Box<Expr>)

...expr — a spread element (array/call).

Logical(LogicalOp, Box<Expr>, Box<Expr>)

Unary(UnOp, Box<Expr>)

Binary(BinOp, Box<Expr>, Box<Expr>)

Conditional

test ? cons : alt.

Fields

test: Box<Expr>

cons: Box<Expr>

alt: Box<Expr>

Assign

target = value (or a compound target op= value desugared by the parser).

Fields

target: Box<Expr>

value: Box<Expr>

Update

++x / x++ / --x / x--.

Fields

op: UpdateOp

prefix: bool

target: Box<Expr>

Call

A call func(args). optional marks ?.(.

Fields

func: Box<Expr>

args: Vec<Expr>

optional: bool

New

new Ctor(args).

Fields

callee: Box<Expr>

args: Vec<Expr>

Member

value.name — optional marks ?.name.

Fields

object: Box<Expr>

property: String

optional: bool

Index

value[expr] — optional marks ?.[expr].

Fields

object: Box<Expr>

index: Box<Expr>

optional: bool

Function

A function expression / arrow function.

Fields

params: Vec<Param>

body: FnBody

is_arrow: bool

name: Option<String>

is_generator: bool

is_async: bool

is_method: bool

True for a MethodDefinition ({ m(){} }, { get x(){} }) rather than an ordinary function expression. A non-generator method owns no prototype property (10.2.5 runs only for ordinary functions).

Sequence(Vec<Expr>)

,-sequence expression: evaluate all, yield the last.

Trait Implementations

impl Clone for Expr

fn clone(&self) -> Expr

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Expr

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

Formats the value using the given formatter.

impl PartialEq for Expr

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Expr