diff options
author | 2017-08-20 01:55:38 +0200 | |
---|---|---|
committer | 2017-08-20 01:55:38 +0200 | |
commit | 78c806eebaf5b9d50b08768062755f0044cf107f (patch) | |
tree | 7db4d1b6a990b2572ed82a747dffac65a1c6fcc5 /Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/model | |
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 |
Alloy Examples
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/model')
3 files changed, 420 insertions, 0 deletions
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 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8"?> | ||
2 | <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"> | ||
3 | <viewpoint:DAnalysis xmi:id="_D7j2MIK5EeeAppuRs-roLg" selectedViews="_D98b0IK5EeeAppuRs-roLg _D-GM0IK5EeeAppuRs-roLg _D-GM0YK5EeeAppuRs-roLg _D-P90IK5EeeAppuRs-roLg" version="11.1.0.201608251200"> | ||
4 | <semanticResources>FileSytem.ecore</semanticResources> | ||
5 | <ownedViews xmi:type="viewpoint:DView" xmi:id="_D98b0IK5EeeAppuRs-roLg"> | ||
6 | <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']"/> | ||
7 | <ownedRepresentationDescriptors xmi:type="viewpoint:DRepresentationDescriptor" xmi:id="_EphIYIK5EeeAppuRs-roLg" name="Filesystem class diagram" representation="_EphIYYK5EeeAppuRs-roLg"> | ||
8 | <description xmi:type="description_1:DiagramDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']"/> | ||
9 | <target xmi:type="ecore:EPackage" href="FileSytem.ecore#/"/> | ||
10 | </ownedRepresentationDescriptors> | ||
11 | </ownedViews> | ||
12 | <ownedViews xmi:type="viewpoint:DView" xmi:id="_D-GM0IK5EeeAppuRs-roLg"> | ||
13 | <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Review']"/> | ||
14 | </ownedViews> | ||
15 | <ownedViews xmi:type="viewpoint:DView" xmi:id="_D-GM0YK5EeeAppuRs-roLg"> | ||
16 | <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Archetype']"/> | ||
17 | </ownedViews> | ||
18 | <ownedViews xmi:type="viewpoint:DView" xmi:id="_D-P90IK5EeeAppuRs-roLg"> | ||
19 | <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Generation']"/> | ||
20 | </ownedViews> | ||
21 | </viewpoint:DAnalysis> | ||
22 | <diagram:DSemanticDiagram xmi:id="_EphIYYK5EeeAppuRs-roLg" name="Filesystem class diagram"> | ||
23 | <ownedAnnotationEntries xmi:type="description:AnnotationEntry" xmi:id="_EphIYoK5EeeAppuRs-roLg" source="DANNOTATION_CUSTOMIZATION_KEY"> | ||
24 | <data xmi:type="diagram:ComputedStyleDescriptionRegistry" xmi:id="_EphIY4K5EeeAppuRs-roLg"> | ||
25 | <computedStyleDescriptions xmi:type="style:EdgeStyleDescription" xmi:id="_TrxKIIK6EeeAppuRs-roLg" sourceArrow="FillDiamond" routingStyle="manhattan"> | ||
26 | <strokeColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | ||
27 | <centerLabelStyleDescription xmi:type="style:CenterLabelStyleDescription" xmi:id="_TrxKIYK6EeeAppuRs-roLg" showIcon="false" labelExpression="service:render"> | ||
28 | <labelFormat>bold</labelFormat> | ||
29 | <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | ||
30 | </centerLabelStyleDescription> | ||
31 | <endLabelStyleDescription xmi:type="style:EndLabelStyleDescription" xmi:id="_TrxKIoK6EeeAppuRs-roLg" labelSize="6" showIcon="false" labelExpression="service:eKeysLabel"> | ||
32 | <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='dark_blue']"/> | ||
33 | </endLabelStyleDescription> | ||
34 | </computedStyleDescriptions> | ||
35 | <computedStyleDescriptions xmi:type="style:EdgeStyleDescription" xmi:id="_MlEPYILJEeeAppuRs-roLg" sourceArrow="FillDiamond" routingStyle="manhattan"> | ||
36 | <strokeColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | ||
37 | <centerLabelStyleDescription xmi:type="style:CenterLabelStyleDescription" xmi:id="_MlEPYYLJEeeAppuRs-roLg" showIcon="false" labelExpression="service:render"> | ||
38 | <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | ||
39 | </centerLabelStyleDescription> | ||
40 | <endLabelStyleDescription xmi:type="style:EndLabelStyleDescription" xmi:id="_MlEPYoLJEeeAppuRs-roLg" labelSize="6" showIcon="false" labelExpression="service:eKeysLabel"> | ||
41 | <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='dark_blue']"/> | ||
42 | </endLabelStyleDescription> | ||
43 | </computedStyleDescriptions> | ||
44 | <computedStyleDescriptions xmi:type="style:EdgeStyleDescription" xmi:id="_6IIkkILJEeeAppuRs-roLg" routingStyle="manhattan"> | ||
45 | <strokeColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='blue']"/> | ||
46 | <centerLabelStyleDescription xmi:type="style:CenterLabelStyleDescription" xmi:id="_6IIkkYLJEeeAppuRs-roLg" showIcon="false" labelExpression="service:render"> | ||
47 | <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='dark_blue']"/> | ||
48 | </centerLabelStyleDescription> | ||
49 | <endLabelStyleDescription xmi:type="style:EndLabelStyleDescription" xmi:id="_6IIkkoLJEeeAppuRs-roLg" labelSize="6" showIcon="false" labelExpression="service:eKeysLabel"> | ||
50 | <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='dark_blue']"/> | ||
51 | </endLabelStyleDescription> | ||
52 | </computedStyleDescriptions> | ||
53 | <computedStyleDescriptions xmi:type="style:EdgeStyleDescription" xmi:id="_ggoFQYLREeeAppuRs-roLg" sourceArrow="InputArrow" targetArrow="FillDiamond" routingStyle="manhattan"> | ||
54 | <strokeColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | ||
55 | <beginLabelStyleDescription xmi:type="style:BeginLabelStyleDescription" xmi:id="_ggoFQoLREeeAppuRs-roLg" showIcon="false" labelExpression="service:renderEOpposite"> | ||
56 | <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | ||
57 | </beginLabelStyleDescription> | ||
58 | <endLabelStyleDescription xmi:type="style:EndLabelStyleDescription" xmi:id="_ggoFQ4LREeeAppuRs-roLg" showIcon="false" labelExpression="service:render"> | ||
59 | <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | ||
60 | </endLabelStyleDescription> | ||
61 | </computedStyleDescriptions> | ||
62 | </data> | ||
63 | </ownedAnnotationEntries> | ||
64 | <ownedAnnotationEntries xmi:type="description:AnnotationEntry" xmi:id="_EphIZYK5EeeAppuRs-roLg" source="GMF_DIAGRAMS"> | ||
65 | <data xmi:type="notation:Diagram" xmi:id="_EphIZoK5EeeAppuRs-roLg" type="Sirius" element="_EphIYYK5EeeAppuRs-roLg" measurementUnit="Pixel"> | ||
66 | <children xmi:type="notation:Node" xmi:id="_FMQCA4K5EeeAppuRs-roLg" type="2003" element="_FMQCAIK5EeeAppuRs-roLg"> | ||
67 | <children xmi:type="notation:Node" xmi:id="_FMQCBoK5EeeAppuRs-roLg" type="5007"/> | ||
68 | <children xmi:type="notation:Node" xmi:id="_FMQCB4K5EeeAppuRs-roLg" type="7004"> | ||
69 | <styles xmi:type="notation:SortingStyle" xmi:id="_FMQCCIK5EeeAppuRs-roLg"/> | ||
70 | <styles xmi:type="notation:FilteringStyle" xmi:id="_FMQCCYK5EeeAppuRs-roLg"/> | ||
71 | </children> | ||
72 | <styles xmi:type="notation:ShapeStyle" xmi:id="_FMQCBIK5EeeAppuRs-roLg" fontName="Segoe UI" fontHeight="8"/> | ||
73 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_FMQCBYK5EeeAppuRs-roLg" x="70" y="355" width="120" height="43"/> | ||
74 | </children> | ||
75 | <children xmi:type="notation:Node" xmi:id="_KKYI4IK5EeeAppuRs-roLg" type="2003" element="_KKO-8IK5EeeAppuRs-roLg"> | ||
76 | <children xmi:type="notation:Node" xmi:id="_KKYI44K5EeeAppuRs-roLg" type="5007"/> | ||
77 | <children xmi:type="notation:Node" xmi:id="_KKYI5IK5EeeAppuRs-roLg" type="7004"> | ||
78 | <styles xmi:type="notation:SortingStyle" xmi:id="_KKYI5YK5EeeAppuRs-roLg"/> | ||
79 | <styles xmi:type="notation:FilteringStyle" xmi:id="_KKYI5oK5EeeAppuRs-roLg"/> | ||
80 | </children> | ||
81 | <styles xmi:type="notation:ShapeStyle" xmi:id="_KKYI4YK5EeeAppuRs-roLg" fontName="Segoe UI" fontHeight="8"/> | ||
82 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_KKYI4oK5EeeAppuRs-roLg" x="325" y="199" width="120" height="44"/> | ||
83 | </children> | ||
84 | <children xmi:type="notation:Node" xmi:id="_nE2UIoK5EeeAppuRs-roLg" type="2003" element="_nE2UIIK5EeeAppuRs-roLg"> | ||
85 | <children xmi:type="notation:Node" xmi:id="_nE2UJYK5EeeAppuRs-roLg" type="5007"/> | ||
86 | <children xmi:type="notation:Node" xmi:id="_nE2UJoK5EeeAppuRs-roLg" type="7004"> | ||
87 | <styles xmi:type="notation:SortingStyle" xmi:id="_nE2UJ4K5EeeAppuRs-roLg"/> | ||
88 | <styles xmi:type="notation:FilteringStyle" xmi:id="_nE2UKIK5EeeAppuRs-roLg"/> | ||
89 | </children> | ||
90 | <styles xmi:type="notation:ShapeStyle" xmi:id="_nE2UI4K5EeeAppuRs-roLg" fontName="Segoe UI" fontHeight="8"/> | ||
91 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_nE2UJIK5EeeAppuRs-roLg" x="270" y="355" width="120" height="43"/> | ||
92 | </children> | ||
93 | <children xmi:type="notation:Node" xmi:id="_xFTscoK5EeeAppuRs-roLg" type="2003" element="_xFTscIK5EeeAppuRs-roLg"> | ||
94 | <children xmi:type="notation:Node" xmi:id="_xFTsdYK5EeeAppuRs-roLg" type="5007"/> | ||
95 | <children xmi:type="notation:Node" xmi:id="_xFTsdoK5EeeAppuRs-roLg" type="7004"> | ||
96 | <styles xmi:type="notation:SortingStyle" xmi:id="_xFTsd4K5EeeAppuRs-roLg"/> | ||
97 | <styles xmi:type="notation:FilteringStyle" xmi:id="_xFTseIK5EeeAppuRs-roLg"/> | ||
98 | </children> | ||
99 | <styles xmi:type="notation:ShapeStyle" xmi:id="_xFTsc4K5EeeAppuRs-roLg" fontName="Segoe UI" fontHeight="8"/> | ||
100 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_xFTsdIK5EeeAppuRs-roLg" x="410" y="355" width="120" height="43"/> | ||
101 | </children> | ||
102 | <children xmi:type="notation:Node" xmi:id="_C7VVA4LJEeeAppuRs-roLg" type="2003" element="_C7VVAILJEeeAppuRs-roLg"> | ||
103 | <children xmi:type="notation:Node" xmi:id="_C7VVBoLJEeeAppuRs-roLg" type="5007"/> | ||
104 | <children xmi:type="notation:Node" xmi:id="_C7VVB4LJEeeAppuRs-roLg" type="7004"> | ||
105 | <styles xmi:type="notation:SortingStyle" xmi:id="_C7VVCILJEeeAppuRs-roLg"/> | ||
106 | <styles xmi:type="notation:FilteringStyle" xmi:id="_C7VVCYLJEeeAppuRs-roLg"/> | ||
107 | </children> | ||
108 | <styles xmi:type="notation:ShapeStyle" xmi:id="_C7VVBILJEeeAppuRs-roLg" fontName="Segoe UI" fontHeight="8"/> | ||
109 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_C7VVBYLJEeeAppuRs-roLg" x="70" y="193" width="120" height="50"/> | ||
110 | </children> | ||
111 | <styles xmi:type="notation:DiagramStyle" xmi:id="_EphIZ4K5EeeAppuRs-roLg"/> | ||
112 | <edges xmi:type="notation:Edge" xmi:id="_0PAoUIK5EeeAppuRs-roLg" type="4001" element="_0O23UIK5EeeAppuRs-roLg" source="_nE2UIoK5EeeAppuRs-roLg" target="_KKYI4IK5EeeAppuRs-roLg"> | ||
113 | <children xmi:type="notation:Node" xmi:id="_0PAoVIK5EeeAppuRs-roLg" type="6001"> | ||
114 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_0PAoVYK5EeeAppuRs-roLg" y="-10"/> | ||
115 | </children> | ||
116 | <children xmi:type="notation:Node" xmi:id="_0PAoVoK5EeeAppuRs-roLg" type="6002"> | ||
117 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_0PAoV4K5EeeAppuRs-roLg" y="10"/> | ||
118 | </children> | ||
119 | <children xmi:type="notation:Node" xmi:id="_0PAoWIK5EeeAppuRs-roLg" type="6003"> | ||
120 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_0PAoWYK5EeeAppuRs-roLg" y="10"/> | ||
121 | </children> | ||
122 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_0PAoUYK5EeeAppuRs-roLg" routing="Tree"/> | ||
123 | <styles xmi:type="notation:FontStyle" xmi:id="_0PAoUoK5EeeAppuRs-roLg" fontName="Segoe UI" fontHeight="8"/> | ||
124 | <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]"/> | ||
125 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_0PAoWoK5EeeAppuRs-roLg" id="(0.211864406779661,0.0)"/> | ||
126 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_0PAoW4K5EeeAppuRs-roLg" id="(0.5,0.5)"/> | ||
127 | </edges> | ||
128 | <edges xmi:type="notation:Edge" xmi:id="_0nTzlIK5EeeAppuRs-roLg" type="4001" element="_0nTzkIK5EeeAppuRs-roLg" source="_xFTscoK5EeeAppuRs-roLg" target="_KKYI4IK5EeeAppuRs-roLg"> | ||
129 | <children xmi:type="notation:Node" xmi:id="_0nTzmIK5EeeAppuRs-roLg" type="6001"> | ||
130 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_0nTzmYK5EeeAppuRs-roLg" x="-16" y="55"/> | ||
131 | </children> | ||
132 | <children xmi:type="notation:Node" xmi:id="_0nTzmoK5EeeAppuRs-roLg" type="6002"> | ||
133 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_0nTzm4K5EeeAppuRs-roLg" x="-22" y="-10"/> | ||
134 | </children> | ||
135 | <children xmi:type="notation:Node" xmi:id="_0nTznIK5EeeAppuRs-roLg" type="6003"> | ||
136 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_0nTznYK5EeeAppuRs-roLg" x="19" y="9"/> | ||
137 | </children> | ||
138 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_0nTzlYK5EeeAppuRs-roLg" routing="Tree"/> | ||
139 | <styles xmi:type="notation:FontStyle" xmi:id="_0nTzloK5EeeAppuRs-roLg" fontName="Segoe UI" fontHeight="8"/> | ||
140 | <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]"/> | ||
141 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_0nTznoK5EeeAppuRs-roLg" id="(0.3389830508474576,0.0)"/> | ||
142 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_0nTzn4K5EeeAppuRs-roLg" id="(0.5,0.5)"/> | ||
143 | </edges> | ||
144 | <edges xmi:type="notation:Edge" xmi:id="_Rau7oIK6EeeAppuRs-roLg" type="4001" element="_RalKoIK6EeeAppuRs-roLg" source="_FMQCA4K5EeeAppuRs-roLg" target="_nE2UIoK5EeeAppuRs-roLg"> | ||
145 | <children xmi:type="notation:Node" xmi:id="_Rau7pIK6EeeAppuRs-roLg" type="6001"> | ||
146 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_Rau7pYK6EeeAppuRs-roLg" x="1" y="-9"/> | ||
147 | </children> | ||
148 | <children xmi:type="notation:Node" xmi:id="_Rau7poK6EeeAppuRs-roLg" type="6002"> | ||
149 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_Rau7p4K6EeeAppuRs-roLg" x="9" y="10"/> | ||
150 | </children> | ||
151 | <children xmi:type="notation:Node" xmi:id="_Rau7qIK6EeeAppuRs-roLg" type="6003"> | ||
152 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_Rau7qYK6EeeAppuRs-roLg" x="-1" y="10"/> | ||
153 | </children> | ||
154 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_Rau7oYK6EeeAppuRs-roLg" routing="Rectilinear"/> | ||
155 | <styles xmi:type="notation:FontStyle" xmi:id="_Rau7ooK6EeeAppuRs-roLg" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> | ||
156 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_Rau7o4K6EeeAppuRs-roLg" points="[0, -36, -82, -1]$[82, -36, 0, -1]"/> | ||
157 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_Rau7qoK6EeeAppuRs-roLg" id="(1.0,1.3658536585365855)"/> | ||
158 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_Rau7q4K6EeeAppuRs-roLg" id="(0.0,0.5121951219512195)"/> | ||
159 | </edges> | ||
160 | <edges xmi:type="notation:Edge" xmi:id="_F0O0wILJEeeAppuRs-roLg" type="4001" element="_F0FDwILJEeeAppuRs-roLg" source="_C7VVA4LJEeeAppuRs-roLg" target="_FMQCA4K5EeeAppuRs-roLg"> | ||
161 | <children xmi:type="notation:Node" xmi:id="_F0O0xILJEeeAppuRs-roLg" type="6001"> | ||
162 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_F0O0xYLJEeeAppuRs-roLg" x="-47" y="-46"/> | ||
163 | </children> | ||
164 | <children xmi:type="notation:Node" xmi:id="_F0O0xoLJEeeAppuRs-roLg" type="6002"> | ||
165 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_F0O0x4LJEeeAppuRs-roLg" x="-17" y="10"/> | ||
166 | </children> | ||
167 | <children xmi:type="notation:Node" xmi:id="_F0O0yILJEeeAppuRs-roLg" type="6003"> | ||
168 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_F0O0yYLJEeeAppuRs-roLg" x="-80" y="10"/> | ||
169 | </children> | ||
170 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_F0O0wYLJEeeAppuRs-roLg" routing="Rectilinear"/> | ||
171 | <styles xmi:type="notation:FontStyle" xmi:id="_F0O0woLJEeeAppuRs-roLg" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> | ||
172 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_F0O0w4LJEeeAppuRs-roLg" points="[-5, 0, -35, -114]$[-5, 114, -35, 0]"/> | ||
173 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_F0O0yoLJEeeAppuRs-roLg" id="(0.423728813559322,1.0)"/> | ||
174 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_F0O0y4LJEeeAppuRs-roLg" id="(0.6779661016949152,0.0)"/> | ||
175 | </edges> | ||
176 | <edges xmi:type="notation:Edge" xmi:id="_H0mKAILJEeeAppuRs-roLg" type="4001" element="_H0cZAILJEeeAppuRs-roLg" source="_C7VVA4LJEeeAppuRs-roLg" target="_KKYI4IK5EeeAppuRs-roLg"> | ||
177 | <children xmi:type="notation:Node" xmi:id="_H0mKBILJEeeAppuRs-roLg" type="6001"> | ||
178 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_H0mKBYLJEeeAppuRs-roLg" x="1" y="-36"/> | ||
179 | </children> | ||
180 | <children xmi:type="notation:Node" xmi:id="_H0mKBoLJEeeAppuRs-roLg" type="6002"> | ||
181 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_H0mKB4LJEeeAppuRs-roLg" x="6" y="10"/> | ||
182 | </children> | ||
183 | <children xmi:type="notation:Node" xmi:id="_H0mKCILJEeeAppuRs-roLg" type="6003"> | ||
184 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_H0mKCYLJEeeAppuRs-roLg" x="-1" y="10"/> | ||
185 | </children> | ||
186 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_H0mKAYLJEeeAppuRs-roLg" routing="Rectilinear"/> | ||
187 | <styles xmi:type="notation:FontStyle" xmi:id="_H0mKAoLJEeeAppuRs-roLg" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> | ||
188 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_H0mKA4LJEeeAppuRs-roLg" points="[0, 0, -137, 2]$[137, 0, 0, 2]"/> | ||
189 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_H0mKCoLJEeeAppuRs-roLg" id="(1.0,0.5)"/> | ||
190 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_H0mKC4LJEeeAppuRs-roLg" id="(0.0,0.38095238095238093)"/> | ||
191 | </edges> | ||
192 | <edges xmi:type="notation:Edge" xmi:id="_1iWsRILJEeeAppuRs-roLg" type="4001" element="_1iWsQILJEeeAppuRs-roLg" source="_FMQCA4K5EeeAppuRs-roLg" target="_KKYI4IK5EeeAppuRs-roLg"> | ||
193 | <children xmi:type="notation:Node" xmi:id="_1if2MILJEeeAppuRs-roLg" type="6001"> | ||
194 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_1if2MYLJEeeAppuRs-roLg" x="5" y="-9"/> | ||
195 | </children> | ||
196 | <children xmi:type="notation:Node" xmi:id="_1if2MoLJEeeAppuRs-roLg" type="6002"> | ||
197 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_1if2M4LJEeeAppuRs-roLg" x="-5" y="5"/> | ||
198 | </children> | ||
199 | <children xmi:type="notation:Node" xmi:id="_1if2NILJEeeAppuRs-roLg" type="6003"> | ||
200 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_1if2NYLJEeeAppuRs-roLg" x="-4" y="6"/> | ||
201 | </children> | ||
202 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_1iWsRYLJEeeAppuRs-roLg"/> | ||
203 | <styles xmi:type="notation:FontStyle" xmi:id="_1iWsRoLJEeeAppuRs-roLg" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> | ||
204 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_1iWsR4LJEeeAppuRs-roLg" points="[5, -4, -152, 119]$[152, -118, -5, 5]"/> | ||
205 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_1if2NoLJEeeAppuRs-roLg" id="(0.9083333333333333,0.11627906976744186)"/> | ||
206 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_1if2N4LJEeeAppuRs-roLg" id="(0.08333333333333333,0.8863636363636364)"/> | ||
207 | </edges> | ||
208 | <edges xmi:type="notation:Edge" xmi:id="_ggoFR4LREeeAppuRs-roLg" type="4001" element="_ggoFQILREeeAppuRs-roLg" source="_KKYI4IK5EeeAppuRs-roLg" target="_nE2UIoK5EeeAppuRs-roLg"> | ||
209 | <children xmi:type="notation:Node" xmi:id="_ggoFS4LREeeAppuRs-roLg" type="6001"> | ||
210 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_ggoFTILREeeAppuRs-roLg" x="52" y="-3"/> | ||
211 | </children> | ||
212 | <children xmi:type="notation:Node" xmi:id="_ggoFTYLREeeAppuRs-roLg" type="6002"> | ||
213 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_ggoFToLREeeAppuRs-roLg" x="31" y="38"/> | ||
214 | </children> | ||
215 | <children xmi:type="notation:Node" xmi:id="_ggoFT4LREeeAppuRs-roLg" type="6003"> | ||
216 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_ggoFUILREeeAppuRs-roLg" y="-40"/> | ||
217 | </children> | ||
218 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_ggoFSILREeeAppuRs-roLg" routing="Rectilinear"/> | ||
219 | <styles xmi:type="notation:FontStyle" xmi:id="_ggoFSYLREeeAppuRs-roLg" fontName="Segoe UI" fontHeight="8"/> | ||
220 | <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]"/> | ||
221 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_ggoFUYLREeeAppuRs-roLg" id="(0.5,0.5)"/> | ||
222 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_ggoFUoLREeeAppuRs-roLg" id="(0.15,0.0)"/> | ||
223 | </edges> | ||
224 | </data> | ||
225 | </ownedAnnotationEntries> | ||
226 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_FMQCAIK5EeeAppuRs-roLg" name="FileSystem" tooltipText="" outgoingEdges="_RalKoIK6EeeAppuRs-roLg _1iWsQILJEeeAppuRs-roLg" incomingEdges="_F0FDwILJEeeAppuRs-roLg" width="12" height="10"> | ||
227 | <target xmi:type="ecore:EClass" href="FileSytem.ecore#//FileSystem"/> | ||
228 | <semanticElements xmi:type="ecore:EClass" href="FileSytem.ecore#//FileSystem"/> | ||
229 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> | ||
230 | <arrangeConstraints>KEEP_SIZE</arrangeConstraints> | ||
231 | <arrangeConstraints>KEEP_RATIO</arrangeConstraints> | ||
232 | <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_FMQCAYK5EeeAppuRs-roLg" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216"> | ||
233 | <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"/> | ||
234 | </ownedStyle> | ||
235 | <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']"/> | ||
236 | </ownedDiagramElements> | ||
237 | <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"> | ||
238 | <target xmi:type="ecore:EClass" href="FileSytem.ecore#//FSObject"/> | ||
239 | <semanticElements xmi:type="ecore:EClass" href="FileSytem.ecore#//FSObject"/> | ||
240 | <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"> | ||
241 | <labelFormat>italic</labelFormat> | ||
242 | <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"/> | ||
243 | </ownedStyle> | ||
244 | <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']"/> | ||
245 | </ownedDiagramElements> | ||
246 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_nE2UIIK5EeeAppuRs-roLg" name="Dir" tooltipText="" outgoingEdges="_0O23UIK5EeeAppuRs-roLg" incomingEdges="_RalKoIK6EeeAppuRs-roLg _ggoFQILREeeAppuRs-roLg" width="12" height="10"> | ||
247 | <target xmi:type="ecore:EClass" href="FileSytem.ecore#//Dir"/> | ||
248 | <semanticElements xmi:type="ecore:EClass" href="FileSytem.ecore#//Dir"/> | ||
249 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> | ||
250 | <arrangeConstraints>KEEP_SIZE</arrangeConstraints> | ||
251 | <arrangeConstraints>KEEP_RATIO</arrangeConstraints> | ||
252 | <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_B3iooIK8EeeAppuRs-roLg" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216"> | ||
253 | <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"/> | ||
254 | </ownedStyle> | ||
255 | <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']"/> | ||
256 | </ownedDiagramElements> | ||
257 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_xFTscIK5EeeAppuRs-roLg" name="File" tooltipText="" outgoingEdges="_0nTzkIK5EeeAppuRs-roLg" width="12" height="10"> | ||
258 | <target xmi:type="ecore:EClass" href="FileSytem.ecore#//File"/> | ||
259 | <semanticElements xmi:type="ecore:EClass" href="FileSytem.ecore#//File"/> | ||
260 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> | ||
261 | <arrangeConstraints>KEEP_SIZE</arrangeConstraints> | ||
262 | <arrangeConstraints>KEEP_RATIO</arrangeConstraints> | ||
263 | <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_xFTscYK5EeeAppuRs-roLg" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216"> | ||
264 | <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"/> | ||
265 | </ownedStyle> | ||
266 | <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']"/> | ||
267 | </ownedDiagramElements> | ||
268 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_0O23UIK5EeeAppuRs-roLg" sourceNode="_nE2UIIK5EeeAppuRs-roLg" targetNode="_KKO-8IK5EeeAppuRs-roLg"> | ||
269 | <target xmi:type="ecore:EClass" href="FileSytem.ecore#//Dir"/> | ||
270 | <semanticElements xmi:type="ecore:EGenericType" href="FileSytem.ecore#//Dir/@eGenericSuperTypes.0"/> | ||
271 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_B3iooYK8EeeAppuRs-roLg" targetArrow="InputClosedArrow" routingStyle="tree"> | ||
272 | <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"/> | ||
273 | <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_B3ioooK8EeeAppuRs-roLg" showIcon="false"> | ||
274 | <labelFormat>italic</labelFormat> | ||
275 | </beginLabelStyle> | ||
276 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_B3ioo4K8EeeAppuRs-roLg" showIcon="false"/> | ||
277 | </ownedStyle> | ||
278 | <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']"/> | ||
279 | </ownedDiagramElements> | ||
280 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_0nTzkIK5EeeAppuRs-roLg" sourceNode="_xFTscIK5EeeAppuRs-roLg" targetNode="_KKO-8IK5EeeAppuRs-roLg"> | ||
281 | <target xmi:type="ecore:EClass" href="FileSytem.ecore#//File"/> | ||
282 | <semanticElements xmi:type="ecore:EGenericType" href="FileSytem.ecore#//File/@eGenericSuperTypes.0"/> | ||
283 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_0nTzkYK5EeeAppuRs-roLg" targetArrow="InputClosedArrow" routingStyle="tree"> | ||
284 | <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"/> | ||
285 | <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_0nTzkoK5EeeAppuRs-roLg" showIcon="false"> | ||
286 | <labelFormat>italic</labelFormat> | ||
287 | </beginLabelStyle> | ||
288 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_0nTzk4K5EeeAppuRs-roLg" showIcon="false"/> | ||
289 | </ownedStyle> | ||
290 | <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']"/> | ||
291 | </ownedDiagramElements> | ||
292 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_RalKoIK6EeeAppuRs-roLg" name="[1..1] root" sourceNode="_FMQCAIK5EeeAppuRs-roLg" targetNode="_nE2UIIK5EeeAppuRs-roLg"> | ||
293 | <target xmi:type="ecore:EReference" href="FileSytem.ecore#//FileSystem/root"/> | ||
294 | <semanticElements xmi:type="ecore:EReference" href="FileSytem.ecore#//FileSystem/root"/> | ||
295 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_TrxKI4K6EeeAppuRs-roLg" description="_TrxKIIK6EeeAppuRs-roLg" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0"> | ||
296 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_TrxKJIK6EeeAppuRs-roLg" showIcon="false"> | ||
297 | <labelFormat>bold</labelFormat> | ||
298 | </centerLabelStyle> | ||
299 | <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_TrxKJYK6EeeAppuRs-roLg" labelSize="6" showIcon="false" labelColor="39,76,114"/> | ||
300 | </ownedStyle> | ||
301 | <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']"/> | ||
302 | </ownedDiagramElements> | ||
303 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_C7VVAILJEeeAppuRs-roLg" name="Model" tooltipText="" outgoingEdges="_F0FDwILJEeeAppuRs-roLg _H0cZAILJEeeAppuRs-roLg" width="12" height="10"> | ||
304 | <target xmi:type="ecore:EClass" href="FileSytem.ecore#//Model"/> | ||
305 | <semanticElements xmi:type="ecore:EClass" href="FileSytem.ecore#//Model"/> | ||
306 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> | ||
307 | <arrangeConstraints>KEEP_SIZE</arrangeConstraints> | ||
308 | <arrangeConstraints>KEEP_RATIO</arrangeConstraints> | ||
309 | <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_C7VVAYLJEeeAppuRs-roLg" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216"> | ||
310 | <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"/> | ||
311 | </ownedStyle> | ||
312 | <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']"/> | ||
313 | </ownedDiagramElements> | ||
314 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_F0FDwILJEeeAppuRs-roLg" name="[1..1] filesystems" sourceNode="_C7VVAILJEeeAppuRs-roLg" targetNode="_FMQCAIK5EeeAppuRs-roLg"> | ||
315 | <target xmi:type="ecore:EReference" href="FileSytem.ecore#//Model/filesystems"/> | ||
316 | <semanticElements xmi:type="ecore:EReference" href="FileSytem.ecore#//Model/filesystems"/> | ||
317 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_zqLCoILJEeeAppuRs-roLg" description="_TrxKIIK6EeeAppuRs-roLg" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0"> | ||
318 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_zqLCoYLJEeeAppuRs-roLg" showIcon="false"> | ||
319 | <labelFormat>bold</labelFormat> | ||
320 | </centerLabelStyle> | ||
321 | <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_zqLCooLJEeeAppuRs-roLg" labelSize="6" showIcon="false" labelColor="39,76,114"/> | ||
322 | </ownedStyle> | ||
323 | <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']"/> | ||
324 | </ownedDiagramElements> | ||
325 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_H0cZAILJEeeAppuRs-roLg" name="[0..*] otherFSObjects" sourceNode="_C7VVAILJEeeAppuRs-roLg" targetNode="_KKO-8IK5EeeAppuRs-roLg"> | ||
326 | <target xmi:type="ecore:EReference" href="FileSytem.ecore#//Model/otherFSObjects"/> | ||
327 | <semanticElements xmi:type="ecore:EReference" href="FileSytem.ecore#//Model/otherFSObjects"/> | ||
328 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_MlEPY4LJEeeAppuRs-roLg" description="_MlEPYILJEeeAppuRs-roLg" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0"> | ||
329 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_MlEPZILJEeeAppuRs-roLg" showIcon="false"/> | ||
330 | <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_MlEPZYLJEeeAppuRs-roLg" labelSize="6" showIcon="false" labelColor="39,76,114"/> | ||
331 | </ownedStyle> | ||
332 | <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']"/> | ||
333 | </ownedDiagramElements> | ||
334 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_1iWsQILJEeeAppuRs-roLg" name="[0..*] /live" sourceNode="_FMQCAIK5EeeAppuRs-roLg" targetNode="_KKO-8IK5EeeAppuRs-roLg"> | ||
335 | <target xmi:type="ecore:EReference" href="FileSytem.ecore#//FileSystem/live"/> | ||
336 | <semanticElements xmi:type="ecore:EReference" href="FileSytem.ecore#//FileSystem/live"/> | ||
337 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_6IIkk4LJEeeAppuRs-roLg" description="_6IIkkILJEeeAppuRs-roLg" strokeColor="114,159,207"> | ||
338 | <customFeatures>routingStyle</customFeatures> | ||
339 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_6IIklILJEeeAppuRs-roLg" showIcon="false" labelColor="39,76,114"/> | ||
340 | <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_6IIklYLJEeeAppuRs-roLg" labelSize="6" showIcon="false" labelColor="39,76,114"/> | ||
341 | </ownedStyle> | ||
342 | <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']"/> | ||
343 | </ownedDiagramElements> | ||
344 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_ggoFQILREeeAppuRs-roLg" sourceNode="_KKO-8IK5EeeAppuRs-roLg" targetNode="_nE2UIIK5EeeAppuRs-roLg" beginLabel="[0..*] contents" endLabel="[0..1] parent"> | ||
345 | <target xmi:type="ecore:EReference" href="FileSytem.ecore#//FSObject/parent"/> | ||
346 | <semanticElements xmi:type="ecore:EReference" href="FileSytem.ecore#//Dir/contents"/> | ||
347 | <semanticElements xmi:type="ecore:EReference" href="FileSytem.ecore#//FSObject/parent"/> | ||
348 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_ggoFRILREeeAppuRs-roLg" description="_ggoFQYLREeeAppuRs-roLg" sourceArrow="InputArrow" targetArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0"> | ||
349 | <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_ggoFRYLREeeAppuRs-roLg" showIcon="false"/> | ||
350 | <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_ggoFRoLREeeAppuRs-roLg" showIcon="false"/> | ||
351 | </ownedStyle> | ||
352 | <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']"/> | ||
353 | </ownedDiagramElements> | ||
354 | <description xmi:type="description_1:DiagramDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']"/> | ||
355 | <filterVariableHistory xmi:type="diagram:FilterVariableHistory" xmi:id="_EphIZIK5EeeAppuRs-roLg"/> | ||
356 | <activatedLayers xmi:type="description_1:Layer" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer"/> | ||
357 | <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']"/> | ||
358 | <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']"/> | ||
359 | <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']"/> | ||
360 | <target xmi:type="ecore:EPackage" href="FileSytem.ecore#/"/> | ||
361 | </diagram:DSemanticDiagram> | ||
362 | </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 @@ | |||
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> | ||
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 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8"?> | ||
2 | <genmodel:GenModel xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" | ||
3 | xmlns:genmodel="http://www.eclipse.org/emf/2002/GenModel" modelDirectory="/hu.bme.mit.inf.dslreasoner.domains.alloyexamples/src" | ||
4 | modelPluginID="hu.bme.mit.inf.dslreasoner.domains.alloyexamples" modelName="FileSytem" | ||
5 | rootExtendsClass="org.eclipse.emf.ecore.impl.MinimalEObjectImpl$Container" importerID="org.eclipse.emf.importer.ecore" | ||
6 | complianceLevel="8.0" copyrightFields="false" operationReflection="true" importOrganizing="true"> | ||
7 | <foreignModel>FileSytem.ecore</foreignModel> | ||
8 | <genPackages prefix="Filesystem" basePackage="hu.bme.mit.inf.dslreasoner.domains.alloyexamples" | ||
9 | disposableProviderFactory="true" ecorePackage="FileSytem.ecore#/"> | ||
10 | <genClasses ecoreClass="FileSytem.ecore#//FileSystem"> | ||
11 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference FileSytem.ecore#//FileSystem/root"/> | ||
12 | <genFeatures property="Readonly" notify="false" createChild="false" ecoreFeature="ecore:EReference FileSytem.ecore#//FileSystem/live"/> | ||
13 | </genClasses> | ||
14 | <genClasses image="false" ecoreClass="FileSytem.ecore#//FSObject"/> | ||
15 | <genClasses ecoreClass="FileSytem.ecore#//Dir"> | ||
16 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference FileSytem.ecore#//Dir/contents"/> | ||
17 | </genClasses> | ||
18 | <genClasses ecoreClass="FileSytem.ecore#//File"> | ||
19 | <genFeatures property="None" notify="false" createChild="false" ecoreFeature="ecore:EReference FileSytem.ecore#//File/parent"/> | ||
20 | </genClasses> | ||
21 | <genClasses ecoreClass="FileSytem.ecore#//Model"> | ||
22 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference FileSytem.ecore#//Model/filesystems"/> | ||
23 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference FileSytem.ecore#//Model/otherFSObjects"/> | ||
24 | </genClasses> | ||
25 | </genPackages> | ||
26 | </genmodel:GenModel> | ||