Alloy Examples

2 files changed, 53 insertions, 0 deletions

diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/patterns/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Ecore.vql b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/patterns/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Ecore.vql
new file mode 100644
index 00000000..78525a35
--- /dev/null
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/patterns/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Ecore.vql
@@ -0,0 +1,29 @@
+package hu.bme.mit.inf.dslreasoner.domains.alloyexamples

+

+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
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/patterns/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/FileSystem.vql b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/patterns/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/FileSystem.vql
new file mode 100644
index 00000000..719a9d96
--- /dev/null
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/patterns/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/FileSystem.vql
@@ -0,0 +1,24 @@
+package hu.bme.mit.inf.dslreasoner.domains.alloyexamples

+

+import epackage "FS"

+

+pattern patternContent(o1: FSObject, o2: FSObject) {

+        Dir.contents(o1,o2);

+}

+

+@QueryBasedFeature

+pattern live(this: FileSystem, l: FSObject) {

+        FileSystem.root(this,l);

+} or {

+        FileSystem.root(this,root);

+        find patternContent+(root,l);

+}

+

+@Constraint(key={child}, severity="error", message="error")

+pattern contentInNotLive(parent : Dir, child: FSObject) {

+        Dir.contents(parent,child);

+        neg find live(_,parent);

+} or {

+        Dir.contents(parent,child);

+        neg find live(_,child);

+}