@ -28,14 +28,24 @@ use self::{
} ;
use crate ::syntax ::{
ast ::{
node ::{ Call , Identifier , New , Node } ,
Const , Keyword , Punctuator ,
node ::{
declaration ::{ BindingPatternTypeArray , BindingPatternTypeObject } ,
operator ::assign ::{
array_decl_to_declaration_pattern , object_decl_to_declaration_pattern , AssignTarget ,
} ,
Call , Declaration , DeclarationPattern , FormalParameter , FormalParameterList ,
Identifier , New , Node ,
} ,
op ::BinOp ,
Const , Keyword , Punctuator , Span ,
} ,
lexer ::{ token ::Numeric , InputElement , TokenKind } ,
lexer ::{ token ::Numeric , InputElement , Token , Token Kind} ,
parser ::{
expression ::{
identifiers ::IdentifierReference , primary ::template ::TemplateLiteral , Expression ,
identifiers ::IdentifierReference , primary ::template ::TemplateLiteral ,
BindingIdentifier , Expression ,
} ,
statement ::{ ArrayBindingPattern , ObjectBindingPattern } ,
AllowAwait , AllowYield , Cursor , ParseError , ParseResult , TokenParser ,
} ,
} ;
@ -132,9 +142,12 @@ where
TokenKind ::Punctuator ( Punctuator ::OpenParen ) = > {
cursor . next ( interner ) . expect ( "token disappeared" ) ;
cursor . set_goal ( InputElement ::RegExp ) ;
let expr = Expression ::new ( self . name , true , self . allow_yield , self . allow_await )
. parse ( cursor , interner ) ? ;
cursor . expect ( Punctuator ::CloseParen , "primary expression" , interner ) ? ;
let expr = CoverParenthesizedExpressionAndArrowParameterList ::new (
self . name ,
self . allow_yield ,
self . allow_await ,
)
. parse ( cursor , interner ) ? ;
Ok ( expr )
}
TokenKind ::Punctuator ( Punctuator ::OpenBracket ) = > {
@ -243,3 +256,304 @@ where
}
}
}
/// Parses a `CoverParenthesizedExpressionAndArrowParameterList` expression.
///
/// More information:
/// - [ECMAScript specification][spec]
///
/// [spec]: https://tc39.es/ecma262/#prod-CoverParenthesizedExpressionAndArrowParameterList
#[ derive(Debug, Clone, Copy) ]
pub ( super ) struct CoverParenthesizedExpressionAndArrowParameterList {
name : Option < Sym > ,
allow_yield : AllowYield ,
allow_await : AllowAwait ,
}
impl CoverParenthesizedExpressionAndArrowParameterList {
/// Creates a new `CoverParenthesizedExpressionAndArrowParameterList` parser.
pub ( super ) fn new < N , Y , A > ( name : N , allow_yield : Y , allow_await : A ) -> Self
where
N : Into < Option < Sym > > ,
Y : Into < AllowYield > ,
A : Into < AllowAwait > ,
{
Self {
name : name . into ( ) ,
allow_yield : allow_yield . into ( ) ,
allow_await : allow_await . into ( ) ,
}
}
}
impl < R > TokenParser < R > for CoverParenthesizedExpressionAndArrowParameterList
where
R : Read ,
{
type Output = Node ;
fn parse ( self , cursor : & mut Cursor < R > , interner : & mut Interner ) -> ParseResult {
#[ derive(Debug) ]
enum InnerExpression {
Expression ( Node ) ,
SpreadObject ( Vec < BindingPatternTypeObject > ) ,
SpreadArray ( Vec < BindingPatternTypeArray > ) ,
SpreadBinding ( Sym ) ,
}
let _timer = Profiler ::global ( ) . start_event (
"CoverParenthesizedExpressionAndArrowParameterList" ,
"Parsing" ,
) ;
let start_span = cursor
. peek ( 0 , interner ) ?
. ok_or ( ParseError ::AbruptEnd ) ?
. span ( ) ;
let mut expressions = Vec ::new ( ) ;
let mut tailing_comma = None ;
let close_span = loop {
let next = cursor . peek ( 0 , interner ) ? . ok_or ( ParseError ::AbruptEnd ) ? ;
match next . kind ( ) {
TokenKind ::Punctuator ( Punctuator ::CloseParen ) = > {
let span = next . span ( ) ;
cursor . next ( interner ) . expect ( "token disappeared" ) ;
break span ;
}
TokenKind ::Punctuator ( Punctuator ::Comma ) = > {
let span = next . span ( ) ;
cursor . next ( interner ) . expect ( "token disappeared" ) ;
if let Some ( token ) = cursor . next_if ( Punctuator ::CloseParen , interner ) ? {
tailing_comma = Some ( span ) ;
break token . span ( ) ;
}
}
TokenKind ::Punctuator ( Punctuator ::Spread ) = > {
cursor . next ( interner ) . expect ( "token disappeared" ) ;
let next = cursor . peek ( 0 , interner ) ? . ok_or ( ParseError ::AbruptEnd ) ? ;
match next . kind ( ) {
TokenKind ::Punctuator ( Punctuator ::OpenBlock ) = > {
let bindings =
ObjectBindingPattern ::new ( self . allow_yield , self . allow_await )
. parse ( cursor , interner ) ? ;
expressions . push ( InnerExpression ::SpreadObject ( bindings ) ) ;
}
TokenKind ::Punctuator ( Punctuator ::OpenBracket ) = > {
let bindings =
ArrayBindingPattern ::new ( self . allow_yield , self . allow_await )
. parse ( cursor , interner ) ? ;
expressions . push ( InnerExpression ::SpreadArray ( bindings ) ) ;
}
_ = > {
let binding =
BindingIdentifier ::new ( self . allow_yield , self . allow_await )
. parse ( cursor , interner ) ? ;
expressions . push ( InnerExpression ::SpreadBinding ( binding ) ) ;
}
}
}
_ = > {
let expression =
Expression ::new ( self . name , true , self . allow_yield , self . allow_await )
. parse ( cursor , interner ) ? ;
expressions . push ( InnerExpression ::Expression ( expression ) ) ;
}
}
} ;
let is_arrow = if let Some ( TokenKind ::Punctuator ( Punctuator ::Arrow ) ) =
cursor . peek ( 0 , interner ) ? . map ( Token ::kind )
{
! cursor . peek_expect_is_line_terminator ( 0 , interner ) ?
} else {
false
} ;
// If the next token is not an arrow, we know that we must parse a parenthesized expression.
if ! is_arrow {
if let Some ( span ) = tailing_comma {
return Err ( ParseError ::unexpected (
Punctuator ::Comma ,
span ,
"trailing comma in parenthesized expression" ,
) ) ;
}
if expressions . is_empty ( ) {
return Err ( ParseError ::unexpected (
Punctuator ::CloseParen ,
close_span ,
"empty parenthesized expression" ,
) ) ;
}
if expressions . len ( ) ! = 1 {
return Err ( ParseError ::unexpected (
Punctuator ::CloseParen ,
close_span ,
"multiple expressions in parenthesized expression" ,
) ) ;
}
if let InnerExpression ::Expression ( expression ) = & expressions [ 0 ] {
return Ok ( expression . clone ( ) ) ;
}
return Err ( ParseError ::unexpected (
Punctuator ::CloseParen ,
close_span ,
"parenthesized expression with spread expressions" ,
) ) ;
}
// We know that we must parse an arrow function.
// We parse the expressions in to a parameter list.
let mut parameters = Vec ::new ( ) ;
for expression in expressions {
match expression {
InnerExpression ::Expression ( node ) = > {
node_to_formal_parameters (
& node ,
& mut parameters ,
cursor . strict_mode ( ) ,
start_span ,
) ? ;
}
InnerExpression ::SpreadObject ( bindings ) = > {
let declaration = Declaration ::new_with_object_pattern ( bindings , None ) ;
let parameter = FormalParameter ::new ( declaration , true ) ;
parameters . push ( parameter ) ;
}
InnerExpression ::SpreadArray ( bindings ) = > {
let declaration = Declaration ::new_with_array_pattern ( bindings , None ) ;
let parameter = FormalParameter ::new ( declaration , true ) ;
parameters . push ( parameter ) ;
}
InnerExpression ::SpreadBinding ( ident ) = > {
let declaration = Declaration ::new_with_identifier ( ident , None ) ;
let parameter = FormalParameter ::new ( declaration , true ) ;
parameters . push ( parameter ) ;
}
}
}
let parameters = FormalParameterList ::from ( parameters ) ;
if let Some ( span ) = tailing_comma {
if parameters . has_rest_parameter ( ) {
return Err ( ParseError ::general (
"rest parameter must be last formal parameter" ,
span . start ( ) ,
) ) ;
}
}
if parameters . contains_yield_expression ( ) {
return Err ( ParseError ::general (
"yield expression is not allowed in formal parameter list of arrow function" ,
start_span . start ( ) ,
) ) ;
}
Ok ( Node ::FormalParameterList ( parameters ) )
}
}
/// Convert a node to a formal parameter and append it to the given parameter list.
fn node_to_formal_parameters (
node : & Node ,
parameters : & mut Vec < FormalParameter > ,
strict : bool ,
span : Span ,
) -> Result < ( ) , ParseError > {
match node {
Node ::Identifier ( identifier ) if strict & & identifier . sym ( ) = = Sym ::EVAL = > {
return Err ( ParseError ::general (
"parameter name 'eval' not allowed in strict mode" ,
span . start ( ) ,
) ) ;
}
Node ::Identifier ( identifier ) if strict & & identifier . sym ( ) = = Sym ::ARGUMENTS = > {
return Err ( ParseError ::general (
"parameter name 'arguments' not allowed in strict mode" ,
span . start ( ) ,
) ) ;
}
Node ::Identifier ( identifier ) = > {
parameters . push ( FormalParameter ::new (
Declaration ::new_with_identifier ( identifier . sym ( ) , None ) ,
false ,
) ) ;
}
Node ::BinOp ( bin_op ) if bin_op . op ( ) = = BinOp ::Comma = > {
node_to_formal_parameters ( bin_op . lhs ( ) , parameters , strict , span ) ? ;
node_to_formal_parameters ( bin_op . rhs ( ) , parameters , strict , span ) ? ;
}
Node ::Assign ( assign ) = > match assign . lhs ( ) {
AssignTarget ::Identifier ( ident ) = > {
parameters . push ( FormalParameter ::new (
Declaration ::new_with_identifier ( ident . sym ( ) , Some ( assign . rhs ( ) . clone ( ) ) ) ,
false ,
) ) ;
}
AssignTarget ::DeclarationPattern ( pattern ) = > match pattern {
DeclarationPattern ::Object ( pattern ) = > {
parameters . push ( FormalParameter ::new (
Declaration ::new_with_object_pattern (
pattern . bindings ( ) . clone ( ) ,
Some ( assign . rhs ( ) . clone ( ) ) ,
) ,
false ,
) ) ;
}
DeclarationPattern ::Array ( pattern ) = > {
parameters . push ( FormalParameter ::new (
Declaration ::new_with_array_pattern (
pattern . bindings ( ) . clone ( ) ,
Some ( assign . rhs ( ) . clone ( ) ) ,
) ,
false ,
) ) ;
}
} ,
_ = > {
return Err ( ParseError ::general (
"invalid initialization expression in formal parameter list" ,
span . start ( ) ,
) ) ;
}
} ,
Node ::Object ( object ) = > {
let decl = object_decl_to_declaration_pattern ( object , strict ) ;
if let Some ( pattern ) = decl {
parameters . push ( FormalParameter ::new ( Declaration ::Pattern ( pattern ) , false ) ) ;
} else {
return Err ( ParseError ::general (
"invalid object binding pattern in formal parameter list" ,
span . start ( ) ,
) ) ;
}
}
Node ::ArrayDecl ( array ) = > {
let decl = array_decl_to_declaration_pattern ( array , strict ) ;
if let Some ( pattern ) = decl {
parameters . push ( FormalParameter ::new ( Declaration ::Pattern ( pattern ) , false ) ) ;
} else {
return Err ( ParseError ::general (
"invalid array binding pattern in formal parameter list" ,
span . start ( ) ,
) ) ;
}
}
_ = > {
return Err ( ParseError ::unexpected (
")" . to_string ( ) ,
span ,
"parenthesized expression with non-binding expression" ,
) ) ;
}
}
Ok ( ( ) )
}
raskad
2 years ago