From 110268c8e8937df8d67075caebd6d31460d0f81a Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Thu, 15 Aug 2019 15:36:05 +0200 Subject: Measurements WIP --- .../mit/inf/dslreasoner/domains/alloyexamples/FileSystem.vql | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/patterns') 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); +} -- cgit v1.2.3-54-g00ecf