Changeset 9842 for branches/HeuristicLab.Problems.GPDL/HeuristicLab.Problems.GPDL/3.4/GPDef.atg

Timestamp:

08/02/13 18:11:26 (11 years ago)

Author:

gkronber

Message:

#2026 added rudimentary error checking to GPDL parser ATG. Added GPL license headers to all files. Created a first set of unit tests.

Location:

branches/HeuristicLab.Problems.GPDL

Files:

• . (modified) (1 prop)
• HeuristicLab.Problems.GPDL/3.4/GPDef.atg (modified) (7 diffs)

branches/HeuristicLab.Problems.GPDL

@@ -1 +1 @@
 _ReSharper.HeuristicLab.Problems.GPDL
 *.suo
+bin
+*.user

@@ -1 +1 @@
 _ReSharper.HeuristicLab.Problems.GPDL
 *.suo
+bin
+*.user

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

@@ +1 @@
+/* HeuristicLab
+ * Copyright (C) 2002-2013 Heuristic and Evolutionary Algorithms Laboratory (HEAL)
+ *
+ * This file is part of HeuristicLab.
+ *
+ * HeuristicLab 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 3 of the License, or
+ * (at your option) any later version.
+ *
+ * HeuristicLab 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 HeuristicLab. If not, see <http://www.gnu.org/licenses/>.
+ */
+
+// Coco/R grammar for the GPDL compiler
+
 $namespace=HeuristicLab.Problems.GPDL
 
 using System.Text;
 using System.Collections.Generic;
+using System.Linq;
 using IEnumerableConstraintNode = System.Collections.Generic.IEnumerable<ConstraintNode>;
 
@@ -44 +66 @@
     ]
 
-    "NONTERMINALS" { NonterminalDecl<out ntNode>                                  (. gpDef.NonTerminals.Add(ntNode); .)
-    }
-    "TERMINALS" { TerminalDecl<out tNode>                                         (. gpDef.Terminals.Add(tNode); .)
-    }
-    "RULES" { RuleDef<out ruleNode>                                               (. gpDef.Rules.Add(ruleNode); .)
-    }
+    "NONTERMINALS" { NonterminalDecl<out ntNode>                                  (. if(gpDef.IsSymbolDefined(ntNode)) {
+                                                                                       SemErr("Duplicate non-terminal symbol: " + ntNode.Ident);
+                                                                                     } else {
+                                                                                       gpDef.NonTerminals.Add(ntNode);
+                                                                                     } 
+                                                                                  .)
+    }                                                                             (. if(!gpDef.NonTerminals.Any())
+                                                                                       SemErr("No non-terminal symbols defined.");
+                                                                                  .)
+    "TERMINALS" { TerminalDecl<out tNode>                                         (. if(gpDef.IsSymbolDefined(tNode)) {
+                                                                                       SemErr("Duplicate terminal symbol: " + tNode.Ident);
+                                                                                     } else {
+                                                                                       gpDef.Terminals.Add(tNode); 
+                                                                                     }
+                                                                                  .)
+    }                                                                             (. if(!gpDef.Terminals.Any())
+                                                                                       SemErr("No terminal symbols defined.");
+                                                                                  .)
+    "RULES" { RuleDef<out ruleNode>                                               (. 
+                                                                                     if(!gpDef.IsNonTerminalDefined(ruleNode.NtSymbol)) {
+                                                                                       SemErr("Non-terminal symbol " + ruleNode.NtSymbol + " is not defined in the NONTERMINALS section.");
+                                                                                     } else if(gpDef.IsRuleDefined(ruleNode)) {
+                                                                                       SemErr("Duplicate rule definition for non-terminal symbol " + ruleNode.NtSymbol);
+                                                                                     } else {
+                                                                                       gpDef.Rules.Add(ruleNode);
+                                                                                     } 
+                                                                                   .)
+    }                                                                             (.
+                                                                                     var undefinedNT = gpDef.UndefinedNonTerminals();
+                                                                                     if(!string.IsNullOrEmpty(undefinedNT)) {
+                                                                                       SemErr("Rules missing in the RULES section for: " + undefinedNT);
+                                                                                     }
+                                                                                  .)
                                                                                   (. fitnessFunNode = new FitnessFunctionNode();
-                                                                                         gpDef.FitnessFunctionNode = fitnessFunNode;
+                                                                                     gpDef.FitnessFunctionNode = fitnessFunNode;
                                                                                   .)
     ("MAXIMIZE"                                                                   (. fitnessFunNode.Maximization = true; .)
@@ -57 +106 @@
     )
      SourceCode<out src>                                                          (. fitnessFunNode.SrcCode = src; .)
+                                                                                  (. if(errors.count > 0) throw new FatalError("Syntactic or semantic errors found."); .)
     "END" ident                                                                   (.
-                                                                                    // SourceReader.Handle(GPDefSem.srcText.ToString()); // flush the source reader
                                                                                     var gen = new ProblemGenerator();
                                                                                     problem = gen.GenerateFromAst(gpDef);
@@ -125 +174 @@
                                                                                   .)
     ident                                                                         (. constraint = new ConstraintNode(t.val); .)
-    "IN" SetDefinition<constraint>                                                // (. SourceReader.Handle(GPDefSem.srcText.ToString()); .) // flush the source reader 
+    "IN" SetDefinition<constraint>                                               
   .
 
@@ -135 +184 @@
      "RANGE"                                                                      (. constraint.Type = ConstraintNodeType.Range; .)
      SourceCode<out src>                                                          (. constraint.RangeMinExpression = src; .)
-     ".." SourceCode<out src>                                                     (. // SourceReader.Handle(GPDefSem.srcText.ToString()); // flush the source reader 
-                                                                                    constraint.RangeMaxExpression = src; .)
+     ".." SourceCode<out src>                                                     (. constraint.RangeMaxExpression = src; .)
     )
   .
@@ -142 +190 @@
   /******************************************************/
   RuleDef<out RuleNode rule> =                                                    (.
-                                                                                    RuleExprNode expr = null;
-                                                                                    string identStr = null;
-                                                                                    RuleNode myRule = null;
-                                                                                    rule = null;
-                                                                                   string src = "";
+                                                                                     RuleExprNode expr = null;
+                                                                                     string identStr = null;
+                                                                                     RuleNode myRule = null;
+                                                                                     rule = null;
+                                                                                     string src = "";
                                                                                   .)
   ident                                                                           (. identStr = t.val; .) 
   [ SourceCode<out src> ] '='                                                     (.
-                                                                                      myRule = new RuleNode();
-                                                                                      rule = myRule;
-                                                                                      myRule.NtSymbol = identStr;
+                                                                                     myRule = new RuleNode();
+                                                                                     rule = myRule;
+                                                                                     myRule.NtSymbol = identStr;
                                                                                   .)
   ["LOCAL" SourceCode<out src>                                                    (.
-                                                                                    myRule.LocalCode = src;
+                                                                                     myRule.LocalCode = src;
                                                                                   .)
   ]
@@ -205 +253 @@
 // not implemented   | '[' SynExpr<ref rules, mBuilder> ']'
 // not implemented   | '{' SynExpr<ref rules, mBuilder> '}'
-     | SemAction<out action>                                                      (. expr = action; .)
+     | SemAction<out action>                                                     (. expr = action; .)
     )
   .

@@ -1 +1 @@
 _ReSharper.HeuristicLab.Problems.GPDL
 *.suo
+bin
+*.user