JavaScript 2.0 Formal Description Parser Grammar

Tuesday, February 15, 2000

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.

This document is also available as a Word 98 rtf file.

Terminals

General tokens: Identifier   Number   RegularExpression   String   VirtualSemicolon

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

Future 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   synchronized   throws   transient   volatile

Non-reserved words: get   language   set

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

The third through sixth Attributes productions are merely the result of manually inlining the Identifier rule inside Attributes Identifier [no line break] Attributes. Without manually inlining the Identifier rule here the grammar would not be LR(1).

Variable Definition

Function Definition

Class Definition

Language Declaration

The first through fourth LanguageIds productions are merely the result of manually inlining the Identifier rule inside LanguageIds Identifier LanguageIdsRest. Without manually inlining the Identifier rule here the grammar would not be LR(1).

Package Definition

Programs

Waldemar Horwat Last modified Tuesday, February 15, 2000