JavaScript 2.0 Grammar

PrimaryExpression Þ

this

| null

| true

| false

| Number

| String

| Identifier

| RegularExpression

| ( Expression )

Left-Side Expressions

MemberExpression^noCalls Þ

PrimaryExpression

| MemberExpression^noCalls [ Expression ]

| MemberExpression^noCalls . Identifier

| new MemberExpression^noCalls Arguments

MemberExpression^allowCalls Þ

MemberExpression^noCalls Arguments

| MemberExpression^allowCalls Arguments

| MemberExpression^allowCalls [ Expression ]

| MemberExpression^allowCalls . Identifier

NewExpression Þ

MemberExpression^noCalls

| new NewExpression

Arguments Þ

( )

| ( ArgumentList )

ArgumentList Þ

AssignmentExpression^allowIn

| ArgumentList , AssignmentExpression^allowIn

LeftSideExpression Þ

NewExpression

| MemberExpression^allowCalls

Postfix Expressions

PostfixExpression Þ

LeftSideExpression

| LeftSideExpression ++

| LeftSideExpression --

Unary Operators

UnaryExpression Þ

PostfixExpression

| delete LeftSideExpression

| void UnaryExpression

| typeof UnaryExpression

| ++ LeftSideExpression

| -- LeftSideExpression

| + 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^a Þ

RelationalExpression^a

| EqualityExpression^a == RelationalExpression^a

| EqualityExpression^a != RelationalExpression^a

| EqualityExpression^a === RelationalExpression^a

| EqualityExpression^a !== RelationalExpression^a

Binary Bitwise Operators

BitwiseAndExpression^a Þ

EqualityExpression^a

| BitwiseAndExpression^a & EqualityExpression^a

BitwiseXorExpression^a Þ

BitwiseAndExpression^a

| BitwiseXorExpression^a ^ BitwiseAndExpression^a

BitwiseOrExpression^a Þ

BitwiseXorExpression^a

| BitwiseOrExpression^a | BitwiseXorExpression^a

Binary Logical Operators

LogicalAndExpression^a Þ

BitwiseOrExpression^a

| LogicalAndExpression^a && BitwiseOrExpression^a

LogicalOrExpression^a Þ

LogicalAndExpression^a

| LogicalOrExpression^a || LogicalAndExpression^a

Conditional Operator

ConditionalExpression^a Þ

LogicalOrExpression^a

| LogicalOrExpression^a ? AssignmentExpression^a : AssignmentExpression^a

Assignment Operators

AssignmentExpression^a Þ

ConditionalExpression^a

| LeftSideExpression = AssignmentExpression^a

| LeftSideExpression CompoundAssignment AssignmentExpression^a

CompoundAssignment Þ

*=

| /=

| %=

| +=

| -=

Expressions

CommaExpression^a Þ AssignmentExpression^a

Expression Þ CommaExpression^allowIn

OptionalExpression Þ

Expression

| «empty»

Statements

Statement^w Þ

BlocklikeStatement

| UnterminatedStatement ;

| NonuniformStatement^w

| IfStatement^w

| WhileStatement^w

| ForStatement^w

| LabeledStatement^w

NonuniformStatement^abbrev Þ

EmptyStatement ;

| EmptyStatement

| UnterminatedStatement

NonuniformStatement^{abbrevNonEmpty} Þ

EmptyStatement ;

| UnterminatedStatement

NonuniformStatement^{abbrevNoShortIf} Þ

EmptyStatement ;

| UnterminatedStatement

| EmptyStatement

NonuniformStatement^full Þ EmptyStatement ;

BlocklikeStatement Þ

Block

| SwitchStatement

| TryStatement

UnterminatedStatement Þ

VariableStatement

| ExpressionStatement

| DoStatement

| ContinueStatement

| BreakStatement

| ReturnStatement

| ThrowStatement

Block

Block Þ { BlockStatements }

BlockStatements Þ

Statement^abbrev

| BlockStatementsPrefix Statement^{abbrevNonEmpty}

BlockStatementsPrefix Þ

Statement^full

| BlockStatementsPrefix Statement^full

Variable Statement

VariableStatement Þ var VariableDeclarationList^allowIn

VariableDeclarationList^a Þ

VariableDeclaration^a

| VariableDeclarationList^a , VariableDeclaration^a

VariableDeclaration^a Þ

Identifier

| Identifier = AssignmentExpression^a

Empty Statement

EmptyStatement Þ «empty»

Expression Statement

ExpressionStatement Þ Expression

If Statement

IfStatement^abbrev Þ

if ( Expression ) Statement^abbrev

| if ( Expression ) Statement^{abbrevNoShortIf} else Statement^abbrev

IfStatement^{abbrevNonEmpty} Þ

if ( Expression ) Statement^{abbrevNonEmpty}

| if ( Expression ) Statement^{abbrevNoShortIf} else Statement^{abbrevNonEmpty}

IfStatement^full Þ

if ( Expression ) Statement^full

| if ( Expression ) Statement^{abbrevNoShortIf} else Statement^full

IfStatement^{abbrevNoShortIf} Þ if ( Expression ) Statement^{abbrevNoShortIf} else Statement^{abbrevNoShortIf}

Do-While Statement

DoStatement Þ do Statement^{abbrevNonEmpty} while ( Expression )

While Statement

WhileStatement^w Þ while ( Expression ) Statement^w

For Statements

ForStatement^w Þ

for ( ForInitializer ; OptionalExpression ; OptionalExpression ) Statement^w

| for ( ForInBinding in Expression ) Statement^w

ForInitializer Þ

«empty»

| CommaExpression^noIn

| var VariableDeclarationList^noIn

ForInBinding Þ

LeftSideExpression

| var VariableDeclaration^noIn

Continue and Break Statements

ContinueStatement Þ continue OptionalLabel

BreakStatement Þ break OptionalLabel

OptionalLabel Þ

«empty»

| Identifier

Labeled Statements

LabeledStatement^w Þ Identifier : Statement^w

Return Statement

ReturnStatement Þ return OptionalExpression

Switch Statement

SwitchStatement Þ

switch ( Expression ) { }

| switch ( Expression ) { CaseGroups LastCaseGroup }

CaseGroups Þ

«empty»

| CaseGroups CaseGroup

CaseGroup Þ CaseGuards BlockStatementsPrefix

LastCaseGroup Þ CaseGuards BlockStatements

CaseGuards Þ

CaseGuard

| CaseGuards CaseGuard

CaseGuard Þ

case Expression :

| default :

Throw Statement

ThrowStatement Þ throw Expression

Try Statement

TryStatement Þ

try Block CatchClauses

| try Block FinallyClause

| try Block CatchClauses FinallyClause

CatchClauses Þ

CatchClause

| CatchClauses CatchClause

CatchClause Þ catch ( Identifier ) Block

FinallyClause Þ finally Block

Functions

FunctionDeclaration Þ function Identifier ( FormalParameters ) { FunctionStatements }

Expressions

Primary Expressions

Left-Side Expressions

Postfix Expressions

Unary Operators

Multiplicative Operators

Additive Operators

Bitwise Shift Operators

Relational Operators

Equality Operators

Binary Bitwise Operators

Binary Logical Operators

Conditional Operator

Assignment Operators

Expressions

Statements

Block

Variable Statement

Empty Statement

Expression Statement

If Statement

Do-While Statement

While Statement

For Statements

Continue and Break Statements

Labeled Statements

Return Statement

Switch Statement

Throw Statement

Try Statement

Functions

Programs