rockit 0.7.1 → 0.7.2

data/tests/acceptance/packrat/java/xtc.lang.java/JavaConstant.rats

@@ -0,0 +1,111 @@
+/*
+ * xtc - The eXTensible Compiler
+ * Copyright (C) 2004-2005 Robert Grimm, New York University
+ *
+ * This program is free software; you can redistribute it and/or
+ * modify it under the terms of the GNU General Public License
+ * as published by the Free Software Foundation; either version 2
+ * of the License, or (at your option) any later version.
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with this program; if not, write to the Free Software
+ * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.
+ */
+
+/**
+ * Definition of Java constants.
+ *
+ * @author Stacey Kuznetsov
+ * @author Robert Grimm
+ * @version $Revision: 1.2 $
+ */
+module xtc.lang.JavaConstant(Identifier, Spacing);
+
+import Identifier;
+import Spacing;
+
+GNode Literal =
+    FloatingPointLiteral Spacing
+  / IntegerLiteral Spacing
+  / CharacterLiteralNode Spacing
+  / StringLiteralNode Spacing
+  / BooleanLiteral
+  / NullLiteral
+  ;
+
+// ----- Integer literals
+
+generic IntegerLiteral =
+    <Hex> 	HexLiteral    
+  / <Octal>   	OctalLiteral
+  / <Decimal> 	DecimalLiteral
+  ;
+
+transient String HexLiteral =  HexNumeral     IntegerTypeSuffix? ;
+transient String OctalLiteral = OctalNumeral   IntegerTypeSuffix? ;
+transient String DecimalLiteral = DecimalNumeral IntegerTypeSuffix? ;
+
+transient String DecimalNumeral    = '0' / NonZeroDigit Digit* ;
+transient String NonZeroDigit      = [1-9] ;
+transient String Digit             = [0-9] ;
+
+transient String HexNumeral        = '0' [xX] HexDigit+ ;
+transient String HexDigit          = [0-9a-fA-F] ;
+
+transient String OctalNumeral      = '0' OctalDigit+ ;
+transient String OctalDigit        = [0-7] ;
+
+transient String IntegerTypeSuffix = [lL] ;
+
+// ----- Floating point literals
+
+generic FloatingPointLiteral = FloatingPointString;
+
+String FloatingPointString =
+    Digit+ '.' Digit* Exponent? FloatTypeSuffix?
+  /        '.' Digit+ Exponent? FloatTypeSuffix?
+  / Digit+            Exponent  FloatTypeSuffix?
+  / Digit+            Exponent? FloatTypeSuffix
+  ;
+
+transient String Exponent        = [eE] [+\-]? Digit+ ;
+transient String FloatTypeSuffix = [fFdD] ;
+
+// ----- Character and string constants
+
+generic CharacterLiteralNode = CharacterLiteral;
+generic StringLiteralNode = StringLiteral;
+
+String CharacterLiteral = ['] ( EscapeSequence / !['\\] _ )  ['] ;
+
+String StringLiteral    = ["] ( EscapeSequence / !["\\] _ )* ["] ;
+
+transient String EscapeSequence =
+  '\\' [btnfr"'\\] / UnicodeEscape / OctalEscape ;
+
+transient String OctalEscape    =
+  '\\' [0-3] OctalDigit OctalDigit
+  / '\\' OctalDigit OctalDigit
+  / '\\' OctalDigit
+  ;
+
+transient String UnicodeEscape  =
+  '\\' 'u' HexDigit HexDigit HexDigit HexDigit ;
+
+// ----- Boolean literals
+
+generic BooleanLiteral =
+    "true":Word
+  / "false":Word
+  ;
+
+// ----- Null literals
+
+generic NullLiteral =
+  void:"null":Word
+  ;

data/tests/acceptance/packrat/java/xtc.lang.java/JavaCore.rats

@@ -0,0 +1,508 @@
+/*
+ * xtc - The eXTensible Compiler
+ * Copyright (C) 2004-2005 Robert Grimm, New York University
+ *
+ * This program is free software; you can redistribute it and/or
+ * modify it under the terms of the GNU General Public License
+ * as published by the Free Software Foundation; either version 2
+ * of the License, or (at your option) any later version.
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with this program; if not, write to the Free Software
+ * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.
+ */
+
+/**
+ * Definition of Java's hierarchical syntax.
+ *
+ * @author Stacey Kuznetsov
+ * @author Robert Grimm
+ * @version $Revision: 1.2 $
+ */
+module xtc.lang.JavaCore(Type, Constant, Identifier, Symbol, Spacing);
+
+import Type;
+import Constant;
+import Identifier;
+import Symbol;
+import Spacing;
+
+// ---------------------------------------------------------- Compilation Unit
+
+public transient generic CompilationUnit = 
+  Spacing
+  PackageDeclaration?
+  ImportDeclaration*
+  Declaration*
+  void:'\u001a'?
+  EndOfFile
+  ;
+
+transient generic PackageDeclaration = 
+  void:"package":Word QualifiedIdentifier void:";":Symbol
+  ;
+
+transient generic ImportDeclaration =
+  void:"import":Word QualifiedIdentifier
+  DotStarTail?
+  void:";":Symbol
+  ;
+
+transient generic DotStarTail =   void:".":Symbol void:"*":Symbol ;
+
+// ---------------------------------------------------------- Declarations
+
+generic Modifiers = Modifier* ;
+
+String Modifier =
+    "public":Word
+  / "protected":Word
+  / "private":Word
+  / "static":Word
+  / "abstract":Word
+  / "final":Word
+  / "native":Word
+  / "synchronized":Word
+  / "transient":Word
+  / "volatile":Word
+  / "strictfp":Word
+  ;
+
+transient generic FormalParameter =
+  FinalClause? Type Identifier Dimensions?
+  ;
+
+generic FinalClause = void:"final":Word ;
+
+generic FormalParameters =
+    void:"(":Symbol FormalParameter ( void:",":Symbol FormalParameter )* void:")":Symbol
+  / void:"(":Symbol void:")":Symbol
+  ;
+
+transient generic Declarator =
+  Identifier Dimensions? ( void:"=":Symbol VariableInitializer )?
+  ;
+
+generic Declarators =
+  Declarator ( void:",":Symbol Declarator )*
+  ;
+
+transient generic ClassBody =
+  void:"{":Symbol Declaration* void:"}":Symbol
+  ;
+
+transient GNode Declaration =
+    FieldDeclaration
+  / MethodDeclaration
+  / ConstructorDeclaration
+  / ClassDeclaration
+  / InterfaceDeclaration
+  / BlockDeclaration
+  ;
+
+generic FieldDeclaration =
+  Modifiers Type Declarators void:";":Symbol
+  ;
+
+generic MethodDeclaration =
+   Modifiers
+   ResultType Identifier FormalParameters Dimensions? OptionalThrowsClause?
+   ( Block / void:";":Symbol )
+  ; 
+
+generic ConstructorDeclaration =
+   Modifiers Identifier FormalParameters OptionalThrowsClause? Block
+   ;
+
+generic ClassDeclaration = 
+    Modifiers void:"class":Word Identifier 
+    Extension? 
+    Implementation?
+    ClassBody
+    ;
+
+generic InterfaceDeclaration = 
+    Modifiers void:"interface":Word Identifier
+    Extension?
+    ClassBody
+    ;
+
+generic BlockDeclaration = 
+    (StaticClause)?
+    Block
+    ;
+
+generic StaticClause =  void:"static":Word ;
+
+generic OptionalThrowsClause =
+  void:"throws":Word QualifiedIdentifier ( void:",":Symbol QualifiedIdentifier )*
+  ;
+
+generic Extension = void:"extends":Word Type ( void:",":Symbol Type )*
+	/ void:"extends":Word Type;
+
+generic Implementation = void:"implements":Word Type ( void:",":Symbol Type )*;
+
+// ---------------------------------------------------------- Statements
+
+generic Block =
+  void:"{":Symbol BlockStatement* void:"}":Symbol
+  ;
+
+transient GNode BlockStatement =
+    Declaration
+  / Statement
+  ;
+
+transient GNode Statement =
+    Block
+  / ConditionalStatement
+  / ForStatement
+  / WhileStatement
+  / DoWhileStatement
+  / TryStatement
+  / SwitchStatement
+  / SynchronizedStatement
+  / ReturnStatement
+  / ThrowStatement
+  / BreakStatement
+  / ContinueStatement
+  / LabeledStatement
+  / ExpressionStatement
+  / VoidStatement
+  ;
+
+GNode ConditionalStatement =
+    <IfElse> IfElseStatement
+  / <If>     IfStatement
+  ;
+
+generic IfElseStatement =
+  void:"if":Word ParExpression 
+  Statement void:"else":Word Statement
+  ;
+
+generic IfStatement =
+  void:"if":Word ParExpression
+  Statement
+  ;
+		
+generic ForStatement= void:"for":Word void:"(":Symbol
+    ForInit 
+    Expression? void:";":Symbol
+    ExpressionList? void:")":Symbol Statement
+    ;
+
+generic ForInit =
+    FinalClause? Type Declarators void:";":Symbol
+   / ExpressionList void:";":Symbol
+   / void:";":Symbol
+   ;
+
+generic WhileStatement = void:"while":Word ParExpression Statement;
+
+generic DoWhileStatement = void:"do":Word Statement void:"while":Word ParExpression void:";":Symbol;
+
+generic ParExpression = void:"(":Symbol Expression void:")":Symbol ;
+
+GNode TryStatement =
+    <Finally>   TryCatchFinallyStatement
+  / <NoFinally> TryCatchStatement
+  ;
+
+generic TryCatchFinallyStatement = 
+  void: "try":Word 
+  Block 
+  CatchClause* 
+  void:"finally":Word 
+  Block 
+  ;
+
+generic TryCatchStatement = void:"try":Word Block CatchClause+ ;
+
+generic CatchClause =
+  void:"catch":Word void:"(":Symbol FormalParameter void:")":Symbol Block
+  ;
+
+generic SwitchStatement =
+  void:"switch":Word  ParExpression 
+  void:"{":Symbol SwitchGroup* void:"}":Symbol
+  ;
+
+GNode SwitchGroup =
+    <Case>     CaseExpression	
+  / <Default>  DefaultExpression
+  ;
+
+generic CaseExpression =
+  void:"case":Word Expression void:":":Symbol BlockStatement*
+  ;
+
+generic DefaultExpression = 
+  void:"default":Word void:":":Symbol BlockStatement*
+  ;
+
+generic SynchronizedStatement = 
+  void:"synchronized":Word ParExpression Block ;
+
+generic ReturnStatement =
+   void:"return":Word Expression? void:";":Symbol ;
+
+generic ThrowStatement = 
+   void:"throw":Word Expression void:";":Symbol ;
+
+generic BreakStatement = 
+   void:"break":Word Identifier? void:";":Symbol ;
+
+generic ContinueStatement = 
+   void:"continue":Word Identifier? void:";":Symbol ;
+
+generic LabeledStatement = 
+   Identifier void:":":Symbol Statement ;
+
+generic ExpressionStatement =
+   Expression void:";":Symbol;
+
+generic VoidStatement = 
+   void:";":Symbol ;
+
+// ---------------------------------------------------------- Expressions
+
+transient generic ExpressionList =
+  Expression ( void:",":Symbol Expression )*
+  ;
+
+generic Expression =
+    <Assignment> ConditionalExpression AssignmentOperator Expression
+  / <Base>       yyValue: ConditionalExpression
+  ;
+
+String AssignmentOperator =
+    <Equal>              "=":Symbol
+  / <PlusEqual>          "+=":Symbol
+  / <MinusEqual>         "-=":Symbol
+  / <StarEqual>          "*=":Symbol
+  / <SlashEqual>         "/=":Symbol
+  / <AmpersandEqual>     "&=":Symbol
+  / <BarEqual>           "|=":Symbol
+  / <CaretEqual>         "^=":Symbol
+  / <PercentEqual>       "%=":Symbol
+  / <DoubleLessEqual>    "<<=":Symbol
+  / <DoubleGreaterEqual> ">>=":Symbol
+  / <TripleGreaterEqual> ">>>=":Symbol
+  ;
+
+generic ConditionalExpression =
+    <Conditional> ConditionalOrExpression void:"?":Symbol Expression 
+                                          void:":":Symbol ConditionalExpression
+  / <Base> yyValue:ConditionalOrExpression
+  ;
+
+generic ConditionalOrExpression =
+    <Or>   ConditionalOrExpression void:"||":Symbol ConditionalAndExpression
+  / <Base> yyValue:ConditionalAndExpression
+  ;
+
+transient generic ConditionalAndExpression =
+    <And>  ConditionalAndExpression void:"&&":Symbol InclusiveOrExpression
+  / <Base> yyValue:InclusiveOrExpression
+  ;
+
+transient generic InclusiveOrExpression =
+    <Or>   InclusiveOrExpression void:"|":Symbol ExclusiveOrExpression
+  / <Base> yyValue:ExclusiveOrExpression
+  ;
+
+transient generic ExclusiveOrExpression =
+    <Xor>  ExclusiveOrExpression void:"^":Symbol AndExpression
+  / <Base> yyValue:AndExpression
+  ;
+
+transient generic AndExpression =
+    <And>  AndExpression void:"&":Symbol EqualityExpression
+  / <Base> yyValue:EqualityExpression
+  ;
+
+transient generic EqualityExpression =
+    <Recursion>    EqualityExpression EqualityOperator InstanceOfExpression
+  / <Base>    	   yyValue:InstanceOfExpression
+  ;
+
+String EqualityOperator =
+    <Equal>    "==":Symbol
+  / <NotEqual> "!=":Symbol
+  ;
+	
+
+transient generic InstanceOfExpression =
+    <Instanceof> RelationalExpression void:"instanceof":Word Type
+  / <Base>       yyValue:RelationalExpression
+  ;
+
+generic RelationalExpression =
+    <Recursion>  RelationalExpression RelationalOperator ShiftExpression
+  / <Base>       yyValue:ShiftExpression
+  ;
+
+String RelationalOperator =
+    <Less>    	   "<":Symbol
+  / <Greater>      ">":Symbol
+  / <LessEqual>    "<=":Symbol
+  / <GreaterEqual> ">=":Symbol
+  ;
+    
+
+transient generic ShiftExpression =
+    <Recursion>    ShiftExpression ShiftOperator AdditiveExpression
+  / <Base>          yyValue:AdditiveExpression
+  ;
+
+String ShiftOperator =
+    <Left> 	    "<<":Symbol
+  / <Right> 	    ">>":Symbol
+  / <UnsignedRight> ">>>":Symbol
+ ;
+	
+transient generic AdditiveExpression =
+    <Recursion>  AdditiveExpression AdditiveOperator MultiplicativeExpression
+  / <Base>       yyValue:MultiplicativeExpression
+  ;
+
+String AdditiveOperator =
+    <Plus>  "+":Symbol
+  / <Minus> "-":Symbol
+  ;
+
+transient generic MultiplicativeExpression =
+    <Times>  MultiplicativeExpression MultiplicativeOperator UnaryExpression
+  / <Base>   yyValue:UnaryExpression
+  ;
+
+String MultiplicativeOperator =
+    <Times>  "*":Symbol
+  / <Over>   "/":Symbol
+  / <Modulo> "%":Symbol
+  ;
+	  
+
+transient generic UnaryExpression =
+    <Plus>      "+":Symbol UnaryExpression
+  / <Minus>     "-":Symbol UnaryExpression
+  / <Increment> "++":Symbol UnaryExpression
+  / <Decrement> "--":Symbol UnaryExpression
+  / <Base>      yyValue:UnaryExpressionNotPlusMinus
+  ;
+
+transient GNode UnaryExpressionNotPlusMinus =
+    <BitwiseNot> BitwiseNegationExpression
+  / <LogicalNot> LogicalNegationExpression
+  / <BasicCast>  BasicCastExpression
+  / <Cast>       CastExpression
+  / <Base>       PostfixExpression
+  ;
+
+transient generic BitwiseNegationExpression =
+  void:"~":Symbol UnaryExpression 
+  ;
+
+transient generic LogicalNegationExpression = 
+  void:"!":Symbol UnaryExpression 
+  ;
+
+transient generic BasicCastExpression = 
+  void:"(":Symbol BasicType Dimensions? void:")":Symbol UnaryExpression 
+  ;
+
+transient generic CastExpression =
+  void:"(":Symbol Type void:")":Symbol UnaryExpressionNotPlusMinus
+  ;
+
+generic PostfixExpression =
+  PrimaryExpression PostfixExpressionTail*
+  ;
+
+GNode PostfixExpressionTail =
+    SubscriptExpression 
+  / Arguments
+  / PrimaryExpressionTail
+  / ClassTail
+  / PostincrementExpression
+  / PostdecrementExpression
+  ;
+
+generic SubscriptExpression = 
+  void:"[":Symbol Expression? void:"]":Symbol 
+  ;
+
+generic PrimaryExpressionTail = 
+  void:".":Symbol PrimaryExpression 
+  ;
+
+generic ClassTail = 
+  void:".":Symbol void:"class":Word
+  ;
+
+generic PostincrementExpression = void:"++":Symbol ;
+
+generic PostdecrementExpression = void:"--":Symbol ;
+
+transient GNode PrimaryExpression =
+    <Literal>			Literal 
+  / <PrimaryIdentifier>		PrimaryIdentifier
+  / <NestedExpression>	NestedExpression
+  / <ThisExpression>		ThisExpression
+  / <SuperExpression>	   	SuperExpression
+  / <NewExpression>		NewExpression 
+  / <VoidClassExpression>  	VoidClassExpression 
+  ;
+
+transient generic PrimaryIdentifier = Identifier ;
+
+transient generic NestedExpression = 
+  void:"(":Symbol Expression void:")":Symbol 
+  ;
+
+transient generic ThisExpression = void:"this":Word ;
+
+transient generic SuperExpression = void:"super":Word ;
+
+transient generic NewExpression = 
+    <Class>     void:"new":Word QualifiedIdentifier Arguments ClassBody?
+  / <Array>     void:"new":Word TypeName DimensionExpressions Dimensions?
+  / <InitArray> void:"new":Word TypeName Dimensions? ArrayInitializer
+  ;
+
+transient generic VoidClassExpression = 
+  void:"void":Word void:".":Symbol void:"class":Word 
+  ;
+
+transient generic DimensionExpressions = DimensionExpression+;
+
+transient generic DimensionExpression =
+  void:"[":Symbol Expression void:"]":Symbol
+  ;
+
+transient generic Arguments =
+    <Arguments>   void:"(":Symbol ExpressionList void:")":Symbol
+  / <NoArguments> void:"(":Symbol void:")":Symbol
+  ;
+
+transient generic ArrayInitializer =
+    void:"{":Symbol
+      ( VariableInitializer void:",":Symbol )*
+    void:"}":Symbol
+  / void:"{":Symbol
+      VariableInitializer
+      ( void:",":Symbol VariableInitializer )*
+    void:"}":Symbol
+  ;
+
+GNode VariableInitializer =
+    <Array>      ArrayInitializer
+  / <Expression> Expression
+  ;