code for paperRealistic-Generation-SURE

1 files changed, 33 insertions, 0 deletions

diff --git a/Metrics/Metrics-Calculation/RealisticRunner/queries/ecore.vql b/Metrics/Metrics-Calculation/RealisticRunner/queries/ecore.vql
new file mode 100644
index 00000000..9ddb64c9
--- /dev/null
+++ b/Metrics/Metrics-Calculation/RealisticRunner/queries/ecore.vql
@@ -0,0 +1,33 @@
+package queries
+
+import epackage "http://www.eclipse.org/emf/2002/Ecore"
+
+pattern directSupertype(a: EClass, b:EClass) {
+        EClass.eSuperTypes(a,b);
+}
+
+@Constraint(key={a}, severity="error", message="error")
+pattern loopInInheritence(a: EClass) {
+        find directSupertype+(a,a);
+}
+
+pattern opposite(a:EReference, b: EReference) {
+        EReference.eOpposite(a,b);
+}
+@Constraint(key={a}, severity="error", message="error")
+pattern oppositeDifferentClass(a:EReference) {
+        EReference.eOpposite(a,b);
+        EReference.eContainingClass(a,aContaining);
+        EReference.eType(b,bTarget);
+        aContaining != bTarget;
+}
+
+@Constraint(key={a}, severity="error", message="error")
+pattern nonSymmetricOpposite(a:EReference, b:EReference) {
+        find opposite(a,b);
+        neg find opposite(b,a);
+}
+
+pattern superTypes(c1:EClass, c2:EClass){
+        EClass.eSuperTypes(c1,c2);
+}