JavaScript 2.0 Parser Grammar

This LALR(1) grammar describes the syntax of the JavaScript 2.0 proposal. The starting nonterminal is Program. See also the description of the grammar notation.

Terminals

Punctuation tokens: ! != !== % %= & && &&= &= ( ) * *= + ++ += , - -- -= . ... / /= : :: ; < << <<= <= = == === > >= >> >>= >>> >>>= ? @ [ ] ^ ^= ^^ ^^= { | |= || ||= } ~

Reserved words: break case catch class const continue default delete do else eval extends false final finally for function if in instanceof new null package private public return super switch this throw true try typeof var while with

Future reserved words: abstract debugger enum export goto implements import interface native protected static synchronized throws transient volatile

Non-reserved words: box constructor field get language local method override set version

Expressions

Identifiers

Identifier

Identifier

| box

| constructor

| field

| get

| language

| local

| method

| set

| override

| version

QualifiedIdentifier

Identifier

| QualifiedIdentifier :: Identifier

| ParenthesizedExpression :: Identifier

Primary Expressions

PrimaryExpression

null

| true

| false

| Number

| Number [no line break] String

| String

| this

| super

| QualifiedIdentifier

| ? Identifier

| RegularExpression

| ParenthesizedExpression

| ParenthesizedExpression [no line break] String

| ArrayLiteral

| ObjectLiteral

| FunctionExpression

ParenthesizedExpression ( Expression^allowIn )

Function Expressions

FunctionExpression

AnonymousFunction

| NamedFunction

Object Literals

ObjectLiteral

{ }

| { FieldList }

FieldList

LiteralField

| FieldList , LiteralField

LiteralField FieldName : AssignmentExpression^allowIn

FieldName

QualifiedIdentifier

| String

| Number

Array Literals

ArrayLiteral [ ElementList ]

ElementList

LiteralElement

| ElementList , LiteralElement

LiteralElement

«empty»

| AssignmentExpression^allowIn

Postfix Unary Operators

PostfixExpression

FullPostfixExpression

| ShortNewExpression

FullPostfixExpression

PrimaryExpression

| FullNewExpression

| FullPostfixExpression MemberOperator

| FullPostfixExpression Arguments

| PostfixExpression [no line break] ++

| PostfixExpression [no line break] --

FullNewExpression new FullNewSubexpression Arguments

ShortNewExpression new ShortNewSubexpression

FullNewSubexpression

PrimaryExpression

| FullNewSubexpression MemberOperator

| FullNewExpression

ShortNewSubexpression

FullNewSubexpression

| ShortNewExpression

MemberOperator

[ ArgumentList ]

| . QualifiedIdentifier

| . ParenthesizedExpression

| @ QualifiedIdentifier

| @ ParenthesizedExpression

Arguments ( ArgumentList )

ArgumentList

«empty»

| ArgumentListPrefix

| NamedArgumentListPrefix

ArgumentListPrefix

AssignmentExpression^allowIn

| ArgumentListPrefix , AssignmentExpression^allowIn

NamedArgumentListPrefix

LiteralField

| ArgumentListPrefix , LiteralField

| NamedArgumentListPrefix , LiteralField

Prefix Unary Operators

UnaryExpression

PostfixExpression

| delete PostfixExpression

| typeof UnaryExpression

| eval UnaryExpression

| ++ PostfixExpression

| -- PostfixExpression

| + UnaryExpression

| - UnaryExpression

| ~ UnaryExpression

| ! UnaryExpression

Multiplicative Operators

MultiplicativeExpression

UnaryExpression

| MultiplicativeExpression * UnaryExpression

| MultiplicativeExpression / UnaryExpression

| MultiplicativeExpression % UnaryExpression

Additive Operators

AdditiveExpression

MultiplicativeExpression

| AdditiveExpression + MultiplicativeExpression

| AdditiveExpression - MultiplicativeExpression

Bitwise Shift Operators

ShiftExpression

AdditiveExpression

| ShiftExpression << AdditiveExpression

| ShiftExpression >> AdditiveExpression

| ShiftExpression >>> AdditiveExpression

Relational Operators

RelationalExpression^allowIn

ShiftExpression

| RelationalExpression^allowIn < ShiftExpression

| RelationalExpression^allowIn > ShiftExpression

| RelationalExpression^allowIn <= ShiftExpression

| RelationalExpression^allowIn >= ShiftExpression

| RelationalExpression^allowIn instanceof ShiftExpression

| RelationalExpression^allowIn in ShiftExpression

RelationalExpression^noIn

ShiftExpression

| RelationalExpression^noIn < ShiftExpression

| RelationalExpression^noIn > ShiftExpression

| RelationalExpression^noIn <= ShiftExpression

| RelationalExpression^noIn >= ShiftExpression

| RelationalExpression^noIn instanceof ShiftExpression

Equality Operators

EqualityExpression^b

RelationalExpression^b

| EqualityExpression^b == RelationalExpression^b

| EqualityExpression^b != RelationalExpression^b

