Measurements WIP

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
 

 import epackage "FS"

 

-pattern patternContent(o1: FSObject, o2: FSObject) {

+pattern patternContent(o1: Dir, o2: FSObject) {

         Dir.contents(o1,o2);

 }

 

@@ -22,3 +22,13 @@ pattern contentInNotLive(parent : Dir, child: FSObject) {
         Dir.contents(parent,child);

         neg find live(_,child);

 }

+

+pattern dir(d: Dir) {

+        Dir(d);

+}

+

+@Constraint(key={fs}, severity="error", message="error")

+pattern rootIsNotDir(fs: FileSystem) {

+        FileSystem.root(fs, root);

+        neg find dir(root);

+}