Alloy Examples

author: OszkarSemerath <oszka@192.168.122.1> 2017-08-20 01:55:38 +0200
committer: OszkarSemerath <oszka@192.168.122.1> 2017-08-20 01:55:38 +0200
commit: 78c806eebaf5b9d50b08768062755f0044cf107f (patch)
tree: 7db4d1b6a990b2572ed82a747dffac65a1c6fcc5
parent: null check before mapping value of a reference (diff)
download: VIATRA-Generator-78c806eebaf5b9d50b08768062755f0044cf107f.tar.gz
VIATRA-Generator-78c806eebaf5b9d50b08768062755f0044cf107f.tar.zst
VIATRA-Generator-78c806eebaf5b9d50b08768062755f0044cf107f.zip
35 files changed, 3602 insertions, 0 deletions
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/.classpath b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/.classpath
new file mode 100644
index 00000000..3b808ec0
--- /dev/null
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/.classpath
@@ -0,0 +1,10 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<classpath>
+        <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8"/>
+        <classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
+        <classpathentry kind="src" path="src"/>
+        <classpathentry kind="src" path="xtend-gen"/>
+        <classpathentry kind="src" path="patterns"/>
+        <classpathentry kind="src" path="src-gen/"/>
+        <classpathentry kind="output" path="bin"/>
+</classpath>
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/.gitignore b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/.gitignore
new file mode 100644
index 00000000..ae3c1726
--- /dev/null
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/.gitignore
@@ -0,0 +1 @@
+/bin/
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/.project b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/.project
new file mode 100644
index 00000000..fe11e80b
--- /dev/null
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/.project
@@ -0,0 +1,40 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<projectDescription>
+        <name>hu.bme.mit.inf.dslreasoner.domains.alloyexamples</name>
+        <comment></comment>
+        <projects>
+        </projects>
+        <buildSpec>
+                <buildCommand>
+                        <name>org.eclipse.viatra.query.tooling.ui.projectbuilder</name>
+                        <arguments>
+                        </arguments>
+                </buildCommand>
+                <buildCommand>
+                        <name>org.eclipse.xtext.ui.shared.xtextBuilder</name>
+                        <arguments>
+                        </arguments>
+                </buildCommand>
+                <buildCommand>
+                        <name>org.eclipse.jdt.core.javabuilder</name>
+                        <arguments>
+                        </arguments>
+                </buildCommand>
+                <buildCommand>
+                        <name>org.eclipse.pde.ManifestBuilder</name>
+                        <arguments>
+                        </arguments>
+                </buildCommand>
+                <buildCommand>
+                        <name>org.eclipse.pde.SchemaBuilder</name>
+                        <arguments>
+                        </arguments>
+                </buildCommand>
+        </buildSpec>
+        <natures>
+                <nature>org.eclipse.pde.PluginNature</nature>
+                <nature>org.eclipse.jdt.core.javanature</nature>
+                <nature>org.eclipse.xtext.ui.shared.xtextNature</nature>
+                <nature>org.eclipse.viatra.query.projectnature</nature>
+        </natures>
+</projectDescription>
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/.settings/org.eclipse.jdt.core.prefs b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/.settings/org.eclipse.jdt.core.prefs
new file mode 100644
index 00000000..295926d9
--- /dev/null
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/.settings/org.eclipse.jdt.core.prefs
@@ -0,0 +1,7 @@
+eclipse.preferences.version=1
+org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.8
+org.eclipse.jdt.core.compiler.compliance=1.8
+org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
+org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
+org.eclipse.jdt.core.compiler.source=1.8
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/META-INF/MANIFEST.MF b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/META-INF/MANIFEST.MF
new file mode 100644
index 00000000..41726ae6
--- /dev/null
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/META-INF/MANIFEST.MF
@@ -0,0 +1,25 @@
+Manifest-Version: 1.0
+Bundle-ManifestVersion: 2
+Bundle-Name: %pluginName
+Bundle-SymbolicName: hu.bme.mit.inf.dslreasoner.domains.alloyexamples;singleton:=true
+Bundle-Version: 1.0.0.qualifier
+Bundle-ClassPath: .
+Bundle-Vendor: %providerName
+Bundle-Localization: plugin
+Export-Package: hu.bme.mit.inf.dslreasoner.domains.alloyexamples,
+ hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem,
+ hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.impl,
+ hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.util,
+ hu.bme.mit.inf.dslreasoner.domains.alloyexamples.util
+Require-Bundle: org.eclipse.viatra.addon.querybasedfeatures.runtime,
+ org.eclipse.viatra.query.runtime,
+ org.eclipse.core.runtime,
+ org.eclipse.emf.ecore;visibility:=reexport,
+ org.eclipse.emf.emfstore.common,
+ com.google.guava,
+ org.eclipse.xtext.xbase.lib,
+ org.eclipse.xtend.lib,
+ org.eclipse.xtend.lib.macro
+Bundle-RequiredExecutionEnvironment: JavaSE-1.8
+Bundle-ActivationPolicy: lazy
+Import-Package: org.apache.log4j
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/build.properties b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/build.properties
new file mode 100644
index 00000000..a9ab8b56
--- /dev/null
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/build.properties
@@ -0,0 +1,9 @@
+bin.includes = .,\
+               model/,\
+               META-INF/,\
+               plugin.xml,\
+               plugin.properties
+jars.compile.order = .
+source.. = src/,\
+           src-gen/
+output.. = bin/
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/examples/filesystem.als b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/examples/filesystem.als
new file mode 100644
index 00000000..819f1247
--- /dev/null
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/examples/filesystem.als
@@ -0,0 +1,353 @@
+// A file system object in the file system
+abstract sig FSObject { }
+// File system objects must be either directories or files.
+sig File, Dir extends FSObject { }
+// A File System
+sig FileSystem {
+  root: Dir,
+  live: set FSObject,
+  contents: Dir lone-> FSObject,
+  parent: FSObject ->lone Dir
+}{
+  // root has no parent
+  no root.parent
+  // live objects are those reachable from the root
+  live = root.*contents
+  // contents only defined on live objects
+  contents in live->live
+  // parent is the inverse of contents
+  parent = ~contents
+}
+run xrx1s5 {} for exactly 1 FileSystem, exactly 4 FSObject
+run xrx2s5 {} for exactly 1 FileSystem, exactly 4 FSObject
+run xrx3s5 {} for exactly 1 FileSystem, exactly 4 FSObject
+run rxx4s5 {} for exactly 1 FileSystem, exactly 4 FSObject
+run rxx5s5 {} for exactly 1 FileSystem, exactly 4 FSObject
+run rx6s5 {} for exactly 1 FileSystem, exactly 4 FSObject
+run rx7s5 {} for exactly 1 FileSystem, exactly 4 FSObject
+run rx8s5 {} for exactly 1 FileSystem, exactly 4 FSObject
+run rx9s5 {} for exactly 1 FileSystem, exactly 4 FSObject
+run rx10s5 {} for exactly 1 FileSystem, exactly 4 FSObject
+run r11s5 {} for exactly 1 FileSystem, exactly 4 FSObject
+run rx12s5 {} for exactly 1 FileSystem, exactly 4 FSObject
+run rx13s5 {} for exactly 1 FileSystem, exactly 4 FSObject
+run rx14s5 {} for exactly 1 FileSystem, exactly 4 FSObject
+run rx15s5 {} for exactly 1 FileSystem, exactly 4 FSObject
+run rx16s5 {} for exactly 1 FileSystem, exactly 4 FSObject
+run rx17s5 {} for exactly 1 FileSystem, exactly 4 FSObject
+run rx18s5 {} for exactly 1 FileSystem, exactly 4 FSObject
+run rx19s5 {} for exactly 1 FileSystem, exactly 4 FSObject
+run rx20s5 {} for exactly 1 FileSystem, exactly 4 FSObject
+run rx21s5 {} for exactly 1 FileSystem, exactly 4 FSObject
+run rx22s5 {} for exactly 1 FileSystem, exactly 4 FSObject
+run rx23s5 {} for exactly 1 FileSystem, exactly 4 FSObject
+run rx24s5 {} for exactly 1 FileSystem, exactly 4 FSObject
+run rx25s5 {} for exactly 1 FileSystem, exactly 4 FSObject
+run rx26s5 {} for exactly 1 FileSystem, exactly 4 FSObject
+run rx27s5 {} for exactly 1 FileSystem, exactly 4 FSObject
+run rx28s5 {} for exactly 1 FileSystem, exactly 4 FSObject
+run rx29s5 {} for exactly 1 FileSystem, exactly 4 FSObject
+run rx30s5 {} for exactly 1 FileSystem, exactly 4 FSObject
+run r1s5 {} for exactly 1 FileSystem, exactly 4 FSObject
+run r2s5 {} for exactly 1 FileSystem, exactly 4 FSObject
+run r3s5 {} for exactly 1 FileSystem, exactly 4 FSObject
+run r4s5 {} for exactly 1 FileSystem, exactly 4 FSObject
+run r5s5 {} for exactly 1 FileSystem, exactly 4 FSObject
+run r6s5 {} for exactly 1 FileSystem, exactly 4 FSObject
+run r7s5 {} for exactly 1 FileSystem, exactly 4 FSObject
+run r8s5 {} for exactly 1 FileSystem, exactly 4 FSObject
+run r9s5 {} for exactly 1 FileSystem, exactly 4 FSObject
+run r10s5 {} for exactly 1 FileSystem, exactly 4 FSObject
+run r11s5 {} for exactly 1 FileSystem, exactly 4 FSObject
+run r12s5 {} for exactly 1 FileSystem, exactly 4 FSObject
+run r13s5 {} for exactly 1 FileSystem, exactly 4 FSObject
+run r14s5 {} for exactly 1 FileSystem, exactly 4 FSObject
+run r15s5 {} for exactly 1 FileSystem, exactly 4 FSObject
+run r16s5 {} for exactly 1 FileSystem, exactly 4 FSObject
+run r17s5 {} for exactly 1 FileSystem, exactly 4 FSObject
+run r18s5 {} for exactly 1 FileSystem, exactly 4 FSObject
+run r19s5 {} for exactly 1 FileSystem, exactly 4 FSObject
+run r20s5 {} for exactly 1 FileSystem, exactly 4 FSObject
+run r21s5 {} for exactly 1 FileSystem, exactly 4 FSObject
+run r22s5 {} for exactly 1 FileSystem, exactly 4 FSObject
+run r23s5 {} for exactly 1 FileSystem, exactly 4 FSObject
+run r24s5 {} for exactly 1 FileSystem, exactly 4 FSObject
+run r25s5 {} for exactly 1 FileSystem, exactly 4 FSObject
+run r26s5 {} for exactly 1 FileSystem, exactly 4 FSObject
+run r27s5 {} for exactly 1 FileSystem, exactly 4 FSObject
+run r28s5 {} for exactly 1 FileSystem, exactly 4 FSObject
+run r29s5 {} for exactly 1 FileSystem, exactly 4 FSObject
+run r30s5 {} for exactly 1 FileSystem, exactly 4 FSObject
+run r1s10 {} for exactly 1 FileSystem, exactly 9 FSObject
+run r2s10 {} for exactly 1 FileSystem, exactly 9 FSObject
+run r3s10 {} for exactly 1 FileSystem, exactly 9 FSObject
+run r4s10 {} for exactly 1 FileSystem, exactly 9 FSObject
+run r5s10 {} for exactly 1 FileSystem, exactly 9 FSObject
+run r6s10 {} for exactly 1 FileSystem, exactly 9 FSObject
+run r7s10 {} for exactly 1 FileSystem, exactly 9 FSObject
+run r8s10 {} for exactly 1 FileSystem, exactly 9 FSObject
+run r9s10 {} for exactly 1 FileSystem, exactly 9 FSObject
+run r10s10 {} for exactly 1 FileSystem, exactly 9 FSObject
+run r11s10 {} for exactly 1 FileSystem, exactly 9 FSObject
+run r12s10 {} for exactly 1 FileSystem, exactly 9 FSObject
+run r13s10 {} for exactly 1 FileSystem, exactly 9 FSObject
+run r14s10 {} for exactly 1 FileSystem, exactly 9 FSObject
+run r15s10 {} for exactly 1 FileSystem, exactly 9 FSObject
+run r16s10 {} for exactly 1 FileSystem, exactly 9 FSObject
+run r17s10 {} for exactly 1 FileSystem, exactly 9 FSObject
+run r18s10 {} for exactly 1 FileSystem, exactly 9 FSObject
+run r19s10 {} for exactly 1 FileSystem, exactly 9 FSObject
+run r20s10 {} for exactly 1 FileSystem, exactly 9 FSObject
+run r21s10 {} for exactly 1 FileSystem, exactly 9 FSObject
+run r22s10 {} for exactly 1 FileSystem, exactly 9 FSObject
+run r23s10 {} for exactly 1 FileSystem, exactly 9 FSObject
+run r24s10 {} for exactly 1 FileSystem, exactly 9 FSObject
+run r25s10 {} for exactly 1 FileSystem, exactly 9 FSObject
+run r26s10 {} for exactly 1 FileSystem, exactly 9 FSObject
+run r27s10 {} for exactly 1 FileSystem, exactly 9 FSObject
+run r28s10 {} for exactly 1 FileSystem, exactly 9 FSObject
+run r29s10 {} for exactly 1 FileSystem, exactly 9 FSObject
+run r30s10 {} for exactly 1 FileSystem, exactly 9 FSObject
+run r1s15 {} for exactly 1 FileSystem, exactly 14 FSObject
+run r2s15 {} for exactly 1 FileSystem, exactly 14 FSObject
+run r3s15 {} for exactly 1 FileSystem, exactly 14 FSObject
+run r4s15 {} for exactly 1 FileSystem, exactly 14 FSObject
+run r5s15 {} for exactly 1 FileSystem, exactly 14 FSObject
+run r6s15 {} for exactly 1 FileSystem, exactly 14 FSObject
+run r7s15 {} for exactly 1 FileSystem, exactly 14 FSObject
+run r8s15 {} for exactly 1 FileSystem, exactly 14 FSObject
+run r9s15 {} for exactly 1 FileSystem, exactly 14 FSObject
+run r10s15 {} for exactly 1 FileSystem, exactly 14 FSObject
+run r11s15 {} for exactly 1 FileSystem, exactly 14 FSObject
+run r12s15 {} for exactly 1 FileSystem, exactly 14 FSObject
+run r13s15 {} for exactly 1 FileSystem, exactly 14 FSObject
+run r14s15 {} for exactly 1 FileSystem, exactly 14 FSObject
+run r15s15 {} for exactly 1 FileSystem, exactly 14 FSObject
+run r16s15 {} for exactly 1 FileSystem, exactly 14 FSObject
+run r17s15 {} for exactly 1 FileSystem, exactly 14 FSObject
+run r18s15 {} for exactly 1 FileSystem, exactly 14 FSObject
+run r19s15 {} for exactly 1 FileSystem, exactly 14 FSObject
+run r20s15 {} for exactly 1 FileSystem, exactly 14 FSObject
+run r21s15 {} for exactly 1 FileSystem, exactly 14 FSObject
+run r22s15 {} for exactly 1 FileSystem, exactly 14 FSObject
+run r23s15 {} for exactly 1 FileSystem, exactly 14 FSObject
+run r24s15 {} for exactly 1 FileSystem, exactly 14 FSObject
+run r25s15 {} for exactly 1 FileSystem, exactly 14 FSObject
+run r26s15 {} for exactly 1 FileSystem, exactly 14 FSObject
+run r27s15 {} for exactly 1 FileSystem, exactly 14 FSObject
+run r28s15 {} for exactly 1 FileSystem, exactly 14 FSObject
+run r29s15 {} for exactly 1 FileSystem, exactly 14 FSObject
+run r30s15 {} for exactly 1 FileSystem, exactly 14 FSObject
+run r1s20 {} for exactly 1 FileSystem, exactly 19 FSObject
+run r2s20 {} for exactly 1 FileSystem, exactly 19 FSObject
+run r3s20 {} for exactly 1 FileSystem, exactly 19 FSObject
+run r4s20 {} for exactly 1 FileSystem, exactly 19 FSObject
+run r5s20 {} for exactly 1 FileSystem, exactly 19 FSObject
+run r6s20 {} for exactly 1 FileSystem, exactly 19 FSObject
+run r7s20 {} for exactly 1 FileSystem, exactly 19 FSObject
+run r8s20 {} for exactly 1 FileSystem, exactly 19 FSObject
+run r9s20 {} for exactly 1 FileSystem, exactly 19 FSObject
+run r10s20 {} for exactly 1 FileSystem, exactly 19 FSObject
+run r11s20 {} for exactly 1 FileSystem, exactly 19 FSObject
+run r12s20 {} for exactly 1 FileSystem, exactly 19 FSObject
+run r13s20 {} for exactly 1 FileSystem, exactly 19 FSObject
+run r14s20 {} for exactly 1 FileSystem, exactly 19 FSObject
+run r15s20 {} for exactly 1 FileSystem, exactly 19 FSObject
+run r16s20 {} for exactly 1 FileSystem, exactly 19 FSObject
+run r17s20 {} for exactly 1 FileSystem, exactly 19 FSObject
+run r18s20 {} for exactly 1 FileSystem, exactly 19 FSObject
+run r19s20 {} for exactly 1 FileSystem, exactly 19 FSObject
+run r20s20 {} for exactly 1 FileSystem, exactly 19 FSObject
+run r21s20 {} for exactly 1 FileSystem, exactly 19 FSObject
+run r22s20 {} for exactly 1 FileSystem, exactly 19 FSObject
+run r23s20 {} for exactly 1 FileSystem, exactly 19 FSObject
+run r24s20 {} for exactly 1 FileSystem, exactly 19 FSObject
+run r25s20 {} for exactly 1 FileSystem, exactly 19 FSObject
+run r26s20 {} for exactly 1 FileSystem, exactly 19 FSObject
+run r27s20 {} for exactly 1 FileSystem, exactly 19 FSObject
+run r28s20 {} for exactly 1 FileSystem, exactly 19 FSObject
+run r29s20 {} for exactly 1 FileSystem, exactly 19 FSObject
+run r30s20 {} for exactly 1 FileSystem, exactly 19 FSObject
+run r1s25 {} for exactly 1 FileSystem, exactly 24 FSObject
+run r2s25 {} for exactly 1 FileSystem, exactly 24 FSObject
+run r3s25 {} for exactly 1 FileSystem, exactly 24 FSObject
+run r4s25 {} for exactly 1 FileSystem, exactly 24 FSObject
+run r5s25 {} for exactly 1 FileSystem, exactly 24 FSObject
+run r6s25 {} for exactly 1 FileSystem, exactly 24 FSObject
+run r7s25 {} for exactly 1 FileSystem, exactly 24 FSObject
+run r8s25 {} for exactly 1 FileSystem, exactly 24 FSObject
+run r9s25 {} for exactly 1 FileSystem, exactly 24 FSObject
+run r10s25 {} for exactly 1 FileSystem, exactly 24 FSObject
+run r11s25 {} for exactly 1 FileSystem, exactly 24 FSObject
+run r12s25 {} for exactly 1 FileSystem, exactly 24 FSObject
+run r13s25 {} for exactly 1 FileSystem, exactly 24 FSObject
+run r14s25 {} for exactly 1 FileSystem, exactly 24 FSObject
+run r15s25 {} for exactly 1 FileSystem, exactly 24 FSObject
+run r16s25 {} for exactly 1 FileSystem, exactly 24 FSObject
+run r17s25 {} for exactly 1 FileSystem, exactly 24 FSObject
+run r18s25 {} for exactly 1 FileSystem, exactly 24 FSObject
+run r19s25 {} for exactly 1 FileSystem, exactly 24 FSObject
+run r20s25 {} for exactly 1 FileSystem, exactly 24 FSObject
+run r21s25 {} for exactly 1 FileSystem, exactly 24 FSObject
+run r22s25 {} for exactly 1 FileSystem, exactly 24 FSObject
+run r23s25 {} for exactly 1 FileSystem, exactly 24 FSObject
+run r24s25 {} for exactly 1 FileSystem, exactly 24 FSObject
+run r25s25 {} for exactly 1 FileSystem, exactly 24 FSObject
+run r26s25 {} for exactly 1 FileSystem, exactly 24 FSObject
+run r27s25 {} for exactly 1 FileSystem, exactly 24 FSObject
+run r28s25 {} for exactly 1 FileSystem, exactly 24 FSObject
+run r29s25 {} for exactly 1 FileSystem, exactly 24 FSObject
+run r30s25 {} for exactly 1 FileSystem, exactly 24 FSObject
+run r1s30 {} for exactly 1 FileSystem, exactly 29 FSObject
+run r2s30 {} for exactly 1 FileSystem, exactly 29 FSObject
+run r3s30 {} for exactly 1 FileSystem, exactly 29 FSObject
+run r4s30 {} for exactly 1 FileSystem, exactly 29 FSObject
+run r5s30 {} for exactly 1 FileSystem, exactly 29 FSObject
+run r6s30 {} for exactly 1 FileSystem, exactly 29 FSObject
+run r7s30 {} for exactly 1 FileSystem, exactly 29 FSObject
+run r8s30 {} for exactly 1 FileSystem, exactly 29 FSObject
+run r9s30 {} for exactly 1 FileSystem, exactly 29 FSObject
+run r10s30 {} for exactly 1 FileSystem, exactly 29 FSObject
+run r11s30 {} for exactly 1 FileSystem, exactly 29 FSObject
+run r12s30 {} for exactly 1 FileSystem, exactly 29 FSObject
+run r13s30 {} for exactly 1 FileSystem, exactly 29 FSObject
+run r14s30 {} for exactly 1 FileSystem, exactly 29 FSObject
+run r15s30 {} for exactly 1 FileSystem, exactly 29 FSObject
+run r16s30 {} for exactly 1 FileSystem, exactly 29 FSObject
+run r17s30 {} for exactly 1 FileSystem, exactly 29 FSObject
+run r18s30 {} for exactly 1 FileSystem, exactly 29 FSObject
+run r19s30 {} for exactly 1 FileSystem, exactly 29 FSObject
+run r20s30 {} for exactly 1 FileSystem, exactly 29 FSObject
+run r21s30 {} for exactly 1 FileSystem, exactly 29 FSObject
+run r22s30 {} for exactly 1 FileSystem, exactly 29 FSObject
+run r23s30 {} for exactly 1 FileSystem, exactly 29 FSObject
+run r24s30 {} for exactly 1 FileSystem, exactly 29 FSObject
+run r25s30 {} for exactly 1 FileSystem, exactly 29 FSObject
+run r26s30 {} for exactly 1 FileSystem, exactly 29 FSObject
+run r27s30 {} for exactly 1 FileSystem, exactly 29 FSObject
+run r28s30 {} for exactly 1 FileSystem, exactly 29 FSObject
+run r29s30 {} for exactly 1 FileSystem, exactly 29 FSObject
+run r30s30 {} for exactly 1 FileSystem, exactly 29 FSObject
+run r1s35 {} for exactly 1 FileSystem, exactly 34 FSObject
+run r2s35 {} for exactly 1 FileSystem, exactly 34 FSObject
+run r3s35 {} for exactly 1 FileSystem, exactly 34 FSObject
+run r4s35 {} for exactly 1 FileSystem, exactly 34 FSObject
+run r5s35 {} for exactly 1 FileSystem, exactly 34 FSObject
+run r6s35 {} for exactly 1 FileSystem, exactly 34 FSObject
+run r7s35 {} for exactly 1 FileSystem, exactly 34 FSObject
+run r8s35 {} for exactly 1 FileSystem, exactly 34 FSObject
+run r9s35 {} for exactly 1 FileSystem, exactly 34 FSObject
+run r10s35 {} for exactly 1 FileSystem, exactly 34 FSObject
+run r11s35 {} for exactly 1 FileSystem, exactly 34 FSObject
+run r12s35 {} for exactly 1 FileSystem, exactly 34 FSObject
+run r13s35 {} for exactly 1 FileSystem, exactly 34 FSObject
+run r14s35 {} for exactly 1 FileSystem, exactly 34 FSObject
+run r15s35 {} for exactly 1 FileSystem, exactly 34 FSObject
+run r16s35 {} for exactly 1 FileSystem, exactly 34 FSObject
+run r17s35 {} for exactly 1 FileSystem, exactly 34 FSObject
+run r18s35 {} for exactly 1 FileSystem, exactly 34 FSObject
+run r19s35 {} for exactly 1 FileSystem, exactly 34 FSObject
+run r20s35 {} for exactly 1 FileSystem, exactly 34 FSObject
+run r21s35 {} for exactly 1 FileSystem, exactly 34 FSObject
+run r22s35 {} for exactly 1 FileSystem, exactly 34 FSObject
+run r23s35 {} for exactly 1 FileSystem, exactly 34 FSObject
+run r24s35 {} for exactly 1 FileSystem, exactly 34 FSObject
+run r25s35 {} for exactly 1 FileSystem, exactly 34 FSObject
+run r26s35 {} for exactly 1 FileSystem, exactly 34 FSObject
+run r27s35 {} for exactly 1 FileSystem, exactly 34 FSObject
+run r28s35 {} for exactly 1 FileSystem, exactly 34 FSObject
+run r29s35 {} for exactly 1 FileSystem, exactly 34 FSObject
+run r30s35 {} for exactly 1 FileSystem, exactly 34 FSObject
+run r1s40 {} for exactly 1 FileSystem, exactly 39 FSObject
+run r2s40 {} for exactly 1 FileSystem, exactly 39 FSObject
+run r3s40 {} for exactly 1 FileSystem, exactly 39 FSObject
+run r4s40 {} for exactly 1 FileSystem, exactly 39 FSObject
+run r5s40 {} for exactly 1 FileSystem, exactly 39 FSObject
+run r6s40 {} for exactly 1 FileSystem, exactly 39 FSObject
+run r7s40 {} for exactly 1 FileSystem, exactly 39 FSObject
+run r8s40 {} for exactly 1 FileSystem, exactly 39 FSObject
+run r9s40 {} for exactly 1 FileSystem, exactly 39 FSObject
+run r10s40 {} for exactly 1 FileSystem, exactly 39 FSObject
+run r11s40 {} for exactly 1 FileSystem, exactly 39 FSObject
+run r12s40 {} for exactly 1 FileSystem, exactly 39 FSObject
+run r13s40 {} for exactly 1 FileSystem, exactly 39 FSObject
+run r14s40 {} for exactly 1 FileSystem, exactly 39 FSObject
+run r15s40 {} for exactly 1 FileSystem, exactly 39 FSObject
+run r16s40 {} for exactly 1 FileSystem, exactly 39 FSObject
+run r17s40 {} for exactly 1 FileSystem, exactly 39 FSObject
+run r18s40 {} for exactly 1 FileSystem, exactly 39 FSObject
+run r19s40 {} for exactly 1 FileSystem, exactly 39 FSObject
+run r20s40 {} for exactly 1 FileSystem, exactly 39 FSObject
+run r21s40 {} for exactly 1 FileSystem, exactly 39 FSObject
+run r22s40 {} for exactly 1 FileSystem, exactly 39 FSObject
+run r23s40 {} for exactly 1 FileSystem, exactly 39 FSObject
+run r24s40 {} for exactly 1 FileSystem, exactly 39 FSObject
+run r25s40 {} for exactly 1 FileSystem, exactly 39 FSObject
+run r26s40 {} for exactly 1 FileSystem, exactly 39 FSObject
+run r27s40 {} for exactly 1 FileSystem, exactly 39 FSObject
+run r28s40 {} for exactly 1 FileSystem, exactly 39 FSObject
+run r29s40 {} for exactly 1 FileSystem, exactly 39 FSObject
+run r30s40 {} for exactly 1 FileSystem, exactly 39 FSObject
+run r1s45 {} for exactly 1 FileSystem, exactly 44 FSObject
+run r2s45 {} for exactly 1 FileSystem, exactly 44 FSObject
+run r3s45 {} for exactly 1 FileSystem, exactly 44 FSObject
+run r4s45 {} for exactly 1 FileSystem, exactly 44 FSObject
+run r5s45 {} for exactly 1 FileSystem, exactly 44 FSObject
+run r6s45 {} for exactly 1 FileSystem, exactly 44 FSObject
+run r7s45 {} for exactly 1 FileSystem, exactly 44 FSObject
+run r8s45 {} for exactly 1 FileSystem, exactly 44 FSObject
+run r9s45 {} for exactly 1 FileSystem, exactly 44 FSObject
+run r10s45 {} for exactly 1 FileSystem, exactly 44 FSObject
+run r11s45 {} for exactly 1 FileSystem, exactly 44 FSObject
+run r12s45 {} for exactly 1 FileSystem, exactly 44 FSObject
+run r13s45 {} for exactly 1 FileSystem, exactly 44 FSObject
+run r14s45 {} for exactly 1 FileSystem, exactly 44 FSObject
+run r15s45 {} for exactly 1 FileSystem, exactly 44 FSObject
+run r16s45 {} for exactly 1 FileSystem, exactly 44 FSObject
+run r17s45 {} for exactly 1 FileSystem, exactly 44 FSObject
+run r18s45 {} for exactly 1 FileSystem, exactly 44 FSObject
+run r19s45 {} for exactly 1 FileSystem, exactly 44 FSObject
+run r20s45 {} for exactly 1 FileSystem, exactly 44 FSObject
+run r21s45 {} for exactly 1 FileSystem, exactly 44 FSObject
+run r22s45 {} for exactly 1 FileSystem, exactly 44 FSObject
+run r23s45 {} for exactly 1 FileSystem, exactly 44 FSObject
+run r24s45 {} for exactly 1 FileSystem, exactly 44 FSObject
+run r25s45 {} for exactly 1 FileSystem, exactly 44 FSObject
+run r26s45 {} for exactly 1 FileSystem, exactly 44 FSObject
+run r27s45 {} for exactly 1 FileSystem, exactly 44 FSObject
+run r28s45 {} for exactly 1 FileSystem, exactly 44 FSObject
+run r29s45 {} for exactly 1 FileSystem, exactly 44 FSObject
+run r30s45 {} for exactly 1 FileSystem, exactly 44 FSObject
+run r1s50 {} for exactly 1 FileSystem, exactly 49 FSObject
+run r2s50 {} for exactly 1 FileSystem, exactly 49 FSObject
+run r3s50 {} for exactly 1 FileSystem, exactly 49 FSObject
+run r4s50 {} for exactly 1 FileSystem, exactly 49 FSObject
+run r5s50 {} for exactly 1 FileSystem, exactly 49 FSObject
+run r6s50 {} for exactly 1 FileSystem, exactly 49 FSObject
+run r7s50 {} for exactly 1 FileSystem, exactly 49 FSObject
+run r8s50 {} for exactly 1 FileSystem, exactly 49 FSObject
+run r9s50 {} for exactly 1 FileSystem, exactly 49 FSObject
+run r10s50 {} for exactly 1 FileSystem, exactly 49 FSObject
+run r11s50 {} for exactly 1 FileSystem, exactly 49 FSObject
+run r12s50 {} for exactly 1 FileSystem, exactly 49 FSObject
+run r13s50 {} for exactly 1 FileSystem, exactly 49 FSObject
+run r14s50 {} for exactly 1 FileSystem, exactly 49 FSObject
+run r15s50 {} for exactly 1 FileSystem, exactly 49 FSObject
+run r16s50 {} for exactly 1 FileSystem, exactly 49 FSObject
+run r17s50 {} for exactly 1 FileSystem, exactly 49 FSObject
+run r18s50 {} for exactly 1 FileSystem, exactly 49 FSObject
+run r19s50 {} for exactly 1 FileSystem, exactly 49 FSObject
+run r20s50 {} for exactly 1 FileSystem, exactly 49 FSObject
+run r21s50 {} for exactly 1 FileSystem, exactly 49 FSObject
+run r22s50 {} for exactly 1 FileSystem, exactly 49 FSObject
+run r23s50 {} for exactly 1 FileSystem, exactly 49 FSObject
+run r24s50 {} for exactly 1 FileSystem, exactly 49 FSObject
+run r25s50 {} for exactly 1 FileSystem, exactly 49 FSObject
+run r26s50 {} for exactly 1 FileSystem, exactly 49 FSObject
+run r27s50 {} for exactly 1 FileSystem, exactly 49 FSObject
+run r28s50 {} for exactly 1 FileSystem, exactly 49 FSObject
+run r29s50 {} for exactly 1 FileSystem, exactly 49 FSObject
+run r30s50 {} for exactly 1 FileSystem, exactly 49 FSObject
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/model/FileSytem.aird b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/model/FileSytem.aird
new file mode 100644
index 00000000..4a9486e2
--- /dev/null
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/model/FileSytem.aird
@@ -0,0 +1,362 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<xmi:XMI xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:description="http://www.eclipse.org/sirius/description/1.1.0" xmlns:description_1="http://www.eclipse.org/sirius/diagram/description/1.1.0" xmlns:diagram="http://www.eclipse.org/sirius/diagram/1.1.0" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" xmlns:notation="http://www.eclipse.org/gmf/runtime/1.0.2/notation" xmlns:style="http://www.eclipse.org/sirius/diagram/description/style/1.1.0" xmlns:viewpoint="http://www.eclipse.org/sirius/1.1.0" xsi:schemaLocation="http://www.eclipse.org/sirius/description/1.1.0 http://www.eclipse.org/sirius/1.1.0#//description http://www.eclipse.org/sirius/diagram/description/1.1.0 http://www.eclipse.org/sirius/diagram/1.1.0#//description http://www.eclipse.org/sirius/diagram/description/style/1.1.0 http://www.eclipse.org/sirius/diagram/1.1.0#//description/style">
+  <viewpoint:DAnalysis xmi:id="_D7j2MIK5EeeAppuRs-roLg" selectedViews="_D98b0IK5EeeAppuRs-roLg _D-GM0IK5EeeAppuRs-roLg _D-GM0YK5EeeAppuRs-roLg _D-P90IK5EeeAppuRs-roLg" version="11.1.0.201608251200">
+    <semanticResources>FileSytem.ecore</semanticResources>
+    <ownedViews xmi:type="viewpoint:DView" xmi:id="_D98b0IK5EeeAppuRs-roLg">
+      <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']"/>
+      <ownedRepresentationDescriptors xmi:type="viewpoint:DRepresentationDescriptor" xmi:id="_EphIYIK5EeeAppuRs-roLg" name="Filesystem class diagram" representation="_EphIYYK5EeeAppuRs-roLg">
+        <description xmi:type="description_1:DiagramDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']"/>
+        <target xmi:type="ecore:EPackage" href="FileSytem.ecore#/"/>
+      </ownedRepresentationDescriptors>
+    </ownedViews>
+    <ownedViews xmi:type="viewpoint:DView" xmi:id="_D-GM0IK5EeeAppuRs-roLg">
+      <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Review']"/>
+    </ownedViews>
+    <ownedViews xmi:type="viewpoint:DView" xmi:id="_D-GM0YK5EeeAppuRs-roLg">
+      <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Archetype']"/>
+    </ownedViews>
+    <ownedViews xmi:type="viewpoint:DView" xmi:id="_D-P90IK5EeeAppuRs-roLg">
+      <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Generation']"/>
+    </ownedViews>
+  </viewpoint:DAnalysis>
+  <diagram:DSemanticDiagram xmi:id="_EphIYYK5EeeAppuRs-roLg" name="Filesystem class diagram">
+    <ownedAnnotationEntries xmi:type="description:AnnotationEntry" xmi:id="_EphIYoK5EeeAppuRs-roLg" source="DANNOTATION_CUSTOMIZATION_KEY">
+      <data xmi:type="diagram:ComputedStyleDescriptionRegistry" xmi:id="_EphIY4K5EeeAppuRs-roLg">
+        <computedStyleDescriptions xmi:type="style:EdgeStyleDescription" xmi:id="_TrxKIIK6EeeAppuRs-roLg" sourceArrow="FillDiamond" routingStyle="manhattan">
+          <strokeColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>
+          <centerLabelStyleDescription xmi:type="style:CenterLabelStyleDescription" xmi:id="_TrxKIYK6EeeAppuRs-roLg" showIcon="false" labelExpression="service:render">
+            <labelFormat>bold</labelFormat>
+            <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>
+          </centerLabelStyleDescription>
+          <endLabelStyleDescription xmi:type="style:EndLabelStyleDescription" xmi:id="_TrxKIoK6EeeAppuRs-roLg" labelSize="6" showIcon="false" labelExpression="service:eKeysLabel">
+            <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='dark_blue']"/>
+          </endLabelStyleDescription>
+        </computedStyleDescriptions>
+        <computedStyleDescriptions xmi:type="style:EdgeStyleDescription" xmi:id="_MlEPYILJEeeAppuRs-roLg" sourceArrow="FillDiamond" routingStyle="manhattan">
+          <strokeColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>
+          <centerLabelStyleDescription xmi:type="style:CenterLabelStyleDescription" xmi:id="_MlEPYYLJEeeAppuRs-roLg" showIcon="false" labelExpression="service:render">
+            <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>
+          </centerLabelStyleDescription>
+          <endLabelStyleDescription xmi:type="style:EndLabelStyleDescription" xmi:id="_MlEPYoLJEeeAppuRs-roLg" labelSize="6" showIcon="false" labelExpression="service:eKeysLabel">
+            <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='dark_blue']"/>
+          </endLabelStyleDescription>
+        </computedStyleDescriptions>
+        <computedStyleDescriptions xmi:type="style:EdgeStyleDescription" xmi:id="_6IIkkILJEeeAppuRs-roLg" routingStyle="manhattan">
+          <strokeColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='blue']"/>
+          <centerLabelStyleDescription xmi:type="style:CenterLabelStyleDescription" xmi:id="_6IIkkYLJEeeAppuRs-roLg" showIcon="false" labelExpression="service:render">
+            <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='dark_blue']"/>
+          </centerLabelStyleDescription>
+          <endLabelStyleDescription xmi:type="style:EndLabelStyleDescription" xmi:id="_6IIkkoLJEeeAppuRs-roLg" labelSize="6" showIcon="false" labelExpression="service:eKeysLabel">
+            <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='dark_blue']"/>
+          </endLabelStyleDescription>
+        </computedStyleDescriptions>
+        <computedStyleDescriptions xmi:type="style:EdgeStyleDescription" xmi:id="_ggoFQYLREeeAppuRs-roLg" sourceArrow="InputArrow" targetArrow="FillDiamond" routingStyle="manhattan">
+          <strokeColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>
+          <beginLabelStyleDescription xmi:type="style:BeginLabelStyleDescription" xmi:id="_ggoFQoLREeeAppuRs-roLg" showIcon="false" labelExpression="service:renderEOpposite">
+            <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>
+          </beginLabelStyleDescription>
+          <endLabelStyleDescription xmi:type="style:EndLabelStyleDescription" xmi:id="_ggoFQ4LREeeAppuRs-roLg" showIcon="false" labelExpression="service:render">
+            <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>
+          </endLabelStyleDescription>
+        </computedStyleDescriptions>
+      </data>
+    </ownedAnnotationEntries>
+    <ownedAnnotationEntries xmi:type="description:AnnotationEntry" xmi:id="_EphIZYK5EeeAppuRs-roLg" source="GMF_DIAGRAMS">
+      <data xmi:type="notation:Diagram" xmi:id="_EphIZoK5EeeAppuRs-roLg" type="Sirius" element="_EphIYYK5EeeAppuRs-roLg" measurementUnit="Pixel">
+        <children xmi:type="notation:Node" xmi:id="_FMQCA4K5EeeAppuRs-roLg" type="2003" element="_FMQCAIK5EeeAppuRs-roLg">
+          <children xmi:type="notation:Node" xmi:id="_FMQCBoK5EeeAppuRs-roLg" type="5007"/>
+          <children xmi:type="notation:Node" xmi:id="_FMQCB4K5EeeAppuRs-roLg" type="7004">
+            <styles xmi:type="notation:SortingStyle" xmi:id="_FMQCCIK5EeeAppuRs-roLg"/>
+            <styles xmi:type="notation:FilteringStyle" xmi:id="_FMQCCYK5EeeAppuRs-roLg"/>
+          </children>
+          <styles xmi:type="notation:ShapeStyle" xmi:id="_FMQCBIK5EeeAppuRs-roLg" fontName="Segoe UI" fontHeight="8"/>
+          <layoutConstraint xmi:type="notation:Bounds" xmi:id="_FMQCBYK5EeeAppuRs-roLg" x="70" y="355" width="120" height="43"/>
+        </children>
+        <children xmi:type="notation:Node" xmi:id="_KKYI4IK5EeeAppuRs-roLg" type="2003" element="_KKO-8IK5EeeAppuRs-roLg">
+          <children xmi:type="notation:Node" xmi:id="_KKYI44K5EeeAppuRs-roLg" type="5007"/>
+          <children xmi:type="notation:Node" xmi:id="_KKYI5IK5EeeAppuRs-roLg" type="7004">
+            <styles xmi:type="notation:SortingStyle" xmi:id="_KKYI5YK5EeeAppuRs-roLg"/>
+            <styles xmi:type="notation:FilteringStyle" xmi:id="_KKYI5oK5EeeAppuRs-roLg"/>
+          </children>
+          <styles xmi:type="notation:ShapeStyle" xmi:id="_KKYI4YK5EeeAppuRs-roLg" fontName="Segoe UI" fontHeight="8"/>
+          <layoutConstraint xmi:type="notation:Bounds" xmi:id="_KKYI4oK5EeeAppuRs-roLg" x="325" y="199" width="120" height="44"/>
+        </children>
+        <children xmi:type="notation:Node" xmi:id="_nE2UIoK5EeeAppuRs-roLg" type="2003" element="_nE2UIIK5EeeAppuRs-roLg">
+          <children xmi:type="notation:Node" xmi:id="_nE2UJYK5EeeAppuRs-roLg" type="5007"/>
+          <children xmi:type="notation:Node" xmi:id="_nE2UJoK5EeeAppuRs-roLg" type="7004">
+            <styles xmi:type="notation:SortingStyle" xmi:id="_nE2UJ4K5EeeAppuRs-roLg"/>
+            <styles xmi:type="notation:FilteringStyle" xmi:id="_nE2UKIK5EeeAppuRs-roLg"/>
+          </children>
+          <styles xmi:type="notation:ShapeStyle" xmi:id="_nE2UI4K5EeeAppuRs-roLg" fontName="Segoe UI" fontHeight="8"/>
+          <layoutConstraint xmi:type="notation:Bounds" xmi:id="_nE2UJIK5EeeAppuRs-roLg" x="270" y="355" width="120" height="43"/>
+        </children>
+        <children xmi:type="notation:Node" xmi:id="_xFTscoK5EeeAppuRs-roLg" type="2003" element="_xFTscIK5EeeAppuRs-roLg">
+          <children xmi:type="notation:Node" xmi:id="_xFTsdYK5EeeAppuRs-roLg" type="5007"/>
+          <children xmi:type="notation:Node" xmi:id="_xFTsdoK5EeeAppuRs-roLg" type="7004">
+            <styles xmi:type="notation:SortingStyle" xmi:id="_xFTsd4K5EeeAppuRs-roLg"/>
+            <styles xmi:type="notation:FilteringStyle" xmi:id="_xFTseIK5EeeAppuRs-roLg"/>
+          </children>
+          <styles xmi:type="notation:ShapeStyle" xmi:id="_xFTsc4K5EeeAppuRs-roLg" fontName="Segoe UI" fontHeight="8"/>
+          <layoutConstraint xmi:type="notation:Bounds" xmi:id="_xFTsdIK5EeeAppuRs-roLg" x="410" y="355" width="120" height="43"/>
+        </children>
+        <children xmi:type="notation:Node" xmi:id="_C7VVA4LJEeeAppuRs-roLg" type="2003" element="_C7VVAILJEeeAppuRs-roLg">
+          <children xmi:type="notation:Node" xmi:id="_C7VVBoLJEeeAppuRs-roLg" type="5007"/>
+          <children xmi:type="notation:Node" xmi:id="_C7VVB4LJEeeAppuRs-roLg" type="7004">
+            <styles xmi:type="notation:SortingStyle" xmi:id="_C7VVCILJEeeAppuRs-roLg"/>
+            <styles xmi:type="notation:FilteringStyle" xmi:id="_C7VVCYLJEeeAppuRs-roLg"/>
+          </children>
+          <styles xmi:type="notation:ShapeStyle" xmi:id="_C7VVBILJEeeAppuRs-roLg" fontName="Segoe UI" fontHeight="8"/>
+          <layoutConstraint xmi:type="notation:Bounds" xmi:id="_C7VVBYLJEeeAppuRs-roLg" x="70" y="193" width="120" height="50"/>
+        </children>
+        <styles xmi:type="notation:DiagramStyle" xmi:id="_EphIZ4K5EeeAppuRs-roLg"/>
+        <edges xmi:type="notation:Edge" xmi:id="_0PAoUIK5EeeAppuRs-roLg" type="4001" element="_0O23UIK5EeeAppuRs-roLg" source="_nE2UIoK5EeeAppuRs-roLg" target="_KKYI4IK5EeeAppuRs-roLg">
+          <children xmi:type="notation:Node" xmi:id="_0PAoVIK5EeeAppuRs-roLg" type="6001">
+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_0PAoVYK5EeeAppuRs-roLg" y="-10"/>
+          </children>
+          <children xmi:type="notation:Node" xmi:id="_0PAoVoK5EeeAppuRs-roLg" type="6002">
+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_0PAoV4K5EeeAppuRs-roLg" y="10"/>
+          </children>
+          <children xmi:type="notation:Node" xmi:id="_0PAoWIK5EeeAppuRs-roLg" type="6003">
+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_0PAoWYK5EeeAppuRs-roLg" y="10"/>
+          </children>
+          <styles xmi:type="notation:ConnectorStyle" xmi:id="_0PAoUYK5EeeAppuRs-roLg" routing="Tree"/>
+          <styles xmi:type="notation:FontStyle" xmi:id="_0PAoUoK5EeeAppuRs-roLg" fontName="Segoe UI" fontHeight="8"/>
+          <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_0PAoU4K5EeeAppuRs-roLg" points="[0, 0, -89, 135]$[0, -15, -89, 120]$[90, -15, 1, 120]$[90, -114, 1, 21]"/>
+          <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_0PAoWoK5EeeAppuRs-roLg" id="(0.211864406779661,0.0)"/>
+          <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_0PAoW4K5EeeAppuRs-roLg" id="(0.5,0.5)"/>
+        </edges>
+        <edges xmi:type="notation:Edge" xmi:id="_0nTzlIK5EeeAppuRs-roLg" type="4001" element="_0nTzkIK5EeeAppuRs-roLg" source="_xFTscoK5EeeAppuRs-roLg" target="_KKYI4IK5EeeAppuRs-roLg">
+          <children xmi:type="notation:Node" xmi:id="_0nTzmIK5EeeAppuRs-roLg" type="6001">
+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_0nTzmYK5EeeAppuRs-roLg" x="-16" y="55"/>
+          </children>
+          <children xmi:type="notation:Node" xmi:id="_0nTzmoK5EeeAppuRs-roLg" type="6002">
+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_0nTzm4K5EeeAppuRs-roLg" x="-22" y="-10"/>
+          </children>
+          <children xmi:type="notation:Node" xmi:id="_0nTznIK5EeeAppuRs-roLg" type="6003">
+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_0nTznYK5EeeAppuRs-roLg" x="19" y="9"/>
+          </children>
+          <styles xmi:type="notation:ConnectorStyle" xmi:id="_0nTzlYK5EeeAppuRs-roLg" routing="Tree"/>
+          <styles xmi:type="notation:FontStyle" xmi:id="_0nTzloK5EeeAppuRs-roLg" fontName="Segoe UI" fontHeight="8"/>
+          <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_0nTzl4K5EeeAppuRs-roLg" points="[0, 0, 66, 135]$[0, -15, 66, 120]$[-65, -15, 1, 120]$[-65, -114, 1, 21]"/>
+          <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_0nTznoK5EeeAppuRs-roLg" id="(0.3389830508474576,0.0)"/>
+          <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_0nTzn4K5EeeAppuRs-roLg" id="(0.5,0.5)"/>
+        </edges>
+        <edges xmi:type="notation:Edge" xmi:id="_Rau7oIK6EeeAppuRs-roLg" type="4001" element="_RalKoIK6EeeAppuRs-roLg" source="_FMQCA4K5EeeAppuRs-roLg" target="_nE2UIoK5EeeAppuRs-roLg">
+          <children xmi:type="notation:Node" xmi:id="_Rau7pIK6EeeAppuRs-roLg" type="6001">
+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_Rau7pYK6EeeAppuRs-roLg" x="1" y="-9"/>
+          </children>
+          <children xmi:type="notation:Node" xmi:id="_Rau7poK6EeeAppuRs-roLg" type="6002">
+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_Rau7p4K6EeeAppuRs-roLg" x="9" y="10"/>
+          </children>
+          <children xmi:type="notation:Node" xmi:id="_Rau7qIK6EeeAppuRs-roLg" type="6003">
+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_Rau7qYK6EeeAppuRs-roLg" x="-1" y="10"/>
+          </children>
+          <styles xmi:type="notation:ConnectorStyle" xmi:id="_Rau7oYK6EeeAppuRs-roLg" routing="Rectilinear"/>
+          <styles xmi:type="notation:FontStyle" xmi:id="_Rau7ooK6EeeAppuRs-roLg" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/>
+          <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_Rau7o4K6EeeAppuRs-roLg" points="[0, -36, -82, -1]$[82, -36, 0, -1]"/>
+          <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_Rau7qoK6EeeAppuRs-roLg" id="(1.0,1.3658536585365855)"/>
+          <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_Rau7q4K6EeeAppuRs-roLg" id="(0.0,0.5121951219512195)"/>
+        </edges>
+        <edges xmi:type="notation:Edge" xmi:id="_F0O0wILJEeeAppuRs-roLg" type="4001" element="_F0FDwILJEeeAppuRs-roLg" source="_C7VVA4LJEeeAppuRs-roLg" target="_FMQCA4K5EeeAppuRs-roLg">
+          <children xmi:type="notation:Node" xmi:id="_F0O0xILJEeeAppuRs-roLg" type="6001">
+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_F0O0xYLJEeeAppuRs-roLg" x="-47" y="-46"/>
+          </children>
+          <children xmi:type="notation:Node" xmi:id="_F0O0xoLJEeeAppuRs-roLg" type="6002">
+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_F0O0x4LJEeeAppuRs-roLg" x="-17" y="10"/>
+          </children>
+          <children xmi:type="notation:Node" xmi:id="_F0O0yILJEeeAppuRs-roLg" type="6003">
+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_F0O0yYLJEeeAppuRs-roLg" x="-80" y="10"/>
+          </children>
+          <styles xmi:type="notation:ConnectorStyle" xmi:id="_F0O0wYLJEeeAppuRs-roLg" routing="Rectilinear"/>
+          <styles xmi:type="notation:FontStyle" xmi:id="_F0O0woLJEeeAppuRs-roLg" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/>
+          <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_F0O0w4LJEeeAppuRs-roLg" points="[-5, 0, -35, -114]$[-5, 114, -35, 0]"/>
+          <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_F0O0yoLJEeeAppuRs-roLg" id="(0.423728813559322,1.0)"/>
+          <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_F0O0y4LJEeeAppuRs-roLg" id="(0.6779661016949152,0.0)"/>
+        </edges>
+        <edges xmi:type="notation:Edge" xmi:id="_H0mKAILJEeeAppuRs-roLg" type="4001" element="_H0cZAILJEeeAppuRs-roLg" source="_C7VVA4LJEeeAppuRs-roLg" target="_KKYI4IK5EeeAppuRs-roLg">
+          <children xmi:type="notation:Node" xmi:id="_H0mKBILJEeeAppuRs-roLg" type="6001">
+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_H0mKBYLJEeeAppuRs-roLg" x="1" y="-36"/>
+          </children>
+          <children xmi:type="notation:Node" xmi:id="_H0mKBoLJEeeAppuRs-roLg" type="6002">
+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_H0mKB4LJEeeAppuRs-roLg" x="6" y="10"/>
+          </children>
+          <children xmi:type="notation:Node" xmi:id="_H0mKCILJEeeAppuRs-roLg" type="6003">
+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_H0mKCYLJEeeAppuRs-roLg" x="-1" y="10"/>
+          </children>
+          <styles xmi:type="notation:ConnectorStyle" xmi:id="_H0mKAYLJEeeAppuRs-roLg" routing="Rectilinear"/>
+          <styles xmi:type="notation:FontStyle" xmi:id="_H0mKAoLJEeeAppuRs-roLg" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/>
+          <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_H0mKA4LJEeeAppuRs-roLg" points="[0, 0, -137, 2]$[137, 0, 0, 2]"/>
+          <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_H0mKCoLJEeeAppuRs-roLg" id="(1.0,0.5)"/>
+          <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_H0mKC4LJEeeAppuRs-roLg" id="(0.0,0.38095238095238093)"/>
+        </edges>
+        <edges xmi:type="notation:Edge" xmi:id="_1iWsRILJEeeAppuRs-roLg" type="4001" element="_1iWsQILJEeeAppuRs-roLg" source="_FMQCA4K5EeeAppuRs-roLg" target="_KKYI4IK5EeeAppuRs-roLg">
+          <children xmi:type="notation:Node" xmi:id="_1if2MILJEeeAppuRs-roLg" type="6001">
+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_1if2MYLJEeeAppuRs-roLg" x="5" y="-9"/>
+          </children>
+          <children xmi:type="notation:Node" xmi:id="_1if2MoLJEeeAppuRs-roLg" type="6002">
+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_1if2M4LJEeeAppuRs-roLg" x="-5" y="5"/>
+          </children>
+          <children xmi:type="notation:Node" xmi:id="_1if2NILJEeeAppuRs-roLg" type="6003">
+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_1if2NYLJEeeAppuRs-roLg" x="-4" y="6"/>
+          </children>
+          <styles xmi:type="notation:ConnectorStyle" xmi:id="_1iWsRYLJEeeAppuRs-roLg"/>
+          <styles xmi:type="notation:FontStyle" xmi:id="_1iWsRoLJEeeAppuRs-roLg" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/>
+          <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_1iWsR4LJEeeAppuRs-roLg" points="[5, -4, -152, 119]$[152, -118, -5, 5]"/>
+          <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_1if2NoLJEeeAppuRs-roLg" id="(0.9083333333333333,0.11627906976744186)"/>
+          <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_1if2N4LJEeeAppuRs-roLg" id="(0.08333333333333333,0.8863636363636364)"/>
+        </edges>
+        <edges xmi:type="notation:Edge" xmi:id="_ggoFR4LREeeAppuRs-roLg" type="4001" element="_ggoFQILREeeAppuRs-roLg" source="_KKYI4IK5EeeAppuRs-roLg" target="_nE2UIoK5EeeAppuRs-roLg">
+          <children xmi:type="notation:Node" xmi:id="_ggoFS4LREeeAppuRs-roLg" type="6001">
+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_ggoFTILREeeAppuRs-roLg" x="52" y="-3"/>
+          </children>
+          <children xmi:type="notation:Node" xmi:id="_ggoFTYLREeeAppuRs-roLg" type="6002">
+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_ggoFToLREeeAppuRs-roLg" x="31" y="38"/>
+          </children>
+          <children xmi:type="notation:Node" xmi:id="_ggoFT4LREeeAppuRs-roLg" type="6003">
+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_ggoFUILREeeAppuRs-roLg" y="-40"/>
+          </children>
+          <styles xmi:type="notation:ConnectorStyle" xmi:id="_ggoFSILREeeAppuRs-roLg" routing="Rectilinear"/>
+          <styles xmi:type="notation:FontStyle" xmi:id="_ggoFSYLREeeAppuRs-roLg" fontName="Segoe UI" fontHeight="8"/>
+          <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_ggoFSoLREeeAppuRs-roLg" points="[-18, 21, 79, -114]$[-18, 95, 79, -40]$[-99, 95, -2, -40]$[-99, 135, -2, 0]"/>
+          <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_ggoFUYLREeeAppuRs-roLg" id="(0.5,0.5)"/>
+          <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_ggoFUoLREeeAppuRs-roLg" id="(0.15,0.0)"/>
+        </edges>
+      </data>
+    </ownedAnnotationEntries>
+    <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_FMQCAIK5EeeAppuRs-roLg" name="FileSystem" tooltipText="" outgoingEdges="_RalKoIK6EeeAppuRs-roLg _1iWsQILJEeeAppuRs-roLg" incomingEdges="_F0FDwILJEeeAppuRs-roLg" width="12" height="10">
+      <target xmi:type="ecore:EClass" href="FileSytem.ecore#//FileSystem"/>
+      <semanticElements xmi:type="ecore:EClass" href="FileSytem.ecore#//FileSystem"/>
+      <arrangeConstraints>KEEP_LOCATION</arrangeConstraints>
+      <arrangeConstraints>KEEP_SIZE</arrangeConstraints>
+      <arrangeConstraints>KEEP_RATIO</arrangeConstraints>
+      <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_FMQCAYK5EeeAppuRs-roLg" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216">
+        <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@style"/>
+      </ownedStyle>
+      <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/>
+    </ownedDiagramElements>
+    <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_KKO-8IK5EeeAppuRs-roLg" name="FSObject" tooltipText="" outgoingEdges="_ggoFQILREeeAppuRs-roLg" incomingEdges="_0O23UIK5EeeAppuRs-roLg _0nTzkIK5EeeAppuRs-roLg _H0cZAILJEeeAppuRs-roLg _1iWsQILJEeeAppuRs-roLg" width="12" height="10">
+      <target xmi:type="ecore:EClass" href="FileSytem.ecore#//FSObject"/>
+      <semanticElements xmi:type="ecore:EClass" href="FileSytem.ecore#//FSObject"/>
+      <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_mVRRUIK5EeeAppuRs-roLg" iconPath="/org.eclipse.emf.ecoretools.design/icons/full/obj16/EClass_abstract.gif" borderSize="1" borderSizeComputationExpression="1" borderColor="125,125,125" backgroundStyle="Liquid" foregroundColor="228,228,228">
+        <labelFormat>italic</labelFormat>
+        <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@conditionnalStyles.1/@style"/>
+      </ownedStyle>
+      <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/>
+    </ownedDiagramElements>
+    <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_nE2UIIK5EeeAppuRs-roLg" name="Dir" tooltipText="" outgoingEdges="_0O23UIK5EeeAppuRs-roLg" incomingEdges="_RalKoIK6EeeAppuRs-roLg _ggoFQILREeeAppuRs-roLg" width="12" height="10">
+      <target xmi:type="ecore:EClass" href="FileSytem.ecore#//Dir"/>
+      <semanticElements xmi:type="ecore:EClass" href="FileSytem.ecore#//Dir"/>
+      <arrangeConstraints>KEEP_LOCATION</arrangeConstraints>
+      <arrangeConstraints>KEEP_SIZE</arrangeConstraints>
+      <arrangeConstraints>KEEP_RATIO</arrangeConstraints>
+      <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_B3iooIK8EeeAppuRs-roLg" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216">
+        <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@style"/>
+      </ownedStyle>
+      <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/>
+    </ownedDiagramElements>
+    <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_xFTscIK5EeeAppuRs-roLg" name="File" tooltipText="" outgoingEdges="_0nTzkIK5EeeAppuRs-roLg" width="12" height="10">
+      <target xmi:type="ecore:EClass" href="FileSytem.ecore#//File"/>
+      <semanticElements xmi:type="ecore:EClass" href="FileSytem.ecore#//File"/>
+      <arrangeConstraints>KEEP_LOCATION</arrangeConstraints>
+      <arrangeConstraints>KEEP_SIZE</arrangeConstraints>
+      <arrangeConstraints>KEEP_RATIO</arrangeConstraints>
+      <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_xFTscYK5EeeAppuRs-roLg" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216">
+        <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@style"/>
+      </ownedStyle>
+      <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/>
+    </ownedDiagramElements>
+    <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_0O23UIK5EeeAppuRs-roLg" sourceNode="_nE2UIIK5EeeAppuRs-roLg" targetNode="_KKO-8IK5EeeAppuRs-roLg">
+      <target xmi:type="ecore:EClass" href="FileSytem.ecore#//Dir"/>
+      <semanticElements xmi:type="ecore:EGenericType" href="FileSytem.ecore#//Dir/@eGenericSuperTypes.0"/>
+      <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_B3iooYK8EeeAppuRs-roLg" targetArrow="InputClosedArrow" routingStyle="tree">
+        <description xmi:type="style:EdgeStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']/@style"/>
+        <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_B3ioooK8EeeAppuRs-roLg" showIcon="false">
+          <labelFormat>italic</labelFormat>
+        </beginLabelStyle>
+        <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_B3ioo4K8EeeAppuRs-roLg" showIcon="false"/>
+      </ownedStyle>
+      <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']"/>
+    </ownedDiagramElements>
+    <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_0nTzkIK5EeeAppuRs-roLg" sourceNode="_xFTscIK5EeeAppuRs-roLg" targetNode="_KKO-8IK5EeeAppuRs-roLg">
+      <target xmi:type="ecore:EClass" href="FileSytem.ecore#//File"/>
+      <semanticElements xmi:type="ecore:EGenericType" href="FileSytem.ecore#//File/@eGenericSuperTypes.0"/>
+      <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_0nTzkYK5EeeAppuRs-roLg" targetArrow="InputClosedArrow" routingStyle="tree">
+        <description xmi:type="style:EdgeStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']/@style"/>
+        <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_0nTzkoK5EeeAppuRs-roLg" showIcon="false">
+          <labelFormat>italic</labelFormat>
+        </beginLabelStyle>
+        <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_0nTzk4K5EeeAppuRs-roLg" showIcon="false"/>
+      </ownedStyle>
+      <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']"/>
+    </ownedDiagramElements>
+    <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_RalKoIK6EeeAppuRs-roLg" name="[1..1] root" sourceNode="_FMQCAIK5EeeAppuRs-roLg" targetNode="_nE2UIIK5EeeAppuRs-roLg">
+      <target xmi:type="ecore:EReference" href="FileSytem.ecore#//FileSystem/root"/>
+      <semanticElements xmi:type="ecore:EReference" href="FileSytem.ecore#//FileSystem/root"/>
+      <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_TrxKI4K6EeeAppuRs-roLg" description="_TrxKIIK6EeeAppuRs-roLg" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0">
+        <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_TrxKJIK6EeeAppuRs-roLg" showIcon="false">
+          <labelFormat>bold</labelFormat>
+        </centerLabelStyle>
+        <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_TrxKJYK6EeeAppuRs-roLg" labelSize="6" showIcon="false" labelColor="39,76,114"/>
+      </ownedStyle>
+      <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/>
+    </ownedDiagramElements>
+    <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_C7VVAILJEeeAppuRs-roLg" name="Model" tooltipText="" outgoingEdges="_F0FDwILJEeeAppuRs-roLg _H0cZAILJEeeAppuRs-roLg" width="12" height="10">
+      <target xmi:type="ecore:EClass" href="FileSytem.ecore#//Model"/>
+      <semanticElements xmi:type="ecore:EClass" href="FileSytem.ecore#//Model"/>
+      <arrangeConstraints>KEEP_LOCATION</arrangeConstraints>
+      <arrangeConstraints>KEEP_SIZE</arrangeConstraints>
+      <arrangeConstraints>KEEP_RATIO</arrangeConstraints>
+      <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_C7VVAYLJEeeAppuRs-roLg" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216">
+        <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@style"/>
+      </ownedStyle>
+      <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/>
+    </ownedDiagramElements>
+    <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_F0FDwILJEeeAppuRs-roLg" name="[1..1] filesystems" sourceNode="_C7VVAILJEeeAppuRs-roLg" targetNode="_FMQCAIK5EeeAppuRs-roLg">
+      <target xmi:type="ecore:EReference" href="FileSytem.ecore#//Model/filesystems"/>
+      <semanticElements xmi:type="ecore:EReference" href="FileSytem.ecore#//Model/filesystems"/>
+      <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_zqLCoILJEeeAppuRs-roLg" description="_TrxKIIK6EeeAppuRs-roLg" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0">
+        <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_zqLCoYLJEeeAppuRs-roLg" showIcon="false">
+          <labelFormat>bold</labelFormat>
+        </centerLabelStyle>
+        <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_zqLCooLJEeeAppuRs-roLg" labelSize="6" showIcon="false" labelColor="39,76,114"/>
+      </ownedStyle>
+      <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/>
+    </ownedDiagramElements>
+    <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_H0cZAILJEeeAppuRs-roLg" name="[0..*] otherFSObjects" sourceNode="_C7VVAILJEeeAppuRs-roLg" targetNode="_KKO-8IK5EeeAppuRs-roLg">
+      <target xmi:type="ecore:EReference" href="FileSytem.ecore#//Model/otherFSObjects"/>
+      <semanticElements xmi:type="ecore:EReference" href="FileSytem.ecore#//Model/otherFSObjects"/>
+      <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_MlEPY4LJEeeAppuRs-roLg" description="_MlEPYILJEeeAppuRs-roLg" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0">
+        <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_MlEPZILJEeeAppuRs-roLg" showIcon="false"/>
+        <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_MlEPZYLJEeeAppuRs-roLg" labelSize="6" showIcon="false" labelColor="39,76,114"/>
+      </ownedStyle>
+      <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/>
+    </ownedDiagramElements>
+    <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_1iWsQILJEeeAppuRs-roLg" name="[0..*] /live" sourceNode="_FMQCAIK5EeeAppuRs-roLg" targetNode="_KKO-8IK5EeeAppuRs-roLg">
+      <target xmi:type="ecore:EReference" href="FileSytem.ecore#//FileSystem/live"/>
+      <semanticElements xmi:type="ecore:EReference" href="FileSytem.ecore#//FileSystem/live"/>
+      <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_6IIkk4LJEeeAppuRs-roLg" description="_6IIkkILJEeeAppuRs-roLg" strokeColor="114,159,207">
+        <customFeatures>routingStyle</customFeatures>
+        <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_6IIklILJEeeAppuRs-roLg" showIcon="false" labelColor="39,76,114"/>
+        <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_6IIklYLJEeeAppuRs-roLg" labelSize="6" showIcon="false" labelColor="39,76,114"/>
+      </ownedStyle>
+      <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/>
+    </ownedDiagramElements>
+    <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_ggoFQILREeeAppuRs-roLg" sourceNode="_KKO-8IK5EeeAppuRs-roLg" targetNode="_nE2UIIK5EeeAppuRs-roLg" beginLabel="[0..*] contents" endLabel="[0..1] parent">
+      <target xmi:type="ecore:EReference" href="FileSytem.ecore#//FSObject/parent"/>
+      <semanticElements xmi:type="ecore:EReference" href="FileSytem.ecore#//Dir/contents"/>
+      <semanticElements xmi:type="ecore:EReference" href="FileSytem.ecore#//FSObject/parent"/>
+      <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_ggoFRILREeeAppuRs-roLg" description="_ggoFQYLREeeAppuRs-roLg" sourceArrow="InputArrow" targetArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0">
+        <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_ggoFRYLREeeAppuRs-roLg" showIcon="false"/>
+        <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_ggoFRoLREeeAppuRs-roLg" showIcon="false"/>
+      </ownedStyle>
+      <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='Bi-directional%20EC_EReference%20']"/>
+    </ownedDiagramElements>
+    <description xmi:type="description_1:DiagramDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']"/>
+    <filterVariableHistory xmi:type="diagram:FilterVariableHistory" xmi:id="_EphIZIK5EeeAppuRs-roLg"/>
+    <activatedLayers xmi:type="description_1:Layer" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer"/>
+    <activatedLayers xmi:type="description_1:AdditionalLayer" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@additionalLayers[name='Package']"/>
+    <activatedLayers xmi:type="description_1:AdditionalLayer" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@additionalLayers[name='Validation']"/>
+    <activatedLayers xmi:type="description_1:AdditionalLayer" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Archetype']/@ownedRepresentationExtensions[name='Entities%20With%20Archetypes']/@layers[name='Archetypes']"/>
+    <target xmi:type="ecore:EPackage" href="FileSytem.ecore#/"/>
+  </diagram:DSemanticDiagram>
+</xmi:XMI>
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/model/FileSytem.ecore b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/model/FileSytem.ecore
new file mode 100644
index 00000000..c928d2b0
--- /dev/null
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/model/FileSytem.ecore
@@ -0,0 +1,32 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<ecore:EPackage xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+    xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="Filesystem" nsURI="FS" nsPrefix="FS">
+  <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore">
+    <details key="settingDelegates" value="org.eclipse.viatra.query.querybasedfeature"/>
+  </eAnnotations>
+  <eClassifiers xsi:type="ecore:EClass" name="FileSystem">
+    <eStructuralFeatures xsi:type="ecore:EReference" name="root" lowerBound="1" eType="#//Dir"
+        containment="true"/>
+    <eStructuralFeatures xsi:type="ecore:EReference" name="live" upperBound="-1" eType="#//FSObject"
+        changeable="false" volatile="true" transient="true" derived="true">
+      <eAnnotations source="org.eclipse.viatra.query.querybasedfeature">
+        <details key="patternFQN" value="hu.bme.mit.inf.dslreasoner.domains.alloyexamples.live"/>
+      </eAnnotations>
+    </eStructuralFeatures>
+  </eClassifiers>
+  <eClassifiers xsi:type="ecore:EClass" name="FSObject" abstract="true">
+    <eStructuralFeatures xsi:type="ecore:EReference" name="parent" eType="#//Dir"
+        eOpposite="#//Dir/contents"/>
+  </eClassifiers>
+  <eClassifiers xsi:type="ecore:EClass" name="Dir" eSuperTypes="#//FSObject">
+    <eStructuralFeatures xsi:type="ecore:EReference" name="contents" upperBound="-1"
+        eType="#//FSObject" containment="true" eOpposite="#//FSObject/parent"/>
+  </eClassifiers>
+  <eClassifiers xsi:type="ecore:EClass" name="File" eSuperTypes="#//FSObject"/>
+  <eClassifiers xsi:type="ecore:EClass" name="Model">
+    <eStructuralFeatures xsi:type="ecore:EReference" name="filesystems" lowerBound="1"
+        eType="#//FileSystem" containment="true"/>
+    <eStructuralFeatures xsi:type="ecore:EReference" name="otherFSObjects" upperBound="-1"
+        eType="#//FSObject" containment="true"/>
+  </eClassifiers>
+</ecore:EPackage>
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/model/FileSytem.genmodel b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/model/FileSytem.genmodel
new file mode 100644
index 00000000..355ac109
--- /dev/null
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/model/FileSytem.genmodel
@@ -0,0 +1,26 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<genmodel:GenModel xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore"
+    xmlns:genmodel="http://www.eclipse.org/emf/2002/GenModel" modelDirectory="/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src"
+    modelPluginID="hu.bme.mit.inf.dslreasoner.domains.alloyexamples" modelName="FileSytem"
+    rootExtendsClass="org.eclipse.emf.ecore.impl.MinimalEObjectImpl$Container" importerID="org.eclipse.emf.importer.ecore"
+    complianceLevel="8.0" copyrightFields="false" operationReflection="true" importOrganizing="true">
+  <foreignModel>FileSytem.ecore</foreignModel>
+  <genPackages prefix="Filesystem" basePackage="hu.bme.mit.inf.dslreasoner.domains.alloyexamples"
+      disposableProviderFactory="true" ecorePackage="FileSytem.ecore#/">
+    <genClasses ecoreClass="FileSytem.ecore#//FileSystem">
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference FileSytem.ecore#//FileSystem/root"/>
+      <genFeatures property="Readonly" notify="false" createChild="false" ecoreFeature="ecore:EReference FileSytem.ecore#//FileSystem/live"/>
+    </genClasses>
+    <genClasses image="false" ecoreClass="FileSytem.ecore#//FSObject"/>
+    <genClasses ecoreClass="FileSytem.ecore#//Dir">
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference FileSytem.ecore#//Dir/contents"/>
+    </genClasses>
+    <genClasses ecoreClass="FileSytem.ecore#//File">
+      <genFeatures property="None" notify="false" createChild="false" ecoreFeature="ecore:EReference FileSytem.ecore#//File/parent"/>
+    </genClasses>
+    <genClasses ecoreClass="FileSytem.ecore#//Model">
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference FileSytem.ecore#//Model/filesystems"/>
+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference FileSytem.ecore#//Model/otherFSObjects"/>
+    </genClasses>
+  </genPackages>
+</genmodel:GenModel>
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/patterns/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Ecore.vql b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/patterns/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Ecore.vql
new file mode 100644
index 00000000..78525a35
--- /dev/null
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/patterns/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Ecore.vql
@@ -0,0 +1,29 @@
+package hu.bme.mit.inf.dslreasoner.domains.alloyexamples
+import epackage "http://www.eclipse.org/emf/2002/Ecore"
+pattern directSupertype(a: EClass, b:EClass) {
+        EClass.eSuperTypes(a,b);
+}
+@Constraint(key={a}, severity="error", message="error")
+pattern loopInInheritence(a: EClass) {
+        find directSupertype+(a,a);
+}
+pattern opposite(a:EReference, b: EReference) {
+        EReference.eOpposite(a,b);
+}
+@Constraint(key={a}, severity="error", message="error")
+pattern oppositeDifferentClass(a:EReference) {
+        EReference.eOpposite(a,b);
+        EReference.eContainingClass(a,aContaining);
+        EReference.eType(b,bTarget);
+        aContaining != bTarget;
+}
+@Constraint(key={a}, severity="error", message="error")
+pattern nonSymmetricOpposite(a:EReference, b:EReference) {
+        find opposite(a,b);
+        neg find opposite(b,a);
+}
+\ No newline at end of file
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
new file mode 100644
index 00000000..719a9d96
--- /dev/null
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/patterns/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/FileSystem.vql
@@ -0,0 +1,24 @@
+package hu.bme.mit.inf.dslreasoner.domains.alloyexamples
+import epackage "FS"
+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);
+}
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/plugin.properties b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/plugin.properties
new file mode 100644
index 00000000..5c045a20
--- /dev/null
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/plugin.properties
@@ -0,0 +1,4 @@
+#
+pluginName = FileSytem Model
+providerName = www.example.org
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/plugin.xml b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/plugin.xml
new file mode 100644
index 00000000..576aa06e
--- /dev/null
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/plugin.xml
@@ -0,0 +1,26 @@
+<?xml version="1.0" encoding="UTF-8"?><?eclipse version="3.0"?><!--
+--><plugin>
+  <extension point="org.eclipse.emf.ecore.generated_package">
+    <!-- @generated FileSytem -->
+    <package class="hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FilesystemPackage" genModel="model/FileSytem.genmodel" uri="FS"/>
+  </extension>
+  <extension id="extension.derived.hu.bme.mit.inf.dslreasoner.domains.alloyexamples.live" point="org.eclipse.viatra.query.runtime.base.wellbehaving.derived.features">
+    <wellbehaving-derived-feature classifier-name="FileSystem" feature-name="live" package-nsUri="FS"/>
+  </extension>
+  <extension id="hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Ecore" point="org.eclipse.viatra.query.runtime.queryspecification">
+    <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Ecore" id="hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Ecore">
+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.alloyexamples.directSupertype"/>
+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.alloyexamples.loopInInheritence"/>
+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.alloyexamples.opposite"/>
+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.alloyexamples.oppositeDifferentClass"/>
+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.alloyexamples.nonSymmetricOpposite"/>
+    </group>
+  </extension>
+  <extension id="hu.bme.mit.inf.dslreasoner.domains.alloyexamples.FileSystem" point="org.eclipse.viatra.query.runtime.queryspecification">
+    <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:hu.bme.mit.inf.dslreasoner.domains.alloyexamples.FileSystem" id="hu.bme.mit.inf.dslreasoner.domains.alloyexamples.FileSystem">
+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.alloyexamples.patternContent"/>
+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.alloyexamples.live"/>
+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.alloyexamples.contentInNotLive"/>
+    </group>
+  </extension>
+</plugin>
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/.gitignore b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/.gitignore
new file mode 100644
index 00000000..9d608403
--- /dev/null
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/.gitignore
@@ -0,0 +1,36 @@
+/.ContentInNotLiveMatch.java._trace
+/.ContentInNotLiveMatcher.java._trace
+/.DirectSupertypeMatch.java._trace
+/.DirectSupertypeMatcher.java._trace
+/.Ecore.java._trace
+/.FileSystem.java._trace
+/.LiveMatch.java._trace
+/.LiveMatcher.java._trace
+/.LoopInInheritenceMatch.java._trace
+/.LoopInInheritenceMatcher.java._trace
+/.NonSymmetricOppositeMatch.java._trace
+/.NonSymmetricOppositeMatcher.java._trace
+/.OppositeDifferentClassMatch.java._trace
+/.OppositeDifferentClassMatcher.java._trace
+/.OppositeMatch.java._trace
+/.OppositeMatcher.java._trace
+/.PatternContentMatch.java._trace
+/.PatternContentMatcher.java._trace
+/ContentInNotLiveMatch.java
+/ContentInNotLiveMatcher.java
+/DirectSupertypeMatch.java
+/DirectSupertypeMatcher.java
+/Ecore.java
+/FileSystem.java
+/LiveMatch.java
+/LiveMatcher.java
+/LoopInInheritenceMatch.java
+/LoopInInheritenceMatcher.java
+/NonSymmetricOppositeMatch.java
+/NonSymmetricOppositeMatcher.java
+/OppositeDifferentClassMatch.java
+/OppositeDifferentClassMatcher.java
+/OppositeMatch.java
+/OppositeMatcher.java
+/PatternContentMatch.java
+/PatternContentMatcher.java
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/util/.gitignore b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/util/.gitignore
new file mode 100644
index 00000000..4b17cd82
--- /dev/null
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src-gen/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/util/.gitignore
@@ -0,0 +1,32 @@
+/.ContentInNotLiveProcessor.java._trace
+/.ContentInNotLiveQuerySpecification.java._trace
+/.DirectSupertypeProcessor.java._trace
+/.DirectSupertypeQuerySpecification.java._trace
+/.LiveProcessor.java._trace
+/.LiveQuerySpecification.java._trace
+/.LoopInInheritenceProcessor.java._trace
+/.LoopInInheritenceQuerySpecification.java._trace
+/.NonSymmetricOppositeProcessor.java._trace
+/.NonSymmetricOppositeQuerySpecification.java._trace
+/.OppositeDifferentClassProcessor.java._trace
+/.OppositeDifferentClassQuerySpecification.java._trace
+/.OppositeProcessor.java._trace
+/.OppositeQuerySpecification.java._trace
+/.PatternContentProcessor.java._trace
+/.PatternContentQuerySpecification.java._trace
+/ContentInNotLiveProcessor.java
+/ContentInNotLiveQuerySpecification.java
+/DirectSupertypeProcessor.java
+/DirectSupertypeQuerySpecification.java
+/LiveProcessor.java
+/LiveQuerySpecification.java
+/LoopInInheritenceProcessor.java
+/LoopInInheritenceQuerySpecification.java
+/NonSymmetricOppositeProcessor.java
+/NonSymmetricOppositeQuerySpecification.java
+/OppositeDifferentClassProcessor.java
+/OppositeDifferentClassQuerySpecification.java
+/OppositeProcessor.java
+/OppositeQuerySpecification.java
+/PatternContentProcessor.java
+/PatternContentQuerySpecification.java
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/Dir.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/Dir.java
new file mode 100644
index 00000000..59900ac7
--- /dev/null
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/Dir.java
@@ -0,0 +1,42 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem;
+import org.eclipse.emf.common.util.EList;
+/**
+ * <!-- begin-user-doc -->
+ * A representation of the model object '<em><b>Dir</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ * <p>
+ * The following features are supported:
+ * </p>
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.Dir#getContents <em>Contents</em>}</li>
+ * </ul>
+ *
+ * @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FilesystemPackage#getDir()
+ * @model
+ * @generated
+ */
+public interface Dir extends FSObject {
+        /**
+         * Returns the value of the '<em><b>Contents</b></em>' containment reference list.
+         * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FSObject}.
+         * It is bidirectional and its opposite is '{@link hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FSObject#getParent <em>Parent</em>}'.
+         * <!-- begin-user-doc -->
+         * <p>
+         * If the meaning of the '<em>Contents</em>' containment reference list isn't clear,
+         * there really should be more of a description here...
+         * </p>
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Contents</em>' containment reference list.
+         * @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FilesystemPackage#getDir_Contents()
+         * @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FSObject#getParent
+         * @model opposite="parent" containment="true"
+         * @generated
+         */
+        EList<FSObject> getContents();
+} // Dir
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/FSObject.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/FSObject.java
new file mode 100644
index 00000000..2cc4d454
--- /dev/null
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/FSObject.java
@@ -0,0 +1,52 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem;
+import org.eclipse.emf.ecore.EObject;
+/**
+ * <!-- begin-user-doc -->
+ * A representation of the model object '<em><b>FS Object</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ * <p>
+ * The following features are supported:
+ * </p>
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FSObject#getParent <em>Parent</em>}</li>
+ * </ul>
+ *
+ * @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FilesystemPackage#getFSObject()
+ * @model abstract="true"
+ * @generated
+ */
+public interface FSObject extends EObject {
+        /**
+         * Returns the value of the '<em><b>Parent</b></em>' container reference.
+         * It is bidirectional and its opposite is '{@link hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.Dir#getContents <em>Contents</em>}'.
+         * <!-- begin-user-doc -->
+         * <p>
+         * If the meaning of the '<em>Parent</em>' container reference isn't clear,
+         * there really should be more of a description here...
+         * </p>
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Parent</em>' container reference.
+         * @see #setParent(Dir)
+         * @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FilesystemPackage#getFSObject_Parent()
+         * @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.Dir#getContents
+         * @model opposite="contents" transient="false"
+         * @generated
+         */
+        Dir getParent();
+        /**
+         * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FSObject#getParent <em>Parent</em>}' container reference.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param value the new value of the '<em>Parent</em>' container reference.
+         * @see #getParent()
+         * @generated
+         */
+        void setParent(Dir value);
+} // FSObject
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/File.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/File.java
new file mode 100644
index 00000000..e765cbda
--- /dev/null
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/File.java
@@ -0,0 +1,18 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem;
+/**
+ * <!-- begin-user-doc -->
+ * A representation of the model object '<em><b>File</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ *
+ * @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FilesystemPackage#getFile()
+ * @model
+ * @generated
+ */
+public interface File extends FSObject {
+} // File
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/FileSystem.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/FileSystem.java
new file mode 100644
index 00000000..1896e31e
--- /dev/null
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/FileSystem.java
@@ -0,0 +1,70 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem;
+import org.eclipse.emf.common.util.EList;
+import org.eclipse.emf.ecore.EObject;
+/**
+ * <!-- begin-user-doc -->
+ * A representation of the model object '<em><b>File System</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ * <p>
+ * The following features are supported:
+ * </p>
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FileSystem#getRoot <em>Root</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FileSystem#getLive <em>Live</em>}</li>
+ * </ul>
+ *
+ * @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FilesystemPackage#getFileSystem()
+ * @model
+ * @generated
+ */
+public interface FileSystem extends EObject {
+        /**
+         * Returns the value of the '<em><b>Root</b></em>' containment reference.
+         * <!-- begin-user-doc -->
+         * <p>
+         * If the meaning of the '<em>Root</em>' containment reference isn't clear,
+         * there really should be more of a description here...
+         * </p>
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Root</em>' containment reference.
+         * @see #setRoot(Dir)
+         * @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FilesystemPackage#getFileSystem_Root()
+         * @model containment="true" required="true"
+         * @generated
+         */
+        Dir getRoot();
+        /**
+         * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FileSystem#getRoot <em>Root</em>}' containment reference.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param value the new value of the '<em>Root</em>' containment reference.
+         * @see #getRoot()
+         * @generated
+         */
+        void setRoot(Dir value);
+        /**
+         * Returns the value of the '<em><b>Live</b></em>' reference list.
+         * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FSObject}.
+         * <!-- begin-user-doc -->
+         * <p>
+         * If the meaning of the '<em>Live</em>' reference list isn't clear,
+         * there really should be more of a description here...
+         * </p>
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Live</em>' reference list.
+         * @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FilesystemPackage#getFileSystem_Live()
+         * @model transient="true" changeable="false" volatile="true" derived="true"
+         *        annotation="org.eclipse.viatra.query.querybasedfeature patternFQN='hu.bme.mit.inf.dslreasoner.domains.alloyexamples.live'"
+         * @generated
+         */
+        EList<FSObject> getLive();
+} // FileSystem
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/FilesystemFactory.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/FilesystemFactory.java
new file mode 100644
index 00000000..aaba633f
--- /dev/null
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/FilesystemFactory.java
@@ -0,0 +1,69 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem;
+import org.eclipse.emf.ecore.EFactory;
+/**
+ * <!-- begin-user-doc -->
+ * The <b>Factory</b> for the model.
+ * It provides a create method for each non-abstract class of the model.
+ * <!-- end-user-doc -->
+ * @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FilesystemPackage
+ * @generated
+ */
+public interface FilesystemFactory extends EFactory {
+        /**
+         * The singleton instance of the factory.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        FilesystemFactory eINSTANCE = hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.impl.FilesystemFactoryImpl.init();
+        /**
+         * Returns a new object of class '<em>File System</em>'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return a new object of class '<em>File System</em>'.
+         * @generated
+         */
+        FileSystem createFileSystem();
+        /**
+         * Returns a new object of class '<em>Dir</em>'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return a new object of class '<em>Dir</em>'.
+         * @generated
+         */
+        Dir createDir();
+        /**
+         * Returns a new object of class '<em>File</em>'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return a new object of class '<em>File</em>'.
+         * @generated
+         */
+        File createFile();
+        /**
+         * Returns a new object of class '<em>Model</em>'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return a new object of class '<em>Model</em>'.
+         * @generated
+         */
+        Model createModel();
+        /**
+         * Returns the package supported by this factory.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the package supported by this factory.
+         * @generated
+         */
+        FilesystemPackage getFilesystemPackage();
+} //FilesystemFactory
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/FilesystemPackage.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/FilesystemPackage.java
new file mode 100644
index 00000000..cad9293e
--- /dev/null
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/FilesystemPackage.java
@@ -0,0 +1,511 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem;
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.EPackage;
+import org.eclipse.emf.ecore.EReference;
+/**
+ * <!-- begin-user-doc -->
+ * The <b>Package</b> for the model.
+ * It contains accessors for the meta objects to represent
+ * <ul>
+ *   <li>each class,</li>
+ *   <li>each feature of each class,</li>
+ *   <li>each operation of each class,</li>
+ *   <li>each enum,</li>
+ *   <li>and each data type</li>
+ * </ul>
+ * <!-- end-user-doc -->
+ * @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FilesystemFactory
+ * @model kind="package"
+ *        annotation="http://www.eclipse.org/emf/2002/Ecore settingDelegates='org.eclipse.viatra.query.querybasedfeature'"
+ * @generated
+ */
+public interface FilesystemPackage extends EPackage {
+        /**
+         * The package name.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        String eNAME = "Filesystem";
+        /**
+         * The package namespace URI.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        String eNS_URI = "FS";
+        /**
+         * The package namespace name.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        String eNS_PREFIX = "FS";
+        /**
+         * The singleton instance of the package.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        FilesystemPackage eINSTANCE = hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.impl.FilesystemPackageImpl.init();
+        /**
+         * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.impl.FileSystemImpl <em>File System</em>}' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.impl.FileSystemImpl
+         * @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.impl.FilesystemPackageImpl#getFileSystem()
+         * @generated
+         */
+        int FILE_SYSTEM = 0;
+        /**
+         * The feature id for the '<em><b>Root</b></em>' containment reference.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int FILE_SYSTEM__ROOT = 0;
+        /**
+         * The feature id for the '<em><b>Live</b></em>' reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int FILE_SYSTEM__LIVE = 1;
+        /**
+         * The number of structural features of the '<em>File System</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int FILE_SYSTEM_FEATURE_COUNT = 2;
+        /**
+         * The number of operations of the '<em>File System</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int FILE_SYSTEM_OPERATION_COUNT = 0;
+        /**
+         * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.impl.FSObjectImpl <em>FS Object</em>}' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.impl.FSObjectImpl
+         * @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.impl.FilesystemPackageImpl#getFSObject()
+         * @generated
+         */
+        int FS_OBJECT = 1;
+        /**
+         * The feature id for the '<em><b>Parent</b></em>' container reference.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int FS_OBJECT__PARENT = 0;
+        /**
+         * The number of structural features of the '<em>FS Object</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int FS_OBJECT_FEATURE_COUNT = 1;
+        /**
+         * The number of operations of the '<em>FS Object</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int FS_OBJECT_OPERATION_COUNT = 0;
+        /**
+         * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.impl.DirImpl <em>Dir</em>}' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.impl.DirImpl
+         * @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.impl.FilesystemPackageImpl#getDir()
+         * @generated
+         */
+        int DIR = 2;
+        /**
+         * The feature id for the '<em><b>Parent</b></em>' container reference.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int DIR__PARENT = FS_OBJECT__PARENT;
+        /**
+         * The feature id for the '<em><b>Contents</b></em>' containment reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int DIR__CONTENTS = FS_OBJECT_FEATURE_COUNT + 0;
+        /**
+         * The number of structural features of the '<em>Dir</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int DIR_FEATURE_COUNT = FS_OBJECT_FEATURE_COUNT + 1;
+        /**
+         * The number of operations of the '<em>Dir</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int DIR_OPERATION_COUNT = FS_OBJECT_OPERATION_COUNT + 0;
+        /**
+         * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.impl.FileImpl <em>File</em>}' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.impl.FileImpl
+         * @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.impl.FilesystemPackageImpl#getFile()
+         * @generated
+         */
+        int FILE = 3;
+        /**
+         * The feature id for the '<em><b>Parent</b></em>' container reference.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int FILE__PARENT = FS_OBJECT__PARENT;
+        /**
+         * The number of structural features of the '<em>File</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int FILE_FEATURE_COUNT = FS_OBJECT_FEATURE_COUNT + 0;
+        /**
+         * The number of operations of the '<em>File</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int FILE_OPERATION_COUNT = FS_OBJECT_OPERATION_COUNT + 0;
+        /**
+         * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.impl.ModelImpl <em>Model</em>}' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.impl.ModelImpl
+         * @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.impl.FilesystemPackageImpl#getModel()
+         * @generated
+         */
+        int MODEL = 4;
+        /**
+         * The feature id for the '<em><b>Filesystems</b></em>' containment reference.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int MODEL__FILESYSTEMS = 0;
+        /**
+         * The feature id for the '<em><b>Other FS Objects</b></em>' containment reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int MODEL__OTHER_FS_OBJECTS = 1;
+        /**
+         * The number of structural features of the '<em>Model</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int MODEL_FEATURE_COUNT = 2;
+        /**
+         * The number of operations of the '<em>Model</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int MODEL_OPERATION_COUNT = 0;
+        /**
+         * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FileSystem <em>File System</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for class '<em>File System</em>'.
+         * @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FileSystem
+         * @generated
+         */
+        EClass getFileSystem();
+        /**
+         * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FileSystem#getRoot <em>Root</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for the containment reference '<em>Root</em>'.
+         * @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FileSystem#getRoot()
+         * @see #getFileSystem()
+         * @generated
+         */
+        EReference getFileSystem_Root();
+        /**
+         * Returns the meta object for the reference list '{@link hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FileSystem#getLive <em>Live</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for the reference list '<em>Live</em>'.
+         * @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FileSystem#getLive()
+         * @see #getFileSystem()
+         * @generated
+         */
+        EReference getFileSystem_Live();
+        /**
+         * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FSObject <em>FS Object</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for class '<em>FS Object</em>'.
+         * @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FSObject
+         * @generated
+         */
+        EClass getFSObject();
+        /**
+         * Returns the meta object for the container reference '{@link hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FSObject#getParent <em>Parent</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for the container reference '<em>Parent</em>'.
+         * @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FSObject#getParent()
+         * @see #getFSObject()
+         * @generated
+         */
+        EReference getFSObject_Parent();
+        /**
+         * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.Dir <em>Dir</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for class '<em>Dir</em>'.
+         * @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.Dir
+         * @generated
+         */
+        EClass getDir();
+        /**
+         * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.Dir#getContents <em>Contents</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for the containment reference list '<em>Contents</em>'.
+         * @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.Dir#getContents()
+         * @see #getDir()
+         * @generated
+         */
+        EReference getDir_Contents();
+        /**
+         * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.File <em>File</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for class '<em>File</em>'.
+         * @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.File
+         * @generated
+         */
+        EClass getFile();
+        /**
+         * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.Model <em>Model</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for class '<em>Model</em>'.
+         * @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.Model
+         * @generated
+         */
+        EClass getModel();
+        /**
+         * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.Model#getFilesystems <em>Filesystems</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for the containment reference '<em>Filesystems</em>'.
+         * @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.Model#getFilesystems()
+         * @see #getModel()
+         * @generated
+         */
+        EReference getModel_Filesystems();
+        /**
+         * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.Model#getOtherFSObjects <em>Other FS Objects</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for the containment reference list '<em>Other FS Objects</em>'.
+         * @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.Model#getOtherFSObjects()
+         * @see #getModel()
+         * @generated
+         */
+        EReference getModel_OtherFSObjects();
+        /**
+         * Returns the factory that creates the instances of the model.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the factory that creates the instances of the model.
+         * @generated
+         */
+        FilesystemFactory getFilesystemFactory();
+        /**
+         * <!-- begin-user-doc -->
+         * Defines literals for the meta objects that represent
+         * <ul>
+         *   <li>each class,</li>
+         *   <li>each feature of each class,</li>
+         *   <li>each operation of each class,</li>
+         *   <li>each enum,</li>
+         *   <li>and each data type</li>
+         * </ul>
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        interface Literals {
+                /**
+                 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.impl.FileSystemImpl <em>File System</em>}' class.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.impl.FileSystemImpl
+                 * @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.impl.FilesystemPackageImpl#getFileSystem()
+                 * @generated
+                 */
+                EClass FILE_SYSTEM = eINSTANCE.getFileSystem();
+                /**
+                 * The meta object literal for the '<em><b>Root</b></em>' containment reference feature.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @generated
+                 */
+                EReference FILE_SYSTEM__ROOT = eINSTANCE.getFileSystem_Root();
+                /**
+                 * The meta object literal for the '<em><b>Live</b></em>' reference list feature.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @generated
+                 */
+                EReference FILE_SYSTEM__LIVE = eINSTANCE.getFileSystem_Live();
+                /**
+                 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.impl.FSObjectImpl <em>FS Object</em>}' class.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.impl.FSObjectImpl
+                 * @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.impl.FilesystemPackageImpl#getFSObject()
+                 * @generated
+                 */
+                EClass FS_OBJECT = eINSTANCE.getFSObject();
+                /**
+                 * The meta object literal for the '<em><b>Parent</b></em>' container reference feature.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @generated
+                 */
+                EReference FS_OBJECT__PARENT = eINSTANCE.getFSObject_Parent();
+                /**
+                 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.impl.DirImpl <em>Dir</em>}' class.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.impl.DirImpl
+                 * @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.impl.FilesystemPackageImpl#getDir()
+                 * @generated
+                 */
+                EClass DIR = eINSTANCE.getDir();
+                /**
+                 * The meta object literal for the '<em><b>Contents</b></em>' containment reference list feature.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @generated
+                 */
+                EReference DIR__CONTENTS = eINSTANCE.getDir_Contents();
+                /**
+                 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.impl.FileImpl <em>File</em>}' class.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.impl.FileImpl
+                 * @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.impl.FilesystemPackageImpl#getFile()
+                 * @generated
+                 */
+                EClass FILE = eINSTANCE.getFile();
+                /**
+                 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.impl.ModelImpl <em>Model</em>}' class.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.impl.ModelImpl
+                 * @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.impl.FilesystemPackageImpl#getModel()
+                 * @generated
+                 */
+                EClass MODEL = eINSTANCE.getModel();
+                /**
+                 * The meta object literal for the '<em><b>Filesystems</b></em>' containment reference feature.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @generated
+                 */
+                EReference MODEL__FILESYSTEMS = eINSTANCE.getModel_Filesystems();
+                /**
+                 * The meta object literal for the '<em><b>Other FS Objects</b></em>' containment reference list feature.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @generated
+                 */
+                EReference MODEL__OTHER_FS_OBJECTS = eINSTANCE.getModel_OtherFSObjects();
+        }
+} //FilesystemPackage
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/Model.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/Model.java
new file mode 100644
index 00000000..c67a3c8a
--- /dev/null
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/Model.java
@@ -0,0 +1,69 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem;
+import org.eclipse.emf.common.util.EList;
+import org.eclipse.emf.ecore.EObject;
+/**
+ * <!-- begin-user-doc -->
+ * A representation of the model object '<em><b>Model</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ * <p>
+ * The following features are supported:
+ * </p>
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.Model#getFilesystems <em>Filesystems</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.Model#getOtherFSObjects <em>Other FS Objects</em>}</li>
+ * </ul>
+ *
+ * @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FilesystemPackage#getModel()
+ * @model
+ * @generated
+ */
+public interface Model extends EObject {
+        /**
+         * Returns the value of the '<em><b>Filesystems</b></em>' containment reference.
+         * <!-- begin-user-doc -->
+         * <p>
+         * If the meaning of the '<em>Filesystems</em>' containment reference isn't clear,
+         * there really should be more of a description here...
+         * </p>
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Filesystems</em>' containment reference.
+         * @see #setFilesystems(FileSystem)
+         * @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FilesystemPackage#getModel_Filesystems()
+         * @model containment="true" required="true"
+         * @generated
+         */
+        FileSystem getFilesystems();
+        /**
+         * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.Model#getFilesystems <em>Filesystems</em>}' containment reference.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param value the new value of the '<em>Filesystems</em>' containment reference.
+         * @see #getFilesystems()
+         * @generated
+         */
+        void setFilesystems(FileSystem value);
+        /**
+         * Returns the value of the '<em><b>Other FS Objects</b></em>' containment reference list.
+         * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FSObject}.
+         * <!-- begin-user-doc -->
+         * <p>
+         * If the meaning of the '<em>Other FS Objects</em>' containment reference list isn't clear,
+         * there really should be more of a description here...
+         * </p>
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Other FS Objects</em>' containment reference list.
+         * @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FilesystemPackage#getModel_OtherFSObjects()
+         * @model containment="true"
+         * @generated
+         */
+        EList<FSObject> getOtherFSObjects();
+} // Model
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/impl/DirImpl.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/impl/DirImpl.java
new file mode 100644
index 00000000..62df04af
--- /dev/null
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/impl/DirImpl.java
@@ -0,0 +1,165 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.impl;
+import hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.Dir;
+import hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FSObject;
+import hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FilesystemPackage;
+import java.util.Collection;
+import org.eclipse.emf.common.notify.NotificationChain;
+import org.eclipse.emf.common.util.EList;
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.InternalEObject;
+import org.eclipse.emf.ecore.util.EObjectContainmentWithInverseEList;
+import org.eclipse.emf.ecore.util.InternalEList;
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>Dir</b></em>'.
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are implemented:
+ * </p>
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.impl.DirImpl#getContents <em>Contents</em>}</li>
+ * </ul>
+ *
+ * @generated
+ */
+public class DirImpl extends FSObjectImpl implements Dir {
+        /**
+         * The cached value of the '{@link #getContents() <em>Contents</em>}' containment reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #getContents()
+         * @generated
+         * @ordered
+         */
+        protected EList<FSObject> contents;
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected DirImpl() {
+                super();
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        protected EClass eStaticClass() {
+                return FilesystemPackage.Literals.DIR;
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public EList<FSObject> getContents() {
+                if (contents == null) {
+                        contents = new EObjectContainmentWithInverseEList<FSObject>(FSObject.class, this, FilesystemPackage.DIR__CONTENTS, FilesystemPackage.FS_OBJECT__PARENT);
+                }
+                return contents;
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @SuppressWarnings("unchecked")
+        @Override
+        public NotificationChain eInverseAdd(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
+                switch (featureID) {
+                        case FilesystemPackage.DIR__CONTENTS:
+                                return ((InternalEList<InternalEObject>)(InternalEList<?>)getContents()).basicAdd(otherEnd, msgs);
+                }
+                return super.eInverseAdd(otherEnd, featureID, msgs);
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
+                switch (featureID) {
+                        case FilesystemPackage.DIR__CONTENTS:
+                                return ((InternalEList<?>)getContents()).basicRemove(otherEnd, msgs);
+                }
+                return super.eInverseRemove(otherEnd, featureID, msgs);
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public Object eGet(int featureID, boolean resolve, boolean coreType) {
+                switch (featureID) {
+                        case FilesystemPackage.DIR__CONTENTS:
+                                return getContents();
+                }
+                return super.eGet(featureID, resolve, coreType);
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @SuppressWarnings("unchecked")
+        @Override
+        public void eSet(int featureID, Object newValue) {
+                switch (featureID) {
+                        case FilesystemPackage.DIR__CONTENTS:
+                                getContents().clear();
+                                getContents().addAll((Collection<? extends FSObject>)newValue);
+                                return;
+                }
+                super.eSet(featureID, newValue);
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public void eUnset(int featureID) {
+                switch (featureID) {
+                        case FilesystemPackage.DIR__CONTENTS:
+                                getContents().clear();
+                                return;
+                }
+                super.eUnset(featureID);
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public boolean eIsSet(int featureID) {
+                switch (featureID) {
+                        case FilesystemPackage.DIR__CONTENTS:
+                                return contents != null && !contents.isEmpty();
+                }
+                return super.eIsSet(featureID);
+        }
+} //DirImpl
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/impl/FSObjectImpl.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/impl/FSObjectImpl.java
new file mode 100644
index 00000000..c8e73b4e
--- /dev/null
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/impl/FSObjectImpl.java
@@ -0,0 +1,194 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.impl;
+import hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.Dir;
+import hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FSObject;
+import hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FilesystemPackage;
+import org.eclipse.emf.common.notify.Notification;
+import org.eclipse.emf.common.notify.NotificationChain;
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.InternalEObject;
+import org.eclipse.emf.ecore.impl.ENotificationImpl;
+import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
+import org.eclipse.emf.ecore.util.EcoreUtil;
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>FS Object</b></em>'.
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are implemented:
+ * </p>
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.impl.FSObjectImpl#getParent <em>Parent</em>}</li>
+ * </ul>
+ *
+ * @generated
+ */
+public abstract class FSObjectImpl extends MinimalEObjectImpl.Container implements FSObject {
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected FSObjectImpl() {
+                super();
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        protected EClass eStaticClass() {
+                return FilesystemPackage.Literals.FS_OBJECT;
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public Dir getParent() {
+                if (eContainerFeatureID() != FilesystemPackage.FS_OBJECT__PARENT) return null;
+                return (Dir)eInternalContainer();
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public NotificationChain basicSetParent(Dir newParent, NotificationChain msgs) {
+                msgs = eBasicSetContainer((InternalEObject)newParent, FilesystemPackage.FS_OBJECT__PARENT, msgs);
+                return msgs;
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public void setParent(Dir newParent) {
+                if (newParent != eInternalContainer() || (eContainerFeatureID() != FilesystemPackage.FS_OBJECT__PARENT && newParent != null)) {
+                        if (EcoreUtil.isAncestor(this, newParent))
+                                throw new IllegalArgumentException("Recursive containment not allowed for " + toString());
+                        NotificationChain msgs = null;
+                        if (eInternalContainer() != null)
+                                msgs = eBasicRemoveFromContainer(msgs);
+                        if (newParent != null)
+                                msgs = ((InternalEObject)newParent).eInverseAdd(this, FilesystemPackage.DIR__CONTENTS, Dir.class, msgs);
+                        msgs = basicSetParent(newParent, msgs);
+                        if (msgs != null) msgs.dispatch();
+                }
+                else if (eNotificationRequired())
+                        eNotify(new ENotificationImpl(this, Notification.SET, FilesystemPackage.FS_OBJECT__PARENT, newParent, newParent));
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public NotificationChain eInverseAdd(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
+                switch (featureID) {
+                        case FilesystemPackage.FS_OBJECT__PARENT:
+                                if (eInternalContainer() != null)
+                                        msgs = eBasicRemoveFromContainer(msgs);
+                                return basicSetParent((Dir)otherEnd, msgs);
+                }
+                return super.eInverseAdd(otherEnd, featureID, msgs);
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
+                switch (featureID) {
+                        case FilesystemPackage.FS_OBJECT__PARENT:
+                                return basicSetParent(null, msgs);
+                }
+                return super.eInverseRemove(otherEnd, featureID, msgs);
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public NotificationChain eBasicRemoveFromContainerFeature(NotificationChain msgs) {
+                switch (eContainerFeatureID()) {
+                        case FilesystemPackage.FS_OBJECT__PARENT:
+                                return eInternalContainer().eInverseRemove(this, FilesystemPackage.DIR__CONTENTS, Dir.class, msgs);
+                }
+                return super.eBasicRemoveFromContainerFeature(msgs);
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public Object eGet(int featureID, boolean resolve, boolean coreType) {
+                switch (featureID) {
+                        case FilesystemPackage.FS_OBJECT__PARENT:
+                                return getParent();
+                }
+                return super.eGet(featureID, resolve, coreType);
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public void eSet(int featureID, Object newValue) {
+                switch (featureID) {
+                        case FilesystemPackage.FS_OBJECT__PARENT:
+                                setParent((Dir)newValue);
+                                return;
+                }
+                super.eSet(featureID, newValue);
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public void eUnset(int featureID) {
+                switch (featureID) {
+                        case FilesystemPackage.FS_OBJECT__PARENT:
+                                setParent((Dir)null);
+                                return;
+                }
+                super.eUnset(featureID);
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public boolean eIsSet(int featureID) {
+                switch (featureID) {
+                        case FilesystemPackage.FS_OBJECT__PARENT:
+                                return getParent() != null;
+                }
+                return super.eIsSet(featureID);
+        }
+} //FSObjectImpl
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/impl/FileImpl.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/impl/FileImpl.java
new file mode 100644
index 00000000..55cd8a23
--- /dev/null
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/impl/FileImpl.java
@@ -0,0 +1,36 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.impl;
+import hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.File;
+import hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FilesystemPackage;
+import org.eclipse.emf.ecore.EClass;
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>File</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ * @generated
+ */
+public class FileImpl extends FSObjectImpl implements File {
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected FileImpl() {
+                super();
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        protected EClass eStaticClass() {
+                return FilesystemPackage.Literals.FILE;
+        }
+} //FileImpl
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/impl/FileSystemImpl.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/impl/FileSystemImpl.java
new file mode 100644
index 00000000..adf30f3a
--- /dev/null
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/impl/FileSystemImpl.java
@@ -0,0 +1,205 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.impl;
+import hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.Dir;
+import hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FSObject;
+import hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FileSystem;
+import hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FilesystemPackage;
+import org.eclipse.emf.common.notify.Notification;
+import org.eclipse.emf.common.notify.NotificationChain;
+import org.eclipse.emf.common.util.EList;
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.EStructuralFeature;
+import org.eclipse.emf.ecore.InternalEObject;
+import org.eclipse.emf.ecore.impl.ENotificationImpl;
+import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>File System</b></em>'.
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are implemented:
+ * </p>
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.impl.FileSystemImpl#getRoot <em>Root</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.impl.FileSystemImpl#getLive <em>Live</em>}</li>
+ * </ul>
+ *
+ * @generated
+ */
+public class FileSystemImpl extends MinimalEObjectImpl.Container implements FileSystem {
+        /**
+         * The cached value of the '{@link #getRoot() <em>Root</em>}' containment reference.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #getRoot()
+         * @generated
+         * @ordered
+         */
+        protected Dir root;
+        /**
+         * The cached setting delegate for the '{@link #getLive() <em>Live</em>}' reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #getLive()
+         * @generated
+         * @ordered
+         */
+        protected EStructuralFeature.Internal.SettingDelegate LIVE__ESETTING_DELEGATE = ((EStructuralFeature.Internal)FilesystemPackage.Literals.FILE_SYSTEM__LIVE).getSettingDelegate();
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected FileSystemImpl() {
+                super();
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        protected EClass eStaticClass() {
+                return FilesystemPackage.Literals.FILE_SYSTEM;
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public Dir getRoot() {
+                return root;
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public NotificationChain basicSetRoot(Dir newRoot, NotificationChain msgs) {
+                Dir oldRoot = root;
+                root = newRoot;
+                if (eNotificationRequired()) {
+                        ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, FilesystemPackage.FILE_SYSTEM__ROOT, oldRoot, newRoot);
+                        if (msgs == null) msgs = notification; else msgs.add(notification);
+                }
+                return msgs;
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public void setRoot(Dir newRoot) {
+                if (newRoot != root) {
+                        NotificationChain msgs = null;
+                        if (root != null)
+                                msgs = ((InternalEObject)root).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - FilesystemPackage.FILE_SYSTEM__ROOT, null, msgs);
+                        if (newRoot != null)
+                                msgs = ((InternalEObject)newRoot).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - FilesystemPackage.FILE_SYSTEM__ROOT, null, msgs);
+                        msgs = basicSetRoot(newRoot, msgs);
+                        if (msgs != null) msgs.dispatch();
+                }
+                else if (eNotificationRequired())
+                        eNotify(new ENotificationImpl(this, Notification.SET, FilesystemPackage.FILE_SYSTEM__ROOT, newRoot, newRoot));
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @SuppressWarnings("unchecked")
+        public EList<FSObject> getLive() {
+                return (EList<FSObject>)LIVE__ESETTING_DELEGATE.dynamicGet(this, null, 0, true, false);
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
+                switch (featureID) {
+                        case FilesystemPackage.FILE_SYSTEM__ROOT:
+                                return basicSetRoot(null, msgs);
+                }
+                return super.eInverseRemove(otherEnd, featureID, msgs);
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public Object eGet(int featureID, boolean resolve, boolean coreType) {
+                switch (featureID) {
+                        case FilesystemPackage.FILE_SYSTEM__ROOT:
+                                return getRoot();
+                        case FilesystemPackage.FILE_SYSTEM__LIVE:
+                                return getLive();
+                }
+                return super.eGet(featureID, resolve, coreType);
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public void eSet(int featureID, Object newValue) {
+                switch (featureID) {
+                        case FilesystemPackage.FILE_SYSTEM__ROOT:
+                                setRoot((Dir)newValue);
+                                return;
+                }
+                super.eSet(featureID, newValue);
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public void eUnset(int featureID) {
+                switch (featureID) {
+                        case FilesystemPackage.FILE_SYSTEM__ROOT:
+                                setRoot((Dir)null);
+                                return;
+                }
+                super.eUnset(featureID);
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public boolean eIsSet(int featureID) {
+                switch (featureID) {
+                        case FilesystemPackage.FILE_SYSTEM__ROOT:
+                                return root != null;
+                        case FilesystemPackage.FILE_SYSTEM__LIVE:
+                                return LIVE__ESETTING_DELEGATE.dynamicIsSet(this, null, 0);
+                }
+                return super.eIsSet(featureID);
+        }
+} //FileSystemImpl
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/impl/FilesystemFactoryImpl.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/impl/FilesystemFactoryImpl.java
new file mode 100644
index 00000000..e40b0bd1
--- /dev/null
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/impl/FilesystemFactoryImpl.java
@@ -0,0 +1,128 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.impl;
+import hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.*;
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.EObject;
+import org.eclipse.emf.ecore.EPackage;
+import org.eclipse.emf.ecore.impl.EFactoryImpl;
+import org.eclipse.emf.ecore.plugin.EcorePlugin;
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model <b>Factory</b>.
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class FilesystemFactoryImpl extends EFactoryImpl implements FilesystemFactory {
+        /**
+         * Creates the default factory implementation.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public static FilesystemFactory init() {
+                try {
+                        FilesystemFactory theFilesystemFactory = (FilesystemFactory)EPackage.Registry.INSTANCE.getEFactory(FilesystemPackage.eNS_URI);
+                        if (theFilesystemFactory != null) {
+                                return theFilesystemFactory;
+                        }
+                }
+                catch (Exception exception) {
+                        EcorePlugin.INSTANCE.log(exception);
+                }
+                return new FilesystemFactoryImpl();
+        }
+        /**
+         * Creates an instance of the factory.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public FilesystemFactoryImpl() {
+                super();
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EObject create(EClass eClass) {
+                switch (eClass.getClassifierID()) {
+                        case FilesystemPackage.FILE_SYSTEM: return createFileSystem();
+                        case FilesystemPackage.DIR: return createDir();
+                        case FilesystemPackage.FILE: return createFile();
+                        case FilesystemPackage.MODEL: return createModel();
+                        default:
+                                throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier");
+                }
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public FileSystem createFileSystem() {
+                FileSystemImpl fileSystem = new FileSystemImpl();
+                return fileSystem;
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public Dir createDir() {
+                DirImpl dir = new DirImpl();
+                return dir;
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public File createFile() {
+                FileImpl file = new FileImpl();
+                return file;
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public Model createModel() {
+                ModelImpl model = new ModelImpl();
+                return model;
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public FilesystemPackage getFilesystemPackage() {
+                return (FilesystemPackage)getEPackage();
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @deprecated
+         * @generated
+         */
+        @Deprecated
+        public static FilesystemPackage getPackage() {
+                return FilesystemPackage.eINSTANCE;
+        }
+} //FilesystemFactoryImpl
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/impl/FilesystemPackageImpl.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/impl/FilesystemPackageImpl.java
new file mode 100644
index 00000000..87390fee
--- /dev/null
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/impl/FilesystemPackageImpl.java
@@ -0,0 +1,356 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.impl;
+import hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.Dir;
+import hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FSObject;
+import hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.File;
+import hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FileSystem;
+import hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FilesystemFactory;
+import hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FilesystemPackage;
+import hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.Model;
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.EPackage;
+import org.eclipse.emf.ecore.EReference;
+import org.eclipse.emf.ecore.impl.EPackageImpl;
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model <b>Package</b>.
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class FilesystemPackageImpl extends EPackageImpl implements FilesystemPackage {
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        private EClass fileSystemEClass = null;
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        private EClass fsObjectEClass = null;
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        private EClass dirEClass = null;
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        private EClass fileEClass = null;
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        private EClass modelEClass = null;
+        /**
+         * Creates an instance of the model <b>Package</b>, registered with
+         * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package
+         * package URI value.
+         * <p>Note: the correct way to create the package is via the static
+         * factory method {@link #init init()}, which also performs
+         * initialization of the package, or returns the registered package,
+         * if one already exists.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see org.eclipse.emf.ecore.EPackage.Registry
+         * @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FilesystemPackage#eNS_URI
+         * @see #init()
+         * @generated
+         */
+        private FilesystemPackageImpl() {
+                super(eNS_URI, FilesystemFactory.eINSTANCE);
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        private static boolean isInited = false;
+        /**
+         * Creates, registers, and initializes the <b>Package</b> for this model, and for any others upon which it depends.
+         * 
+         * <p>This method is used to initialize {@link FilesystemPackage#eINSTANCE} when that field is accessed.
+         * Clients should not invoke it directly. Instead, they should simply access that field to obtain the package.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #eNS_URI
+         * @see #createPackageContents()
+         * @see #initializePackageContents()
+         * @generated
+         */
+        public static FilesystemPackage init() {
+                if (isInited) return (FilesystemPackage)EPackage.Registry.INSTANCE.getEPackage(FilesystemPackage.eNS_URI);
+                // Obtain or create and register package
+                FilesystemPackageImpl theFilesystemPackage = (FilesystemPackageImpl)(EPackage.Registry.INSTANCE.get(eNS_URI) instanceof FilesystemPackageImpl ? EPackage.Registry.INSTANCE.get(eNS_URI) : new FilesystemPackageImpl());
+                isInited = true;
+                // Create package meta-data objects
+                theFilesystemPackage.createPackageContents();
+                // Initialize created meta-data
+                theFilesystemPackage.initializePackageContents();
+                // Mark meta-data to indicate it can't be changed
+                theFilesystemPackage.freeze();
+  
+                // Update the registry and return the package
+                EPackage.Registry.INSTANCE.put(FilesystemPackage.eNS_URI, theFilesystemPackage);
+                return theFilesystemPackage;
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public EClass getFileSystem() {
+                return fileSystemEClass;
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public EReference getFileSystem_Root() {
+                return (EReference)fileSystemEClass.getEStructuralFeatures().get(0);
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public EReference getFileSystem_Live() {
+                return (EReference)fileSystemEClass.getEStructuralFeatures().get(1);
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public EClass getFSObject() {
+                return fsObjectEClass;
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public EReference getFSObject_Parent() {
+                return (EReference)fsObjectEClass.getEStructuralFeatures().get(0);
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public EClass getDir() {
+                return dirEClass;
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public EReference getDir_Contents() {
+                return (EReference)dirEClass.getEStructuralFeatures().get(0);
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public EClass getFile() {
+                return fileEClass;
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public EClass getModel() {
+                return modelEClass;
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public EReference getModel_Filesystems() {
+                return (EReference)modelEClass.getEStructuralFeatures().get(0);
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public EReference getModel_OtherFSObjects() {
+                return (EReference)modelEClass.getEStructuralFeatures().get(1);
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public FilesystemFactory getFilesystemFactory() {
+                return (FilesystemFactory)getEFactoryInstance();
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        private boolean isCreated = false;
+        /**
+         * Creates the meta-model objects for the package.  This method is
+         * guarded to have no affect on any invocation but its first.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public void createPackageContents() {
+                if (isCreated) return;
+                isCreated = true;
+                // Create classes and their features
+                fileSystemEClass = createEClass(FILE_SYSTEM);
+                createEReference(fileSystemEClass, FILE_SYSTEM__ROOT);
+                createEReference(fileSystemEClass, FILE_SYSTEM__LIVE);
+                fsObjectEClass = createEClass(FS_OBJECT);
+                createEReference(fsObjectEClass, FS_OBJECT__PARENT);
+                dirEClass = createEClass(DIR);
+                createEReference(dirEClass, DIR__CONTENTS);
+                fileEClass = createEClass(FILE);
+                modelEClass = createEClass(MODEL);
+                createEReference(modelEClass, MODEL__FILESYSTEMS);
+                createEReference(modelEClass, MODEL__OTHER_FS_OBJECTS);
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        private boolean isInitialized = false;
+        /**
+         * Complete the initialization of the package and its meta-model.  This
+         * method is guarded to have no affect on any invocation but its first.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public void initializePackageContents() {
+                if (isInitialized) return;
+                isInitialized = true;
+                // Initialize package
+                setName(eNAME);
+                setNsPrefix(eNS_PREFIX);
+                setNsURI(eNS_URI);
+                // Create type parameters
+                // Set bounds for type parameters
+                // Add supertypes to classes
+                dirEClass.getESuperTypes().add(this.getFSObject());
+                fileEClass.getESuperTypes().add(this.getFSObject());
+                // Initialize classes, features, and operations; add parameters
+                initEClass(fileSystemEClass, FileSystem.class, "FileSystem", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
+                initEReference(getFileSystem_Root(), this.getDir(), null, "root", null, 1, 1, FileSystem.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+                initEReference(getFileSystem_Live(), this.getFSObject(), null, "live", null, 0, -1, FileSystem.class, IS_TRANSIENT, IS_VOLATILE, !IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, IS_DERIVED, IS_ORDERED);
+                initEClass(fsObjectEClass, FSObject.class, "FSObject", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
+                initEReference(getFSObject_Parent(), this.getDir(), this.getDir_Contents(), "parent", null, 0, 1, FSObject.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+                initEClass(dirEClass, Dir.class, "Dir", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
+                initEReference(getDir_Contents(), this.getFSObject(), this.getFSObject_Parent(), "contents", null, 0, -1, Dir.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+                initEClass(fileEClass, File.class, "File", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
+                initEClass(modelEClass, Model.class, "Model", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
+                initEReference(getModel_Filesystems(), this.getFileSystem(), null, "filesystems", null, 1, 1, Model.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+                initEReference(getModel_OtherFSObjects(), this.getFSObject(), null, "otherFSObjects", null, 0, -1, Model.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+                // Create resource
+                createResource(eNS_URI);
+                // Create annotations
+                // http://www.eclipse.org/emf/2002/Ecore
+                createEcoreAnnotations();
+                // org.eclipse.viatra.query.querybasedfeature
+                createOrgAnnotations();
+        }
+        /**
+         * Initializes the annotations for <b>http://www.eclipse.org/emf/2002/Ecore</b>.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected void createEcoreAnnotations() {
+                String source = "http://www.eclipse.org/emf/2002/Ecore";        
+                addAnnotation
+                  (this, 
+                   source, 
+                   new String[] {
+                         "settingDelegates", "org.eclipse.viatra.query.querybasedfeature"
+                   });
+        }
+        /**
+         * Initializes the annotations for <b>org.eclipse.viatra.query.querybasedfeature</b>.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected void createOrgAnnotations() {
+                String source = "org.eclipse.viatra.query.querybasedfeature";   
+                addAnnotation
+                  (getFileSystem_Live(), 
+                   source, 
+                   new String[] {
+                         "patternFQN", "hu.bme.mit.inf.dslreasoner.domains.alloyexamples.live"
+                   });
+        }
+} //FilesystemPackageImpl
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/impl/ModelImpl.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/impl/ModelImpl.java
new file mode 100644
index 00000000..4c236e8e
--- /dev/null
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/impl/ModelImpl.java
@@ -0,0 +1,221 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.impl;
+import hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FSObject;
+import hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FileSystem;
+import hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FilesystemPackage;
+import hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.Model;
+import java.util.Collection;
+import org.eclipse.emf.common.notify.Notification;
+import org.eclipse.emf.common.notify.NotificationChain;
+import org.eclipse.emf.common.util.EList;
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.InternalEObject;
+import org.eclipse.emf.ecore.impl.ENotificationImpl;
+import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
+import org.eclipse.emf.ecore.util.EObjectContainmentEList;
+import org.eclipse.emf.ecore.util.InternalEList;
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>Model</b></em>'.
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are implemented:
+ * </p>
+ * <ul>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.impl.ModelImpl#getFilesystems <em>Filesystems</em>}</li>
+ *   <li>{@link hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.impl.ModelImpl#getOtherFSObjects <em>Other FS Objects</em>}</li>
+ * </ul>
+ *
+ * @generated
+ */
+public class ModelImpl extends MinimalEObjectImpl.Container implements Model {
+        /**
+         * The cached value of the '{@link #getFilesystems() <em>Filesystems</em>}' containment reference.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #getFilesystems()
+         * @generated
+         * @ordered
+         */
+        protected FileSystem filesystems;
+        /**
+         * The cached value of the '{@link #getOtherFSObjects() <em>Other FS Objects</em>}' containment reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #getOtherFSObjects()
+         * @generated
+         * @ordered
+         */
+        protected EList<FSObject> otherFSObjects;
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected ModelImpl() {
+                super();
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        protected EClass eStaticClass() {
+                return FilesystemPackage.Literals.MODEL;
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public FileSystem getFilesystems() {
+                return filesystems;
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public NotificationChain basicSetFilesystems(FileSystem newFilesystems, NotificationChain msgs) {
+                FileSystem oldFilesystems = filesystems;
+                filesystems = newFilesystems;
+                if (eNotificationRequired()) {
+                        ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, FilesystemPackage.MODEL__FILESYSTEMS, oldFilesystems, newFilesystems);
+                        if (msgs == null) msgs = notification; else msgs.add(notification);
+                }
+                return msgs;
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public void setFilesystems(FileSystem newFilesystems) {
+                if (newFilesystems != filesystems) {
+                        NotificationChain msgs = null;
+                        if (filesystems != null)
+                                msgs = ((InternalEObject)filesystems).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - FilesystemPackage.MODEL__FILESYSTEMS, null, msgs);
+                        if (newFilesystems != null)
+                                msgs = ((InternalEObject)newFilesystems).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - FilesystemPackage.MODEL__FILESYSTEMS, null, msgs);
+                        msgs = basicSetFilesystems(newFilesystems, msgs);
+                        if (msgs != null) msgs.dispatch();
+                }
+                else if (eNotificationRequired())
+                        eNotify(new ENotificationImpl(this, Notification.SET, FilesystemPackage.MODEL__FILESYSTEMS, newFilesystems, newFilesystems));
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public EList<FSObject> getOtherFSObjects() {
+                if (otherFSObjects == null) {
+                        otherFSObjects = new EObjectContainmentEList<FSObject>(FSObject.class, this, FilesystemPackage.MODEL__OTHER_FS_OBJECTS);
+                }
+                return otherFSObjects;
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
+                switch (featureID) {
+                        case FilesystemPackage.MODEL__FILESYSTEMS:
+                                return basicSetFilesystems(null, msgs);
+                        case FilesystemPackage.MODEL__OTHER_FS_OBJECTS:
+                                return ((InternalEList<?>)getOtherFSObjects()).basicRemove(otherEnd, msgs);
+                }
+                return super.eInverseRemove(otherEnd, featureID, msgs);
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public Object eGet(int featureID, boolean resolve, boolean coreType) {
+                switch (featureID) {
+                        case FilesystemPackage.MODEL__FILESYSTEMS:
+                                return getFilesystems();
+                        case FilesystemPackage.MODEL__OTHER_FS_OBJECTS:
+                                return getOtherFSObjects();
+                }
+                return super.eGet(featureID, resolve, coreType);
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @SuppressWarnings("unchecked")
+        @Override
+        public void eSet(int featureID, Object newValue) {
+                switch (featureID) {
+                        case FilesystemPackage.MODEL__FILESYSTEMS:
+                                setFilesystems((FileSystem)newValue);
+                                return;
+                        case FilesystemPackage.MODEL__OTHER_FS_OBJECTS:
+                                getOtherFSObjects().clear();
+                                getOtherFSObjects().addAll((Collection<? extends FSObject>)newValue);
+                                return;
+                }
+                super.eSet(featureID, newValue);
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public void eUnset(int featureID) {
+                switch (featureID) {
+                        case FilesystemPackage.MODEL__FILESYSTEMS:
+                                setFilesystems((FileSystem)null);
+                                return;
+                        case FilesystemPackage.MODEL__OTHER_FS_OBJECTS:
+                                getOtherFSObjects().clear();
+                                return;
+                }
+                super.eUnset(featureID);
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public boolean eIsSet(int featureID) {
+                switch (featureID) {
+                        case FilesystemPackage.MODEL__FILESYSTEMS:
+                                return filesystems != null;
+                        case FilesystemPackage.MODEL__OTHER_FS_OBJECTS:
+                                return otherFSObjects != null && !otherFSObjects.isEmpty();
+                }
+                return super.eIsSet(featureID);
+        }
+} //ModelImpl
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/util/FilesystemAdapterFactory.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/util/FilesystemAdapterFactory.java
new file mode 100644
index 00000000..dc87e685
--- /dev/null
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/util/FilesystemAdapterFactory.java
@@ -0,0 +1,192 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.util;
+import hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.*;
+import org.eclipse.emf.common.notify.Adapter;
+import org.eclipse.emf.common.notify.Notifier;
+import org.eclipse.emf.common.notify.impl.AdapterFactoryImpl;
+import org.eclipse.emf.ecore.EObject;
+/**
+ * <!-- begin-user-doc -->
+ * The <b>Adapter Factory</b> for the model.
+ * It provides an adapter <code>createXXX</code> method for each class of the model.
+ * <!-- end-user-doc -->
+ * @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FilesystemPackage
+ * @generated
+ */
+public class FilesystemAdapterFactory extends AdapterFactoryImpl {
+        /**
+         * The cached model package.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected static FilesystemPackage modelPackage;
+        /**
+         * Creates an instance of the adapter factory.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public FilesystemAdapterFactory() {
+                if (modelPackage == null) {
+                        modelPackage = FilesystemPackage.eINSTANCE;
+                }
+        }
+        /**
+         * Returns whether this factory is applicable for the type of the object.
+         * <!-- begin-user-doc -->
+         * This implementation returns <code>true</code> if the object is either the model's package or is an instance object of the model.
+         * <!-- end-user-doc -->
+         * @return whether this factory is applicable for the type of the object.
+         * @generated
+         */
+        @Override
+        public boolean isFactoryForType(Object object) {
+                if (object == modelPackage) {
+                        return true;
+                }
+                if (object instanceof EObject) {
+                        return ((EObject)object).eClass().getEPackage() == modelPackage;
+                }
+                return false;
+        }
+        /**
+         * The switch that delegates to the <code>createXXX</code> methods.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected FilesystemSwitch<Adapter> modelSwitch =
+                new FilesystemSwitch<Adapter>() {
+                        @Override
+                        public Adapter caseFileSystem(FileSystem object) {
+                                return createFileSystemAdapter();
+                        }
+                        @Override
+                        public Adapter caseFSObject(FSObject object) {
+                                return createFSObjectAdapter();
+                        }
+                        @Override
+                        public Adapter caseDir(Dir object) {
+                                return createDirAdapter();
+                        }
+                        @Override
+                        public Adapter caseFile(File object) {
+                                return createFileAdapter();
+                        }
+                        @Override
+                        public Adapter caseModel(Model object) {
+                                return createModelAdapter();
+                        }
+                        @Override
+                        public Adapter defaultCase(EObject object) {
+                                return createEObjectAdapter();
+                        }
+                };
+        /**
+         * Creates an adapter for the <code>target</code>.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param target the object to adapt.
+         * @return the adapter for the <code>target</code>.
+         * @generated
+         */
+        @Override
+        public Adapter createAdapter(Notifier target) {
+                return modelSwitch.doSwitch((EObject)target);
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FileSystem <em>File System</em>}'.
+         * <!-- begin-user-doc -->
+         * This default implementation returns null so that we can easily ignore cases;
+         * it's useful to ignore a case when inheritance will catch all the cases anyway.
+         * <!-- end-user-doc -->
+         * @return the new adapter.
+         * @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FileSystem
+         * @generated
+         */
+        public Adapter createFileSystemAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FSObject <em>FS Object</em>}'.
+         * <!-- begin-user-doc -->
+         * This default implementation returns null so that we can easily ignore cases;
+         * it's useful to ignore a case when inheritance will catch all the cases anyway.
+         * <!-- end-user-doc -->
+         * @return the new adapter.
+         * @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FSObject
+         * @generated
+         */
+        public Adapter createFSObjectAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.Dir <em>Dir</em>}'.
+         * <!-- begin-user-doc -->
+         * This default implementation returns null so that we can easily ignore cases;
+         * it's useful to ignore a case when inheritance will catch all the cases anyway.
+         * <!-- end-user-doc -->
+         * @return the new adapter.
+         * @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.Dir
+         * @generated
+         */
+        public Adapter createDirAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.File <em>File</em>}'.
+         * <!-- begin-user-doc -->
+         * This default implementation returns null so that we can easily ignore cases;
+         * it's useful to ignore a case when inheritance will catch all the cases anyway.
+         * <!-- end-user-doc -->
+         * @return the new adapter.
+         * @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.File
+         * @generated
+         */
+        public Adapter createFileAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.Model <em>Model</em>}'.
+         * <!-- begin-user-doc -->
+         * This default implementation returns null so that we can easily ignore cases;
+         * it's useful to ignore a case when inheritance will catch all the cases anyway.
+         * <!-- end-user-doc -->
+         * @return the new adapter.
+         * @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.Model
+         * @generated
+         */
+        public Adapter createModelAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for the default case.
+         * <!-- begin-user-doc -->
+         * This default implementation returns null.
+         * <!-- end-user-doc -->
+         * @return the new adapter.
+         * @generated
+         */
+        public Adapter createEObjectAdapter() {
+                return null;
+        }
+} //FilesystemAdapterFactory
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/util/FilesystemSwitch.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/util/FilesystemSwitch.java
new file mode 100644
index 00000000..ce2079c8
--- /dev/null
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src/hu/bme/mit/inf/dslreasoner/domains/alloyexamples/Filesystem/util/FilesystemSwitch.java
@@ -0,0 +1,196 @@
+/**
+ */
+package hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.util;
+import hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.*;
+import org.eclipse.emf.ecore.EObject;
+import org.eclipse.emf.ecore.EPackage;
+import org.eclipse.emf.ecore.util.Switch;
+/**
+ * <!-- begin-user-doc -->
+ * The <b>Switch</b> for the model's inheritance hierarchy.
+ * It supports the call {@link #doSwitch(EObject) doSwitch(object)}
+ * to invoke the <code>caseXXX</code> method for each class of the model,
+ * starting with the actual class of the object
+ * and proceeding up the inheritance hierarchy
+ * until a non-null result is returned,
+ * which is the result of the switch.
+ * <!-- end-user-doc -->
+ * @see hu.bme.mit.inf.dslreasoner.domains.alloyexamples.Filesystem.FilesystemPackage
+ * @generated
+ */
+public class FilesystemSwitch<T> extends Switch<T> {
+        /**
+         * The cached model package
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected static FilesystemPackage modelPackage;
+        /**
+         * Creates an instance of the switch.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public FilesystemSwitch() {
+                if (modelPackage == null) {
+                        modelPackage = FilesystemPackage.eINSTANCE;
+                }
+        }
+        /**
+         * Checks whether this is a switch for the given package.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param ePackage the package in question.
+         * @return whether this is a switch for the given package.
+         * @generated
+         */
+        @Override
+        protected boolean isSwitchFor(EPackage ePackage) {
+                return ePackage == modelPackage;
+        }
+        /**
+         * Calls <code>caseXXX</code> for each class of the model until one returns a non null result; it yields that result.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the first non-null result returned by a <code>caseXXX</code> call.
+         * @generated
+         */
+        @Override
+        protected T doSwitch(int classifierID, EObject theEObject) {
+                switch (classifierID) {
+                        case FilesystemPackage.FILE_SYSTEM: {
+                                FileSystem fileSystem = (FileSystem)theEObject;
+                                T result = caseFileSystem(fileSystem);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case FilesystemPackage.FS_OBJECT: {
+                                FSObject fsObject = (FSObject)theEObject;
+                                T result = caseFSObject(fsObject);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case FilesystemPackage.DIR: {
+                                Dir dir = (Dir)theEObject;
+                                T result = caseDir(dir);
+                                if (result == null) result = caseFSObject(dir);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case FilesystemPackage.FILE: {
+                                File file = (File)theEObject;
+                                T result = caseFile(file);
+                                if (result == null) result = caseFSObject(file);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case FilesystemPackage.MODEL: {
+                                Model model = (Model)theEObject;
+                                T result = caseModel(model);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        default: return defaultCase(theEObject);
+                }
+        }
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>File System</em>'.
+         * <!-- begin-user-doc -->
+         * This implementation returns null;
+         * returning a non-null result will terminate the switch.
+         * <!-- end-user-doc -->
+         * @param object the target of the switch.
+         * @return the result of interpreting the object as an instance of '<em>File System</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseFileSystem(FileSystem object) {
+                return null;
+        }
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>FS Object</em>'.
+         * <!-- begin-user-doc -->
+         * This implementation returns null;
+         * returning a non-null result will terminate the switch.
+         * <!-- end-user-doc -->
+         * @param object the target of the switch.
+         * @return the result of interpreting the object as an instance of '<em>FS Object</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseFSObject(FSObject object) {
+                return null;
+        }
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Dir</em>'.
+         * <!-- begin-user-doc -->
+         * This implementation returns null;
+         * returning a non-null result will terminate the switch.
+         * <!-- end-user-doc -->
+         * @param object the target of the switch.
+         * @return the result of interpreting the object as an instance of '<em>Dir</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseDir(Dir object) {
+                return null;
+        }
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>File</em>'.
+         * <!-- begin-user-doc -->
+         * This implementation returns null;
+         * returning a non-null result will terminate the switch.
+         * <!-- end-user-doc -->
+         * @param object the target of the switch.
+         * @return the result of interpreting the object as an instance of '<em>File</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseFile(File object) {
+                return null;
+        }
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Model</em>'.
+         * <!-- begin-user-doc -->
+         * This implementation returns null;
+         * returning a non-null result will terminate the switch.
+         * <!-- end-user-doc -->
+         * @param object the target of the switch.
+         * @return the result of interpreting the object as an instance of '<em>Model</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseModel(Model object) {
+                return null;
+        }
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>EObject</em>'.
+         * <!-- begin-user-doc -->
+         * This implementation returns null;
+         * returning a non-null result will terminate the switch, but this is the last case anyway.
+         * <!-- end-user-doc -->
+         * @param object the target of the switch.
+         * @return the result of interpreting the object as an instance of '<em>EObject</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject)
+         * @generated
+         */
+        @Override
+        public T defaultCase(EObject object) {
+                return null;
+        }
+} //FilesystemSwitch
diff --git a/Tests/hu.bme.mit.inf.dslreasoner.run/initialModels/ecore.xmi b/Tests/hu.bme.mit.inf.dslreasoner.run/initialModels/ecore.xmi
new file mode 100644
index 00000000..867e5049
--- /dev/null
+++ b/Tests/hu.bme.mit.inf.dslreasoner.run/initialModels/ecore.xmi
@@ -0,0 +1,6 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<ecore:EPackage
+    xmi:version="2.0"
+    xmlns:xmi="http://www.omg.org/XMI"
+    xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore"
+    name="init"/>
diff --git a/Tests/hu.bme.mit.inf.dslreasoner.run/initialModels/fs.xmi b/Tests/hu.bme.mit.inf.dslreasoner.run/initialModels/fs.xmi
new file mode 100644
index 00000000..56879c1a
--- /dev/null
+++ b/Tests/hu.bme.mit.inf.dslreasoner.run/initialModels/fs.xmi
@@ -0,0 +1,3 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<FS:Model xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+    xmlns:FS="FS" xsi:schemaLocation="FS FileSytem.ecore"/>
diff --git a/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/FileSystemInconsistencyDetector.xtend b/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/FileSystemInconsistencyDetector.xtend
new file mode 100644
index 00000000..e79a6261
--- /dev/null
+++ b/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/FileSystemInconsistencyDetector.xtend
@@ -0,0 +1,53 @@
+package hu.bme.mit.inf.dslreasoner.run
+import org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher
+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation
+import hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner.ModelGenerationMethodBasedGlobalConstraint
+import hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.ModelGenerationMethod
+import org.eclipse.viatra.dse.base.ThreadContext
+class FileSystemInconsistencyDetector extends ModelGenerationMethodBasedGlobalConstraint {
+        var PartialInterpretation partialInterpretation
+        
+        //unfinishedLowerMultiplicity_root_reference_FileSystem
+        //unfinishedLowerMultiplicity_filesystems_reference_Model
+        var ViatraQueryMatcher<?> filesystem
+        var ViatraQueryMatcher<?> root
+        
+        new(ModelGenerationMethod method) {
+                super(method)
+        }
+        
+        override init(ThreadContext context) {
+                partialInterpretation = context.model as PartialInterpretation
+                
+                try{
+                        this.filesystem = method.allPatterns.filter[
+                                it.fullyQualifiedName.equals("unfinishedLowerMultiplicity_root_reference_FileSystem")
+                        ].head.getMatcher(context.queryEngine)
+                        
+                        this.root = method.allPatterns.filter[
+                                it.fullyQualifiedName.equals("unfinishedLowerMultiplicity_filesystems_reference_Model")
+                        ].head.getMatcher(context.queryEngine)
+                        
+                } catch(Exception e) {  }
+        }
+        
+        override checkGlobalConstraint(ThreadContext context) {
+                var requiredNewObjects = 
+                                filesystem.countMatches*2 +
+                                root.countMatches
+                val availableNewObjects = partialInterpretation.maxNewElements
+                val res = availableNewObjects >= requiredNewObjects
+                //println('''[«availableNewObjects» >= «requiredNewObjects»] = «res»''')
+                return res
+        }
+        
+        override createNew() {
+                return new FileSystemInconsistencyDetector(this.method)
+        }
+        
+        override getName() {
+                this.class.simpleName
+        }
+}
author	OszkarSemerath <oszka@192.168.122.1>	2017-08-20 01:55:38 +0200
committer	OszkarSemerath <oszka@192.168.122.1>	2017-08-20 01:55:38 +0200
commit	78c806eebaf5b9d50b08768062755f0044cf107f (patch)
tree	7db4d1b6a990b2572ed82a747dffac65a1c6fcc5
parent	null check before mapping value of a reference (diff)
download	VIATRA-Generator-78c806eebaf5b9d50b08768062755f0044cf107f.tar.gz VIATRA-Generator-78c806eebaf5b9d50b08768062755f0044cf107f.tar.zst VIATRA-Generator-78c806eebaf5b9d50b08768062755f0044cf107f.zip