Integrate queries partially #19

1 files changed, 0 insertions, 29 deletions

diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/ecore/queries/Ecore.vql b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/ecore/queries/Ecore.vql
deleted file mode 100644
index 9af35b50..00000000
--- a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/ecore/queries/Ecore.vql
+++ /dev/null
@@ -1,29 +0,0 @@
-package ca.mcgill.ecse.dslreasoner.standalone.test.ecore.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);

-}
\ No newline at end of file