| EqualityExpression^b === RelationalExpression^b

| EqualityExpression^b !== RelationalExpression^b

Binary Bitwise Operators

BitwiseAndExpression^b

EqualityExpression^b

| BitwiseAndExpression^b & EqualityExpression^b

BitwiseXorExpression^b

BitwiseAndExpression^b

| BitwiseXorExpression^b ^ BitwiseAndExpression^b

| BitwiseXorExpression^b ^ *

| BitwiseXorExpression^b ^ ?

BitwiseOrExpression^b

BitwiseXorExpression^b

| BitwiseOrExpression^b | BitwiseXorExpression^b

| BitwiseOrExpression^b | *

| BitwiseOrExpression^b | ?

Binary Logical Operators

LogicalAndExpression^b

BitwiseOrExpression^b

| LogicalAndExpression^b && BitwiseOrExpression^b

LogicalXorExpression^b

LogicalAndExpression^b

| LogicalXorExpression^b ^^ LogicalAndExpression^b

LogicalOrExpression^b

LogicalXorExpression^b

| LogicalOrExpression^b || LogicalXorExpression^b

Conditional Operator

ConditionalExpression^b

LogicalOrExpression^b

| LogicalOrExpression^b ? AssignmentExpression^b : AssignmentExpression^b

NonAssignmentExpression^b

LogicalOrExpression^b

| LogicalOrExpression^b ? NonAssignmentExpression^b : NonAssignmentExpression^b

Assignment Operators

AssignmentExpression^b

ConditionalExpression^b

| PostfixExpression = AssignmentExpression^b

| PostfixExpression CompoundAssignment AssignmentExpression^b

CompoundAssignment

*=

| /=

| %=

| +=

| -=

| <<=

| >>=

| >>>=

| &=

| ^=

| |=

| &&=

| ^^=

| ||=

Expressions

Expression^b

AssignmentExpression^b

| Expression^b , AssignmentExpression^b

OptionalExpression

Expression^allowIn

| «empty»

Type Expressions

TypeExpression^b NonAssignmentExpression^b

Statements

TopStatement^w

Statement^w

| LanguageDeclaration^w

Statement^w

AnnotatedDefinition^w

| EmptyStatement^w

| ExpressionStatement Semicolon^w

| AnnotatedBlock

| LabeledStatement^w

| IfStatement^w

| SwitchStatement

| DoStatement Semicolon^w

| WhileStatement^w

| ForStatement^w

| WithStatement^w

| ContinueStatement Semicolon^w

| BreakStatement Semicolon^w

| ReturnStatement Semicolon^w

| ThrowStatement Semicolon^w

| TryStatement

Semicolon^abbrev

;

| VirtualSemicolon

| «empty»

Semicolon^{abbrevNonEmpty}

;

| VirtualSemicolon

| «empty»

Semicolon^{abbrevNoShortIf}

;

| VirtualSemicolon

| «empty»

Semicolon^full

;

| VirtualSemicolon

Empty Statement

EmptyStatement^abbrev

;

| «empty»

EmptyStatement^{abbrevNonEmpty} ;

EmptyStatement^{abbrevNoShortIf} ;

EmptyStatement^full ;

Expression Statement

