Struct Parser

pub struct Parser<I: Tokens> { /* private fields */ }

EcmaScript parser.

Implementations

impl<I: Tokens> Parser<I>

pub fn parse_expr(&mut self) -> PResult<Box<Expr>>

impl<I: Tokens> Parser<I>

pub fn parse_pat(&mut self) -> PResult<Pat>

impl<I: Tokens> Parser<I>

pub fn parse_module_item(&mut self) -> PResult<ModuleItem>

pub fn parse_stmt(&mut self) -> PResult<Stmt>

Parse a statement but not a declaration.

pub fn parse_stmt_list_item(&mut self) -> PResult<Stmt>

Parse a statement and maybe a declaration.

impl<'a> Parser<Lexer<'a>>

pub fn new( syntax: Syntax, input: StringInput<'a>, comments: Option<&'a dyn Comments>, ) -> Self

impl<I: Tokens> Parser<I>

pub fn new_from(input: I) -> Self

pub fn take_errors(&mut self) -> Vec<Error>

pub fn take_script_module_errors(&mut self) -> Vec<Error>

pub fn parse_script(&mut self) -> PResult<Script>

pub fn parse_commonjs(&mut self) -> PResult<Script>

pub fn parse_typescript_module(&mut self) -> PResult<Module>

pub fn parse_program(&mut self) -> PResult<Program>

Returns Module if it’s a module and returns Script if it’s not a module.

Note: This is not perfect yet. It means, some strict mode violations may not be reported even if the method returns Module.

pub fn parse_module(&mut self) -> PResult<Module>

Trait Implementations

impl<I: Clone + Tokens> Clone for Parser<I>

fn clone(&self) -> Parser<I>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a, I: Tokens> Parser<'a> for Parser<I>

type Buffer = Buffer<I>

type I = I

type Lexer = Lexer<'a>

type Next = NextTokenAndSpan

type Token = Token

type TokenAndSpan = TokenAndSpan

fn input(&self) -> &Self::Buffer

fn input_mut(&mut self) -> &mut Self::Buffer

fn state(&self) -> &State

fn state_mut(&mut self) -> &mut State

fn mark_found_module_item(&mut self)

fn parse_unary_expr(&mut self) -> PResult<Box<Expr>>

fn parse_jsx_element( &mut self, in_expr_context: bool, ) -> PResult<Either<JSXFragment, JSXElement>>

fn parse_primary_expr(&mut self) -> PResult<Box<Expr>>

fn ts_in_no_context<T>( &mut self, op: impl FnOnce(&mut Self) -> PResult<T>, ) -> PResult<T>

fn parse_tagged_tpl( &mut self, tag: Box<Expr>, type_params: Option<Box<TsTypeParamInstantiation>>, ) -> PResult<TaggedTpl>

fn parse_tagged_tpl_ty(&mut self) -> PResult<TsLitType>

fn parse_lhs_expr(&mut self) -> PResult<Box<Expr>>

fn with_state<'w>(&'w mut self, state: State) -> WithState<'a, 'w, Self>

fn ctx(&self) -> Context

fn set_ctx(&mut self, ctx: Context)

fn do_inside_of_context<T>( &mut self, context: Context, f: impl FnOnce(&mut Self) -> T, ) -> T

fn do_outside_of_context<T>( &mut self, context: Context, f: impl FnOnce(&mut Self) -> T, ) -> T

fn strict_mode<T>(&mut self, f: impl FnOnce(&mut Self) -> T) -> T

fn in_type<T>(&mut self, f: impl FnOnce(&mut Self) -> T) -> T

Original context is restored when returned guard is dropped.

fn allow_in_expr<T>(&mut self, f: impl FnOnce(&mut Self) -> T) -> T

fn disallow_in_expr<T>(&mut self, f: impl FnOnce(&mut Self) -> T) -> T

fn syntax(&self) -> SyntaxFlags

fn emit_err(&mut self, span: Span, error: SyntaxError)

fn emit_error(&mut self, error: Error)

fn emit_strict_mode_err(&self, span: Span, error: SyntaxError)

fn verify_expr(&mut self, expr: Box<Expr>) -> Result<Box<Expr>, Error>

fn cur_pos(&mut self) -> BytePos

fn last_pos(&self) -> BytePos

fn is_general_semi(&mut self) -> bool

fn eat_general_semi(&mut self) -> bool

fn expect_general_semi(&mut self) -> Result<(), Error>

fn expect(&mut self, t: &Self::Token) -> Result<(), Error>

fn expect_without_advance(&mut self, t: &Self::Token) -> Result<(), Error>

fn bump(&mut self) -> Self::Token

fn span(&self, start: BytePos) -> Span

fn assert_and_bump(&mut self, token: &Self::Token)

fn check_assign_target(&mut self, expr: &Expr, deny_call: bool)

fn parse_tpl_element( &mut self, is_tagged_tpl: bool, ) -> Result<TplElement, Error>

fn parse_prop_name(&mut self) -> Result<PropName, Error>

spec: ‘PropertyName’

fn parse_expr_or_spread(&mut self) -> Result<ExprOrSpread, Error>

AssignmentExpression[+In, ?Yield, ?Await] …AssignmentExpression[+In, ?Yield, ?Await]

fn parse_expr(&mut self) -> Result<Box<Expr>, Error>

fn is_ident_ref(&mut self) -> bool

fn peek_is_ident_ref(&mut self) -> bool

fn eat_ident_ref(&mut self) -> bool