diff options
author | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-02-16 15:45:14 -0500 |
---|---|---|
committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-02-16 15:45:14 -0500 |
commit | 1da40b0bf07319bdb2e9a89f8d7d6ecfbc638952 (patch) | |
tree | 65a3cd74ed278d8af013c0e8a8c4d6ba920c3192 /Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/filesystem | |
parent | Set up #19 (diff) | |
download | VIATRA-Generator-1da40b0bf07319bdb2e9a89f8d7d6ecfbc638952.tar.gz VIATRA-Generator-1da40b0bf07319bdb2e9a89f8d7d6ecfbc638952.tar.zst VIATRA-Generator-1da40b0bf07319bdb2e9a89f8d7d6ecfbc638952.zip |
Integrate queries partially #19
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/filesystem')
-rw-r--r-- | Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/filesystem/queries/FileSystem.vql | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/filesystem/queries/FileSystem.vql b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/filesystem/queries/FileSystem.vql deleted file mode 100644 index 269a4242..00000000 --- a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/filesystem/queries/FileSystem.vql +++ /dev/null | |||
@@ -1,24 +0,0 @@ | |||
1 | package ca.mcgill.ecse.dslreasoner.standalone.test.filesystem.queries | ||
2 | |||
3 | import epackage "FileSystemMetamodel" | ||
4 | |||
5 | pattern patternContent(o1: FSObject, o2: FSObject) { | ||
6 | Dir.contents(o1,o2); | ||
7 | } | ||
8 | |||
9 | @QueryBasedFeature | ||
10 | pattern live(this: FileSystem, l: FSObject) { | ||
11 | FileSystem.root(this,l); | ||
12 | } or { | ||
13 | FileSystem.root(this,root); | ||
14 | find patternContent+(root,l); | ||
15 | } | ||
16 | |||
17 | @Constraint(key={child}, severity="error", message="error") | ||
18 | pattern contentInNotLive(parent : Dir, child: FSObject) { | ||
19 | Dir.contents(parent,child); | ||
20 | neg find live(_,parent); | ||
21 | } or { | ||
22 | Dir.contents(parent,child); | ||
23 | neg find live(_,child); | ||
24 | } | ||