Changeset 10067 for branches/HeuristicLab.Problems.GPDL/HeuristicLab.Grammars/3.3/AttributedGrammar.cs

Timestamp:

10/18/13 21:33:56 (11 years ago)

Author:

gkronber

Message:

#2026 worked on brute force solver for GPDL problems.

File:

• branches/HeuristicLab.Problems.GPDL/HeuristicLab.Grammars/3.3/AttributedGrammar.cs (modified) (2 diffs)

branches/HeuristicLab.Problems.GPDL/HeuristicLab.Grammars/3.3/AttributedGrammar.cs

@@ -24 +24 @@
 using System.Diagnostics;
 using System.Linq;
-using System.Text.RegularExpressions;
 
 namespace HeuristicLab.Grammars {
   public class AttributedGrammar : Grammar {
+    private Dictionary<ISymbol, string> localDefinitions = new Dictionary<ISymbol, string>();
+    private Dictionary<ISymbol, IList<Sequence>> alternatives = new Dictionary<ISymbol, IList<Sequence>>();
+
     public AttributedGrammar(ISymbol startSymbol)
       : base(startSymbol) {
@@ -34 +36 @@
     }
 
-    private static Regex ruleExpr = new Regex(@"\s*(?<ntSymbol>\w+)\s*(?<formPar>\<\w+\>)+\s*->\s*(?<alternative>\w+\s*(?<actPar>\<\w+\>)+(?:\s+\w+\s*(?<actPar>\<\w+\>)+)*)(?:\s*\|\s*(?<alternative>\w+\s*(?<formPar>\<\w+\>)+(?:\s+\w+\s*(?<formPar>\<\w+\>)+)*))*");
-    private static Regex empty = new Regex(@"^\s*$");
-    public static Grammar FromString(string gStr) {
-      var lines = gStr.Split(new string[] { Environment.NewLine }, StringSplitOptions.RemoveEmptyEntries);
-      lines = lines.Where(l => !empty.IsMatch(l)).ToArray(); // remove empty lines
+    public IEnumerable<Sequence> GetAlternativesWithSemanticActions(ISymbol ntSymbol) {
+      Debug.Assert(!ntSymbol.Equals(EmptySymbol));
+      return alternatives[ntSymbol];
+    }
+    public Sequence GetAlternativeWithSemanticActions(ISymbol ntSymbol, int index) {
+      Debug.Assert(!ntSymbol.Equals(EmptySymbol));
+      return alternatives[ntSymbol][index];
+    }
 
-      // first line is the rule for the start-symbol
-      var m = ruleExpr.Match(lines.First());
-      var startSymbol = new Symbol(m.Groups["ntSymbol"].Value);
-      
-      var g = new Grammar(startSymbol);
-      foreach (var alt in m.Groups["alternative"].Captures) {
-        g.AddProductionRule(startSymbol, new Sequence(alt.ToString().Split(new char[] { ' ' }, StringSplitOptions.RemoveEmptyEntries).Select(n => new Symbol(n))));
+    public override void AddProductionRule(ISymbol ntSymbol, Sequence production) {
+      base.AddProductionRule(ntSymbol, new Sequence(production.Where(symb => !(symb is SemanticSymbol)).ToList()));
+
+      IList<Sequence> list;
+      if (!alternatives.TryGetValue(ntSymbol, out list)) {
+        list = new List<Sequence>();
+        alternatives.Add(ntSymbol, list);
       }
-      foreach (var line in lines.Skip(1)) {
-        m = ruleExpr.Match(line);
-        var ntSymbol = new Symbol(m.Groups["ntSymbol"].Value);
-        foreach (var alt in m.Groups["alternative"].Captures) {
-          g.AddProductionRule(ntSymbol, new Sequence(alt.ToString().Split(new char[] { ' ' }, StringSplitOptions.RemoveEmptyEntries).Select(n => new Symbol(n))));
-        }
-      }
+      // make sure that there is not equivalent production registered already
+      Debug.Assert(!list.Any(s => s.SequenceEqual(production)));
 
-      return g;
+      list.Add(production);
     }
+
+    public void AddLocalDefinitions(ISymbol ntSymbol, string localDefCode) {
+      Debug.Assert(!ntSymbol.Equals(EmptySymbol));
+      Debug.Assert(!localDefinitions.ContainsKey(ntSymbol));
+
+      localDefinitions.Add(ntSymbol, localDefCode);
+    }
+    public string GetLocalDefinitions(ISymbol ntSymbol) {
+      string code;
+      if (localDefinitions.TryGetValue(ntSymbol, out code)) return code;
+      else return string.Empty;
+    }
+
+
+
+    //private static Regex ruleExpr = new Regex(@"\s*(?<ntSymbol>\w+)\s*(?<formPar>\<\w+\>)+\s*->\s*(?<alternative>\w+\s*(?<actPar>\<\w+\>)+(?:\s+\w+\s*(?<actPar>\<\w+\>)+)*)(?:\s*\|\s*(?<alternative>\w+\s*(?<formPar>\<\w+\>)+(?:\s+\w+\s*(?<formPar>\<\w+\>)+)*))*");
+    //private static Regex empty = new Regex(@"^\s*$");
+    //public static Grammar FromString(string gStr) {
+    //  var lines = gStr.Split(new string[] { Environment.NewLine }, StringSplitOptions.RemoveEmptyEntries);
+    //  lines = lines.Where(l => !empty.IsMatch(l)).ToArray(); // remove empty lines
+
+    //  // first line is the rule for the start-symbol
+    //  var m = ruleExpr.Match(lines.First());
+    //  var startSymbol = new Symbol(m.Groups["ntSymbol"].Value);
+
+    //  var g = new Grammar(startSymbol);
+    //  foreach (var alt in m.Groups["alternative"].Captures) {
+    //    g.AddProductionRule(startSymbol, new Sequence(alt.ToString().Split(new char[] { ' ' }, StringSplitOptions.RemoveEmptyEntries).Select(n => new Symbol(n))));
+    //  }
+    //  foreach (var line in lines.Skip(1)) {
+    //    m = ruleExpr.Match(line);
+    //    var ntSymbol = new Symbol(m.Groups["ntSymbol"].Value);
+    //    foreach (var alt in m.Groups["alternative"].Captures) {
+    //      g.AddProductionRule(ntSymbol, new Sequence(alt.ToString().Split(new char[] { ' ' }, StringSplitOptions.RemoveEmptyEntries).Select(n => new Symbol(n))));
+    //    }
+    //  }
+
+    //  return g;
+    //}
   }
 }