diff options
author | Kristóf Marussy <kris7topher@gmail.com> | 2019-08-15 15:36:05 +0200 |
---|---|---|
committer | Kristóf Marussy <kris7topher@gmail.com> | 2019-08-15 15:36:05 +0200 |
commit | 110268c8e8937df8d67075caebd6d31460d0f81a (patch) | |
tree | f52bd65d0cc8516e5fb1f68c5cdf1e89d6390ebd /Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/patterns/hu/bme/mit/inf/dslreasoner/domains/alloyexamples | |
parent | Measurements WIP (diff) | |
download | VIATRA-Generator-110268c8e8937df8d67075caebd6d31460d0f81a.tar.gz VIATRA-Generator-110268c8e8937df8d67075caebd6d31460d0f81a.tar.zst VIATRA-Generator-110268c8e8937df8d67075caebd6d31460d0f81a.zip |
Measurements WIP
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/patterns/hu/bme/mit/inf/dslreasoner/domains/alloyexamples')
-rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/patterns/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/FileSystem.vql | 12 |
1 files changed, 11 insertions, 1 deletions
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 719a9d96..c785c2fc 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: FSObject, o2: FSObject) { | 5 | pattern patternContent(o1: Dir, o2: FSObject) { |
6 | Dir.contents(o1,o2); | 6 | Dir.contents(o1,o2); |
7 | } | 7 | } |
8 | 8 | ||
@@ -22,3 +22,13 @@ 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 | } | ||