Changeset 9724 for branches/HeuristicLab.Problems.GPDL/SyntaxAnalyzer/GPDef.atg

Timestamp:

07/19/13 00:31:12 (11 years ago)

Author:

gkronber

Message:

#2026 changed ATG to Coco/R syntax and use Coco/R (C#) to generate scanner and parser for GPDL

File:

• branches/HeuristicLab.Problems.GPDL/SyntaxAnalyzer/GPDef.atg (modified) (1 diff)

branches/HeuristicLab.Problems.GPDL/SyntaxAnalyzer/GPDef.atg

@@ +1 @@
+$namespace=SyntaxAnalyzer
+
 COMPILER GPDefSyntaxAnalyzer
 
-CHARACTER SETS
+CHARACTERS
   letter = 'A'..'Z' + 'a'..'z'.
   digit = '0'..'9'.
-  whiteSpace = CHR(9) + EOL IGNORE. /* ' ' ignored by default */ 
+
+TOKENS
+  ident = letter {letter | digit} .
 
 COMMENTS
-  FROM '/*' TO '*/' NESTED.
+  FROM "/*" TO "*/" NESTED
 
-KEYWORDS
-  'PROBLEM'. 'END'. 'EPS'.
-  'LOCAL'. 'NONTERMINALS'. 'RULES'.
-  'SEM'. 'MAXIMIZE'. 'MINIMIZE'. 'TERMINALS'. 'CONSTRAINTS'. 'INIT'. 'CODE'. 
-  'IN'. 'SET'. 'RANGE'. 
+IGNORE '\t' + '\r' + '\n'
 
-TOKENS
-  '='. '|'. '.'. '('. ')'. '['. ']'. '{'. '}'. '>>'. '..'.
-
-TOKEN CLASSES
-  ident = letter {letter | digit}.
-
-PRAGMAS
-  source       = '<<' SEM <<for (; ; ) {
-                              switch (GPDefSyntaxAnalyzerLex.curCh) {
-                                case Utils.EF:
-                                  Errors.SemError(GPDefSyntaxAnalyzerLex.curLine, GPDefSyntaxAnalyzerLex.curCol, "end of file in source text");
-                                  return;
-                                case '<':
-                                  GPDefSyntaxAnalyzerLex.NextCh();
-                                  if (GPDefSyntaxAnalyzerLex.curCh == '<') {
-                                    Errors.Warning(GPDefSyntaxAnalyzerLex.curLine, GPDefSyntaxAnalyzerLex.curCol, "non closed source text before?");
-                                    GPDefSyntaxAnalyzerLex.NextCh();
-                                  }
-                                  break;
-                                case '>':
-                                  GPDefSyntaxAnalyzerLex.NextCh();
-                                  if (GPDefSyntaxAnalyzerLex.curCh == '>') {
-                                    GPDefSyntaxAnalyzerLex.curCh = ' ';          // force GPDefSyntaxAnalyzerLex to get next character 
-                                    return;
-                                  }
-                                  break;
-                                default:
-                                  GPDefSyntaxAnalyzerLex.NextCh();
-                                  break;
-                              }
-                            }>>
-  .
-NONTERMINALS
-  GPDefSyntaxAnalyzer.   
-  SemDecl. SemAction. NonterminalDecl.
-  RuleDef. SynExpr. SynTerm. SynFact. TerminalDecl. 
-  ConstraintDef. ConstraintRule. SetDefinition.
-
-RULES
+PRODUCTIONS
   GPDefSyntaxAnalyzer = 
-    'PROBLEM' ident 
-  ['CODE' /* SourceText */]
-  ['INIT' /* SourceText */]
-    'NONTERMINALS' { NonterminalDecl }
-    'TERMINALS' { TerminalDecl }
-    'RULES' { RuleDef } 
-    ('MAXIMIZE' | 'MINIMIZE') /* SourceText */
-    'END' ident '.'.
+    "PROBLEM" ident 
+    ["CODE" "<<" {ANY} ">>" ]
+    ["INIT" "<<" {ANY} ">>" ]
+    "NONTERMINALS" { NonterminalDecl }
+    "TERMINALS" { TerminalDecl }
+    "RULES" { RuleDef } 
+    ("MAXIMIZE" | "MINIMIZE") "<<" {ANY} ">>" 
+    "END" ident '.'.
 
 
-  SemDecl = 'LOCAL' /* SourceText */
+  SemDecl = "LOCAL" "<<" {ANY} ">>" 
   .
 
-  SemAction = 'SEM' /* SourceText */
+  SemAction = "SEM" "<<" {ANY} ">>" 
   .
 
-  NonterminalDecl = ident /* FormalAttrList */ '.'
+  NonterminalDecl = ident "<<" {ANY} ">>"  '.'
   .
 
-  TerminalDecl = ident /* FormalAttrList */
-    [ 'CONSTRAINTS' ConstraintDef ]
+  TerminalDecl = ident "<<" {ANY} ">>" 
+    [ "CONSTRAINTS" ConstraintDef ]
     '.'
   .
 
   ConstraintDef = { ConstraintRule }.
-  ConstraintRule = ident 'IN' SetDefinition .
+  ConstraintRule = ident "IN" SetDefinition .
   SetDefinition = 
-    'SET' /* SourceText */
-    | 'RANGE' /* SourceText */ '..' /* SourceText */
+    "SET" "<<" {ANY} ">>" 
+    | "RANGE" "<<" {ANY} ">>" ".." "<<" {ANY} ">>" 
   .
 
-  RuleDef = ident /* FormalAttrList */ '=' [SemDecl] SynExpr '.'
+  RuleDef = ident "<<" {ANY} ">>"  '=' [SemDecl] SynExpr '.'
   .
 
-  SynExpr = SynTerm {'|' SynTerm}
+  SynExpr = SynTerm { '|' SynTerm }
   .
 
-  SynTerm = SynFact {SynFact}
+  SynTerm = SynFact { SynFact }
   .
 
   SynFact = 
-    ident /* ActualAttrList */
-    | 'EPS'
+    ident "<<" {ANY} ">>" 
+    | "EPS"
     | '(' SynExpr ')'
     | '[' SynExpr ']'