diff options
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/patterns/hu/bme')
2 files changed, 1 insertions, 21 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 index 16c24d05..78525a35 100644 --- 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 | |||
@@ -11,16 +11,6 @@ pattern loopInInheritence(a: EClass) { | |||
11 | find directSupertype+(a,a); | 11 | find directSupertype+(a,a); |
12 | } | 12 | } |
13 | 13 | ||
14 | pattern unsat_subpackage(a: EPackage, b: EPackage) { | ||
15 | EPackage.eSubpackages(a, b); | ||
16 | } | ||
17 | |||
18 | @Constraint(key={p}, severity="error", message="error") | ||
19 | pattern unsat_loopInInheritance(p: EPackage) { | ||
20 | neg find unsat_subpackage(_, p); | ||
21 | neg find loopInInheritence(_); | ||
22 | } | ||
23 | |||
24 | pattern opposite(a:EReference, b: EReference) { | 14 | pattern opposite(a:EReference, b: EReference) { |
25 | EReference.eOpposite(a,b); | 15 | EReference.eOpposite(a,b); |
26 | } | 16 | } |
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 index c785c2fc..719a9d96 100644 --- 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 | |||
@@ -2,7 +2,7 @@ package hu.bme.mit.inf.dslreasoner.domains.alloyexamples | |||
2 | 2 | ||
3 | import epackage "FS" | 3 | import epackage "FS" |
4 | 4 | ||
5 | pattern patternContent(o1: Dir, o2: FSObject) { | 5 | pattern patternContent(o1: FSObject, o2: FSObject) { |
6 | Dir.contents(o1,o2); | 6 | Dir.contents(o1,o2); |
7 | } | 7 | } |
8 | 8 | ||
@@ -22,13 +22,3 @@ pattern contentInNotLive(parent : Dir, child: FSObject) { | |||
22 | Dir.contents(parent,child); | 22 | Dir.contents(parent,child); |
23 | neg find live(_,child); | 23 | neg find live(_,child); |
24 | } | 24 | } |
25 | |||
26 | pattern dir(d: Dir) { | ||
27 | Dir(d); | ||
28 | } | ||
29 | |||
30 | @Constraint(key={fs}, severity="error", message="error") | ||
31 | pattern rootIsNotDir(fs: FileSystem) { | ||
32 | FileSystem.root(fs, root); | ||
33 | neg find dir(root); | ||
34 | } | ||