From 78c806eebaf5b9d50b08768062755f0044cf107f Mon Sep 17 00:00:00 2001
From: OszkarSemerath <oszka@192.168.122.1>
Date: Sun, 20 Aug 2017 01:55:38 +0200
Subject: Alloy Examples

---
 .../model/FileSytem.ecore                          | 32 ++++++++++++++++++++++
 1 file changed, 32 insertions(+)
 create mode 100644 Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/model/FileSytem.ecore

(limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/model/FileSytem.ecore')

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>
-- 
cgit v1.2.3-70-g09d2