From 78c806eebaf5b9d50b08768062755f0044cf107f Mon Sep 17 00:00:00 2001
From: OszkarSemerath <oszka@192.168.122.1>
Date: Sun, 20 Aug 2017 01:55:38 +0200
Subject: Alloy Examples

---
 .../dslreasoner/domains/alloyexamples/Ecore.vql    | 29 ++++++++++++++++++++++
 .../domains/alloyexamples/FileSystem.vql           | 24 ++++++++++++++++++
 2 files changed, 53 insertions(+)
 create mode 100644 Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/patterns/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Ecore.vql
 create mode 100644 Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/patterns/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/FileSystem.vql

(limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/patterns')

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);
+}
-- 
cgit v1.2.3-54-g00ecf