From cd87de919c733033557401e011102edc67c5f169 Mon Sep 17 00:00:00 2001
From: ArenBabikian <aren.babikian@mail.mcgill.ca>
Date: Fri, 15 Feb 2019 12:42:15 -0500
Subject: Set up #19

---
 .../standalone/test/ecore/queries/Ecore.vql        | 29 ++++++++++++++++++++++
 1 file changed, 29 insertions(+)
 create mode 100644 Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/ecore/queries/Ecore.vql

(limited to 'Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/ecore/queries')

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
new file mode 100644
index 00000000..9af35b50
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/ecore/queries/Ecore.vql
@@ -0,0 +1,29 @@
+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
-- 
cgit v1.2.3-70-g09d2