diff options
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/patterns/hu/bme')
-rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/patterns/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Ecore.vql | 10 |
1 files changed, 10 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 index 78525a35..16c24d05 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,6 +11,16 @@ 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 | |||
14 | pattern opposite(a:EReference, b: EReference) { | 24 | pattern opposite(a:EReference, b: EReference) { |
15 | EReference.eOpposite(a,b); | 25 | EReference.eOpposite(a,b); |
16 | } | 26 | } |