ExpressionStatement [lookahead{function, {}] Expression^allowIn

Block

AnnotatedBlock

Block

| Visibility [no line break] Block

Block { TopStatements }

TopStatements

TopStatement^abbrev

| TopStatementsPrefix TopStatement^{abbrevNonEmpty}

TopStatementsPrefix

TopStatement^full

| TopStatementsPrefix TopStatement^full

Labeled Statements

LabeledStatement^w Identifier : Statement^w

If Statement

IfStatement^abbrev

if ParenthesizedExpression Statement^abbrev

| if ParenthesizedExpression Statement^{abbrevNoShortIf} else Statement^abbrev

IfStatement^{abbrevNonEmpty}

if ParenthesizedExpression Statement^{abbrevNonEmpty}

| if ParenthesizedExpression Statement^{abbrevNoShortIf} else Statement^{abbrevNonEmpty}

IfStatement^full

if ParenthesizedExpression Statement^full

| if ParenthesizedExpression Statement^{abbrevNoShortIf} else Statement^full

IfStatement^{abbrevNoShortIf} if ParenthesizedExpression Statement^{abbrevNoShortIf} else Statement^{abbrevNoShortIf}

Switch Statement

SwitchStatement

switch ParenthesizedExpression { }

| switch ParenthesizedExpression { CaseGroups LastCaseGroup }

CaseGroups

«empty»

| CaseGroups CaseGroup

CaseGroup CaseGuards CaseStatementsPrefix

LastCaseGroup CaseGuards CaseStatements

CaseGuards

CaseGuard

| CaseGuards CaseGuard

CaseGuard

case Expression^allowIn :

| default :

CaseStatements

Statement^abbrev

| CaseStatementsPrefix Statement^{abbrevNonEmpty}

CaseStatementsPrefix

Statement^full

| CaseStatementsPrefix Statement^full

Do-While Statement

DoStatement do Statement^{abbrevNonEmpty} while ParenthesizedExpression

While Statement

WhileStatement^w while ParenthesizedExpression Statement^w

For Statements

ForStatement^w

for ( ForInitializer ; OptionalExpression ; OptionalExpression ) Statement^w

| for ( ForInBinding in Expression^allowIn ) Statement^w

ForInitializer

«empty»

| Expression^noIn

| VariableDefinitionKind VariableBindingList^noIn

ForInBinding

PostfixExpression

| VariableDefinitionKind VariableBinding^noIn

With Statement

WithStatement^w with ParenthesizedExpression Statement^w

Continue and Break Statements

ContinueStatement continue [no line break] OptionalLabel

BreakStatement break [no line break] OptionalLabel

OptionalLabel

«empty»

| Identifier

Return Statement

ReturnStatement return [no line break] OptionalExpression

Throw Statement

ThrowStatement throw [no line break] Expression^allowIn

Try Statement

TryStatement

try AnnotatedBlock CatchClauses

| try AnnotatedBlock FinallyClause

| try AnnotatedBlock CatchClauses FinallyClause

CatchClauses

CatchClause

| CatchClauses CatchClause

CatchClause catch ( TypedIdentifier^allowIn ) AnnotatedBlock

FinallyClause finally AnnotatedBlock

Definitions

AnnotatedDefinition^w

Visibility [no line break] Definition^w

| Definition^w

Definition^w

VariableDefinition Semicolon^w

| FunctionDefinition

| MemberDefinition^w

| ClassDefinition

Visibility Specifications

Visibility

ParenthesizedExpression

| local

| box

| private

| package

| public

| Identifier

Variable Definition

VariableDefinition VariableDefinitionKind VariableBindingList^allowIn

VariableDefinitionKind

var

| const

VariableBindingList^b

VariableBinding^b

| VariableBindingList^b , VariableBinding^b

VariableBinding^b TypedIdentifier^b VariableInitializer^b

TypedIdentifier^b

Identifier

| Identifier : TypeExpression^b

VariableInitializer^b

«empty»

| = AssignmentExpression^b

Function Definition

FunctionDefinition

NamedFunction

| AccessorFunction

AnonymousFunction function FunctionSignature Block

NamedFunction function Identifier FunctionSignature Block

AccessorFunction

function get [no line break] Identifier FunctionSignature Block

| function set [no line break] Identifier FunctionSignature Block

FunctionSignature ParameterSignature ResultSignature

ParameterSignature ( Parameters )

Parameters

«empty»

| RestParameter

| RequiredParameters

| OptionalParameters

| RequiredParameters , RestParameter

| OptionalParameters , RestParameter

RequiredParameters

RequiredParameter

| RequiredParameters , RequiredParameter

OptionalParameters

OptionalParameter

| RequiredParameters , OptionalParameter

| OptionalParameters , OptionalParameter

RequiredParameter TypedIdentifier^allowIn

OptionalParameter TypedIdentifier^allowIn = AssignmentExpression^allowIn

RestParameter

...

| ... TypedIdentifier^allowIn

| ... TypedIdentifier^allowIn = AssignmentExpression^allowIn

ResultSignature

«empty»

| : TypeExpression^allowIn

Class Member Definitions

MemberDefinition^w

FieldDefinition Semicolon^w

| MethodDefinition^w

| ConstructorDefinition

FieldDefinition field [no line break] VariableBindingList^allowIn

MethodDefinition^w

ConcreteMethodDefinition

| AbstractMethodDefinition^w

ConcreteMethodDefinition MethodPrefix [no line break] MethodName FunctionSignature Block

AbstractMethodDefinition^w MethodPrefix [no line break] MethodName FunctionSignature Semicolon^w

MethodPrefix

method

| override [no line break] method

| final [no line break] method

| final [no line break] override [no line break] method

MethodName

Identifier

| get [no line break] Identifier

| set [no line break] Identifier

ConstructorDefinition constructor [no line break] ConstructorName ParameterSignature Block

ConstructorName

new

| Identifier

Class Definition

ClassDefinition

class Identifier Superclasses Block

| class extends TypeExpression^allowIn Block

Terminals

Expressions

Identifiers

Primary Expressions

Function Expressions

Object Literals

Array Literals

Postfix Unary Operators

Prefix Unary Operators

Multiplicative Operators

Additive Operators

Bitwise Shift Operators

Relational Operators

Equality Operators

Binary Bitwise Operators

Binary Logical Operators

Conditional Operator

Assignment Operators

Expressions

Type Expressions

Statements

Empty Statement

Expression Statement

Block

Labeled Statements

If Statement

Switch Statement

Do-While Statement

While Statement

For Statements

With Statement

Continue and Break Statements

Return Statement

Throw Statement

Try Statement

Definitions

Visibility Specifications

Variable Definition

Function Definition

Class Member Definitions

Class Definition

Language Declaration

Programs