Changeset 17736

Timestamp:

08/28/20 17:29:31 (4 years ago)

Author:

dpiringe

Message:

#3073

• added a check in Interval/IntervalConstraintsParser to throw an exception for multiple variables with the same key

File:

• branches/3073_IA_constraint_splitting/HeuristicLab.Problems.DataAnalysis/3.4/Implementation/Interval/IntervalConstraintsParser.cs (modified) (3 diffs)

branches/3073_IA_constraint_splitting/HeuristicLab.Problems.DataAnalysis/3.4/Implementation/Interval/IntervalConstraintsParser.cs

@@ -97 +97 @@
               for(int idx = 0; idx < match.Groups[10].Captures.Count; ++idx)
               {
-                var inputVar = match.Groups[11].Captures[idx].Value;
-                var regionLb = ParseIntervalBounds(match.Groups[13].Captures[idx].Value);
-                var regionUb = ParseIntervalBounds(match.Groups[15].Captures[idx].Value);
-                pairs.Add(inputVar, new Interval(regionLb, regionUb));
+                AddRegion(pairs,
+                  match.Groups[11].Captures[idx].Value,
+                  match.Groups[13].Captures[idx].Value,
+                  match.Groups[15].Captures[idx].Value);
               }
               yield return new IntervalConstraint(expression, variable, parsedTarget, numberOfDerivation, interval, pairs, weight, isEnabled);
@@ -184 +184 @@
               for (int idx = 0; idx < match.Groups[17].Captures.Count; ++idx)
               {
-                var inputVar = match.Groups[18].Captures[idx].Value;
-                var regionLb = ParseIntervalBounds(match.Groups[20].Captures[idx].Value);
-                var regionUb = ParseIntervalBounds(match.Groups[22].Captures[idx].Value);
-                pairs.Add(inputVar, new Interval(regionLb, regionUb));
+                AddRegion(pairs, 
+                  match.Groups[18].Captures[idx].Value, 
+                  match.Groups[20].Captures[idx].Value, 
+                  match.Groups[22].Captures[idx].Value);
               }
               yield return new IntervalConstraint(expression, variable, parsedTarget, numberOfDerivation, interval, pairs, weight, isEnabled);
@@ -207 +207 @@
         }
       }
+    }
+
+    private static void AddRegion(IDictionary<string, Interval> dict, string variable, string lb, string ub)
+    {
+      var regionLb = ParseIntervalBounds(lb);
+      var regionUb = ParseIntervalBounds(ub);
+      if (dict.ContainsKey(variable))
+        throw new ArgumentException("A constraint cannot contain multiple regions of the same variable.");
+      dict.Add(variable, new Interval(regionLb, regionUb));
     }