From 1da40b0bf07319bdb2e9a89f8d7d6ecfbc638952 Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Sat, 16 Feb 2019 15:45:14 -0500 Subject: Integrate queries partially #19 --- .../test/filesystem/queries/FileSystem.vql | 24 ---------------------- 1 file changed, 24 deletions(-) delete mode 100644 Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/filesystem/queries/FileSystem.vql (limited to 'Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src/ca/mcgill/ecse/dslreasoner/standalone/test/filesystem') 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 @@ -package ca.mcgill.ecse.dslreasoner.standalone.test.filesystem.queries - -import epackage "FileSystemMetamodel" - -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-70-g09d2