Enum ezno_parser::expressions::Expression

pub enum Expression {
    NumberLiteral(NumberRepresentation, Span),
    StringLiteral(String, Quoted, Span),
    BooleanLiteral(bool, Span),
    RegexLiteral {
        pattern: String,
        flags: Option<String>,
        position: Span,
    },
    ArrayLiteral(Vec<ArrayElement>, Span),
    ObjectLiteral(ObjectLiteral),
    TemplateLiteral(TemplateLiteral),
    ParenthesizedExpression(Box<MultipleExpression>, Span),
    BinaryOperation {
        lhs: Box<Expression>,
        operator: BinaryOperator,
        rhs: Box<Expression>,
        position: Span,
    },
    SpecialOperators(SpecialOperators, Span),
    UnaryOperation {
        operator: UnaryOperator,
        operand: Box<Expression>,
        position: Span,
    },
    Assignment {
        lhs: LHSOfAssignment,
        rhs: Box<Expression>,
        position: Span,
    },
    BinaryAssignmentOperation {
        lhs: VariableOrPropertyAccess,
        operator: BinaryAssignmentOperator,
        rhs: Box<Expression>,
        position: Span,
    },
    UnaryPrefixAssignmentOperation {
        operator: UnaryPrefixAssignmentOperator,
        operand: VariableOrPropertyAccess,
        position: Span,
    },
    UnaryPostfixAssignmentOperation {
        operand: VariableOrPropertyAccess,
        operator: UnaryPostfixAssignmentOperator,
        position: Span,
    },
    VariableReference(String, Span),
    ThisReference(Span),
    SuperExpression(SuperReference, Span),
    NewTarget(Span),
    DynamicImport {
        path: Box<Expression>,
        options: Option<Box<Expression>>,
        position: Span,
    },
    PropertyAccess {
        parent: Box<Expression>,
        property: PropertyReference,
        is_optional: bool,
        position: Span,
    },
    Index {
        indexee: Box<Expression>,
        indexer: Box<MultipleExpression>,
        is_optional: bool,
        position: Span,
    },
    FunctionCall {
        function: Box<Expression>,
        type_arguments: Option<Vec<TypeAnnotation>>,
        arguments: Vec<FunctionArgument>,
        is_optional: bool,
        position: Span,
    },
    ConstructorCall {
        constructor: Box<Expression>,
        type_arguments: Option<Vec<TypeAnnotation>>,
        arguments: Option<Vec<FunctionArgument>>,
        position: Span,
    },
    ConditionalTernary {
        condition: Box<Expression>,
        truthy_result: Box<Expression>,
        falsy_result: Box<Expression>,
        position: Span,
    },
    ArrowFunction(ArrowFunction),
    ExpressionFunction(ExpressionFunction),
    ClassExpression(ClassDeclaration<ExpressionPosition>),
    Null(Span),
    Comment {
        content: String,
        on: Box<Expression>,
        position: Span,
        is_multiline: bool,
        prefix: bool,
    },
    JSXRoot(JSXRoot),
    IsExpression(IsExpression),
    Marker {
        marker_id: Marker<Expression>,
        position: Span,
    },
}

Expression structures

Comma is implemented as a BinaryOperator

Variants

NumberLiteral(NumberRepresentation, Span)

StringLiteral(String, Quoted, Span)

BooleanLiteral(bool, Span)

RegexLiteral

Fields

pattern: String

flags: Option<String>

position: Span

ArrayLiteral(Vec<ArrayElement>, Span)

ObjectLiteral(ObjectLiteral)

TemplateLiteral(TemplateLiteral)

ParenthesizedExpression(Box<MultipleExpression>, Span)

BinaryOperation

Fields

lhs: Box<Expression>

operator: BinaryOperator

rhs: Box<Expression>

position: Span

SpecialOperators(SpecialOperators, Span)

UnaryOperation

Fields

operator: UnaryOperator

operand: Box<Expression>

position: Span

Assignment

Fields

lhs: LHSOfAssignment

rhs: Box<Expression>

position: Span

BinaryAssignmentOperation

Modified assignment cannot have destructured thingies

Fields

lhs: VariableOrPropertyAccess

operator: BinaryAssignmentOperator

rhs: Box<Expression>

position: Span

UnaryPrefixAssignmentOperation

Fields

operator: UnaryPrefixAssignmentOperator

operand: VariableOrPropertyAccess

position: Span

UnaryPostfixAssignmentOperation

Fields

operand: VariableOrPropertyAccess

operator: UnaryPostfixAssignmentOperator

position: Span

VariableReference(String, Span)

e.g x or (...).hi

ThisReference(Span)

SuperExpression(SuperReference, Span)

NewTarget(Span)

https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Operators/new.target

DynamicImport

Fields

path: Box<Expression>

options: Option<Box<Expression>>

position: Span

PropertyAccess

Fields

parent: Box<Expression>

property: PropertyReference

is_optional: bool

position: Span

Index

e.g ...[4]

Fields

indexee: Box<Expression>

indexer: Box<MultipleExpression>

is_optional: bool

position: Span

FunctionCall

Fields

function: Box<Expression>

type_arguments: Option<Vec<TypeAnnotation>>

