diff options
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/model/FileSytem.ecore')
-rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/model/FileSytem.ecore | 32 |
1 files changed, 32 insertions, 0 deletions
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 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8"?> | ||
2 | <ecore:EPackage xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" | ||
3 | xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="Filesystem" nsURI="FS" nsPrefix="FS"> | ||
4 | <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore"> | ||
5 | <details key="settingDelegates" value="org.eclipse.viatra.query.querybasedfeature"/> | ||
6 | </eAnnotations> | ||
7 | <eClassifiers xsi:type="ecore:EClass" name="FileSystem"> | ||
8 | <eStructuralFeatures xsi:type="ecore:EReference" name="root" lowerBound="1" eType="#//Dir" | ||
9 | containment="true"/> | ||
10 | <eStructuralFeatures xsi:type="ecore:EReference" name="live" upperBound="-1" eType="#//FSObject" | ||
11 | changeable="false" volatile="true" transient="true" derived="true"> | ||
12 | <eAnnotations source="org.eclipse.viatra.query.querybasedfeature"> | ||
13 | <details key="patternFQN" value="hu.bme.mit.inf.dslreasoner.domains.alloyexamples.live"/> | ||
14 | </eAnnotations> | ||
15 | </eStructuralFeatures> | ||
16 | </eClassifiers> | ||
17 | <eClassifiers xsi:type="ecore:EClass" name="FSObject" abstract="true"> | ||
18 | <eStructuralFeatures xsi:type="ecore:EReference" name="parent" eType="#//Dir" | ||
19 | eOpposite="#//Dir/contents"/> | ||
20 | </eClassifiers> | ||
21 | <eClassifiers xsi:type="ecore:EClass" name="Dir" eSuperTypes="#//FSObject"> | ||
22 | <eStructuralFeatures xsi:type="ecore:EReference" name="contents" upperBound="-1" | ||
23 | eType="#//FSObject" containment="true" eOpposite="#//FSObject/parent"/> | ||
24 | </eClassifiers> | ||
25 | <eClassifiers xsi:type="ecore:EClass" name="File" eSuperTypes="#//FSObject"/> | ||
26 | <eClassifiers xsi:type="ecore:EClass" name="Model"> | ||
27 | <eStructuralFeatures xsi:type="ecore:EReference" name="filesystems" lowerBound="1" | ||
28 | eType="#//FileSystem" containment="true"/> | ||
29 | <eStructuralFeatures xsi:type="ecore:EReference" name="otherFSObjects" upperBound="-1" | ||
30 | eType="#//FSObject" containment="true"/> | ||
31 | </eClassifiers> | ||
32 | </ecore:EPackage> | ||