6 files changed, 113 insertions, 0 deletions

diff --git a/Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/xtend-gen/ca/mcgill/ecse/dslreasoner/realistic/metrics/calculator/validation/.ConstraintCollection.java._trace b/Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/xtend-gen/ca/mcgill/ecse/dslreasoner/realistic/metrics/calculator/validation/.ConstraintCollection.java._trace
new file mode 100644
index 00000000..1756f86a
--- /dev/null
+++ b/Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/xtend-gen/ca/mcgill/ecse/dslreasoner/realistic/metrics/calculator/validation/.ConstraintCollection.java._trace
diff --git a/Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/xtend-gen/ca/mcgill/ecse/dslreasoner/realistic/metrics/calculator/validation/.ConstraintCollection.xtendbin b/Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/xtend-gen/ca/mcgill/ecse/dslreasoner/realistic/metrics/calculator/validation/.ConstraintCollection.xtendbin
new file mode 100644
index 00000000..708955a4
--- /dev/null
+++ b/Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/xtend-gen/ca/mcgill/ecse/dslreasoner/realistic/metrics/calculator/validation/.ConstraintCollection.xtendbin
diff --git a/Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/xtend-gen/ca/mcgill/ecse/dslreasoner/realistic/metrics/calculator/validation/.ViolationCheck.java._trace b/Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/xtend-gen/ca/mcgill/ecse/dslreasoner/realistic/metrics/calculator/validation/.ViolationCheck.java._trace
new file mode 100644
index 00000000..0cb68ca8
--- /dev/null
+++ b/Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/xtend-gen/ca/mcgill/ecse/dslreasoner/realistic/metrics/calculator/validation/.ViolationCheck.java._trace
diff --git a/Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/xtend-gen/ca/mcgill/ecse/dslreasoner/realistic/metrics/calculator/validation/.ViolationCheck.xtendbin b/Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/xtend-gen/ca/mcgill/ecse/dslreasoner/realistic/metrics/calculator/validation/.ViolationCheck.xtendbin
new file mode 100644
index 00000000..63721784
--- /dev/null
+++ b/Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/xtend-gen/ca/mcgill/ecse/dslreasoner/realistic/metrics/calculator/validation/.ViolationCheck.xtendbin
diff --git a/Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/xtend-gen/ca/mcgill/ecse/dslreasoner/realistic/metrics/calculator/validation/ConstraintCollection.java b/Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/xtend-gen/ca/mcgill/ecse/dslreasoner/realistic/metrics/calculator/validation/ConstraintCollection.java
new file mode 100644
index 00000000..92c69bea
--- /dev/null
+++ b/Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/xtend-gen/ca/mcgill/ecse/dslreasoner/realistic/metrics/calculator/validation/ConstraintCollection.java
@@ -0,0 +1,79 @@
+package ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator.validation;
+
+import java.util.ArrayList;
+import java.util.List;
+import java.util.Map;
+import org.eclipse.emf.common.notify.Notifier;
+import org.eclipse.emf.common.util.URI;
+import org.eclipse.emf.ecore.resource.Resource;
+import org.eclipse.emf.ecore.resource.impl.ResourceSetImpl;
+import org.eclipse.xtext.xbase.lib.InputOutput;
+
+@SuppressWarnings("all")
+public class ConstraintCollection {
+  private final /* ArrayList<IConstraintSpecification> */Object constraints /* Skipped initializer because of errors */;
+  
+  private /* BaseGeneratedPatternGroup */Object patterns;
+  
+  private List<Notifier> resources = new ArrayList<Notifier>();
+  
+  public ConstraintCollection(final /* List<IConstraintSpecification> */Object constraints, final List<String> uris, final /* BaseGeneratedPatternGroup */Object patterns) {
+    throw new Error("Unresolved compilation problems:"
+      + "\nThe field ConstraintCollection.constraints refers to the missing type IConstraintSpecification"
+      + "\nThe field ConstraintCollection.patterns refers to the missing type BaseGeneratedPatternGroup");
+  }
+  
+  public ConstraintCollection(final /* List<IConstraintSpecification> */Object constraints, final /* BaseGeneratedPatternGroup */Object patterns) {
+    throw new Error("Unresolved compilation problems:"
+      + "\nThe field ConstraintCollection.constraints refers to the missing type IConstraintSpecification"
+      + "\nThe field ConstraintCollection.patterns refers to the missing type BaseGeneratedPatternGroup");
+  }
+  
+  public boolean addModel(final Notifier n) {
+    return this.resources.add(n);
+  }
+  
+  public String setURIs(final List<String> uris) {
+    String _xblockexpression = null;
+    {
+      final ResourceSetImpl resSet = new ResourceSetImpl();
+      for (final String uri : uris) {
+        {
+          Resource resource = resSet.getResource(URI.createURI(uri), true);
+          this.resources.add(resource);
+        }
+      }
+      _xblockexpression = InputOutput.<String>println("reading model finished");
+    }
+    return _xblockexpression;
+  }
+  
+  public List<Integer> calculateViolations() {
+    throw new Error("Unresolved compilation problems:"
+      + "\nThe method or field querySpecification is undefined for the type Object"
+      + "\nThe method initEngine(Notifier) from the type ConstraintCollection refers to the missing type Object"
+      + "\nThe field ConstraintCollection.constraints refers to the missing type IConstraintSpecification"
+      + "\ngetMatcher cannot be resolved"
+      + "\ncountMatches cannot be resolved");
+  }
+  
+  public ArrayList<Map<String, Integer>> calculateViolationMaps() {
+    throw new Error("Unresolved compilation problems:"
+      + "\nThe method or field querySpecification is undefined for the type Object"
+      + "\nThe method or field querySpecification is undefined for the type Object"
+      + "\nThe method initEngine(Notifier) from the type ConstraintCollection refers to the missing type Object"
+      + "\nThe field ConstraintCollection.constraints refers to the missing type IConstraintSpecification"
+      + "\ngetMatcher cannot be resolved"
+      + "\ncountMatches cannot be resolved"
+      + "\nsimpleName cannot be resolved");
+  }
+  
+  private Object initEngine(final Notifier r) {
+    throw new Error("Unresolved compilation problems:"
+      + "\nThe method or field ViatraQueryEngine is undefined"
+      + "\nEMFScope cannot be resolved."
+      + "\nThe field ConstraintCollection.patterns refers to the missing type BaseGeneratedPatternGroup"
+      + "\non cannot be resolved"
+      + "\nprepare cannot be resolved");
+  }
+}
diff --git a/Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/xtend-gen/ca/mcgill/ecse/dslreasoner/realistic/metrics/calculator/validation/ViolationCheck.java b/Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/xtend-gen/ca/mcgill/ecse/dslreasoner/realistic/metrics/calculator/validation/ViolationCheck.java
new file mode 100644
index 00000000..7eb3ec77
--- /dev/null
+++ b/Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/xtend-gen/ca/mcgill/ecse/dslreasoner/realistic/metrics/calculator/validation/ViolationCheck.java
@@ -0,0 +1,34 @@
+package ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator.validation;
+
+import ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator.app.Domain;
+import java.util.ArrayList;
+import java.util.Map;
+import org.eclipse.emf.ecore.EObject;
+
+@SuppressWarnings("all")
+public class ViolationCheck {
+  /**
+   * Return the total number of violations
+   */
+  public static int calculateViolationCounts(final EObject root, final Domain d) {
+    throw new Error("Unresolved compilation problems:"
+      + "\nThe method loadConstraints(String) from the type ViolationCheck refers to the missing type IConstraintSpecification"
+      + "\nThe constructor ConstraintCollection(List<IConstraintSpecification>, BaseGeneratedPatternGroup) refers to the missing type IConstraintSpecification");
+  }
+  
+  /**
+   * return a map contain the count for each type of violation
+   */
+  public static Map<String, Integer> violationMaps(final EObject root) {
+    throw new Error("Unresolved compilation problems:"
+      + "\nThe method loadConstraints(String) from the type ViolationCheck refers to the missing type IConstraintSpecification"
+      + "\nThe constructor ConstraintCollection(List<IConstraintSpecification>, BaseGeneratedPatternGroup) refers to the missing type IConstraintSpecification");
+  }
+  
+  public static /* ArrayList<IConstraintSpecification> */Object loadConstraints(final String packageName) {
+    throw new Error("Unresolved compilation problems:"
+      + "\nIConstraintSpecification cannot be resolved to a type."
+      + "\nIConstraintSpecification cannot be resolved to a type."
+      + "\nThe method or field IConstraintSpecification is undefined");
+  }
+}