arguments: Vec<FunctionArgument>

is_optional: bool

position: Span

ConstructorCall

Fields

constructor: Box<Expression>

type_arguments: Option<Vec<TypeAnnotation>>

arguments: Option<Vec<FunctionArgument>>

position: Span

ConditionalTernary

e.g ... ? ... ? ...

Fields

condition: Box<Expression>

truthy_result: Box<Expression>

falsy_result: Box<Expression>

position: Span

ArrowFunction(ArrowFunction)

ExpressionFunction(ExpressionFunction)

ClassExpression(ClassDeclaration<ExpressionPosition>)

Yes classes can exist in expr position :?

Null(Span)

Comment

Fields

content: String

on: Box<Expression>

position: Span

is_multiline: bool

prefix: bool

JSXRoot(JSXRoot)

A start of a JSXNode

IsExpression(IsExpression)

Not to be confused with binary operator is

Marker

Fields

marker_id: Marker<Expression>

position: Span

Implementations

impl Expression

pub fn from_reader_with_precedence( reader: &mut impl TokenReader<TSXToken, TokenStart>, state: &mut ParsingState, options: &ParseOptions, return_precedence: u8, start: Option<TokenStart> ) -> ParseResult<Self>

pub fn get_precedence(&self) -> u8

impl Expression

pub fn build_iife(block: Block) -> Self

IIFE = immediate invoked function execution

pub fn is_iife(&self) -> Option<&ExpressionOrBlock>

pub fn get_non_parenthesized(&self) -> &Self

Recurses to find first non parenthesized expression

Trait Implementations

impl ASTNode for Expression

fn from_reader( reader: &mut impl TokenReader<TSXToken, TokenStart>, state: &mut ParsingState, options: &ParseOptions ) -> ParseResult<Expression>

fn to_string_from_buffer<T: ToString>( &self, buf: &mut T, options: &ToStringOptions, local: LocalToStringInformation )

fn get_position(&self) -> Span

Returns position of node as span AS IT WAS PARSED. May be Span::NULL if AST was doesn’t match anything in source

fn from_string(script: String, options: ParseOptions) -> ParseResult<Self>

From string, with default impl to call abstract method from_reader

fn from_string_with_options( script: String, options: ParseOptions, offset: Option<u32> ) -> ParseResult<(Self, ParsingState)>

fn to_string(&self, options: &ToStringOptions) -> String

Returns structure as valid string

impl Clone for Expression

fn clone(&self) -> Expression

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Expression

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

Formats the value using the given formatter.

impl DeclarationExpression for Expression

fn expression_from_reader( reader: &mut impl TokenReader<TSXToken, TokenStart>, state: &mut ParsingState, options: &ParseOptions ) -> ParseResult<Self>

fn expression_to_string_from_buffer<T: ToString>( &self, buf: &mut T, options: &ToStringOptions, local: LocalToStringInformation )

fn get_declaration_position(&self) -> Option<Span>

fn as_option_expression_ref(&self) -> Option<&Expression>

fn as_option_expr_mut(&mut self) -> Option<&mut Expression>

impl From<Expression> for FunctionArgument

fn from(value: Expression) -> Self

Converts to this type from the input type.

impl From<Expression> for MultipleExpression

fn from(expr: Expression) -> Self

Converts to this type from the input type.

impl From<VariableOrPropertyAccess> for Expression

fn from(this: VariableOrPropertyAccess) -> Self

Converts to this type from the input type.

impl GetFieldByType<BaseSpan<()>> for Expression

fn get(&self) -> &Span

Get the value of a field that has type T

impl<'a> IntoAST<Expression> for &'a str

fn into_ast(self) -> Expression

impl<'a> IntoAST<Expression> for Ident<'a>

fn into_ast(self) -> Expression

impl IntoAST<Expression> for f64

fn into_ast(self) -> Expression

impl IntoAST<Expression> for usize

fn into_ast(self) -> Expression

impl IntoAST<Statement> for Expression

fn into_ast(self) -> Statement

impl PartialEq for Expression

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

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

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

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

impl SelfRustTokenize for Expression

fn append_to_token_stream(&self, token_stream: &mut TokenStream)

fn to_tokens(&self) -> TokenStream

Returns the tokens used to construct self

impl Serialize for Expression

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl TryFrom<Expression> for LHSOfAssignment

type Error = ParseError

The type returned in the event of a conversion error.

fn try_from(value: Expression) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Expression> for VariableOrPropertyAccess

type Error = ParseError

The type returned in the event of a conversion error.

fn try_from(expression: Expression) -> Result<Self, Self::Error>

Performs the conversion.

impl Visitable for Expression

fn visit<TData>( &self, visitors: &mut (impl VisitorReceiver<TData> + ?Sized), data: &mut TData, options: &VisitOptions, chain: &mut Annex<'_, Chain> )

fn visit_mut<TData>( &mut self, visitors: &mut (impl VisitorMutReceiver<TData> + ?Sized), data: &mut TData, options: &VisitOptions, chain: &mut Annex<'_, Chain> )

impl Eq for Expression

impl SelfVisitable for Expression

impl SelfVisitableMut for Expression