diff options
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.yakindu.test')
25 files changed, 5320 insertions, 0 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/.classpath b/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/.classpath new file mode 100644 index 00000000..428337e5 --- /dev/null +++ b/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/.classpath | |||
@@ -0,0 +1,8 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8"?> | ||
2 | <classpath> | ||
3 | <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8"/> | ||
4 | <classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/> | ||
5 | <classpathentry kind="src" path="src"/> | ||
6 | <classpathentry kind="src" path="xtend-gen"/> | ||
7 | <classpathentry kind="output" path="bin"/> | ||
8 | </classpath> | ||
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/.gitignore b/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/.gitignore new file mode 100644 index 00000000..ae3c1726 --- /dev/null +++ b/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/.gitignore | |||
@@ -0,0 +1 @@ | |||
/bin/ | |||
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/.settings/org.eclipse.jdt.core.prefs b/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/.settings/org.eclipse.jdt.core.prefs new file mode 100644 index 00000000..0c68a61d --- /dev/null +++ b/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/.settings/org.eclipse.jdt.core.prefs | |||
@@ -0,0 +1,7 @@ | |||
1 | eclipse.preferences.version=1 | ||
2 | org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled | ||
3 | org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.8 | ||
4 | org.eclipse.jdt.core.compiler.compliance=1.8 | ||
5 | org.eclipse.jdt.core.compiler.problem.assertIdentifier=error | ||
6 | org.eclipse.jdt.core.compiler.problem.enumIdentifier=error | ||
7 | org.eclipse.jdt.core.compiler.source=1.8 | ||
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/META-INF/MANIFEST.MF b/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/META-INF/MANIFEST.MF new file mode 100644 index 00000000..a2562b0f --- /dev/null +++ b/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/META-INF/MANIFEST.MF | |||
@@ -0,0 +1,39 @@ | |||
1 | Manifest-Version: 1.0 | ||
2 | Bundle-ManifestVersion: 2 | ||
3 | Bundle-Name: Test | ||
4 | Bundle-SymbolicName: ca.mcgill.ecse.dslreasoner.yakindu.test;singleton:=true | ||
5 | Bundle-Version: 1.0.0.qualifier | ||
6 | Require-Bundle: org.eclipse.viatra.addon.querybasedfeatures.runtime, | ||
7 | org.eclipse.core.runtime, | ||
8 | org.eclipse.emf.ecore;visibility:=reexport, | ||
9 | org.eclipse.viatra.query.runtime.rete, | ||
10 | org.eclipse.viatra.query.runtime.localsearch, | ||
11 | com.google.guava, | ||
12 | org.eclipse.xtext.xbase.lib, | ||
13 | org.eclipse.xtend.lib, | ||
14 | org.eclipse.xtend.lib.macro, | ||
15 | ca.mcgill.ecse.dslreasoner.vampire.language;bundle-version="1.0.0", | ||
16 | hu.bme.mit.inf.dslreasoner.logic.model;bundle-version="1.0.0", | ||
17 | ca.mcgill.ecse.dslreasoner.vampire.reasoner;bundle-version="1.0.0", | ||
18 | hu.bme.mit.inf.dslreasoner.ecore2logic;bundle-version="1.0.0", | ||
19 | hu.bme.mit.inf.dslreasoner.viatra2logic;bundle-version="1.0.0", | ||
20 | org.eclipse.emf.ecore.xmi;bundle-version="2.13.0", | ||
21 | hu.bme.mit.inf.dlsreasoner.alloy.reasoner;bundle-version="1.0.0", | ||
22 | hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage;bundle-version="1.0.0", | ||
23 | hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner;bundle-version="1.0.0", | ||
24 | hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatraquery;bundle-version="1.0.0", | ||
25 | hu.bme.mit.inf.dslreasoner.logic2ecore;bundle-version="1.0.0", | ||
26 | hu.bme.mit.inf.dslreasoner.visualisation;bundle-version="1.0.0", | ||
27 | ModelGenExampleFAM_plugin;bundle-version="1.0.0", | ||
28 | ModelGenExampleFAM_plugin.validation;bundle-version="0.0.1", | ||
29 | hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph;bundle-version="1.0.0", | ||
30 | hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.validation;bundle-version="0.0.1", | ||
31 | org.eclipse.viatra.query.runtime;bundle-version="2.1.0", | ||
32 | org.eclipse.collections;bundle-version="9.2.0", | ||
33 | hu.bme.mit.inf.dslreasoner.application.FAMTest;bundle-version="1.0.0", | ||
34 | ca.mcgill.ecse.dslreasoner.standalone.test;bundle-version="1.0.0", | ||
35 | hu.bme.mit.inf.dslreasoner.alloy.language;bundle-version="1.0.0", | ||
36 | hu.bme.mit.inf.dslreasoner.alloy.language.ui;bundle-version="1.0.0" | ||
37 | Automatic-Module-Name: ca.mcgill.ecse.dslreasoner.yakindu.test | ||
38 | Bundle-RequiredExecutionEnvironment: JavaSE-1.8 | ||
39 | Import-Package: org.apache.log4j | ||
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/build.properties b/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/build.properties new file mode 100644 index 00000000..34d2e4d2 --- /dev/null +++ b/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/build.properties | |||
@@ -0,0 +1,4 @@ | |||
1 | source.. = src/ | ||
2 | output.. = bin/ | ||
3 | bin.includes = META-INF/,\ | ||
4 | . | ||
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/input/Yakindu.xmi b/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/input/Yakindu.xmi new file mode 100644 index 00000000..d76b3929 --- /dev/null +++ b/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/input/Yakindu.xmi | |||
@@ -0,0 +1,4 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8"?> | ||
2 | <hu.bme.mit.inf.yakindumm:Statechart xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" | ||
3 | xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hu.bme.mit.inf.yakindumm="hu.bme.mit.inf.yakindumm" | ||
4 | xsi:schemaLocation="hu.bme.mit.inf.yakindumm yakindu_simplified.ecore"/> | ||
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/input/yakinduPatterns.vql_ b/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/input/yakinduPatterns.vql_ new file mode 100644 index 00000000..f52113ca --- /dev/null +++ b/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/input/yakinduPatterns.vql_ | |||
@@ -0,0 +1,227 @@ | |||
1 | package ca.mcgill.ecse.dslreasoner.yakindu.queries | ||
2 | |||
3 | import epackage "hu.bme.mit.inf.yakindumm" | ||
4 | |||
5 | ///////// | ||
6 | // Entry | ||
7 | ///////// | ||
8 | |||
9 | pattern entryInRegion(r1 : Region, e1 : Entry) { | ||
10 | Region.vertices(r1, e1); | ||
11 | } | ||
12 | |||
13 | @Constraint(severity="error", message="error", key = {r1}) | ||
14 | pattern noEntryInRegion(r1 : Region) { | ||
15 | neg find entryInRegion(r1, _); | ||
16 | } | ||
17 | |||
18 | @Constraint(severity="error", message="error", key = {r}) | ||
19 | pattern multipleEntryInRegion(r : Region) { | ||
20 | find entryInRegion(r, e1); | ||
21 | find entryInRegion(r, e2); | ||
22 | e1 != e2; | ||
23 | } | ||
24 | |||
25 | pattern transition(t : Transition, src : Vertex, trg : Vertex) { | ||
26 | Transition.source(t, src); | ||
27 | Transition.target(t, trg); | ||
28 | } | ||
29 | |||
30 | @Constraint(severity="error", message="error", key = {e}) | ||
31 | pattern incomingToEntry(t : Transition, e : Entry) { | ||
32 | find transition(t, _, e); | ||
33 | } | ||
34 | |||
35 | @Constraint(severity="error", message="error", key = {e}) | ||
36 | pattern noOutgoingTransitionFromEntry(e : Entry) { | ||
37 | neg find transition(_, e, _); | ||
38 | } | ||
39 | |||
40 | @Constraint(severity="error", message="error", key = {e}) | ||
41 | pattern multipleTransitionFromEntry(e : Entry, t1 : Transition, t2: Transition) { | ||
42 | Entry.outgoingTransitions(e,t1); | ||
43 | Entry.outgoingTransitions(e,t2); | ||
44 | t1!=t2; | ||
45 | } | ||
46 | |||
47 | ///////// | ||
48 | // Exit | ||
49 | ///////// | ||
50 | |||
51 | @Constraint(severity="error", message="error", key = {e}) | ||
52 | pattern outgoingFromExit(t : Transition, e : Exit) { | ||
53 | Exit.outgoingTransitions(e,t); | ||
54 | } | ||
55 | |||
56 | ///////// | ||
57 | // Final | ||
58 | ///////// | ||
59 | |||
60 | @Constraint(severity="error", message="error", key = {f}) | ||
61 | pattern outgoingFromFinal(t : Transition, f : FinalState) { | ||
62 | FinalState.outgoingTransitions(f,t); | ||
63 | } | ||
64 | |||
65 | ///////// | ||
66 | // State vs Region | ||
67 | ///////// | ||
68 | |||
69 | @Constraint(severity="error", message="error", key = {region}) | ||
70 | pattern noStateInRegion(region: Region) { | ||
71 | neg find StateInRegion(region,_); | ||
72 | } | ||
73 | pattern StateInRegion(region: Region, state: State) { | ||
74 | Region.vertices(region,state); | ||
75 | } | ||
76 | |||
77 | ///////// | ||
78 | // Choice | ||
79 | ///////// | ||
80 | |||
81 | @Constraint(severity="error", message="error", key = {c}) | ||
82 | pattern choiceHasNoOutgoing(c : Choice) { | ||
83 | neg find transition(_, c, _); | ||
84 | } | ||
85 | |||
86 | @Constraint(severity="error", message="error", key = {c}) | ||
87 | pattern choiceHasNoIncoming(c: Choice) { | ||
88 | neg find transition(_, _, c); | ||
89 | } | ||
90 | |||
91 | ///////// | ||
92 | // Synchronization | ||
93 | ///////// | ||
94 | |||
95 | @Constraint(severity="error", message="error", key = {s}) | ||
96 | pattern synchHasNoOutgoing(s : Synchronization) { | ||
97 | neg find transition(_, s, _); | ||
98 | } | ||
99 | |||
100 | @Constraint(severity="error", message="error", key = {s}) | ||
101 | pattern synchHasNoIncoming(s : Synchronization) { | ||
102 | neg find transition(_, _, s); | ||
103 | } | ||
104 | |||
105 | @Constraint(severity="error", message="error", key = {s}) | ||
106 | pattern SynchronizedIncomingInSameRegion(s : Synchronization, v1 : Vertex, v2 : Vertex) { | ||
107 | find transition(t1, v1, s); | ||
108 | find transition(t2, v2, s); | ||
109 | t1!=t2; | ||
110 | Region.vertices(r, v1); | ||
111 | Region.vertices(r, v2); | ||
112 | } or { | ||
113 | find transition(t1, s, v1); | ||
114 | find transition(t2, s, v2); | ||
115 | t1!=t2; | ||
116 | Region.vertices(r, v1); | ||
117 | Region.vertices(r, v2); | ||
118 | } | ||
119 | |||
120 | @Constraint(severity="error", message="error", key = {s}) | ||
121 | pattern notSynchronizingStates(s : Synchronization) { | ||
122 | neg find hasMultipleOutgoingTrainsition(s); | ||
123 | neg find hasMultipleIncomingTrainsition(s); | ||
124 | } | ||
125 | |||
126 | pattern hasMultipleOutgoingTrainsition(v : Synchronization) { | ||
127 | find transition(_, v, trg1); | ||
128 | find transition(_, v, trg2); | ||
129 | trg1 != trg2; | ||
130 | } | ||
131 | |||
132 | pattern hasMultipleIncomingTrainsition(v : Synchronization) { | ||
133 | find transition(_, src1, v); | ||
134 | find transition(_, src2, v); | ||
135 | src1 != src2; | ||
136 | } | ||
137 | |||
138 | @Constraint(severity="error", message="error", key = {s}) | ||
139 | pattern SynchronizedRegionsAreNotSiblings(s : Synchronization, v1 : Vertex, v2 : Vertex) { | ||
140 | find transition(_, v1, s); | ||
141 | find transition(_, v2, s); | ||
142 | CompositeElement.regions.vertices(r1, v1); | ||
143 | CompositeElement.regions.vertices(r2, v2); | ||
144 | r1 != r2; | ||
145 | } or { | ||
146 | find transition(_, s, v1); | ||
147 | find transition(_, s, v2); | ||
148 | CompositeElement.regions.vertices(r1, v1); | ||
149 | CompositeElement.regions.vertices(r2, v2); | ||
150 | r1 != r2; | ||
151 | } | ||
152 | |||
153 | /////////////////////////////// | ||
154 | // Extra | ||
155 | // | ||
156 | //@Constraint(severity="error", message="error", key = {s}) | ||
157 | //pattern SynchronizedRegionDoesNotHaveParent(s : Synchronization, v : Vertex) { | ||
158 | // find transition(_, v, s); | ||
159 | // neg find child(_,v); | ||
160 | //} or { | ||
161 | // find transition(_, s, v); | ||
162 | // neg find child(_,v); | ||
163 | //} | ||
164 | |||
165 | pattern child(parent: CompositeElement, child: Vertex) { | ||
166 | CompositeElement.regions.vertices(parent, child); | ||
167 | } | ||
168 | |||
169 | @Constraint(severity="error", message="error", key = {s}) | ||
170 | pattern SynchronizedRegionDoesNotHaveMultipleRegions(s : Synchronization, v : Vertex) { | ||
171 | find transition(_, v, s); | ||
172 | find child(c,v); | ||
173 | neg find hasMultipleRegions(c); | ||
174 | } or { | ||
175 | find transition(_, s, v); | ||
176 | find child(c,v); | ||
177 | neg find hasMultipleRegions(c); | ||
178 | } | ||
179 | |||
180 | |||
181 | pattern hasMultipleRegions(composite: CompositeElement) { | ||
182 | CompositeElement.regions(composite,region1); | ||
183 | CompositeElement.regions(composite,region2); | ||
184 | region1 != region2; | ||
185 | } | ||
186 | |||
187 | /** | ||
188 | * Simplifying model generation | ||
189 | */ | ||
190 | @Constraint(severity="error", message="error", key = {s}) | ||
191 | pattern synchThree(s: Synchronization) { | ||
192 | Transition.target(t1,s); | ||
193 | Transition.target(t2,s); | ||
194 | Transition.target(t3,s); | ||
195 | t1!=t2; | ||
196 | t2!=t3; | ||
197 | t1!=t3; | ||
198 | } or { | ||
199 | Transition.source(t1,s); | ||
200 | Transition.source(t2,s); | ||
201 | Transition.source(t3,s); | ||
202 | t1!=t2; | ||
203 | t2!=t3; | ||
204 | t1!=t3; | ||
205 | } | ||
206 | |||
207 | /** | ||
208 | * Simplifying model generation | ||
209 | */ | ||
210 | @Constraint(severity="error", message="error", key = {s1,s2}) | ||
211 | pattern twoSynch(s1 : Synchronization, s2 : Synchronization) { | ||
212 | Synchronization(s1); | ||
213 | Synchronization(s2); | ||
214 | s1 != s2; | ||
215 | } | ||
216 | |||
217 | /** | ||
218 | * Model generation task: at least one synch | ||
219 | */ | ||
220 | @Constraint(severity="error", message="error", key = {s}) | ||
221 | pattern noSynch(s:Statechart) { | ||
222 | Statechart(s); | ||
223 | neg find synch(_); | ||
224 | } | ||
225 | pattern synch(s:Synchronization) { | ||
226 | Synchronization(s); | ||
227 | } \ No newline at end of file | ||
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/input/yakindu_simplified.aird b/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/input/yakindu_simplified.aird new file mode 100644 index 00000000..38b2b410 --- /dev/null +++ b/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/input/yakindu_simplified.aird | |||
@@ -0,0 +1,704 @@ | |||
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 uid="_HYD4oOn9EemFBtgp5W26GA" selectedViews="_IBOxcOn9EemFBtgp5W26GA _IBa-sOn9EemFBtgp5W26GA _IBblwOn9EemFBtgp5W26GA _IBgeQOn9EemFBtgp5W26GA" version="14.1.0.201810161215"> | ||
4 | <semanticResources>yakindu_simplified.ecore</semanticResources> | ||
5 | <semanticResources>yakindu_simplified.genmodel</semanticResources> | ||
6 | <ownedViews xmi:type="viewpoint:DView" uid="_IBOxcOn9EemFBtgp5W26GA"> | ||
7 | <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']"/> | ||
8 | <ownedRepresentationDescriptors xmi:type="viewpoint:DRepresentationDescriptor" uid="_JMbZQOn9EemFBtgp5W26GA" name="yakindumm class diagram" repPath="#_JKuwIOn9EemFBtgp5W26GA"> | ||
9 | <description xmi:type="description_1:DiagramDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']"/> | ||
10 | <target xmi:type="ecore:EPackage" href="yakindu_simplified.ecore#/"/> | ||
11 | </ownedRepresentationDescriptors> | ||
12 | </ownedViews> | ||
13 | <ownedViews xmi:type="viewpoint:DView" uid="_IBa-sOn9EemFBtgp5W26GA"> | ||
14 | <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Review']"/> | ||
15 | </ownedViews> | ||
16 | <ownedViews xmi:type="viewpoint:DView" uid="_IBblwOn9EemFBtgp5W26GA"> | ||
17 | <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Archetype']"/> | ||
18 | </ownedViews> | ||
19 | <ownedViews xmi:type="viewpoint:DView" uid="_IBgeQOn9EemFBtgp5W26GA"> | ||
20 | <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Generation']"/> | ||
21 | </ownedViews> | ||
22 | </viewpoint:DAnalysis> | ||
23 | <diagram:DSemanticDiagram uid="_JKuwIOn9EemFBtgp5W26GA" name="yakindumm class diagram"> | ||
24 | <ownedAnnotationEntries xmi:type="description:AnnotationEntry" uid="_JMS2YOn9EemFBtgp5W26GA" source="DANNOTATION_CUSTOMIZATION_KEY"> | ||
25 | <data xmi:type="diagram:ComputedStyleDescriptionRegistry" uid="_JMTdcOn9EemFBtgp5W26GA"> | ||
26 | <computedStyleDescriptions xmi:type="style:BundledImageDescription" xmi:id="_J83XsOn9EemFBtgp5W26GA" labelExpression="service:render" labelAlignment="LEFT" tooltipExpression="service:renderTooltip" sizeComputationExpression="1"> | ||
27 | <borderColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | ||
28 | <labelFormat>bold</labelFormat> | ||
29 | <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | ||
30 | <color xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | ||
31 | </computedStyleDescriptions> | ||
32 | <computedStyleDescriptions xmi:type="style:EdgeStyleDescription" xmi:id="_J9Dk8On9EemFBtgp5W26GA" sourceArrow="FillDiamond" routingStyle="manhattan"> | ||
33 | <strokeColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | ||
34 | <centerLabelStyleDescription xmi:type="style:CenterLabelStyleDescription" xmi:id="_J9Dk8en9EemFBtgp5W26GA" showIcon="false" labelExpression="service:render"> | ||
35 | <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | ||
36 | </centerLabelStyleDescription> | ||
37 | <endLabelStyleDescription xmi:type="style:EndLabelStyleDescription" xmi:id="_J9Dk8un9EemFBtgp5W26GA" labelSize="6" showIcon="false" labelExpression="service:eKeysLabel"> | ||
38 | <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='dark_blue']"/> | ||
39 | </endLabelStyleDescription> | ||
40 | </computedStyleDescriptions> | ||
41 | <computedStyleDescriptions xmi:type="style:EdgeStyleDescription" xmi:id="_J9UqsOn9EemFBtgp5W26GA" sourceArrow="FillDiamond" routingStyle="manhattan"> | ||
42 | <strokeColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | ||
43 | <beginLabelStyleDescription xmi:type="style:BeginLabelStyleDescription" xmi:id="_J9Uqsen9EemFBtgp5W26GA" showIcon="false" labelExpression="service:renderEOpposite"> | ||
44 | <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | ||
45 | </beginLabelStyleDescription> | ||
46 | <endLabelStyleDescription xmi:type="style:EndLabelStyleDescription" xmi:id="_J9Uqsun9EemFBtgp5W26GA" showIcon="false" labelExpression="service:render"> | ||
47 | <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | ||
48 | </endLabelStyleDescription> | ||
49 | </computedStyleDescriptions> | ||
50 | </data> | ||
51 | </ownedAnnotationEntries> | ||
52 | <ownedAnnotationEntries xmi:type="description:AnnotationEntry" uid="_JNGHoOn9EemFBtgp5W26GA" source="GMF_DIAGRAMS"> | ||
53 | <data xmi:type="notation:Diagram" xmi:id="_JNGHoen9EemFBtgp5W26GA" type="Sirius" element="_JKuwIOn9EemFBtgp5W26GA" measurementUnit="Pixel"> | ||
54 | <children xmi:type="notation:Node" xmi:id="_J9aKQOn9EemFBtgp5W26GA" type="2003" element="_J8MpUOn9EemFBtgp5W26GA"> | ||
55 | <children xmi:type="notation:Node" xmi:id="_J9bYYOn9EemFBtgp5W26GA" type="5007"/> | ||
56 | <children xmi:type="notation:Node" xmi:id="_J9d0oOn9EemFBtgp5W26GA" type="7004"> | ||
57 | <styles xmi:type="notation:SortingStyle" xmi:id="_J9d0oen9EemFBtgp5W26GA"/> | ||
58 | <styles xmi:type="notation:FilteringStyle" xmi:id="_J9d0oun9EemFBtgp5W26GA"/> | ||
59 | </children> | ||
60 | <styles xmi:type="notation:ShapeStyle" xmi:id="_J9aKQen9EemFBtgp5W26GA" fontName="Segoe UI" fontHeight="8" italic="true"/> | ||
61 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_J9aKQun9EemFBtgp5W26GA" x="480" y="324"/> | ||
62 | </children> | ||
63 | <children xmi:type="notation:Node" xmi:id="_J9ebsOn9EemFBtgp5W26GA" type="2003" element="_J8TXAOn9EemFBtgp5W26GA"> | ||
64 | <children xmi:type="notation:Node" xmi:id="_J9fCwOn9EemFBtgp5W26GA" type="5007"/> | ||
65 | <children xmi:type="notation:Node" xmi:id="_J9fCwen9EemFBtgp5W26GA" type="7004"> | ||
66 | <styles xmi:type="notation:SortingStyle" xmi:id="_J9fCwun9EemFBtgp5W26GA"/> | ||
67 | <styles xmi:type="notation:FilteringStyle" xmi:id="_J9fCw-n9EemFBtgp5W26GA"/> | ||
68 | </children> | ||
69 | <styles xmi:type="notation:ShapeStyle" xmi:id="_J9ebsen9EemFBtgp5W26GA" fontName="Segoe UI" fontHeight="8" italic="true"/> | ||
70 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_J9ebsun9EemFBtgp5W26GA" x="696" y="156"/> | ||
71 | </children> | ||
72 | <children xmi:type="notation:Node" xmi:id="_J9fp0On9EemFBtgp5W26GA" type="2003" element="_J8VMMOn9EemFBtgp5W26GA"> | ||
73 | <children xmi:type="notation:Node" xmi:id="_J9fp0-n9EemFBtgp5W26GA" type="5007"/> | ||
74 | <children xmi:type="notation:Node" xmi:id="_J9fp1On9EemFBtgp5W26GA" type="7004"> | ||
75 | <styles xmi:type="notation:SortingStyle" xmi:id="_J9fp1en9EemFBtgp5W26GA"/> | ||
76 | <styles xmi:type="notation:FilteringStyle" xmi:id="_J9fp1un9EemFBtgp5W26GA"/> | ||
77 | </children> | ||
78 | <styles xmi:type="notation:ShapeStyle" xmi:id="_J9fp0en9EemFBtgp5W26GA" fontName="Segoe UI" fontHeight="8"/> | ||
79 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_J9fp0un9EemFBtgp5W26GA" x="876" y="324"/> | ||
80 | </children> | ||
81 | <children xmi:type="notation:Node" xmi:id="_J9gQ4On9EemFBtgp5W26GA" type="2003" element="_J8WaUOn9EemFBtgp5W26GA"> | ||
82 | <children xmi:type="notation:Node" xmi:id="_J9gQ4-n9EemFBtgp5W26GA" type="5007"/> | ||
83 | <children xmi:type="notation:Node" xmi:id="_J9gQ5On9EemFBtgp5W26GA" type="7004"> | ||
84 | <styles xmi:type="notation:SortingStyle" xmi:id="_J9gQ5en9EemFBtgp5W26GA"/> | ||
85 | <styles xmi:type="notation:FilteringStyle" xmi:id="_J9gQ5un9EemFBtgp5W26GA"/> | ||
86 | </children> | ||
87 | <styles xmi:type="notation:ShapeStyle" xmi:id="_J9gQ4en9EemFBtgp5W26GA" fontName="Segoe UI" fontHeight="8"/> | ||
88 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_J9gQ4un9EemFBtgp5W26GA" x="696"/> | ||
89 | </children> | ||
90 | <children xmi:type="notation:Node" xmi:id="_J9g38On9EemFBtgp5W26GA" type="2003" element="_J8XBYun9EemFBtgp5W26GA"> | ||
91 | <children xmi:type="notation:Node" xmi:id="_J9g38-n9EemFBtgp5W26GA" type="5007"/> | ||
92 | <children xmi:type="notation:Node" xmi:id="_J9g39On9EemFBtgp5W26GA" type="7004"> | ||
93 | <styles xmi:type="notation:SortingStyle" xmi:id="_J9g39en9EemFBtgp5W26GA"/> | ||
94 | <styles xmi:type="notation:FilteringStyle" xmi:id="_J9g39un9EemFBtgp5W26GA"/> | ||
95 | </children> | ||
96 | <styles xmi:type="notation:ShapeStyle" xmi:id="_J9g38en9EemFBtgp5W26GA" fontName="Segoe UI" fontHeight="8"/> | ||
97 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_J9g38un9EemFBtgp5W26GA" x="984" y="636"/> | ||
98 | </children> | ||
99 | <children xmi:type="notation:Node" xmi:id="_J9g39-n9EemFBtgp5W26GA" type="2003" element="_J8YPgen9EemFBtgp5W26GA"> | ||
100 | <children xmi:type="notation:Node" xmi:id="_J9hfAOn9EemFBtgp5W26GA" type="5007"/> | ||
101 | <children xmi:type="notation:Node" xmi:id="_J9hfAen9EemFBtgp5W26GA" type="7004"> | ||
102 | <children xmi:type="notation:Node" xmi:id="_J9oMsOn9EemFBtgp5W26GA" type="3010" element="_J82JkOn9EemFBtgp5W26GA"> | ||
103 | <styles xmi:type="notation:FontStyle" xmi:id="_J9oMsen9EemFBtgp5W26GA" fontName="Segoe UI" fontHeight="8" bold="true"/> | ||
104 | <layoutConstraint xmi:type="notation:Location" xmi:id="_J9oMsun9EemFBtgp5W26GA"/> | ||
105 | </children> | ||
106 | <styles xmi:type="notation:SortingStyle" xmi:id="_J9hfAun9EemFBtgp5W26GA"/> | ||
107 | <styles xmi:type="notation:FilteringStyle" xmi:id="_J9hfA-n9EemFBtgp5W26GA"/> | ||
108 | </children> | ||
109 | <styles xmi:type="notation:ShapeStyle" xmi:id="_J9g3-On9EemFBtgp5W26GA" fontName="Segoe UI" fontHeight="8"/> | ||
110 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_J9g3-en9EemFBtgp5W26GA" x="144" y="480"/> | ||
111 | </children> | ||
112 | <children xmi:type="notation:Node" xmi:id="_J9hfBOn9EemFBtgp5W26GA" type="2003" element="_J8ZdoOn9EemFBtgp5W26GA"> | ||
113 | <children xmi:type="notation:Node" xmi:id="_J9iGEOn9EemFBtgp5W26GA" type="5007"/> | ||
114 | <children xmi:type="notation:Node" xmi:id="_J9itIOn9EemFBtgp5W26GA" type="7004"> | ||
115 | <styles xmi:type="notation:SortingStyle" xmi:id="_J9itIen9EemFBtgp5W26GA"/> | ||
116 | <styles xmi:type="notation:FilteringStyle" xmi:id="_J9itIun9EemFBtgp5W26GA"/> | ||
117 | </children> | ||
118 | <styles xmi:type="notation:ShapeStyle" xmi:id="_J9hfBen9EemFBtgp5W26GA" fontName="Segoe UI" fontHeight="8"/> | ||
119 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_J9hfBun9EemFBtgp5W26GA" x="696" y="636"/> | ||
120 | </children> | ||
121 | <children xmi:type="notation:Node" xmi:id="_J9jUMOn9EemFBtgp5W26GA" type="2003" element="_J8arwOn9EemFBtgp5W26GA"> | ||
122 | <children xmi:type="notation:Node" xmi:id="_J9j7QOn9EemFBtgp5W26GA" type="5007"/> | ||
123 | <children xmi:type="notation:Node" xmi:id="_J9j7Qen9EemFBtgp5W26GA" type="7004"> | ||
124 | <styles xmi:type="notation:SortingStyle" xmi:id="_J9j7Qun9EemFBtgp5W26GA"/> | ||
125 | <styles xmi:type="notation:FilteringStyle" xmi:id="_J9j7Q-n9EemFBtgp5W26GA"/> | ||
126 | </children> | ||
127 | <styles xmi:type="notation:ShapeStyle" xmi:id="_J9jUMen9EemFBtgp5W26GA" fontName="Segoe UI" fontHeight="8" italic="true"/> | ||
128 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_J9jUMun9EemFBtgp5W26GA" x="696" y="324"/> | ||
129 | </children> | ||
130 | <children xmi:type="notation:Node" xmi:id="_J9j7ROn9EemFBtgp5W26GA" type="2003" element="_J8b54On9EemFBtgp5W26GA"> | ||
131 | <children xmi:type="notation:Node" xmi:id="_J9j7R-n9EemFBtgp5W26GA" type="5007"/> | ||
132 | <children xmi:type="notation:Node" xmi:id="_J9kiUOn9EemFBtgp5W26GA" type="7004"> | ||
133 | <styles xmi:type="notation:SortingStyle" xmi:id="_J9kiUen9EemFBtgp5W26GA"/> | ||
134 | <styles xmi:type="notation:FilteringStyle" xmi:id="_J9kiUun9EemFBtgp5W26GA"/> | ||
135 | </children> | ||
136 | <styles xmi:type="notation:ShapeStyle" xmi:id="_J9j7Ren9EemFBtgp5W26GA" fontName="Segoe UI" fontHeight="8" italic="true"/> | ||
137 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_J9j7Run9EemFBtgp5W26GA" x="984" y="480"/> | ||
138 | </children> | ||
139 | <children xmi:type="notation:Node" xmi:id="_J9kiU-n9EemFBtgp5W26GA" type="2003" element="_J8dvEOn9EemFBtgp5W26GA"> | ||
140 | <children xmi:type="notation:Node" xmi:id="_J9lJYOn9EemFBtgp5W26GA" type="5007"/> | ||
141 | <children xmi:type="notation:Node" xmi:id="_J9lJYen9EemFBtgp5W26GA" type="7004"> | ||
142 | <styles xmi:type="notation:SortingStyle" xmi:id="_J9lJYun9EemFBtgp5W26GA"/> | ||
143 | <styles xmi:type="notation:FilteringStyle" xmi:id="_J9lJY-n9EemFBtgp5W26GA"/> | ||
144 | </children> | ||
145 | <styles xmi:type="notation:ShapeStyle" xmi:id="_J9kiVOn9EemFBtgp5W26GA" fontName="Segoe UI" fontHeight="8"/> | ||
146 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_J9kiVen9EemFBtgp5W26GA" x="408" y="480"/> | ||
147 | </children> | ||
148 | <children xmi:type="notation:Node" xmi:id="_J9lJZOn9EemFBtgp5W26GA" type="2003" element="_J8fkQOn9EemFBtgp5W26GA"> | ||
149 | <children xmi:type="notation:Node" xmi:id="_J9lwcOn9EemFBtgp5W26GA" type="5007"/> | ||
150 | <children xmi:type="notation:Node" xmi:id="_J9lwcen9EemFBtgp5W26GA" type="7004"> | ||
151 | <styles xmi:type="notation:SortingStyle" xmi:id="_J9lwcun9EemFBtgp5W26GA"/> | ||
152 | <styles xmi:type="notation:FilteringStyle" xmi:id="_J9lwc-n9EemFBtgp5W26GA"/> | ||
153 | </children> | ||
154 | <styles xmi:type="notation:ShapeStyle" xmi:id="_J9lJZen9EemFBtgp5W26GA" fontName="Segoe UI" fontHeight="8"/> | ||
155 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_J9lJZun9EemFBtgp5W26GA" x="588" y="480"/> | ||
156 | </children> | ||
157 | <children xmi:type="notation:Node" xmi:id="_J9mXgOn9EemFBtgp5W26GA" type="2003" element="_J8gyYOn9EemFBtgp5W26GA"> | ||
158 | <children xmi:type="notation:Node" xmi:id="_J9mXg-n9EemFBtgp5W26GA" type="5007"/> | ||
159 | <children xmi:type="notation:Node" xmi:id="_J9m-kOn9EemFBtgp5W26GA" type="7004"> | ||
160 | <styles xmi:type="notation:SortingStyle" xmi:id="_J9m-ken9EemFBtgp5W26GA"/> | ||
161 | <styles xmi:type="notation:FilteringStyle" xmi:id="_J9m-kun9EemFBtgp5W26GA"/> | ||
162 | </children> | ||
163 | <styles xmi:type="notation:ShapeStyle" xmi:id="_J9mXgen9EemFBtgp5W26GA" fontName="Segoe UI" fontHeight="8"/> | ||
164 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_J9mXgun9EemFBtgp5W26GA" x="804" y="480"/> | ||
165 | </children> | ||
166 | <children xmi:type="notation:Node" xmi:id="_J9m-k-n9EemFBtgp5W26GA" type="2003" element="_J8iAgOn9EemFBtgp5W26GA"> | ||
167 | <children xmi:type="notation:Node" xmi:id="_J9m-lun9EemFBtgp5W26GA" type="5007"/> | ||
168 | <children xmi:type="notation:Node" xmi:id="_J9nloOn9EemFBtgp5W26GA" type="7004"> | ||
169 | <children xmi:type="notation:Node" xmi:id="_J9ozwOn9EemFBtgp5W26GA" type="3010" element="_J883QOn9EemFBtgp5W26GA"> | ||
170 | <styles xmi:type="notation:FontStyle" xmi:id="_J9ozwen9EemFBtgp5W26GA" fontName="Segoe UI" fontHeight="8"/> | ||
171 | <layoutConstraint xmi:type="notation:Location" xmi:id="_J9ozwun9EemFBtgp5W26GA"/> | ||
172 | </children> | ||
173 | <children xmi:type="notation:Node" xmi:id="_J9ozw-n9EemFBtgp5W26GA" type="3010" element="_J883Qun9EemFBtgp5W26GA"> | ||
174 | <styles xmi:type="notation:FontStyle" xmi:id="_J9ozxOn9EemFBtgp5W26GA" fontName="Segoe UI" fontHeight="8"/> | ||
175 | <layoutConstraint xmi:type="notation:Location" xmi:id="_J9ozxen9EemFBtgp5W26GA"/> | ||
176 | </children> | ||
177 | <children xmi:type="notation:Node" xmi:id="_J9pa0On9EemFBtgp5W26GA" type="3010" element="_J89eUOn9EemFBtgp5W26GA"> | ||
178 | <styles xmi:type="notation:FontStyle" xmi:id="_J9pa0en9EemFBtgp5W26GA" fontName="Segoe UI" fontHeight="8"/> | ||
179 | <layoutConstraint xmi:type="notation:Location" xmi:id="_J9pa0un9EemFBtgp5W26GA"/> | ||
180 | </children> | ||
181 | <styles xmi:type="notation:SortingStyle" xmi:id="_J9nloen9EemFBtgp5W26GA"/> | ||
182 | <styles xmi:type="notation:FilteringStyle" xmi:id="_J9nloun9EemFBtgp5W26GA"/> | ||
183 | </children> | ||
184 | <styles xmi:type="notation:ShapeStyle" xmi:id="_J9m-lOn9EemFBtgp5W26GA" fontName="Segoe UI" fontHeight="8"/> | ||
185 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_J9m-len9EemFBtgp5W26GA" x="363" y="168"/> | ||
186 | </children> | ||
187 | <styles xmi:type="notation:DiagramStyle" xmi:id="_JNGHoun9EemFBtgp5W26GA"/> | ||
188 | <edges xmi:type="notation:Edge" xmi:id="_J9ykwOn9EemFBtgp5W26GA" type="4001" element="_J9BvwOn9EemFBtgp5W26GA" source="_J9fp0On9EemFBtgp5W26GA" target="_J9ebsOn9EemFBtgp5W26GA"> | ||
189 | <children xmi:type="notation:Node" xmi:id="_J9zL0On9EemFBtgp5W26GA" type="6001"> | ||
190 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_J9zL0en9EemFBtgp5W26GA" y="-10"/> | ||
191 | </children> | ||
192 | <children xmi:type="notation:Node" xmi:id="_J9zy4On9EemFBtgp5W26GA" type="6002"> | ||
193 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_J9zy4en9EemFBtgp5W26GA" y="10"/> | ||
194 | </children> | ||
195 | <children xmi:type="notation:Node" xmi:id="_J90Z8On9EemFBtgp5W26GA" type="6003"> | ||
196 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_J90Z8en9EemFBtgp5W26GA" y="10"/> | ||
197 | </children> | ||
198 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_J9ykwen9EemFBtgp5W26GA" routing="Rectilinear"/> | ||
199 | <styles xmi:type="notation:FontStyle" xmi:id="_J9ykwun9EemFBtgp5W26GA" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> | ||
200 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_J9ykw-n9EemFBtgp5W26GA" points="[0, 0, 180, 60]$[-180, -60, 0, 0]"/> | ||
201 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_J-AnMOn9EemFBtgp5W26GA" id="(0.5,0.0)"/> | ||
202 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_J-AnMen9EemFBtgp5W26GA" id="(0.5,1.0)"/> | ||
203 | </edges> | ||
204 | <edges xmi:type="notation:Edge" xmi:id="_J-BOQOn9EemFBtgp5W26GA" type="4001" element="_J9H2YOn9EemFBtgp5W26GA" source="_J9j7ROn9EemFBtgp5W26GA" target="_J9fp0On9EemFBtgp5W26GA"> | ||
205 | <children xmi:type="notation:Node" xmi:id="_J-BOROn9EemFBtgp5W26GA" type="6001"> | ||
206 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_J-BORen9EemFBtgp5W26GA" y="-10"/> | ||
207 | </children> | ||
208 | <children xmi:type="notation:Node" xmi:id="_J-B1UOn9EemFBtgp5W26GA" type="6002"> | ||
209 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_J-B1Uen9EemFBtgp5W26GA" y="10"/> | ||
210 | </children> | ||
211 | <children xmi:type="notation:Node" xmi:id="_J-B1Uun9EemFBtgp5W26GA" type="6003"> | ||
212 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_J-B1U-n9EemFBtgp5W26GA" y="10"/> | ||
213 | </children> | ||
214 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_J-BOQen9EemFBtgp5W26GA" routing="Rectilinear"/> | ||
215 | <styles xmi:type="notation:FontStyle" xmi:id="_J-BOQun9EemFBtgp5W26GA" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> | ||
216 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_J-BOQ-n9EemFBtgp5W26GA" points="[0, 0, 106, 60]$[-106, -60, 0, 0]"/> | ||
217 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_J-B1VOn9EemFBtgp5W26GA" id="(0.5,0.0)"/> | ||
218 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_J-B1Ven9EemFBtgp5W26GA" id="(0.5,1.0)"/> | ||
219 | </edges> | ||
220 | <edges xmi:type="notation:Edge" xmi:id="_J-B1Vun9EemFBtgp5W26GA" type="4001" element="_J9JrkOn9EemFBtgp5W26GA" source="_J9g38On9EemFBtgp5W26GA" target="_J9j7ROn9EemFBtgp5W26GA"> | ||
221 | <children xmi:type="notation:Node" xmi:id="_J-CcYOn9EemFBtgp5W26GA" type="6001"> | ||
222 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_J-CcYen9EemFBtgp5W26GA" y="-10"/> | ||
223 | </children> | ||
224 | <children xmi:type="notation:Node" xmi:id="_J-CcYun9EemFBtgp5W26GA" type="6002"> | ||
225 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_J-CcY-n9EemFBtgp5W26GA" y="10"/> | ||
226 | </children> | ||
227 | <children xmi:type="notation:Node" xmi:id="_J-CcZOn9EemFBtgp5W26GA" type="6003"> | ||
228 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_J-CcZen9EemFBtgp5W26GA" y="10"/> | ||
229 | </children> | ||
230 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_J-B1V-n9EemFBtgp5W26GA" routing="Tree"/> | ||
231 | <styles xmi:type="notation:FontStyle" xmi:id="_J-B1WOn9EemFBtgp5W26GA" fontName="Segoe UI" fontHeight="8"/> | ||
232 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_J-B1Wen9EemFBtgp5W26GA" points="[37, 0, 37, 58]$[37, -24, 37, 34]$[1, -24, 1, 34]$[1, -58, 1, 0]"/> | ||
233 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_J-DDcOn9EemFBtgp5W26GA" id="(0.5,0.0)"/> | ||
234 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_J-DDcen9EemFBtgp5W26GA" id="(0.5,1.0)"/> | ||
235 | </edges> | ||
236 | <edges xmi:type="notation:Edge" xmi:id="_J-DDcun9EemFBtgp5W26GA" type="4001" element="_J9NV8-n9EemFBtgp5W26GA" source="_J9mXgOn9EemFBtgp5W26GA" target="_J9jUMOn9EemFBtgp5W26GA"> | ||
237 | <children xmi:type="notation:Node" xmi:id="_J-DDdun9EemFBtgp5W26GA" type="6001"> | ||
238 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_J-DDd-n9EemFBtgp5W26GA" y="-10"/> | ||
239 | </children> | ||
240 | <children xmi:type="notation:Node" xmi:id="_J-DqgOn9EemFBtgp5W26GA" type="6002"> | ||
241 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_J-Dqgen9EemFBtgp5W26GA" y="10"/> | ||
242 | </children> | ||
243 | <children xmi:type="notation:Node" xmi:id="_J-Dqgun9EemFBtgp5W26GA" type="6003"> | ||
244 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_J-Dqg-n9EemFBtgp5W26GA" y="10"/> | ||
245 | </children> | ||
246 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_J-DDc-n9EemFBtgp5W26GA" routing="Tree"/> | ||
247 | <styles xmi:type="notation:FontStyle" xmi:id="_J-DDdOn9EemFBtgp5W26GA" fontName="Segoe UI" fontHeight="8"/> | ||
248 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_J-DDden9EemFBtgp5W26GA" points="[0, 0, 108, 58]$[0, -24, 108, 34]$[-107, -24, 1, 34]$[-107, -58, 1, 0]"/> | ||
249 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_J-ERkOn9EemFBtgp5W26GA" id="(0.5,0.0)"/> | ||
250 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_J-ERken9EemFBtgp5W26GA" id="(0.5,1.0)"/> | ||
251 | </edges> | ||
252 | <edges xmi:type="notation:Edge" xmi:id="_J-ERkun9EemFBtgp5W26GA" type="4001" element="_J9OkEOn9EemFBtgp5W26GA" source="_J9g39-n9EemFBtgp5W26GA" target="_J9aKQOn9EemFBtgp5W26GA"> | ||
253 | <children xmi:type="notation:Node" xmi:id="_J-ERlun9EemFBtgp5W26GA" type="6001"> | ||
254 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_J-ERl-n9EemFBtgp5W26GA" y="-10"/> | ||
255 | </children> | ||
256 | <children xmi:type="notation:Node" xmi:id="_J-ERmOn9EemFBtgp5W26GA" type="6002"> | ||
257 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_J-ERmen9EemFBtgp5W26GA" y="10"/> | ||
258 | </children> | ||
259 | <children xmi:type="notation:Node" xmi:id="_J-ERmun9EemFBtgp5W26GA" type="6003"> | ||
260 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_J-ERm-n9EemFBtgp5W26GA" y="10"/> | ||
261 | </children> | ||
262 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_J-ERk-n9EemFBtgp5W26GA" routing="Tree"/> | ||
263 | <styles xmi:type="notation:FontStyle" xmi:id="_J-ERlOn9EemFBtgp5W26GA" fontName="Segoe UI" fontHeight="8"/> | ||
264 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_J-ERlen9EemFBtgp5W26GA" points="[0, 0, -270, 60]$[270, -60, 0, 0]"/> | ||
265 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_J-E4oOn9EemFBtgp5W26GA" id="(0.5,0.0)"/> | ||
266 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_J-E4oen9EemFBtgp5W26GA" id="(0.5,1.0)"/> | ||
267 | </edges> | ||
268 | <edges xmi:type="notation:Edge" xmi:id="_J-E4oun9EemFBtgp5W26GA" type="4001" element="_J9PLIOn9EemFBtgp5W26GA" source="_J9lJZOn9EemFBtgp5W26GA" target="_J9aKQOn9EemFBtgp5W26GA"> | ||
269 | <children xmi:type="notation:Node" xmi:id="_J-E4pun9EemFBtgp5W26GA" type="6001"> | ||
270 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_J-E4p-n9EemFBtgp5W26GA" y="-10"/> | ||
271 | </children> | ||
272 | <children xmi:type="notation:Node" xmi:id="_J-E4qOn9EemFBtgp5W26GA" type="6002"> | ||
273 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_J-E4qen9EemFBtgp5W26GA" y="10"/> | ||
274 | </children> | ||
275 | <children xmi:type="notation:Node" xmi:id="_J-E4qun9EemFBtgp5W26GA" type="6003"> | ||
276 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_J-E4q-n9EemFBtgp5W26GA" y="10"/> | ||
277 | </children> | ||
278 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_J-E4o-n9EemFBtgp5W26GA" routing="Tree"/> | ||
279 | <styles xmi:type="notation:FontStyle" xmi:id="_J-E4pOn9EemFBtgp5W26GA" fontName="Segoe UI" fontHeight="8"/> | ||
280 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_J-E4pen9EemFBtgp5W26GA" points="[0, 0, 115, 60]$[-115, -60, 0, 0]"/> | ||
281 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_J-FfsOn9EemFBtgp5W26GA" id="(0.5,0.0)"/> | ||
282 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_J-Ffsen9EemFBtgp5W26GA" id="(0.5,1.0)"/> | ||
283 | </edges> | ||
284 | <edges xmi:type="notation:Edge" xmi:id="_J-Ffsun9EemFBtgp5W26GA" type="4001" element="_J9PyMOn9EemFBtgp5W26GA" source="_J9hfBOn9EemFBtgp5W26GA" target="_J9jUMOn9EemFBtgp5W26GA"> | ||
285 | <children xmi:type="notation:Node" xmi:id="_J-Fftun9EemFBtgp5W26GA" type="6001"> | ||
286 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_J-Fft-n9EemFBtgp5W26GA" y="-10"/> | ||
287 | </children> | ||
288 | <children xmi:type="notation:Node" xmi:id="_J-GGwOn9EemFBtgp5W26GA" type="6002"> | ||
289 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_J-GGwen9EemFBtgp5W26GA" y="10"/> | ||
290 | </children> | ||
291 | <children xmi:type="notation:Node" xmi:id="_J-GGwun9EemFBtgp5W26GA" type="6003"> | ||
292 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_J-GGw-n9EemFBtgp5W26GA" y="10"/> | ||
293 | </children> | ||
294 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_J-Ffs-n9EemFBtgp5W26GA" routing="Tree"/> | ||
295 | <styles xmi:type="notation:FontStyle" xmi:id="_J-FftOn9EemFBtgp5W26GA" fontName="Segoe UI" fontHeight="8"/> | ||
296 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_J-Fften9EemFBtgp5W26GA" points="[-35, 0, -35, 214]$[-35, -180, -35, 34]$[1, -180, 1, 34]$[1, -214, 1, 0]"/> | ||
297 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_J-GGxOn9EemFBtgp5W26GA" id="(0.5,0.0)"/> | ||
298 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_J-GGxen9EemFBtgp5W26GA" id="(0.5,1.0)"/> | ||
299 | </edges> | ||
300 | <edges xmi:type="notation:Edge" xmi:id="_J-GGxun9EemFBtgp5W26GA" type="4001" element="_J9QZQOn9EemFBtgp5W26GA" source="_J9hfBOn9EemFBtgp5W26GA" target="_J9j7ROn9EemFBtgp5W26GA"> | ||
301 | <children xmi:type="notation:Node" xmi:id="_J-Gt0On9EemFBtgp5W26GA" type="6001"> | ||
302 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_J-Gt0en9EemFBtgp5W26GA" y="-10"/> | ||
303 | </children> | ||
304 | <children xmi:type="notation:Node" xmi:id="_J-Gt0un9EemFBtgp5W26GA" type="6002"> | ||
305 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_J-Gt0-n9EemFBtgp5W26GA" y="10"/> | ||
306 | </children> | ||
307 | <children xmi:type="notation:Node" xmi:id="_J-Gt1On9EemFBtgp5W26GA" type="6003"> | ||
308 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_J-Gt1en9EemFBtgp5W26GA" y="10"/> | ||
309 | </children> | ||
310 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_J-GGx-n9EemFBtgp5W26GA" routing="Tree"/> | ||
311 | <styles xmi:type="notation:FontStyle" xmi:id="_J-GGyOn9EemFBtgp5W26GA" fontName="Segoe UI" fontHeight="8"/> | ||
312 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_J-GGyen9EemFBtgp5W26GA" points="[0, 0, -288, 58]$[0, -24, -288, 34]$[289, -24, 1, 34]$[289, -58, 1, 0]"/> | ||
313 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_J-Gt1un9EemFBtgp5W26GA" id="(0.5,0.0)"/> | ||
314 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_J-Gt1-n9EemFBtgp5W26GA" id="(0.5,1.0)"/> | ||
315 | </edges> | ||
316 | <edges xmi:type="notation:Edge" xmi:id="_J-Gt2On9EemFBtgp5W26GA" type="4001" element="_J9RAU-n9EemFBtgp5W26GA" source="_J9kiU-n9EemFBtgp5W26GA" target="_J9aKQOn9EemFBtgp5W26GA"> | ||
317 | <children xmi:type="notation:Node" xmi:id="_J-HU4On9EemFBtgp5W26GA" type="6001"> | ||
318 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_J-HU4en9EemFBtgp5W26GA" y="-10"/> | ||
319 | </children> | ||
320 | <children xmi:type="notation:Node" xmi:id="_J-HU4un9EemFBtgp5W26GA" type="6002"> | ||
321 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_J-HU4-n9EemFBtgp5W26GA" y="10"/> | ||
322 | </children> | ||
323 | <children xmi:type="notation:Node" xmi:id="_J-HU5On9EemFBtgp5W26GA" type="6003"> | ||
324 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_J-HU5en9EemFBtgp5W26GA" y="10"/> | ||
325 | </children> | ||
326 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_J-Gt2en9EemFBtgp5W26GA" routing="Tree"/> | ||
327 | <styles xmi:type="notation:FontStyle" xmi:id="_J-Gt2un9EemFBtgp5W26GA" fontName="Segoe UI" fontHeight="8"/> | ||
328 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_J-Gt2-n9EemFBtgp5W26GA" points="[0, 0, -65, 60]$[65, -60, 0, 0]"/> | ||
329 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_J-H78On9EemFBtgp5W26GA" id="(0.5,0.0)"/> | ||
330 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_J-H78en9EemFBtgp5W26GA" id="(0.5,1.0)"/> | ||
331 | </edges> | ||
332 | <edges xmi:type="notation:Edge" xmi:id="_J-H78un9EemFBtgp5W26GA" type="4001" element="_J9RnZun9EemFBtgp5W26GA" source="_J9aKQOn9EemFBtgp5W26GA" target="_J9ebsOn9EemFBtgp5W26GA"> | ||
333 | <children xmi:type="notation:Node" xmi:id="_J-H79un9EemFBtgp5W26GA" type="6001"> | ||
334 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_J-H79-n9EemFBtgp5W26GA" y="-10"/> | ||
335 | </children> | ||
336 | <children xmi:type="notation:Node" xmi:id="_J-H7-On9EemFBtgp5W26GA" type="6002"> | ||
337 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_J-H7-en9EemFBtgp5W26GA" y="10"/> | ||
338 | </children> | ||
339 | <children xmi:type="notation:Node" xmi:id="_J-IjAOn9EemFBtgp5W26GA" type="6003"> | ||
340 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_J-IjAen9EemFBtgp5W26GA" y="10"/> | ||
341 | </children> | ||
342 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_J-H78-n9EemFBtgp5W26GA" routing="Tree"/> | ||
343 | <styles xmi:type="notation:FontStyle" xmi:id="_J-H79On9EemFBtgp5W26GA" fontName="Segoe UI" fontHeight="8"/> | ||
344 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_J-H79en9EemFBtgp5W26GA" points="[0, 0, -220, 60]$[220, -60, 0, 0]"/> | ||
345 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_J-IjAun9EemFBtgp5W26GA" id="(0.5,0.0)"/> | ||
346 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_J-IjA-n9EemFBtgp5W26GA" id="(0.5,1.0)"/> | ||
347 | </edges> | ||
348 | <edges xmi:type="notation:Edge" xmi:id="_J-IjBOn9EemFBtgp5W26GA" type="4001" element="_J9SOdun9EemFBtgp5W26GA" source="_J9jUMOn9EemFBtgp5W26GA" target="_J9ebsOn9EemFBtgp5W26GA"> | ||
349 | <children xmi:type="notation:Node" xmi:id="_J-JKEOn9EemFBtgp5W26GA" type="6001"> | ||
350 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_J-JKEen9EemFBtgp5W26GA" y="-10"/> | ||
351 | </children> | ||
352 | <children xmi:type="notation:Node" xmi:id="_J-JKEun9EemFBtgp5W26GA" type="6002"> | ||
353 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_J-JKE-n9EemFBtgp5W26GA" y="10"/> | ||
354 | </children> | ||
355 | <children xmi:type="notation:Node" xmi:id="_J-JKFOn9EemFBtgp5W26GA" type="6003"> | ||
356 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_J-JKFen9EemFBtgp5W26GA" y="10"/> | ||
357 | </children> | ||
358 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_J-IjBen9EemFBtgp5W26GA" routing="Tree"/> | ||
359 | <styles xmi:type="notation:FontStyle" xmi:id="_J-IjBun9EemFBtgp5W26GA" fontName="Segoe UI" fontHeight="8"/> | ||
360 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_J-IjB-n9EemFBtgp5W26GA" points="[0, 0, 0, 60]$[0, -60, 0, 0]"/> | ||
361 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_J-JKFun9EemFBtgp5W26GA" id="(0.5,0.0)"/> | ||
362 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_J-JKF-n9EemFBtgp5W26GA" id="(0.5,1.0)"/> | ||
363 | </edges> | ||
364 | <edges xmi:type="notation:Edge" xmi:id="_J-JxIOn9EemFBtgp5W26GA" type="4001" element="_J9Tck-n9EemFBtgp5W26GA" source="_J9ebsOn9EemFBtgp5W26GA" target="_J9gQ4On9EemFBtgp5W26GA"> | ||
365 | <children xmi:type="notation:Node" xmi:id="_J-JxJOn9EemFBtgp5W26GA" type="6001"> | ||
366 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_J-JxJen9EemFBtgp5W26GA" x="1" y="-10"/> | ||
367 | </children> | ||
368 | <children xmi:type="notation:Node" xmi:id="_J-JxJun9EemFBtgp5W26GA" type="6002"> | ||
369 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_J-JxJ-n9EemFBtgp5W26GA" y="-10"/> | ||
370 | </children> | ||
371 | <children xmi:type="notation:Node" xmi:id="_J-JxKOn9EemFBtgp5W26GA" type="6003"> | ||
372 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_J-JxKen9EemFBtgp5W26GA" y="10"/> | ||
373 | </children> | ||
374 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_J-JxIen9EemFBtgp5W26GA" routing="Rectilinear"/> | ||
375 | <styles xmi:type="notation:FontStyle" xmi:id="_J-JxIun9EemFBtgp5W26GA" fontName="Segoe UI" fontHeight="8"/> | ||
376 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_J-JxI-n9EemFBtgp5W26GA" points="[-59, 50, -59, 108]$[-143, 50, -143, 108]$[-143, -106, -143, -48]$[-59, -106, -59, -48]"/> | ||
377 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_J-JxKun9EemFBtgp5W26GA" id="(0.5,0.0)"/> | ||
378 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_J-JxK-n9EemFBtgp5W26GA" id="(0.5,1.0)"/> | ||
379 | </edges> | ||
380 | <edges xmi:type="notation:Edge" xmi:id="_J-KYMOn9EemFBtgp5W26GA" type="4001" element="_J9VRw-n9EemFBtgp5W26GA" source="_J9ebsOn9EemFBtgp5W26GA" target="_J9gQ4On9EemFBtgp5W26GA"> | ||
381 | <children xmi:type="notation:Node" xmi:id="_J-KYNOn9EemFBtgp5W26GA" type="6001"> | ||
382 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_J-KYNen9EemFBtgp5W26GA" x="1" y="-10"/> | ||
383 | </children> | ||
384 | <children xmi:type="notation:Node" xmi:id="_J-KYNun9EemFBtgp5W26GA" type="6002"> | ||
385 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_J-KYN-n9EemFBtgp5W26GA" y="10"/> | ||
386 | </children> | ||
387 | <children xmi:type="notation:Node" xmi:id="_J-KYOOn9EemFBtgp5W26GA" type="6003"> | ||
388 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_J-KYOen9EemFBtgp5W26GA" y="-10"/> | ||
389 | </children> | ||
390 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_J-KYMen9EemFBtgp5W26GA" routing="Rectilinear"/> | ||
391 | <styles xmi:type="notation:FontStyle" xmi:id="_J-KYMun9EemFBtgp5W26GA" fontName="Segoe UI" fontHeight="8"/> | ||
392 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_J-KYM-n9EemFBtgp5W26GA" points="[59, 50, 59, 108]$[145, 50, 145, 108]$[145, -106, 145, -48]$[59, -106, 59, -48]"/> | ||
393 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_J-K_QOn9EemFBtgp5W26GA" id="(0.5,0.0)"/> | ||
394 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_J-K_Qen9EemFBtgp5W26GA" id="(0.5,1.0)"/> | ||
395 | </edges> | ||
396 | </data> | ||
397 | </ownedAnnotationEntries> | ||
398 | <ownedDiagramElements xmi:type="diagram:DNodeList" uid="_J8MpUOn9EemFBtgp5W26GA" name="Pseudostate" tooltipText="" outgoingEdges="_J9RnZun9EemFBtgp5W26GA" incomingEdges="_J9OkEOn9EemFBtgp5W26GA _J9PLIOn9EemFBtgp5W26GA _J9RAU-n9EemFBtgp5W26GA" width="12" height="10"> | ||
399 | <target xmi:type="ecore:EClass" href="yakindu_simplified.ecore#//Pseudostate"/> | ||
400 | <semanticElements xmi:type="ecore:EClass" href="yakindu_simplified.ecore#//Pseudostate"/> | ||
401 | <ownedStyle xmi:type="diagram:FlatContainerStyle" uid="_J8Q6wOn9EemFBtgp5W26GA" 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"> | ||
402 | <labelFormat>italic</labelFormat> | ||
403 | <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"/> | ||
404 | </ownedStyle> | ||
405 | <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']"/> | ||
406 | </ownedDiagramElements> | ||
407 | <ownedDiagramElements xmi:type="diagram:DNodeList" uid="_J8TXAOn9EemFBtgp5W26GA" name="Vertex" tooltipText="" outgoingEdges="_J9Tck-n9EemFBtgp5W26GA _J9VRw-n9EemFBtgp5W26GA" incomingEdges="_J9BvwOn9EemFBtgp5W26GA _J9RnZun9EemFBtgp5W26GA _J9SOdun9EemFBtgp5W26GA" width="12" height="10"> | ||
408 | <target xmi:type="ecore:EClass" href="yakindu_simplified.ecore#//Vertex"/> | ||
409 | <semanticElements xmi:type="ecore:EClass" href="yakindu_simplified.ecore#//Vertex"/> | ||
410 | <ownedStyle xmi:type="diagram:FlatContainerStyle" uid="_J8T-EOn9EemFBtgp5W26GA" 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"> | ||
411 | <labelFormat>italic</labelFormat> | ||
412 | <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"/> | ||
413 | </ownedStyle> | ||
414 | <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']"/> | ||
415 | </ownedDiagramElements> | ||
416 | <ownedDiagramElements xmi:type="diagram:DNodeList" uid="_J8VMMOn9EemFBtgp5W26GA" name="Region" tooltipText="" outgoingEdges="_J9BvwOn9EemFBtgp5W26GA" incomingEdges="_J9H2YOn9EemFBtgp5W26GA" width="12" height="10"> | ||
417 | <target xmi:type="ecore:EClass" href="yakindu_simplified.ecore#//Region"/> | ||
418 | <semanticElements xmi:type="ecore:EClass" href="yakindu_simplified.ecore#//Region"/> | ||
419 | <ownedStyle xmi:type="diagram:FlatContainerStyle" uid="_J8VMMen9EemFBtgp5W26GA" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216"> | ||
420 | <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"/> | ||
421 | </ownedStyle> | ||
422 | <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']"/> | ||
423 | </ownedDiagramElements> | ||
424 | <ownedDiagramElements xmi:type="diagram:DNodeList" uid="_J8WaUOn9EemFBtgp5W26GA" name="Transition" tooltipText="" incomingEdges="_J9Tck-n9EemFBtgp5W26GA _J9VRw-n9EemFBtgp5W26GA" width="12" height="10"> | ||
425 | <target xmi:type="ecore:EClass" href="yakindu_simplified.ecore#//Transition"/> | ||
426 | <semanticElements xmi:type="ecore:EClass" href="yakindu_simplified.ecore#//Transition"/> | ||
427 | <ownedStyle xmi:type="diagram:FlatContainerStyle" uid="_J8XBYOn9EemFBtgp5W26GA" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216"> | ||
428 | <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"/> | ||
429 | </ownedStyle> | ||
430 | <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']"/> | ||
431 | </ownedDiagramElements> | ||
432 | <ownedDiagramElements xmi:type="diagram:DNodeList" uid="_J8XBYun9EemFBtgp5W26GA" name="Statechart" tooltipText="" outgoingEdges="_J9JrkOn9EemFBtgp5W26GA" width="12" height="10"> | ||
433 | <target xmi:type="ecore:EClass" href="yakindu_simplified.ecore#//Statechart"/> | ||
434 | <semanticElements xmi:type="ecore:EClass" href="yakindu_simplified.ecore#//Statechart"/> | ||
435 | <ownedStyle xmi:type="diagram:FlatContainerStyle" uid="_J8XocOn9EemFBtgp5W26GA" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216"> | ||
436 | <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"/> | ||
437 | </ownedStyle> | ||
438 | <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']"/> | ||
439 | </ownedDiagramElements> | ||
440 | <ownedDiagramElements xmi:type="diagram:DNodeList" uid="_J8YPgen9EemFBtgp5W26GA" name="Entry" tooltipText="" outgoingEdges="_J9OkEOn9EemFBtgp5W26GA" width="12" height="10"> | ||
441 | <target xmi:type="ecore:EClass" href="yakindu_simplified.ecore#//Entry"/> | ||
442 | <semanticElements xmi:type="ecore:EClass" href="yakindu_simplified.ecore#//Entry"/> | ||
443 | <ownedStyle xmi:type="diagram:FlatContainerStyle" uid="_J8Y2kOn9EemFBtgp5W26GA" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216"> | ||
444 | <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"/> | ||
445 | </ownedStyle> | ||
446 | <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']"/> | ||
447 | <ownedElements xmi:type="diagram:DNodeListElement" uid="_J82JkOn9EemFBtgp5W26GA" name="Type : EntryType = Normal" tooltipText=""> | ||
448 | <target xmi:type="ecore:EAttribute" href="yakindu_simplified.ecore#//Entry/Type"/> | ||
449 | <semanticElements xmi:type="ecore:EAttribute" href="yakindu_simplified.ecore#//Entry/Type"/> | ||
450 | <ownedStyle xmi:type="diagram:BundledImage" uid="_J85M4On9EemFBtgp5W26GA" labelAlignment="LEFT" description="_J83XsOn9EemFBtgp5W26GA"> | ||
451 | <labelFormat>bold</labelFormat> | ||
452 | </ownedStyle> | ||
453 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EAttribute']"/> | ||
454 | </ownedElements> | ||
455 | </ownedDiagramElements> | ||
456 | <ownedDiagramElements xmi:type="diagram:DNodeList" uid="_J8ZdoOn9EemFBtgp5W26GA" name="State" tooltipText="" outgoingEdges="_J9PyMOn9EemFBtgp5W26GA _J9QZQOn9EemFBtgp5W26GA" width="12" height="10"> | ||
457 | <target xmi:type="ecore:EClass" href="yakindu_simplified.ecore#//State"/> | ||
458 | <semanticElements xmi:type="ecore:EClass" href="yakindu_simplified.ecore#//State"/> | ||
459 | <ownedStyle xmi:type="diagram:FlatContainerStyle" uid="_J8aEsOn9EemFBtgp5W26GA" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216"> | ||
460 | <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"/> | ||
461 | </ownedStyle> | ||
462 | <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']"/> | ||
463 | </ownedDiagramElements> | ||
464 | <ownedDiagramElements xmi:type="diagram:DNodeList" uid="_J8arwOn9EemFBtgp5W26GA" name="RegularState" tooltipText="" outgoingEdges="_J9SOdun9EemFBtgp5W26GA" incomingEdges="_J9NV8-n9EemFBtgp5W26GA _J9PyMOn9EemFBtgp5W26GA" width="12" height="10"> | ||
465 | <target xmi:type="ecore:EClass" href="yakindu_simplified.ecore#//RegularState"/> | ||
466 | <semanticElements xmi:type="ecore:EClass" href="yakindu_simplified.ecore#//RegularState"/> | ||
467 | <ownedStyle xmi:type="diagram:FlatContainerStyle" uid="_J8arwen9EemFBtgp5W26GA" 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"> | ||
468 | <labelFormat>italic</labelFormat> | ||
469 | <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"/> | ||
470 | </ownedStyle> | ||
471 | <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']"/> | ||
472 | </ownedDiagramElements> | ||
473 | <ownedDiagramElements xmi:type="diagram:DNodeList" uid="_J8b54On9EemFBtgp5W26GA" name="CompositeElement" tooltipText="" outgoingEdges="_J9H2YOn9EemFBtgp5W26GA" incomingEdges="_J9JrkOn9EemFBtgp5W26GA _J9QZQOn9EemFBtgp5W26GA" width="12" height="10"> | ||
474 | <target xmi:type="ecore:EClass" href="yakindu_simplified.ecore#//CompositeElement"/> | ||
475 | <semanticElements xmi:type="ecore:EClass" href="yakindu_simplified.ecore#//CompositeElement"/> | ||
476 | <ownedStyle xmi:type="diagram:FlatContainerStyle" uid="_J8cg8On9EemFBtgp5W26GA" 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"> | ||
477 | <labelFormat>italic</labelFormat> | ||
478 | <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"/> | ||
479 | </ownedStyle> | ||
480 | <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']"/> | ||
481 | </ownedDiagramElements> | ||
482 | <ownedDiagramElements xmi:type="diagram:DNodeList" uid="_J8dvEOn9EemFBtgp5W26GA" name="Choice" tooltipText="" outgoingEdges="_J9RAU-n9EemFBtgp5W26GA" width="12" height="10"> | ||
483 | <target xmi:type="ecore:EClass" href="yakindu_simplified.ecore#//Choice"/> | ||
484 | <semanticElements xmi:type="ecore:EClass" href="yakindu_simplified.ecore#//Choice"/> | ||
485 | <ownedStyle xmi:type="diagram:FlatContainerStyle" uid="_J8eWIOn9EemFBtgp5W26GA" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216"> | ||
486 | <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"/> | ||
487 | </ownedStyle> | ||
488 | <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']"/> | ||
489 | </ownedDiagramElements> | ||
490 | <ownedDiagramElements xmi:type="diagram:DNodeList" uid="_J8fkQOn9EemFBtgp5W26GA" name="Exit" tooltipText="" outgoingEdges="_J9PLIOn9EemFBtgp5W26GA" width="12" height="10"> | ||
491 | <target xmi:type="ecore:EClass" href="yakindu_simplified.ecore#//Exit"/> | ||
492 | <semanticElements xmi:type="ecore:EClass" href="yakindu_simplified.ecore#//Exit"/> | ||
493 | <ownedStyle xmi:type="diagram:FlatContainerStyle" uid="_J8gLUOn9EemFBtgp5W26GA" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216"> | ||
494 | <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"/> | ||
495 | </ownedStyle> | ||
496 | <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']"/> | ||
497 | </ownedDiagramElements> | ||
498 | <ownedDiagramElements xmi:type="diagram:DNodeList" uid="_J8gyYOn9EemFBtgp5W26GA" name="FinalState" tooltipText="" outgoingEdges="_J9NV8-n9EemFBtgp5W26GA" width="12" height="10"> | ||
499 | <target xmi:type="ecore:EClass" href="yakindu_simplified.ecore#//FinalState"/> | ||
500 | <semanticElements xmi:type="ecore:EClass" href="yakindu_simplified.ecore#//FinalState"/> | ||
501 | <ownedStyle xmi:type="diagram:FlatContainerStyle" uid="_J8gyYen9EemFBtgp5W26GA" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216"> | ||
502 | <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"/> | ||
503 | </ownedStyle> | ||
504 | <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']"/> | ||
505 | </ownedDiagramElements> | ||
506 | <ownedDiagramElements xmi:type="diagram:DNodeList" uid="_J8iAgOn9EemFBtgp5W26GA" name="EntryType" tooltipText="" width="12" height="10"> | ||
507 | <target xmi:type="ecore:EEnum" href="yakindu_simplified.ecore#//EntryType"/> | ||
508 | <semanticElements xmi:type="ecore:EEnum" href="yakindu_simplified.ecore#//EntryType"/> | ||
509 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> | ||
510 | <arrangeConstraints>KEEP_SIZE</arrangeConstraints> | ||
511 | <arrangeConstraints>KEEP_RATIO</arrangeConstraints> | ||
512 | <ownedStyle xmi:type="diagram:FlatContainerStyle" uid="_J8iAgen9EemFBtgp5W26GA" borderSize="1" borderSizeComputationExpression="1" borderColor="125,125,125" backgroundStyle="Liquid" foregroundColor="221,236,202"> | ||
513 | <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%20EEnum']/@style"/> | ||
514 | </ownedStyle> | ||
515 | <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%20EEnum']"/> | ||
516 | <ownedElements xmi:type="diagram:DNodeListElement" uid="_J883QOn9EemFBtgp5W26GA" name="Normal" tooltipText=""> | ||
517 | <target xmi:type="ecore:EEnumLiteral" href="yakindu_simplified.ecore#//EntryType/Normal"/> | ||
518 | <semanticElements xmi:type="ecore:EEnumLiteral" href="yakindu_simplified.ecore#//EntryType/Normal"/> | ||
519 | <ownedStyle xmi:type="diagram:BundledImage" uid="_J883Qen9EemFBtgp5W26GA" labelAlignment="LEFT"> | ||
520 | <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EEnum']/@subNodeMappings[name='EC%20EEnumLiteral']/@style"/> | ||
521 | </ownedStyle> | ||
522 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EEnum']/@subNodeMappings[name='EC%20EEnumLiteral']"/> | ||
523 | </ownedElements> | ||
524 | <ownedElements xmi:type="diagram:DNodeListElement" uid="_J883Qun9EemFBtgp5W26GA" name="History" tooltipText=""> | ||
525 | <target xmi:type="ecore:EEnumLiteral" href="yakindu_simplified.ecore#//EntryType/History"/> | ||
526 | <semanticElements xmi:type="ecore:EEnumLiteral" href="yakindu_simplified.ecore#//EntryType/History"/> | ||
527 | <ownedStyle xmi:type="diagram:BundledImage" uid="_J883Q-n9EemFBtgp5W26GA" labelAlignment="LEFT"> | ||
528 | <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EEnum']/@subNodeMappings[name='EC%20EEnumLiteral']/@style"/> | ||
529 | </ownedStyle> | ||
530 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EEnum']/@subNodeMappings[name='EC%20EEnumLiteral']"/> | ||
531 | </ownedElements> | ||
532 | <ownedElements xmi:type="diagram:DNodeListElement" uid="_J89eUOn9EemFBtgp5W26GA" name="DeepHistory" tooltipText=""> | ||
533 | <target xmi:type="ecore:EEnumLiteral" href="yakindu_simplified.ecore#//EntryType/DeepHistory"/> | ||
534 | <semanticElements xmi:type="ecore:EEnumLiteral" href="yakindu_simplified.ecore#//EntryType/DeepHistory"/> | ||
535 | <ownedStyle xmi:type="diagram:BundledImage" uid="_J89eUen9EemFBtgp5W26GA" labelAlignment="LEFT"> | ||
536 | <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EEnum']/@subNodeMappings[name='EC%20EEnumLiteral']/@style"/> | ||
537 | </ownedStyle> | ||
538 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EEnum']/@subNodeMappings[name='EC%20EEnumLiteral']"/> | ||
539 | </ownedElements> | ||
540 | </ownedDiagramElements> | ||
541 | <ownedDiagramElements xmi:type="diagram:DEdge" uid="_J9BvwOn9EemFBtgp5W26GA" name="[0..*] vertices" sourceNode="_J8VMMOn9EemFBtgp5W26GA" targetNode="_J8TXAOn9EemFBtgp5W26GA"> | ||
542 | <target xmi:type="ecore:EReference" href="yakindu_simplified.ecore#//Region/vertices"/> | ||
543 | <semanticElements xmi:type="ecore:EReference" href="yakindu_simplified.ecore#//Region/vertices"/> | ||
544 | <ownedStyle xmi:type="diagram:EdgeStyle" uid="_J9EzEOn9EemFBtgp5W26GA" description="_J9Dk8On9EemFBtgp5W26GA" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0"> | ||
545 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" uid="_J9FaIen9EemFBtgp5W26GA" showIcon="false"> | ||
546 | <customFeatures>labelSize</customFeatures> | ||
547 | </centerLabelStyle> | ||
548 | <endLabelStyle xmi:type="diagram:EndLabelStyle" uid="_J9FaIOn9EemFBtgp5W26GA" showIcon="false" labelColor="39,76,114"> | ||
549 | <customFeatures>labelSize</customFeatures> | ||
550 | </endLabelStyle> | ||
551 | </ownedStyle> | ||
552 | <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']"/> | ||
553 | </ownedDiagramElements> | ||
554 | <ownedDiagramElements xmi:type="diagram:DEdge" uid="_J9H2YOn9EemFBtgp5W26GA" name="[0..*] regions" sourceNode="_J8b54On9EemFBtgp5W26GA" targetNode="_J8VMMOn9EemFBtgp5W26GA"> | ||
555 | <target xmi:type="ecore:EReference" href="yakindu_simplified.ecore#//CompositeElement/regions"/> | ||
556 | <semanticElements xmi:type="ecore:EReference" href="yakindu_simplified.ecore#//CompositeElement/regions"/> | ||
557 | <ownedStyle xmi:type="diagram:EdgeStyle" uid="_J9IdcOn9EemFBtgp5W26GA" description="_J9Dk8On9EemFBtgp5W26GA" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0"> | ||
558 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" uid="_J9Idcun9EemFBtgp5W26GA" showIcon="false"> | ||
559 | <customFeatures>labelSize</customFeatures> | ||
560 | </centerLabelStyle> | ||
561 | <endLabelStyle xmi:type="diagram:EndLabelStyle" uid="_J9Idcen9EemFBtgp5W26GA" showIcon="false" labelColor="39,76,114"> | ||
562 | <customFeatures>labelSize</customFeatures> | ||
563 | </endLabelStyle> | ||
564 | </ownedStyle> | ||
565 | <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']"/> | ||
566 | </ownedDiagramElements> | ||
567 | <ownedDiagramElements xmi:type="diagram:DEdge" uid="_J9JrkOn9EemFBtgp5W26GA" sourceNode="_J8XBYun9EemFBtgp5W26GA" targetNode="_J8b54On9EemFBtgp5W26GA"> | ||
568 | <target xmi:type="ecore:EClass" href="yakindu_simplified.ecore#//Statechart"/> | ||
569 | <semanticElements xmi:type="ecore:EClass" href="yakindu_simplified.ecore#//Statechart"/> | ||
570 | <ownedStyle xmi:type="diagram:EdgeStyle" uid="_J9MH0On9EemFBtgp5W26GA" targetArrow="InputClosedArrow" routingStyle="tree"> | ||
571 | <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"/> | ||
572 | <beginLabelStyle xmi:type="diagram:BeginLabelStyle" uid="_J9Mu4On9EemFBtgp5W26GA" showIcon="false"> | ||
573 | <labelFormat>italic</labelFormat> | ||
574 | </beginLabelStyle> | ||
575 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" uid="_J9Mu4en9EemFBtgp5W26GA" showIcon="false"/> | ||
576 | </ownedStyle> | ||
577 | <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']"/> | ||
578 | </ownedDiagramElements> | ||
579 | <ownedDiagramElements xmi:type="diagram:DEdge" uid="_J9NV8-n9EemFBtgp5W26GA" sourceNode="_J8gyYOn9EemFBtgp5W26GA" targetNode="_J8arwOn9EemFBtgp5W26GA"> | ||
580 | <target xmi:type="ecore:EClass" href="yakindu_simplified.ecore#//FinalState"/> | ||
581 | <semanticElements xmi:type="ecore:EClass" href="yakindu_simplified.ecore#//FinalState"/> | ||
582 | <ownedStyle xmi:type="diagram:EdgeStyle" uid="_J9N9AOn9EemFBtgp5W26GA" targetArrow="InputClosedArrow" routingStyle="tree"> | ||
583 | <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"/> | ||
584 | <beginLabelStyle xmi:type="diagram:BeginLabelStyle" uid="_J9N9Aen9EemFBtgp5W26GA" showIcon="false"> | ||
585 | <labelFormat>italic</labelFormat> | ||
586 | </beginLabelStyle> | ||
587 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" uid="_J9N9Aun9EemFBtgp5W26GA" showIcon="false"/> | ||
588 | </ownedStyle> | ||
589 | <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']"/> | ||
590 | </ownedDiagramElements> | ||
591 | <ownedDiagramElements xmi:type="diagram:DEdge" uid="_J9OkEOn9EemFBtgp5W26GA" sourceNode="_J8YPgen9EemFBtgp5W26GA" targetNode="_J8MpUOn9EemFBtgp5W26GA"> | ||
592 | <target xmi:type="ecore:EClass" href="yakindu_simplified.ecore#//Entry"/> | ||
593 | <semanticElements xmi:type="ecore:EClass" href="yakindu_simplified.ecore#//Entry"/> | ||
594 | <ownedStyle xmi:type="diagram:EdgeStyle" uid="_J9OkEen9EemFBtgp5W26GA" targetArrow="InputClosedArrow" routingStyle="tree"> | ||
595 | <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"/> | ||
596 | <beginLabelStyle xmi:type="diagram:BeginLabelStyle" uid="_J9OkEun9EemFBtgp5W26GA" showIcon="false"> | ||
597 | <labelFormat>italic</labelFormat> | ||
598 | </beginLabelStyle> | ||
599 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" uid="_J9OkE-n9EemFBtgp5W26GA" showIcon="false"/> | ||
600 | </ownedStyle> | ||
601 | <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']"/> | ||
602 | </ownedDiagramElements> | ||
603 | <ownedDiagramElements xmi:type="diagram:DEdge" uid="_J9PLIOn9EemFBtgp5W26GA" sourceNode="_J8fkQOn9EemFBtgp5W26GA" targetNode="_J8MpUOn9EemFBtgp5W26GA"> | ||
604 | <target xmi:type="ecore:EClass" href="yakindu_simplified.ecore#//Exit"/> | ||
605 | <semanticElements xmi:type="ecore:EClass" href="yakindu_simplified.ecore#//Exit"/> | ||
606 | <ownedStyle xmi:type="diagram:EdgeStyle" uid="_J9PLIen9EemFBtgp5W26GA" targetArrow="InputClosedArrow" routingStyle="tree"> | ||
607 | <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"/> | ||
608 | <beginLabelStyle xmi:type="diagram:BeginLabelStyle" uid="_J9PLIun9EemFBtgp5W26GA" showIcon="false"> | ||
609 | <labelFormat>italic</labelFormat> | ||
610 | </beginLabelStyle> | ||
611 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" uid="_J9PLI-n9EemFBtgp5W26GA" showIcon="false"/> | ||
612 | </ownedStyle> | ||
613 | <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']"/> | ||
614 | </ownedDiagramElements> | ||
615 | <ownedDiagramElements xmi:type="diagram:DEdge" uid="_J9PyMOn9EemFBtgp5W26GA" sourceNode="_J8ZdoOn9EemFBtgp5W26GA" targetNode="_J8arwOn9EemFBtgp5W26GA"> | ||
616 | <target xmi:type="ecore:EClass" href="yakindu_simplified.ecore#//State"/> | ||
617 | <semanticElements xmi:type="ecore:EClass" href="yakindu_simplified.ecore#//State"/> | ||
618 | <ownedStyle xmi:type="diagram:EdgeStyle" uid="_J9PyMen9EemFBtgp5W26GA" targetArrow="InputClosedArrow" routingStyle="tree"> | ||
619 | <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"/> | ||
620 | <beginLabelStyle xmi:type="diagram:BeginLabelStyle" uid="_J9PyMun9EemFBtgp5W26GA" showIcon="false"> | ||
621 | <labelFormat>italic</labelFormat> | ||
622 | </beginLabelStyle> | ||
623 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" uid="_J9PyM-n9EemFBtgp5W26GA" showIcon="false"/> | ||
624 | </ownedStyle> | ||
625 | <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']"/> | ||
626 | </ownedDiagramElements> | ||
627 | <ownedDiagramElements xmi:type="diagram:DEdge" uid="_J9QZQOn9EemFBtgp5W26GA" sourceNode="_J8ZdoOn9EemFBtgp5W26GA" targetNode="_J8b54On9EemFBtgp5W26GA"> | ||
628 | <target xmi:type="ecore:EClass" href="yakindu_simplified.ecore#//State"/> | ||
629 | <semanticElements xmi:type="ecore:EClass" href="yakindu_simplified.ecore#//State"/> | ||
630 | <ownedStyle xmi:type="diagram:EdgeStyle" uid="_J9QZQen9EemFBtgp5W26GA" targetArrow="InputClosedArrow" routingStyle="tree"> | ||
631 | <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"/> | ||
632 | <beginLabelStyle xmi:type="diagram:BeginLabelStyle" uid="_J9QZQun9EemFBtgp5W26GA" showIcon="false"> | ||
633 | <labelFormat>italic</labelFormat> | ||
634 | </beginLabelStyle> | ||
635 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" uid="_J9QZQ-n9EemFBtgp5W26GA" showIcon="false"/> | ||
636 | </ownedStyle> | ||
637 | <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']"/> | ||
638 | </ownedDiagramElements> | ||
639 | <ownedDiagramElements xmi:type="diagram:DEdge" uid="_J9RAU-n9EemFBtgp5W26GA" sourceNode="_J8dvEOn9EemFBtgp5W26GA" targetNode="_J8MpUOn9EemFBtgp5W26GA"> | ||
640 | <target xmi:type="ecore:EClass" href="yakindu_simplified.ecore#//Choice"/> | ||
641 | <semanticElements xmi:type="ecore:EClass" href="yakindu_simplified.ecore#//Choice"/> | ||
642 | <ownedStyle xmi:type="diagram:EdgeStyle" uid="_J9RnYOn9EemFBtgp5W26GA" targetArrow="InputClosedArrow" routingStyle="tree"> | ||
643 | <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"/> | ||
644 | <beginLabelStyle xmi:type="diagram:BeginLabelStyle" uid="_J9RnYen9EemFBtgp5W26GA" showIcon="false"> | ||
645 | <labelFormat>italic</labelFormat> | ||
646 | </beginLabelStyle> | ||
647 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" uid="_J9RnYun9EemFBtgp5W26GA" showIcon="false"/> | ||
648 | </ownedStyle> | ||
649 | <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']"/> | ||
650 | </ownedDiagramElements> | ||
651 | <ownedDiagramElements xmi:type="diagram:DEdge" uid="_J9RnZun9EemFBtgp5W26GA" sourceNode="_J8MpUOn9EemFBtgp5W26GA" targetNode="_J8TXAOn9EemFBtgp5W26GA"> | ||
652 | <target xmi:type="ecore:EClass" href="yakindu_simplified.ecore#//Pseudostate"/> | ||
653 | <semanticElements xmi:type="ecore:EClass" href="yakindu_simplified.ecore#//Pseudostate"/> | ||
654 | <ownedStyle xmi:type="diagram:EdgeStyle" uid="_J9SOcOn9EemFBtgp5W26GA" targetArrow="InputClosedArrow" routingStyle="tree"> | ||
655 | <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"/> | ||
656 | <beginLabelStyle xmi:type="diagram:BeginLabelStyle" uid="_J9SOcen9EemFBtgp5W26GA" showIcon="false"> | ||
657 | <labelFormat>italic</labelFormat> | ||
658 | </beginLabelStyle> | ||
659 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" uid="_J9SOcun9EemFBtgp5W26GA" showIcon="false"/> | ||
660 | </ownedStyle> | ||
661 | <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']"/> | ||
662 | </ownedDiagramElements> | ||
663 | <ownedDiagramElements xmi:type="diagram:DEdge" uid="_J9SOdun9EemFBtgp5W26GA" sourceNode="_J8arwOn9EemFBtgp5W26GA" targetNode="_J8TXAOn9EemFBtgp5W26GA"> | ||
664 | <target xmi:type="ecore:EClass" href="yakindu_simplified.ecore#//RegularState"/> | ||
665 | <semanticElements xmi:type="ecore:EClass" href="yakindu_simplified.ecore#//RegularState"/> | ||
666 | <ownedStyle xmi:type="diagram:EdgeStyle" uid="_J9S1gOn9EemFBtgp5W26GA" targetArrow="InputClosedArrow" routingStyle="tree"> | ||
667 | <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"/> | ||
668 | <beginLabelStyle xmi:type="diagram:BeginLabelStyle" uid="_J9S1gen9EemFBtgp5W26GA" showIcon="false"> | ||
669 | <labelFormat>italic</labelFormat> | ||
670 | </beginLabelStyle> | ||
671 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" uid="_J9S1gun9EemFBtgp5W26GA" showIcon="false"/> | ||
672 | </ownedStyle> | ||
673 | <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']"/> | ||
674 | </ownedDiagramElements> | ||
675 | <ownedDiagramElements xmi:type="diagram:DEdge" uid="_J9Tck-n9EemFBtgp5W26GA" sourceNode="_J8TXAOn9EemFBtgp5W26GA" targetNode="_J8WaUOn9EemFBtgp5W26GA" beginLabel="[0..1] source" endLabel="[0..*] outgoingTransitions"> | ||
676 | <target xmi:type="ecore:EReference" href="yakindu_simplified.ecore#//Vertex/outgoingTransitions"/> | ||
677 | <semanticElements xmi:type="ecore:EReference" href="yakindu_simplified.ecore#//Vertex/outgoingTransitions"/> | ||
678 | <semanticElements xmi:type="ecore:EReference" href="yakindu_simplified.ecore#//Transition/source"/> | ||
679 | <ownedStyle xmi:type="diagram:EdgeStyle" uid="_J9Uqs-n9EemFBtgp5W26GA" description="_J9UqsOn9EemFBtgp5W26GA" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0"> | ||
680 | <beginLabelStyle xmi:type="diagram:BeginLabelStyle" uid="_J9UqtOn9EemFBtgp5W26GA" showIcon="false"/> | ||
681 | <endLabelStyle xmi:type="diagram:EndLabelStyle" uid="_J9Uqten9EemFBtgp5W26GA" showIcon="false"/> | ||
682 | </ownedStyle> | ||
683 | <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']"/> | ||
684 | </ownedDiagramElements> | ||
685 | <ownedDiagramElements xmi:type="diagram:DEdge" uid="_J9VRw-n9EemFBtgp5W26GA" sourceNode="_J8TXAOn9EemFBtgp5W26GA" targetNode="_J8WaUOn9EemFBtgp5W26GA" beginLabel="[1..1] target" endLabel="[0..*] incomingTransitions"> | ||
686 | <target xmi:type="ecore:EReference" href="yakindu_simplified.ecore#//Vertex/incomingTransitions"/> | ||
687 | <semanticElements xmi:type="ecore:EReference" href="yakindu_simplified.ecore#//Vertex/incomingTransitions"/> | ||
688 | <semanticElements xmi:type="ecore:EReference" href="yakindu_simplified.ecore#//Transition/target"/> | ||
689 | <ownedStyle xmi:type="diagram:EdgeStyle" uid="_J9V40On9EemFBtgp5W26GA" sourceArrow="InputArrow" routingStyle="manhattan" strokeColor="0,0,0"> | ||
690 | <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='Bi-directional%20EC_EReference%20']/@style"/> | ||
691 | <beginLabelStyle xmi:type="diagram:BeginLabelStyle" uid="_J9V40en9EemFBtgp5W26GA" showIcon="false"/> | ||
692 | <endLabelStyle xmi:type="diagram:EndLabelStyle" uid="_J9V40un9EemFBtgp5W26GA" showIcon="false"/> | ||
693 | </ownedStyle> | ||
694 | <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']"/> | ||
695 | </ownedDiagramElements> | ||
696 | <description xmi:type="description_1:DiagramDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']"/> | ||
697 | <filterVariableHistory xmi:type="diagram:FilterVariableHistory" uid="_JLMDIOn9EemFBtgp5W26GA"/> | ||
698 | <activatedLayers xmi:type="description_1:Layer" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer"/> | ||
699 | <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']"/> | ||
700 | <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']"/> | ||
701 | <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']"/> | ||
702 | <target xmi:type="ecore:EPackage" href="yakindu_simplified.ecore#/"/> | ||
703 | </diagram:DSemanticDiagram> | ||
704 | </xmi:XMI> | ||
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/input/yakindu_simplified.ecore b/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/input/yakindu_simplified.ecore new file mode 100644 index 00000000..02b57252 --- /dev/null +++ b/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/input/yakindu_simplified.ecore | |||
@@ -0,0 +1,39 @@ | |||
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="yakindumm" nsURI="hu.bme.mit.inf.yakindumm" nsPrefix="ca.mcgill.ecse.yakindumm"> | ||
4 | <eClassifiers xsi:type="ecore:EClass" name="Pseudostate" abstract="true" eSuperTypes="#//Vertex"/> | ||
5 | <eClassifiers xsi:type="ecore:EClass" name="Vertex" abstract="true"> | ||
6 | <eStructuralFeatures xsi:type="ecore:EReference" name="incomingTransitions" ordered="false" | ||
7 | upperBound="-1" eType="#//Transition" eOpposite="#//Transition/target"/> | ||
8 | <eStructuralFeatures xsi:type="ecore:EReference" name="outgoingTransitions" ordered="false" | ||
9 | upperBound="-1" eType="#//Transition" containment="true" eOpposite="#//Transition/source"/> | ||
10 | </eClassifiers> | ||
11 | <eClassifiers xsi:type="ecore:EClass" name="Region"> | ||
12 | <eStructuralFeatures xsi:type="ecore:EReference" name="vertices" ordered="false" | ||
13 | upperBound="-1" eType="#//Vertex" containment="true"/> | ||
14 | </eClassifiers> | ||
15 | <eClassifiers xsi:type="ecore:EClass" name="Transition"> | ||
16 | <eStructuralFeatures xsi:type="ecore:EReference" name="target" ordered="false" | ||
17 | lowerBound="1" eType="#//Vertex" eOpposite="#//Vertex/incomingTransitions"/> | ||
18 | <eStructuralFeatures xsi:type="ecore:EReference" name="source" ordered="false" | ||
19 | eType="#//Vertex" eOpposite="#//Vertex/outgoingTransitions"/> | ||
20 | </eClassifiers> | ||
21 | <eClassifiers xsi:type="ecore:EClass" name="Statechart" eSuperTypes="#//CompositeElement"/> | ||
22 | <eClassifiers xsi:type="ecore:EClass" name="Entry" eSuperTypes="#//Pseudostate"> | ||
23 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="Type" lowerBound="1" eType="#//EntryType"/> | ||
24 | </eClassifiers> | ||
25 | <eClassifiers xsi:type="ecore:EClass" name="State" eSuperTypes="#//RegularState #//CompositeElement"/> | ||
26 | <eClassifiers xsi:type="ecore:EClass" name="RegularState" abstract="true" eSuperTypes="#//Vertex"/> | ||
27 | <eClassifiers xsi:type="ecore:EClass" name="CompositeElement" abstract="true"> | ||
28 | <eStructuralFeatures xsi:type="ecore:EReference" name="regions" upperBound="-1" | ||
29 | eType="#//Region" containment="true"/> | ||
30 | </eClassifiers> | ||
31 | <eClassifiers xsi:type="ecore:EClass" name="Choice" eSuperTypes="#//Pseudostate"/> | ||
32 | <eClassifiers xsi:type="ecore:EClass" name="Exit" eSuperTypes="#//Pseudostate"/> | ||
33 | <eClassifiers xsi:type="ecore:EClass" name="FinalState" eSuperTypes="#//RegularState"/> | ||
34 | <eClassifiers xsi:type="ecore:EEnum" name="EntryType"> | ||
35 | <eLiterals name="Normal"/> | ||
36 | <eLiterals name="History"/> | ||
37 | <eLiterals name="DeepHistory"/> | ||
38 | </eClassifiers> | ||
39 | </ecore:EPackage> | ||
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/input/yakindu_simplified.genmodel b/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/input/yakindu_simplified.genmodel new file mode 100644 index 00000000..cfbafce6 --- /dev/null +++ b/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/input/yakindu_simplified.genmodel | |||
@@ -0,0 +1,40 @@ | |||
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="/ca.mcgill.ecse.dslreasoner.vampire.test/src" modelPluginID="ca.mcgill.ecse.dslreasoner.vampire.test" | ||
4 | modelName="yakindu_simplified" rootExtendsClass="org.eclipse.emf.ecore.impl.MinimalEObjectImpl$Container" | ||
5 | importerID="org.eclipse.emf.importer.ecore" complianceLevel="8.0" copyrightFields="false" | ||
6 | operationReflection="true" importOrganizing="true"> | ||
7 | <foreignModel>yakindu_simplified.ecore</foreignModel> | ||
8 | <genPackages prefix="Yakindumm" basePackage="ca.mcgill.ecse.dslreasoner.vampire" | ||
9 | disposableProviderFactory="true" ecorePackage="yakindu_simplified.ecore#/"> | ||
10 | <genEnums typeSafeEnumCompatible="false" ecoreEnum="yakindu_simplified.ecore#//EntryType"> | ||
11 | <genEnumLiterals ecoreEnumLiteral="yakindu_simplified.ecore#//EntryType/Normal"/> | ||
12 | <genEnumLiterals ecoreEnumLiteral="yakindu_simplified.ecore#//EntryType/History"/> | ||
13 | <genEnumLiterals ecoreEnumLiteral="yakindu_simplified.ecore#//EntryType/DeepHistory"/> | ||
14 | </genEnums> | ||
15 | <genClasses image="false" ecoreClass="yakindu_simplified.ecore#//Pseudostate"/> | ||
16 | <genClasses image="false" ecoreClass="yakindu_simplified.ecore#//Vertex"> | ||
17 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference yakindu_simplified.ecore#//Vertex/incomingTransitions"/> | ||
18 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference yakindu_simplified.ecore#//Vertex/outgoingTransitions"/> | ||
19 | </genClasses> | ||
20 | <genClasses ecoreClass="yakindu_simplified.ecore#//Region"> | ||
21 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference yakindu_simplified.ecore#//Region/vertices"/> | ||
22 | </genClasses> | ||
23 | <genClasses ecoreClass="yakindu_simplified.ecore#//Transition"> | ||
24 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference yakindu_simplified.ecore#//Transition/target"/> | ||
25 | <genFeatures property="None" notify="false" createChild="false" ecoreFeature="ecore:EReference yakindu_simplified.ecore#//Transition/source"/> | ||
26 | </genClasses> | ||
27 | <genClasses ecoreClass="yakindu_simplified.ecore#//Statechart"/> | ||
28 | <genClasses ecoreClass="yakindu_simplified.ecore#//Entry"> | ||
29 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute yakindu_simplified.ecore#//Entry/Type"/> | ||
30 | </genClasses> | ||
31 | <genClasses ecoreClass="yakindu_simplified.ecore#//State"/> | ||
32 | <genClasses image="false" ecoreClass="yakindu_simplified.ecore#//RegularState"/> | ||
33 | <genClasses image="false" ecoreClass="yakindu_simplified.ecore#//CompositeElement"> | ||
34 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference yakindu_simplified.ecore#//CompositeElement/regions"/> | ||
35 | </genClasses> | ||
36 | <genClasses ecoreClass="yakindu_simplified.ecore#//Choice"/> | ||
37 | <genClasses ecoreClass="yakindu_simplified.ecore#//Exit"/> | ||
38 | <genClasses ecoreClass="yakindu_simplified.ecore#//FinalState"/> | ||
39 | </genPackages> | ||
40 | </genmodel:GenModel> | ||
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/output/model1.xmi b/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/output/model1.xmi new file mode 100644 index 00000000..bdf68977 --- /dev/null +++ b/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/output/model1.xmi | |||
@@ -0,0 +1,9 @@ | |||
1 | <?xml version="1.0" encoding="ASCII"?> | ||
2 | <hu.bme.mit.inf.yakindumm:Statechart xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hu.bme.mit.inf.yakindumm="hu.bme.mit.inf.yakindumm"> | ||
3 | <regions> | ||
4 | <vertices xsi:type="hu.bme.mit.inf.yakindumm:Entry"/> | ||
5 | <vertices xsi:type="hu.bme.mit.inf.yakindumm:Entry"/> | ||
6 | <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice"/> | ||
7 | </regions> | ||
8 | <regions/> | ||
9 | </hu.bme.mit.inf.yakindumm:Statechart> | ||
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/output/model2.xmi b/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/output/model2.xmi new file mode 100644 index 00000000..8bb0e034 --- /dev/null +++ b/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/output/model2.xmi | |||
@@ -0,0 +1,11 @@ | |||
1 | <?xml version="1.0" encoding="ASCII"?> | ||
2 | <hu.bme.mit.inf.yakindumm:Statechart xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hu.bme.mit.inf.yakindumm="hu.bme.mit.inf.yakindumm"> | ||
3 | <regions> | ||
4 | <vertices xsi:type="hu.bme.mit.inf.yakindumm:Entry"/> | ||
5 | <vertices xsi:type="hu.bme.mit.inf.yakindumm:Entry"/> | ||
6 | <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice"/> | ||
7 | </regions> | ||
8 | <regions> | ||
9 | <vertices xsi:type="hu.bme.mit.inf.yakindumm:State"/> | ||
10 | </regions> | ||
11 | </hu.bme.mit.inf.yakindumm:Statechart> | ||
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/output/model3.xmi b/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/output/model3.xmi new file mode 100644 index 00000000..344c4b81 --- /dev/null +++ b/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/output/model3.xmi | |||
@@ -0,0 +1,12 @@ | |||
1 | <?xml version="1.0" encoding="ASCII"?> | ||
2 | <hu.bme.mit.inf.yakindumm:Statechart xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hu.bme.mit.inf.yakindumm="hu.bme.mit.inf.yakindumm"> | ||
3 | <regions> | ||
4 | <vertices xsi:type="hu.bme.mit.inf.yakindumm:Entry"/> | ||
5 | <vertices xsi:type="hu.bme.mit.inf.yakindumm:Synchronization"/> | ||
6 | <vertices xsi:type="hu.bme.mit.inf.yakindumm:Entry"/> | ||
7 | <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice"/> | ||
8 | </regions> | ||
9 | <regions> | ||
10 | <vertices xsi:type="hu.bme.mit.inf.yakindumm:State"/> | ||
11 | </regions> | ||
12 | </hu.bme.mit.inf.yakindumm:Statechart> | ||
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/output/model4.xmi b/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/output/model4.xmi new file mode 100644 index 00000000..755c7646 --- /dev/null +++ b/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/output/model4.xmi | |||
@@ -0,0 +1,13 @@ | |||
1 | <?xml version="1.0" encoding="ASCII"?> | ||
2 | <hu.bme.mit.inf.yakindumm:Statechart xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hu.bme.mit.inf.yakindumm="hu.bme.mit.inf.yakindumm"> | ||
3 | <regions> | ||
4 | <vertices xsi:type="hu.bme.mit.inf.yakindumm:Entry"/> | ||
5 | <vertices xsi:type="hu.bme.mit.inf.yakindumm:Synchronization"/> | ||
6 | <vertices xsi:type="hu.bme.mit.inf.yakindumm:Entry"/> | ||
7 | <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice"/> | ||
8 | </regions> | ||
9 | <regions> | ||
10 | <vertices xsi:type="hu.bme.mit.inf.yakindumm:State"/> | ||
11 | <vertices xsi:type="hu.bme.mit.inf.yakindumm:FinalState"/> | ||
12 | </regions> | ||
13 | </hu.bme.mit.inf.yakindumm:Statechart> | ||
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/output/model5.xmi b/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/output/model5.xmi new file mode 100644 index 00000000..3b601704 --- /dev/null +++ b/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/output/model5.xmi | |||
@@ -0,0 +1,14 @@ | |||
1 | <?xml version="1.0" encoding="ASCII"?> | ||
2 | <hu.bme.mit.inf.yakindumm:Statechart xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hu.bme.mit.inf.yakindumm="hu.bme.mit.inf.yakindumm"> | ||
3 | <regions> | ||
4 | <vertices xsi:type="hu.bme.mit.inf.yakindumm:Entry"/> | ||
5 | <vertices xsi:type="hu.bme.mit.inf.yakindumm:Synchronization"/> | ||
6 | <vertices xsi:type="hu.bme.mit.inf.yakindumm:Entry"/> | ||
7 | <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice"/> | ||
8 | </regions> | ||
9 | <regions> | ||
10 | <vertices xsi:type="hu.bme.mit.inf.yakindumm:State"/> | ||
11 | <vertices xsi:type="hu.bme.mit.inf.yakindumm:State"/> | ||
12 | <vertices xsi:type="hu.bme.mit.inf.yakindumm:FinalState"/> | ||
13 | </regions> | ||
14 | </hu.bme.mit.inf.yakindumm:Statechart> | ||
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/output/solution1Visualisation.gml b/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/output/solution1Visualisation.gml new file mode 100644 index 00000000..4c171e32 --- /dev/null +++ b/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/output/solution1Visualisation.gml | |||
@@ -0,0 +1,646 @@ | |||
1 | graph | ||
2 | [ | ||
3 | node | ||
4 | [ | ||
5 | id 0 | ||
6 | graphics | ||
7 | [ | ||
8 | w 217.8 | ||
9 | h 40 | ||
10 | type "rectangle" | ||
11 | fill "#FFFFFF" | ||
12 | fill2 "#FFFFFF" | ||
13 | outline "#000000" | ||
14 | ] | ||
15 | LabelGraphics | ||
16 | [ | ||
17 | text "Normal literal EntryType" | ||
18 | outline "#000000" | ||
19 | fill "#FFFFFF" | ||
20 | fontSize 16 | ||
21 | fontName "Monospace" | ||
22 | autoSizePolicy "node_width" | ||
23 | anchor "t" | ||
24 | borderDistance 0.0 | ||
25 | ] | ||
26 | LabelGraphics | ||
27 | [ | ||
28 | text " | ||
29 | EntryType enum | ||
30 | " | ||
31 | fontSize 14 | ||
32 | fontName "Consolas" | ||
33 | alignment "left" | ||
34 | anchor "tl" | ||
35 | borderDistance 6 | ||
36 | ] | ||
37 | ] | ||
38 | |||
39 | node | ||
40 | [ | ||
41 | id 1 | ||
42 | graphics | ||
43 | [ | ||
44 | w 226.60000000000002 | ||
45 | h 40 | ||
46 | type "rectangle" | ||
47 | fill "#FFFFFF" | ||
48 | fill2 "#FFFFFF" | ||
49 | outline "#000000" | ||
50 | ] | ||
51 | LabelGraphics | ||
52 | [ | ||
53 | text "History literal EntryType" | ||
54 | outline "#000000" | ||
55 | fill "#FFFFFF" | ||
56 | fontSize 16 | ||
57 | fontName "Monospace" | ||
58 | autoSizePolicy "node_width" | ||
59 | anchor "t" | ||
60 | borderDistance 0.0 | ||
61 | ] | ||
62 | LabelGraphics | ||
63 | [ | ||
64 | text " | ||
65 | EntryType enum | ||
66 | " | ||
67 | fontSize 14 | ||
68 | fontName "Consolas" | ||
69 | alignment "left" | ||
70 | anchor "tl" | ||
71 | borderDistance 6 | ||
72 | ] | ||
73 | ] | ||
74 | |||
75 | node | ||
76 | [ | ||
77 | id 2 | ||
78 | graphics | ||
79 | [ | ||
80 | w 261.8 | ||
81 | h 40 | ||
82 | type "rectangle" | ||
83 | fill "#FFFFFF" | ||
84 | fill2 "#FFFFFF" | ||
85 | outline "#000000" | ||
86 | ] | ||
87 | LabelGraphics | ||
88 | [ | ||
89 | text "DeepHistory literal EntryType" | ||
90 | outline "#000000" | ||
91 | fill "#FFFFFF" | ||
92 | fontSize 16 | ||
93 | fontName "Monospace" | ||
94 | autoSizePolicy "node_width" | ||
95 | anchor "t" | ||
96 | borderDistance 0.0 | ||
97 | ] | ||
98 | LabelGraphics | ||
99 | [ | ||
100 | text " | ||
101 | EntryType enum | ||
102 | " | ||
103 | fontSize 14 | ||
104 | fontName "Consolas" | ||
105 | alignment "left" | ||
106 | anchor "tl" | ||
107 | borderDistance 6 | ||
108 | ] | ||
109 | ] | ||
110 | |||
111 | node | ||
112 | [ | ||
113 | id 3 | ||
114 | graphics | ||
115 | [ | ||
116 | w 277.20000000000005 | ||
117 | h 82 | ||
118 | type "rectangle" | ||
119 | fill "#FFFFFF" | ||
120 | fill2 "#FFFFFF" | ||
121 | outline "#000000" | ||
122 | ] | ||
123 | LabelGraphics | ||
124 | [ | ||
125 | text "o 1" | ||
126 | outline "#000000" | ||
127 | fill "#FFFFFF" | ||
128 | fontSize 16 | ||
129 | fontName "Monospace" | ||
130 | autoSizePolicy "node_width" | ||
131 | anchor "t" | ||
132 | borderDistance 0.0 | ||
133 | ] | ||
134 | LabelGraphics | ||
135 | [ | ||
136 | text " | ||
137 | Statechart class DefinedPart | ||
138 | CompositeElement class DefinedPart | ||
139 | Statechart class | ||
140 | CompositeElement class | ||
141 | " | ||
142 | fontSize 14 | ||
143 | fontName "Consolas" | ||
144 | alignment "left" | ||
145 | anchor "tl" | ||
146 | borderDistance 6 | ||
147 | ] | ||
148 | ] | ||
149 | |||
150 | node | ||
151 | [ | ||
152 | id 4 | ||
153 | graphics | ||
154 | [ | ||
155 | w 41.800000000000004 | ||
156 | h 26 | ||
157 | type "rectangle" | ||
158 | fill "#FFFFFF" | ||
159 | fill2 "#FFFFFF" | ||
160 | outline "#000000" | ||
161 | ] | ||
162 | LabelGraphics | ||
163 | [ | ||
164 | text "true" | ||
165 | outline "#000000" | ||
166 | fill "#FFFFFF" | ||
167 | fontSize 16 | ||
168 | fontName "Monospace" | ||
169 | autoSizePolicy "node_width" | ||
170 | anchor "t" | ||
171 | borderDistance 0.0 | ||
172 | ] | ||
173 | LabelGraphics | ||
174 | [ | ||
175 | text " | ||
176 | " | ||
177 | fontSize 14 | ||
178 | fontName "Consolas" | ||
179 | alignment "left" | ||
180 | anchor "tl" | ||
181 | borderDistance 6 | ||
182 | ] | ||
183 | ] | ||
184 | |||
185 | node | ||
186 | [ | ||
187 | id 5 | ||
188 | graphics | ||
189 | [ | ||
190 | w 50.6 | ||
191 | h 26 | ||
192 | type "rectangle" | ||
193 | fill "#FFFFFF" | ||
194 | fill2 "#FFFFFF" | ||
195 | outline "#000000" | ||
196 | ] | ||
197 | LabelGraphics | ||
198 | [ | ||
199 | text "false" | ||
200 | outline "#000000" | ||
201 | fill "#FFFFFF" | ||
202 | fontSize 16 | ||
203 | fontName "Monospace" | ||
204 | autoSizePolicy "node_width" | ||
205 | anchor "t" | ||
206 | borderDistance 0.0 | ||
207 | ] | ||
208 | LabelGraphics | ||
209 | [ | ||
210 | text " | ||
211 | " | ||
212 | fontSize 14 | ||
213 | fontName "Consolas" | ||
214 | alignment "left" | ||
215 | anchor "tl" | ||
216 | borderDistance 6 | ||
217 | ] | ||
218 | ] | ||
219 | |||
220 | node | ||
221 | [ | ||
222 | id 6 | ||
223 | graphics | ||
224 | [ | ||
225 | w 107.80000000000001 | ||
226 | h 40 | ||
227 | type "rectangle" | ||
228 | fill "#FFFFFF" | ||
229 | fill2 "#FFFFFF" | ||
230 | outline "#000000" | ||
231 | ] | ||
232 | LabelGraphics | ||
233 | [ | ||
234 | text "null" | ||
235 | outline "#000000" | ||
236 | fill "#FFFFFF" | ||
237 | fontSize 16 | ||
238 | fontName "Monospace" | ||
239 | autoSizePolicy "node_width" | ||
240 | anchor "t" | ||
241 | borderDistance 0.0 | ||
242 | ] | ||
243 | LabelGraphics | ||
244 | [ | ||
245 | text " | ||
246 | Region class | ||
247 | " | ||
248 | fontSize 14 | ||
249 | fontName "Consolas" | ||
250 | alignment "left" | ||
251 | anchor "tl" | ||
252 | borderDistance 6 | ||
253 | ] | ||
254 | ] | ||
255 | |||
256 | node | ||
257 | [ | ||
258 | id 7 | ||
259 | graphics | ||
260 | [ | ||
261 | w 146.3 | ||
262 | h 68 | ||
263 | type "rectangle" | ||
264 | fill "#FFFFFF" | ||
265 | fill2 "#FFFFFF" | ||
266 | outline "#000000" | ||
267 | ] | ||
268 | LabelGraphics | ||
269 | [ | ||
270 | text "null" | ||
271 | outline "#000000" | ||
272 | fill "#FFFFFF" | ||
273 | fontSize 16 | ||
274 | fontName "Monospace" | ||
275 | autoSizePolicy "node_width" | ||
276 | anchor "t" | ||
277 | borderDistance 0.0 | ||
278 | ] | ||
279 | LabelGraphics | ||
280 | [ | ||
281 | text " | ||
282 | Pseudostate class | ||
283 | Vertex class | ||
284 | Choice class | ||
285 | " | ||
286 | fontSize 14 | ||
287 | fontName "Consolas" | ||
288 | alignment "left" | ||
289 | anchor "tl" | ||
290 | borderDistance 6 | ||
291 | ] | ||
292 | ] | ||
293 | |||
294 | node | ||
295 | [ | ||
296 | id 8 | ||
297 | graphics | ||
298 | [ | ||
299 | w 146.3 | ||
300 | h 68 | ||
301 | type "rectangle" | ||
302 | fill "#FFFFFF" | ||
303 | fill2 "#FFFFFF" | ||
304 | outline "#000000" | ||
305 | ] | ||
306 | LabelGraphics | ||
307 | [ | ||
308 | text "null" | ||
309 | outline "#000000" | ||
310 | fill "#FFFFFF" | ||
311 | fontSize 16 | ||
312 | fontName "Monospace" | ||
313 | autoSizePolicy "node_width" | ||
314 | anchor "t" | ||
315 | borderDistance 0.0 | ||
316 | ] | ||
317 | LabelGraphics | ||
318 | [ | ||
319 | text " | ||
320 | Pseudostate class | ||
321 | Vertex class | ||
322 | Entry class | ||
323 | " | ||
324 | fontSize 14 | ||
325 | fontName "Consolas" | ||
326 | alignment "left" | ||
327 | anchor "tl" | ||
328 | borderDistance 6 | ||
329 | ] | ||
330 | ] | ||
331 | |||
332 | node | ||
333 | [ | ||
334 | id 9 | ||
335 | graphics | ||
336 | [ | ||
337 | w 146.3 | ||
338 | h 68 | ||
339 | type "rectangle" | ||
340 | fill "#FFFFFF" | ||
341 | fill2 "#FFFFFF" | ||
342 | outline "#000000" | ||
343 | ] | ||
344 | LabelGraphics | ||
345 | [ | ||
346 | text "null" | ||
347 | outline "#000000" | ||
348 | fill "#FFFFFF" | ||
349 | fontSize 16 | ||
350 | fontName "Monospace" | ||
351 | autoSizePolicy "node_width" | ||
352 | anchor "t" | ||
353 | borderDistance 0.0 | ||
354 | ] | ||
355 | LabelGraphics | ||
356 | [ | ||
357 | text " | ||
358 | Pseudostate class | ||
359 | Vertex class | ||
360 | Entry class | ||
361 | " | ||
362 | fontSize 14 | ||
363 | fontName "Consolas" | ||
364 | alignment "left" | ||
365 | anchor "tl" | ||
366 | borderDistance 6 | ||
367 | ] | ||
368 | ] | ||
369 | |||
370 | node | ||
371 | [ | ||
372 | id 10 | ||
373 | graphics | ||
374 | [ | ||
375 | w 107.80000000000001 | ||
376 | h 40 | ||
377 | type "rectangle" | ||
378 | fill "#FFFFFF" | ||
379 | fill2 "#FFFFFF" | ||
380 | outline "#000000" | ||
381 | ] | ||
382 | LabelGraphics | ||
383 | [ | ||
384 | text "null" | ||
385 | outline "#000000" | ||
386 | fill "#FFFFFF" | ||
387 | fontSize 16 | ||
388 | fontName "Monospace" | ||
389 | autoSizePolicy "node_width" | ||
390 | anchor "t" | ||
391 | borderDistance 0.0 | ||
392 | ] | ||
393 | LabelGraphics | ||
394 | [ | ||
395 | text " | ||
396 | Region class | ||
397 | " | ||
398 | fontSize 14 | ||
399 | fontName "Consolas" | ||
400 | alignment "left" | ||
401 | anchor "tl" | ||
402 | borderDistance 6 | ||
403 | ] | ||
404 | ] | ||
405 | |||
406 | node | ||
407 | [ | ||
408 | id 11 | ||
409 | graphics | ||
410 | [ | ||
411 | w 112.2 | ||
412 | h 26 | ||
413 | type "rectangle" | ||
414 | fill "#FFFFFF" | ||
415 | fill2 "#FFFFFF" | ||
416 | outline "#000000" | ||
417 | ] | ||
418 | LabelGraphics | ||
419 | [ | ||
420 | text "New Integers" | ||
421 | outline "#000000" | ||
422 | fill "#FFFFFF" | ||
423 | fontSize 16 | ||
424 | fontName "Monospace" | ||
425 | autoSizePolicy "node_width" | ||
426 | anchor "t" | ||
427 | borderDistance 0.0 | ||
428 | ] | ||
429 | LabelGraphics | ||
430 | [ | ||
431 | text " | ||
432 | " | ||
433 | fontSize 14 | ||
434 | fontName "Consolas" | ||
435 | alignment "left" | ||
436 | anchor "tl" | ||
437 | borderDistance 6 | ||
438 | ] | ||
439 | ] | ||
440 | |||
441 | node | ||
442 | [ | ||
443 | id 12 | ||
444 | graphics | ||
445 | [ | ||
446 | w 85.80000000000001 | ||
447 | h 26 | ||
448 | type "rectangle" | ||
449 | fill "#FFFFFF" | ||
450 | fill2 "#FFFFFF" | ||
451 | outline "#000000" | ||
452 | ] | ||
453 | LabelGraphics | ||
454 | [ | ||
455 | text "New Reals" | ||
456 | outline "#000000" | ||
457 | fill "#FFFFFF" | ||
458 | fontSize 16 | ||
459 | fontName "Monospace" | ||
460 | autoSizePolicy "node_width" | ||
461 | anchor "t" | ||
462 | borderDistance 0.0 | ||
463 | ] | ||
464 | LabelGraphics | ||
465 | [ | ||
466 | text " | ||
467 | " | ||
468 | fontSize 14 | ||
469 | fontName "Consolas" | ||
470 | alignment "left" | ||
471 | anchor "tl" | ||
472 | borderDistance 6 | ||
473 | ] | ||
474 | ] | ||
475 | |||
476 | node | ||
477 | [ | ||
478 | id 13 | ||
479 | graphics | ||
480 | [ | ||
481 | w 103.4 | ||
482 | h 26 | ||
483 | type "rectangle" | ||
484 | fill "#FFFFFF" | ||
485 | fill2 "#FFFFFF" | ||
486 | outline "#000000" | ||
487 | ] | ||
488 | LabelGraphics | ||
489 | [ | ||
490 | text "New Strings" | ||
491 | outline "#000000" | ||
492 | fill "#FFFFFF" | ||
493 | fontSize 16 | ||
494 | fontName "Monospace" | ||
495 | autoSizePolicy "node_width" | ||
496 | anchor "t" | ||
497 | borderDistance 0.0 | ||
498 | ] | ||
499 | LabelGraphics | ||
500 | [ | ||
501 | text " | ||
502 | " | ||
503 | fontSize 14 | ||
504 | fontName "Consolas" | ||
505 | alignment "left" | ||
506 | anchor "tl" | ||
507 | borderDistance 6 | ||
508 | ] | ||
509 | ] | ||
510 | |||
511 | node | ||
512 | [ | ||
513 | id 14 | ||
514 | graphics | ||
515 | [ | ||
516 | w 103.4 | ||
517 | h 26 | ||
518 | type "rectangle" | ||
519 | fill "#FFFFFF" | ||
520 | fill2 "#FFFFFF" | ||
521 | outline "#000000" | ||
522 | ] | ||
523 | LabelGraphics | ||
524 | [ | ||
525 | text "New Objects" | ||
526 | outline "#000000" | ||
527 | fill "#FFFFFF" | ||
528 | fontSize 16 | ||
529 | fontName "Monospace" | ||
530 | autoSizePolicy "node_width" | ||
531 | anchor "t" | ||
532 | borderDistance 0.0 | ||
533 | ] | ||
534 | LabelGraphics | ||
535 | [ | ||
536 | text " | ||
537 | " | ||
538 | fontSize 14 | ||
539 | fontName "Consolas" | ||
540 | alignment "left" | ||
541 | anchor "tl" | ||
542 | borderDistance 6 | ||
543 | ] | ||
544 | ] | ||
545 | edge | ||
546 | [ | ||
547 | source 6 | ||
548 | target 7 | ||
549 | graphics | ||
550 | [ | ||
551 | fill "#000000" | ||
552 | width 3 | ||
553 | targetArrow "standard" | ||
554 | ] | ||
555 | LabelGraphics | ||
556 | [ | ||
557 | text "vertices reference Region" | ||
558 | fontSize 14 | ||
559 | fontName "Consolas" | ||
560 | configuration "AutoFlippingLabel" | ||
561 | model "six_pos" | ||
562 | position "thead" | ||
563 | ] | ||
564 | ] | ||
565 | edge | ||
566 | [ | ||
567 | source 6 | ||
568 | target 8 | ||
569 | graphics | ||
570 | [ | ||
571 | fill "#000000" | ||
572 | width 3 | ||
573 | targetArrow "standard" | ||
574 | ] | ||
575 | LabelGraphics | ||
576 | [ | ||
577 | text "vertices reference Region" | ||
578 | fontSize 14 | ||
579 | fontName "Consolas" | ||
580 | configuration "AutoFlippingLabel" | ||
581 | model "six_pos" | ||
582 | position "thead" | ||
583 | ] | ||
584 | ] | ||
585 | edge | ||
586 | [ | ||
587 | source 6 | ||
588 | target 9 | ||
589 | graphics | ||
590 | [ | ||
591 | fill "#000000" | ||
592 | width 3 | ||
593 | targetArrow "standard" | ||
594 | ] | ||
595 | LabelGraphics | ||
596 | [ | ||
597 | text "vertices reference Region" | ||
598 | fontSize 14 | ||
599 | fontName "Consolas" | ||
600 | configuration "AutoFlippingLabel" | ||
601 | model "six_pos" | ||
602 | position "thead" | ||
603 | ] | ||
604 | ] | ||
605 | edge | ||
606 | [ | ||
607 | source 3 | ||
608 | target 6 | ||
609 | graphics | ||
610 | [ | ||
611 | fill "#000000" | ||
612 | width 3 | ||
613 | targetArrow "standard" | ||
614 | ] | ||
615 | LabelGraphics | ||
616 | [ | ||
617 | text "regions reference CompositeElement" | ||
618 | fontSize 14 | ||
619 | fontName "Consolas" | ||
620 | configuration "AutoFlippingLabel" | ||
621 | model "six_pos" | ||
622 | position "thead" | ||
623 | ] | ||
624 | ] | ||
625 | edge | ||
626 | [ | ||
627 | source 3 | ||
628 | target 10 | ||
629 | graphics | ||
630 | [ | ||
631 | fill "#000000" | ||
632 | width 3 | ||
633 | targetArrow "standard" | ||
634 | ] | ||
635 | LabelGraphics | ||
636 | [ | ||
637 | text "regions reference CompositeElement" | ||
638 | fontSize 14 | ||
639 | fontName "Consolas" | ||
640 | configuration "AutoFlippingLabel" | ||
641 | model "six_pos" | ||
642 | position "thead" | ||
643 | ] | ||
644 | ] | ||
645 | ] | ||
646 | |||
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/output/solution2Visualisation.gml b/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/output/solution2Visualisation.gml new file mode 100644 index 00000000..f45394ea --- /dev/null +++ b/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/output/solution2Visualisation.gml | |||
@@ -0,0 +1,706 @@ | |||
1 | graph | ||
2 | [ | ||
3 | node | ||
4 | [ | ||
5 | id 0 | ||
6 | graphics | ||
7 | [ | ||
8 | w 217.8 | ||
9 | h 40 | ||
10 | type "rectangle" | ||
11 | fill "#FFFFFF" | ||
12 | fill2 "#FFFFFF" | ||
13 | outline "#000000" | ||
14 | ] | ||
15 | LabelGraphics | ||
16 | [ | ||
17 | text "Normal literal EntryType" | ||
18 | outline "#000000" | ||
19 | fill "#FFFFFF" | ||
20 | fontSize 16 | ||
21 | fontName "Monospace" | ||
22 | autoSizePolicy "node_width" | ||
23 | anchor "t" | ||
24 | borderDistance 0.0 | ||
25 | ] | ||
26 | LabelGraphics | ||
27 | [ | ||
28 | text " | ||
29 | EntryType enum | ||
30 | " | ||
31 | fontSize 14 | ||
32 | fontName "Consolas" | ||
33 | alignment "left" | ||
34 | anchor "tl" | ||
35 | borderDistance 6 | ||
36 | ] | ||
37 | ] | ||
38 | |||
39 | node | ||
40 | [ | ||
41 | id 1 | ||
42 | graphics | ||
43 | [ | ||
44 | w 226.60000000000002 | ||
45 | h 40 | ||
46 | type "rectangle" | ||
47 | fill "#FFFFFF" | ||
48 | fill2 "#FFFFFF" | ||
49 | outline "#000000" | ||
50 | ] | ||
51 | LabelGraphics | ||
52 | [ | ||
53 | text "History literal EntryType" | ||
54 | outline "#000000" | ||
55 | fill "#FFFFFF" | ||
56 | fontSize 16 | ||
57 | fontName "Monospace" | ||
58 | autoSizePolicy "node_width" | ||
59 | anchor "t" | ||
60 | borderDistance 0.0 | ||
61 | ] | ||
62 | LabelGraphics | ||
63 | [ | ||
64 | text " | ||
65 | EntryType enum | ||
66 | " | ||
67 | fontSize 14 | ||
68 | fontName "Consolas" | ||
69 | alignment "left" | ||
70 | anchor "tl" | ||
71 | borderDistance 6 | ||
72 | ] | ||
73 | ] | ||
74 | |||
75 | node | ||
76 | [ | ||
77 | id 2 | ||
78 | graphics | ||
79 | [ | ||
80 | w 261.8 | ||
81 | h 40 | ||
82 | type "rectangle" | ||
83 | fill "#FFFFFF" | ||
84 | fill2 "#FFFFFF" | ||
85 | outline "#000000" | ||
86 | ] | ||
87 | LabelGraphics | ||
88 | [ | ||
89 | text "DeepHistory literal EntryType" | ||
90 | outline "#000000" | ||
91 | fill "#FFFFFF" | ||
92 | fontSize 16 | ||
93 | fontName "Monospace" | ||
94 | autoSizePolicy "node_width" | ||
95 | anchor "t" | ||
96 | borderDistance 0.0 | ||
97 | ] | ||
98 | LabelGraphics | ||
99 | [ | ||
100 | text " | ||
101 | EntryType enum | ||
102 | " | ||
103 | fontSize 14 | ||
104 | fontName "Consolas" | ||
105 | alignment "left" | ||
106 | anchor "tl" | ||
107 | borderDistance 6 | ||
108 | ] | ||
109 | ] | ||
110 | |||
111 | node | ||
112 | [ | ||
113 | id 3 | ||
114 | graphics | ||
115 | [ | ||
116 | w 277.20000000000005 | ||
117 | h 82 | ||
118 | type "rectangle" | ||
119 | fill "#FFFFFF" | ||
120 | fill2 "#FFFFFF" | ||
121 | outline "#000000" | ||
122 | ] | ||
123 | LabelGraphics | ||
124 | [ | ||
125 | text "o 1" | ||
126 | outline "#000000" | ||
127 | fill "#FFFFFF" | ||
128 | fontSize 16 | ||
129 | fontName "Monospace" | ||
130 | autoSizePolicy "node_width" | ||
131 | anchor "t" | ||
132 | borderDistance 0.0 | ||
133 | ] | ||
134 | LabelGraphics | ||
135 | [ | ||
136 | text " | ||
137 | Statechart class DefinedPart | ||
138 | CompositeElement class DefinedPart | ||
139 | Statechart class | ||
140 | CompositeElement class | ||
141 | " | ||
142 | fontSize 14 | ||
143 | fontName "Consolas" | ||
144 | alignment "left" | ||
145 | anchor "tl" | ||
146 | borderDistance 6 | ||
147 | ] | ||
148 | ] | ||
149 | |||
150 | node | ||
151 | [ | ||
152 | id 4 | ||
153 | graphics | ||
154 | [ | ||
155 | w 41.800000000000004 | ||
156 | h 26 | ||
157 | type "rectangle" | ||
158 | fill "#FFFFFF" | ||
159 | fill2 "#FFFFFF" | ||
160 | outline "#000000" | ||
161 | ] | ||
162 | LabelGraphics | ||
163 | [ | ||
164 | text "true" | ||
165 | outline "#000000" | ||
166 | fill "#FFFFFF" | ||
167 | fontSize 16 | ||
168 | fontName "Monospace" | ||
169 | autoSizePolicy "node_width" | ||
170 | anchor "t" | ||
171 | borderDistance 0.0 | ||
172 | ] | ||
173 | LabelGraphics | ||
174 | [ | ||
175 | text " | ||
176 | " | ||
177 | fontSize 14 | ||
178 | fontName "Consolas" | ||
179 | alignment "left" | ||
180 | anchor "tl" | ||
181 | borderDistance 6 | ||
182 | ] | ||
183 | ] | ||
184 | |||
185 | node | ||
186 | [ | ||
187 | id 5 | ||
188 | graphics | ||
189 | [ | ||
190 | w 50.6 | ||
191 | h 26 | ||
192 | type "rectangle" | ||
193 | fill "#FFFFFF" | ||
194 | fill2 "#FFFFFF" | ||
195 | outline "#000000" | ||
196 | ] | ||
197 | LabelGraphics | ||
198 | [ | ||
199 | text "false" | ||
200 | outline "#000000" | ||
201 | fill "#FFFFFF" | ||
202 | fontSize 16 | ||
203 | fontName "Monospace" | ||
204 | autoSizePolicy "node_width" | ||
205 | anchor "t" | ||
206 | borderDistance 0.0 | ||
207 | ] | ||
208 | LabelGraphics | ||
209 | [ | ||
210 | text " | ||
211 | " | ||
212 | fontSize 14 | ||
213 | fontName "Consolas" | ||
214 | alignment "left" | ||
215 | anchor "tl" | ||
216 | borderDistance 6 | ||
217 | ] | ||
218 | ] | ||
219 | |||
220 | node | ||
221 | [ | ||
222 | id 6 | ||
223 | graphics | ||
224 | [ | ||
225 | w 107.80000000000001 | ||
226 | h 40 | ||
227 | type "rectangle" | ||
228 | fill "#FFFFFF" | ||
229 | fill2 "#FFFFFF" | ||
230 | outline "#000000" | ||
231 | ] | ||
232 | LabelGraphics | ||
233 | [ | ||
234 | text "null" | ||
235 | outline "#000000" | ||
236 | fill "#FFFFFF" | ||
237 | fontSize 16 | ||
238 | fontName "Monospace" | ||
239 | autoSizePolicy "node_width" | ||
240 | anchor "t" | ||
241 | borderDistance 0.0 | ||
242 | ] | ||
243 | LabelGraphics | ||
244 | [ | ||
245 | text " | ||
246 | Region class | ||
247 | " | ||
248 | fontSize 14 | ||
249 | fontName "Consolas" | ||
250 | alignment "left" | ||
251 | anchor "tl" | ||
252 | borderDistance 6 | ||
253 | ] | ||
254 | ] | ||
255 | |||
256 | node | ||
257 | [ | ||
258 | id 7 | ||
259 | graphics | ||
260 | [ | ||
261 | w 146.3 | ||
262 | h 68 | ||
263 | type "rectangle" | ||
264 | fill "#FFFFFF" | ||
265 | fill2 "#FFFFFF" | ||
266 | outline "#000000" | ||
267 | ] | ||
268 | LabelGraphics | ||
269 | [ | ||
270 | text "null" | ||
271 | outline "#000000" | ||
272 | fill "#FFFFFF" | ||
273 | fontSize 16 | ||
274 | fontName "Monospace" | ||
275 | autoSizePolicy "node_width" | ||
276 | anchor "t" | ||
277 | borderDistance 0.0 | ||
278 | ] | ||
279 | LabelGraphics | ||
280 | [ | ||
281 | text " | ||
282 | Pseudostate class | ||
283 | Vertex class | ||
284 | Choice class | ||
285 | " | ||
286 | fontSize 14 | ||
287 | fontName "Consolas" | ||
288 | alignment "left" | ||
289 | anchor "tl" | ||
290 | borderDistance 6 | ||
291 | ] | ||
292 | ] | ||
293 | |||
294 | node | ||
295 | [ | ||
296 | id 8 | ||
297 | graphics | ||
298 | [ | ||
299 | w 146.3 | ||
300 | h 68 | ||
301 | type "rectangle" | ||
302 | fill "#FFFFFF" | ||
303 | fill2 "#FFFFFF" | ||
304 | outline "#000000" | ||
305 | ] | ||
306 | LabelGraphics | ||
307 | [ | ||
308 | text "null" | ||
309 | outline "#000000" | ||
310 | fill "#FFFFFF" | ||
311 | fontSize 16 | ||
312 | fontName "Monospace" | ||
313 | autoSizePolicy "node_width" | ||
314 | anchor "t" | ||
315 | borderDistance 0.0 | ||
316 | ] | ||
317 | LabelGraphics | ||
318 | [ | ||
319 | text " | ||
320 | Pseudostate class | ||
321 | Vertex class | ||
322 | Entry class | ||
323 | " | ||
324 | fontSize 14 | ||
325 | fontName "Consolas" | ||
326 | alignment "left" | ||
327 | anchor "tl" | ||
328 | borderDistance 6 | ||
329 | ] | ||
330 | ] | ||
331 | |||
332 | node | ||
333 | [ | ||
334 | id 9 | ||
335 | graphics | ||
336 | [ | ||
337 | w 146.3 | ||
338 | h 68 | ||
339 | type "rectangle" | ||
340 | fill "#FFFFFF" | ||
341 | fill2 "#FFFFFF" | ||
342 | outline "#000000" | ||
343 | ] | ||
344 | LabelGraphics | ||
345 | [ | ||
346 | text "null" | ||
347 | outline "#000000" | ||
348 | fill "#FFFFFF" | ||
349 | fontSize 16 | ||
350 | fontName "Monospace" | ||
351 | autoSizePolicy "node_width" | ||
352 | anchor "t" | ||
353 | borderDistance 0.0 | ||
354 | ] | ||
355 | LabelGraphics | ||
356 | [ | ||
357 | text " | ||
358 | Pseudostate class | ||
359 | Vertex class | ||
360 | Entry class | ||
361 | " | ||
362 | fontSize 14 | ||
363 | fontName "Consolas" | ||
364 | alignment "left" | ||
365 | anchor "tl" | ||
366 | borderDistance 6 | ||
367 | ] | ||
368 | ] | ||
369 | |||
370 | node | ||
371 | [ | ||
372 | id 10 | ||
373 | graphics | ||
374 | [ | ||
375 | w 107.80000000000001 | ||
376 | h 40 | ||
377 | type "rectangle" | ||
378 | fill "#FFFFFF" | ||
379 | fill2 "#FFFFFF" | ||
380 | outline "#000000" | ||
381 | ] | ||
382 | LabelGraphics | ||
383 | [ | ||
384 | text "null" | ||
385 | outline "#000000" | ||
386 | fill "#FFFFFF" | ||
387 | fontSize 16 | ||
388 | fontName "Monospace" | ||
389 | autoSizePolicy "node_width" | ||
390 | anchor "t" | ||
391 | borderDistance 0.0 | ||
392 | ] | ||
393 | LabelGraphics | ||
394 | [ | ||
395 | text " | ||
396 | Region class | ||
397 | " | ||
398 | fontSize 14 | ||
399 | fontName "Consolas" | ||
400 | alignment "left" | ||
401 | anchor "tl" | ||
402 | borderDistance 6 | ||
403 | ] | ||
404 | ] | ||
405 | |||
406 | node | ||
407 | [ | ||
408 | id 11 | ||
409 | graphics | ||
410 | [ | ||
411 | w 292.6 | ||
412 | h 96 | ||
413 | type "rectangle" | ||
414 | fill "#FFFFFF" | ||
415 | fill2 "#FFFFFF" | ||
416 | outline "#000000" | ||
417 | ] | ||
418 | LabelGraphics | ||
419 | [ | ||
420 | text "null" | ||
421 | outline "#000000" | ||
422 | fill "#FFFFFF" | ||
423 | fontSize 16 | ||
424 | fontName "Monospace" | ||
425 | autoSizePolicy "node_width" | ||
426 | anchor "t" | ||
427 | borderDistance 0.0 | ||
428 | ] | ||
429 | LabelGraphics | ||
430 | [ | ||
431 | text " | ||
432 | Vertex class | ||
433 | State class | ||
434 | RegularState class | ||
435 | CompositeElement class | ||
436 | CompositeElement class UndefinedPart | ||
437 | " | ||
438 | fontSize 14 | ||
439 | fontName "Consolas" | ||
440 | alignment "left" | ||
441 | anchor "tl" | ||
442 | borderDistance 6 | ||
443 | ] | ||
444 | ] | ||
445 | |||
446 | node | ||
447 | [ | ||
448 | id 12 | ||
449 | graphics | ||
450 | [ | ||
451 | w 112.2 | ||
452 | h 26 | ||
453 | type "rectangle" | ||
454 | fill "#FFFFFF" | ||
455 | fill2 "#FFFFFF" | ||
456 | outline "#000000" | ||
457 | ] | ||
458 | LabelGraphics | ||
459 | [ | ||
460 | text "New Integers" | ||
461 | outline "#000000" | ||
462 | fill "#FFFFFF" | ||
463 | fontSize 16 | ||
464 | fontName "Monospace" | ||
465 | autoSizePolicy "node_width" | ||
466 | anchor "t" | ||
467 | borderDistance 0.0 | ||
468 | ] | ||
469 | LabelGraphics | ||
470 | [ | ||
471 | text " | ||
472 | " | ||
473 | fontSize 14 | ||
474 | fontName "Consolas" | ||
475 | alignment "left" | ||
476 | anchor "tl" | ||
477 | borderDistance 6 | ||
478 | ] | ||
479 | ] | ||
480 | |||
481 | node | ||
482 | [ | ||
483 | id 13 | ||
484 | graphics | ||
485 | [ | ||
486 | w 85.80000000000001 | ||
487 | h 26 | ||
488 | type "rectangle" | ||
489 | fill "#FFFFFF" | ||
490 | fill2 "#FFFFFF" | ||
491 | outline "#000000" | ||
492 | ] | ||
493 | LabelGraphics | ||
494 | [ | ||
495 | text "New Reals" | ||
496 | outline "#000000" | ||
497 | fill "#FFFFFF" | ||
498 | fontSize 16 | ||
499 | fontName "Monospace" | ||
500 | autoSizePolicy "node_width" | ||
501 | anchor "t" | ||
502 | borderDistance 0.0 | ||
503 | ] | ||
504 | LabelGraphics | ||
505 | [ | ||
506 | text " | ||
507 | " | ||
508 | fontSize 14 | ||
509 | fontName "Consolas" | ||
510 | alignment "left" | ||
511 | anchor "tl" | ||
512 | borderDistance 6 | ||
513 | ] | ||
514 | ] | ||
515 | |||
516 | node | ||
517 | [ | ||
518 | id 14 | ||
519 | graphics | ||
520 | [ | ||
521 | w 103.4 | ||
522 | h 26 | ||
523 | type "rectangle" | ||
524 | fill "#FFFFFF" | ||
525 | fill2 "#FFFFFF" | ||
526 | outline "#000000" | ||
527 | ] | ||
528 | LabelGraphics | ||
529 | [ | ||
530 | text "New Strings" | ||
531 | outline "#000000" | ||
532 | fill "#FFFFFF" | ||
533 | fontSize 16 | ||
534 | fontName "Monospace" | ||
535 | autoSizePolicy "node_width" | ||
536 | anchor "t" | ||
537 | borderDistance 0.0 | ||
538 | ] | ||
539 | LabelGraphics | ||
540 | [ | ||
541 | text " | ||
542 | " | ||
543 | fontSize 14 | ||
544 | fontName "Consolas" | ||
545 | alignment "left" | ||
546 | anchor "tl" | ||
547 | borderDistance 6 | ||
548 | ] | ||
549 | ] | ||
550 | |||
551 | node | ||
552 | [ | ||
553 | id 15 | ||
554 | graphics | ||
555 | [ | ||
556 | w 103.4 | ||
557 | h 26 | ||
558 | type "rectangle" | ||
559 | fill "#FFFFFF" | ||
560 | fill2 "#FFFFFF" | ||
561 | outline "#000000" | ||
562 | ] | ||
563 | LabelGraphics | ||
564 | [ | ||
565 | text "New Objects" | ||
566 | outline "#000000" | ||
567 | fill "#FFFFFF" | ||
568 | fontSize 16 | ||
569 | fontName "Monospace" | ||
570 | autoSizePolicy "node_width" | ||
571 | anchor "t" | ||
572 | borderDistance 0.0 | ||
573 | ] | ||
574 | LabelGraphics | ||
575 | [ | ||
576 | text " | ||
577 | " | ||
578 | fontSize 14 | ||
579 | fontName "Consolas" | ||
580 | alignment "left" | ||
581 | anchor "tl" | ||
582 | borderDistance 6 | ||
583 | ] | ||
584 | ] | ||
585 | edge | ||
586 | [ | ||
587 | source 6 | ||
588 | target 7 | ||
589 | graphics | ||
590 | [ | ||
591 | fill "#000000" | ||
592 | width 3 | ||
593 | targetArrow "standard" | ||
594 | ] | ||
595 | LabelGraphics | ||
596 | [ | ||
597 | text "vertices reference Region" | ||
598 | fontSize 14 | ||
599 | fontName "Consolas" | ||
600 | configuration "AutoFlippingLabel" | ||
601 | model "six_pos" | ||
602 | position "thead" | ||
603 | ] | ||
604 | ] | ||
605 | edge | ||
606 | [ | ||
607 | source 6 | ||
608 | target 8 | ||
609 | graphics | ||
610 | [ | ||
611 | fill "#000000" | ||
612 | width 3 | ||
613 | targetArrow "standard" | ||
614 | ] | ||
615 | LabelGraphics | ||
616 | [ | ||
617 | text "vertices reference Region" | ||
618 | fontSize 14 | ||
619 | fontName "Consolas" | ||
620 | configuration "AutoFlippingLabel" | ||
621 | model "six_pos" | ||
622 | position "thead" | ||
623 | ] | ||
624 | ] | ||
625 | edge | ||
626 | [ | ||
627 | source 6 | ||
628 | target 9 | ||
629 | graphics | ||
630 | [ | ||
631 | fill "#000000" | ||
632 | width 3 | ||
633 | targetArrow "standard" | ||
634 | ] | ||
635 | LabelGraphics | ||
636 | [ | ||
637 | text "vertices reference Region" | ||
638 | fontSize 14 | ||
639 | fontName "Consolas" | ||
640 | configuration "AutoFlippingLabel" | ||
641 | model "six_pos" | ||
642 | position "thead" | ||
643 | ] | ||
644 | ] | ||
645 | edge | ||
646 | [ | ||
647 | source 10 | ||
648 | target 11 | ||
649 | graphics | ||
650 | [ | ||
651 | fill "#000000" | ||
652 | width 3 | ||
653 | targetArrow "standard" | ||
654 | ] | ||
655 | LabelGraphics | ||
656 | [ | ||
657 | text "vertices reference Region" | ||
658 | fontSize 14 | ||
659 | fontName "Consolas" | ||
660 | configuration "AutoFlippingLabel" | ||
661 | model "six_pos" | ||
662 | position "thead" | ||
663 | ] | ||
664 | ] | ||
665 | edge | ||
666 | [ | ||
667 | source 3 | ||
668 | target 6 | ||
669 | graphics | ||
670 | [ | ||
671 | fill "#000000" | ||
672 | width 3 | ||
673 | targetArrow "standard" | ||
674 | ] | ||
675 | LabelGraphics | ||
676 | [ | ||
677 | text "regions reference CompositeElement" | ||
678 | fontSize 14 | ||
679 | fontName "Consolas" | ||
680 | configuration "AutoFlippingLabel" | ||
681 | model "six_pos" | ||
682 | position "thead" | ||
683 | ] | ||
684 | ] | ||
685 | edge | ||
686 | [ | ||
687 | source 3 | ||
688 | target 10 | ||
689 | graphics | ||
690 | [ | ||
691 | fill "#000000" | ||
692 | width 3 | ||
693 | targetArrow "standard" | ||
694 | ] | ||
695 | LabelGraphics | ||
696 | [ | ||
697 | text "regions reference CompositeElement" | ||
698 | fontSize 14 | ||
699 | fontName "Consolas" | ||
700 | configuration "AutoFlippingLabel" | ||
701 | model "six_pos" | ||
702 | position "thead" | ||
703 | ] | ||
704 | ] | ||
705 | ] | ||
706 | |||
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/output/solution3Visualisation.gml b/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/output/solution3Visualisation.gml new file mode 100644 index 00000000..b9f96971 --- /dev/null +++ b/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/output/solution3Visualisation.gml | |||
@@ -0,0 +1,764 @@ | |||
1 | graph | ||
2 | [ | ||
3 | node | ||
4 | [ | ||
5 | id 0 | ||
6 | graphics | ||
7 | [ | ||
8 | w 217.8 | ||
9 | h 40 | ||
10 | type "rectangle" | ||
11 | fill "#FFFFFF" | ||
12 | fill2 "#FFFFFF" | ||
13 | outline "#000000" | ||
14 | ] | ||
15 | LabelGraphics | ||
16 | [ | ||
17 | text "Normal literal EntryType" | ||
18 | outline "#000000" | ||
19 | fill "#FFFFFF" | ||
20 | fontSize 16 | ||
21 | fontName "Monospace" | ||
22 | autoSizePolicy "node_width" | ||
23 | anchor "t" | ||
24 | borderDistance 0.0 | ||
25 | ] | ||
26 | LabelGraphics | ||
27 | [ | ||
28 | text " | ||
29 | EntryType enum | ||
30 | " | ||
31 | fontSize 14 | ||
32 | fontName "Consolas" | ||
33 | alignment "left" | ||
34 | anchor "tl" | ||
35 | borderDistance 6 | ||
36 | ] | ||
37 | ] | ||
38 | |||
39 | node | ||
40 | [ | ||
41 | id 1 | ||
42 | graphics | ||
43 | [ | ||
44 | w 226.60000000000002 | ||
45 | h 40 | ||
46 | type "rectangle" | ||
47 | fill "#FFFFFF" | ||
48 | fill2 "#FFFFFF" | ||
49 | outline "#000000" | ||
50 | ] | ||
51 | LabelGraphics | ||
52 | [ | ||
53 | text "History literal EntryType" | ||
54 | outline "#000000" | ||
55 | fill "#FFFFFF" | ||
56 | fontSize 16 | ||
57 | fontName "Monospace" | ||
58 | autoSizePolicy "node_width" | ||
59 | anchor "t" | ||
60 | borderDistance 0.0 | ||
61 | ] | ||
62 | LabelGraphics | ||
63 | [ | ||
64 | text " | ||
65 | EntryType enum | ||
66 | " | ||
67 | fontSize 14 | ||
68 | fontName "Consolas" | ||
69 | alignment "left" | ||
70 | anchor "tl" | ||
71 | borderDistance 6 | ||
72 | ] | ||
73 | ] | ||
74 | |||
75 | node | ||
76 | [ | ||
77 | id 2 | ||
78 | graphics | ||
79 | [ | ||
80 | w 261.8 | ||
81 | h 40 | ||
82 | type "rectangle" | ||
83 | fill "#FFFFFF" | ||
84 | fill2 "#FFFFFF" | ||
85 | outline "#000000" | ||
86 | ] | ||
87 | LabelGraphics | ||
88 | [ | ||
89 | text "DeepHistory literal EntryType" | ||
90 | outline "#000000" | ||
91 | fill "#FFFFFF" | ||
92 | fontSize 16 | ||
93 | fontName "Monospace" | ||
94 | autoSizePolicy "node_width" | ||
95 | anchor "t" | ||
96 | borderDistance 0.0 | ||
97 | ] | ||
98 | LabelGraphics | ||
99 | [ | ||
100 | text " | ||
101 | EntryType enum | ||
102 | " | ||
103 | fontSize 14 | ||
104 | fontName "Consolas" | ||
105 | alignment "left" | ||
106 | anchor "tl" | ||
107 | borderDistance 6 | ||
108 | ] | ||
109 | ] | ||
110 | |||
111 | node | ||
112 | [ | ||
113 | id 3 | ||
114 | graphics | ||
115 | [ | ||
116 | w 277.20000000000005 | ||
117 | h 82 | ||
118 | type "rectangle" | ||
119 | fill "#FFFFFF" | ||
120 | fill2 "#FFFFFF" | ||
121 | outline "#000000" | ||
122 | ] | ||
123 | LabelGraphics | ||
124 | [ | ||
125 | text "o 1" | ||
126 | outline "#000000" | ||
127 | fill "#FFFFFF" | ||
128 | fontSize 16 | ||
129 | fontName "Monospace" | ||
130 | autoSizePolicy "node_width" | ||
131 | anchor "t" | ||
132 | borderDistance 0.0 | ||
133 | ] | ||
134 | LabelGraphics | ||
135 | [ | ||
136 | text " | ||
137 | Statechart class DefinedPart | ||
138 | CompositeElement class DefinedPart | ||
139 | Statechart class | ||
140 | CompositeElement class | ||
141 | " | ||
142 | fontSize 14 | ||
143 | fontName "Consolas" | ||
144 | alignment "left" | ||
145 | anchor "tl" | ||
146 | borderDistance 6 | ||
147 | ] | ||
148 | ] | ||
149 | |||
150 | node | ||
151 | [ | ||
152 | id 4 | ||
153 | graphics | ||
154 | [ | ||
155 | w 41.800000000000004 | ||
156 | h 26 | ||
157 | type "rectangle" | ||
158 | fill "#FFFFFF" | ||
159 | fill2 "#FFFFFF" | ||
160 | outline "#000000" | ||
161 | ] | ||
162 | LabelGraphics | ||
163 | [ | ||
164 | text "true" | ||
165 | outline "#000000" | ||
166 | fill "#FFFFFF" | ||
167 | fontSize 16 | ||
168 | fontName "Monospace" | ||
169 | autoSizePolicy "node_width" | ||
170 | anchor "t" | ||
171 | borderDistance 0.0 | ||
172 | ] | ||
173 | LabelGraphics | ||
174 | [ | ||
175 | text " | ||
176 | " | ||
177 | fontSize 14 | ||
178 | fontName "Consolas" | ||
179 | alignment "left" | ||
180 | anchor "tl" | ||
181 | borderDistance 6 | ||
182 | ] | ||
183 | ] | ||
184 | |||
185 | node | ||
186 | [ | ||
187 | id 5 | ||
188 | graphics | ||
189 | [ | ||
190 | w 50.6 | ||
191 | h 26 | ||
192 | type "rectangle" | ||
193 | fill "#FFFFFF" | ||
194 | fill2 "#FFFFFF" | ||
195 | outline "#000000" | ||
196 | ] | ||
197 | LabelGraphics | ||
198 | [ | ||
199 | text "false" | ||
200 | outline "#000000" | ||
201 | fill "#FFFFFF" | ||
202 | fontSize 16 | ||
203 | fontName "Monospace" | ||
204 | autoSizePolicy "node_width" | ||
205 | anchor "t" | ||
206 | borderDistance 0.0 | ||
207 | ] | ||
208 | LabelGraphics | ||
209 | [ | ||
210 | text " | ||
211 | " | ||
212 | fontSize 14 | ||
213 | fontName "Consolas" | ||
214 | alignment "left" | ||
215 | anchor "tl" | ||
216 | borderDistance 6 | ||
217 | ] | ||
218 | ] | ||
219 | |||
220 | node | ||
221 | [ | ||
222 | id 6 | ||
223 | graphics | ||
224 | [ | ||
225 | w 107.80000000000001 | ||
226 | h 40 | ||
227 | type "rectangle" | ||
228 | fill "#FFFFFF" | ||
229 | fill2 "#FFFFFF" | ||
230 | outline "#000000" | ||
231 | ] | ||
232 | LabelGraphics | ||
233 | [ | ||
234 | text "null" | ||
235 | outline "#000000" | ||
236 | fill "#FFFFFF" | ||
237 | fontSize 16 | ||
238 | fontName "Monospace" | ||
239 | autoSizePolicy "node_width" | ||
240 | anchor "t" | ||
241 | borderDistance 0.0 | ||
242 | ] | ||
243 | LabelGraphics | ||
244 | [ | ||
245 | text " | ||
246 | Region class | ||
247 | " | ||
248 | fontSize 14 | ||
249 | fontName "Consolas" | ||
250 | alignment "left" | ||
251 | anchor "tl" | ||
252 | borderDistance 6 | ||
253 | ] | ||
254 | ] | ||
255 | |||
256 | node | ||
257 | [ | ||
258 | id 7 | ||
259 | graphics | ||
260 | [ | ||
261 | w 146.3 | ||
262 | h 68 | ||
263 | type "rectangle" | ||
264 | fill "#FFFFFF" | ||
265 | fill2 "#FFFFFF" | ||
266 | outline "#000000" | ||
267 | ] | ||
268 | LabelGraphics | ||
269 | [ | ||
270 | text "null" | ||
271 | outline "#000000" | ||
272 | fill "#FFFFFF" | ||
273 | fontSize 16 | ||
274 | fontName "Monospace" | ||
275 | autoSizePolicy "node_width" | ||
276 | anchor "t" | ||
277 | borderDistance 0.0 | ||
278 | ] | ||
279 | LabelGraphics | ||
280 | [ | ||
281 | text " | ||
282 | Pseudostate class | ||
283 | Vertex class | ||
284 | Choice class | ||
285 | " | ||
286 | fontSize 14 | ||
287 | fontName "Consolas" | ||
288 | alignment "left" | ||
289 | anchor "tl" | ||
290 | borderDistance 6 | ||
291 | ] | ||
292 | ] | ||
293 | |||
294 | node | ||
295 | [ | ||
296 | id 8 | ||
297 | graphics | ||
298 | [ | ||
299 | w 146.3 | ||
300 | h 68 | ||
301 | type "rectangle" | ||
302 | fill "#FFFFFF" | ||
303 | fill2 "#FFFFFF" | ||
304 | outline "#000000" | ||
305 | ] | ||
306 | LabelGraphics | ||
307 | [ | ||
308 | text "null" | ||
309 | outline "#000000" | ||
310 | fill "#FFFFFF" | ||
311 | fontSize 16 | ||
312 | fontName "Monospace" | ||
313 | autoSizePolicy "node_width" | ||
314 | anchor "t" | ||
315 | borderDistance 0.0 | ||
316 | ] | ||
317 | LabelGraphics | ||
318 | [ | ||
319 | text " | ||
320 | Pseudostate class | ||
321 | Vertex class | ||
322 | Entry class | ||
323 | " | ||
324 | fontSize 14 | ||
325 | fontName "Consolas" | ||
326 | alignment "left" | ||
327 | anchor "tl" | ||
328 | borderDistance 6 | ||
329 | ] | ||
330 | ] | ||
331 | |||
332 | node | ||
333 | [ | ||
334 | id 9 | ||
335 | graphics | ||
336 | [ | ||
337 | w 146.3 | ||
338 | h 68 | ||
339 | type "rectangle" | ||
340 | fill "#FFFFFF" | ||
341 | fill2 "#FFFFFF" | ||
342 | outline "#000000" | ||
343 | ] | ||
344 | LabelGraphics | ||
345 | [ | ||
346 | text "null" | ||
347 | outline "#000000" | ||
348 | fill "#FFFFFF" | ||
349 | fontSize 16 | ||
350 | fontName "Monospace" | ||
351 | autoSizePolicy "node_width" | ||
352 | anchor "t" | ||
353 | borderDistance 0.0 | ||
354 | ] | ||
355 | LabelGraphics | ||
356 | [ | ||
357 | text " | ||
358 | Pseudostate class | ||
359 | Vertex class | ||
360 | Entry class | ||
361 | " | ||
362 | fontSize 14 | ||
363 | fontName "Consolas" | ||
364 | alignment "left" | ||
365 | anchor "tl" | ||
366 | borderDistance 6 | ||
367 | ] | ||
368 | ] | ||
369 | |||
370 | node | ||
371 | [ | ||
372 | id 10 | ||
373 | graphics | ||
374 | [ | ||
375 | w 107.80000000000001 | ||
376 | h 40 | ||
377 | type "rectangle" | ||
378 | fill "#FFFFFF" | ||
379 | fill2 "#FFFFFF" | ||
380 | outline "#000000" | ||
381 | ] | ||
382 | LabelGraphics | ||
383 | [ | ||
384 | text "null" | ||
385 | outline "#000000" | ||
386 | fill "#FFFFFF" | ||
387 | fontSize 16 | ||
388 | fontName "Monospace" | ||
389 | autoSizePolicy "node_width" | ||
390 | anchor "t" | ||
391 | borderDistance 0.0 | ||
392 | ] | ||
393 | LabelGraphics | ||
394 | [ | ||
395 | text " | ||
396 | Region class | ||
397 | " | ||
398 | fontSize 14 | ||
399 | fontName "Consolas" | ||
400 | alignment "left" | ||
401 | anchor "tl" | ||
402 | borderDistance 6 | ||
403 | ] | ||
404 | ] | ||
405 | |||
406 | node | ||
407 | [ | ||
408 | id 11 | ||
409 | graphics | ||
410 | [ | ||
411 | w 292.6 | ||
412 | h 96 | ||
413 | type "rectangle" | ||
414 | fill "#FFFFFF" | ||
415 | fill2 "#FFFFFF" | ||
416 | outline "#000000" | ||
417 | ] | ||
418 | LabelGraphics | ||
419 | [ | ||
420 | text "null" | ||
421 | outline "#000000" | ||
422 | fill "#FFFFFF" | ||
423 | fontSize 16 | ||
424 | fontName "Monospace" | ||
425 | autoSizePolicy "node_width" | ||
426 | anchor "t" | ||
427 | borderDistance 0.0 | ||
428 | ] | ||
429 | LabelGraphics | ||
430 | [ | ||
431 | text " | ||
432 | Vertex class | ||
433 | State class | ||
434 | RegularState class | ||
435 | CompositeElement class | ||
436 | CompositeElement class UndefinedPart | ||
437 | " | ||
438 | fontSize 14 | ||
439 | fontName "Consolas" | ||
440 | alignment "left" | ||
441 | anchor "tl" | ||
442 | borderDistance 6 | ||
443 | ] | ||
444 | ] | ||
445 | |||
446 | node | ||
447 | [ | ||
448 | id 12 | ||
449 | graphics | ||
450 | [ | ||
451 | w 177.10000000000002 | ||
452 | h 68 | ||
453 | type "rectangle" | ||
454 | fill "#FFFFFF" | ||
455 | fill2 "#FFFFFF" | ||
456 | outline "#000000" | ||
457 | ] | ||
458 | LabelGraphics | ||
459 | [ | ||
460 | text "null" | ||
461 | outline "#000000" | ||
462 | fill "#FFFFFF" | ||
463 | fontSize 16 | ||
464 | fontName "Monospace" | ||
465 | autoSizePolicy "node_width" | ||
466 | anchor "t" | ||
467 | borderDistance 0.0 | ||
468 | ] | ||
469 | LabelGraphics | ||
470 | [ | ||
471 | text " | ||
472 | Pseudostate class | ||
473 | Vertex class | ||
474 | Synchronization class | ||
475 | " | ||
476 | fontSize 14 | ||
477 | fontName "Consolas" | ||
478 | alignment "left" | ||
479 | anchor "tl" | ||
480 | borderDistance 6 | ||
481 | ] | ||
482 | ] | ||
483 | |||
484 | node | ||
485 | [ | ||
486 | id 13 | ||
487 | graphics | ||
488 | [ | ||
489 | w 112.2 | ||
490 | h 26 | ||
491 | type "rectangle" | ||
492 | fill "#FFFFFF" | ||
493 | fill2 "#FFFFFF" | ||
494 | outline "#000000" | ||
495 | ] | ||
496 | LabelGraphics | ||
497 | [ | ||
498 | text "New Integers" | ||
499 | outline "#000000" | ||
500 | fill "#FFFFFF" | ||
501 | fontSize 16 | ||
502 | fontName "Monospace" | ||
503 | autoSizePolicy "node_width" | ||
504 | anchor "t" | ||
505 | borderDistance 0.0 | ||
506 | ] | ||
507 | LabelGraphics | ||
508 | [ | ||
509 | text " | ||
510 | " | ||
511 | fontSize 14 | ||
512 | fontName "Consolas" | ||
513 | alignment "left" | ||
514 | anchor "tl" | ||
515 | borderDistance 6 | ||
516 | ] | ||
517 | ] | ||
518 | |||
519 | node | ||
520 | [ | ||
521 | id 14 | ||
522 | graphics | ||
523 | [ | ||
524 | w 85.80000000000001 | ||
525 | h 26 | ||
526 | type "rectangle" | ||
527 | fill "#FFFFFF" | ||
528 | fill2 "#FFFFFF" | ||
529 | outline "#000000" | ||
530 | ] | ||
531 | LabelGraphics | ||
532 | [ | ||
533 | text "New Reals" | ||
534 | outline "#000000" | ||
535 | fill "#FFFFFF" | ||
536 | fontSize 16 | ||
537 | fontName "Monospace" | ||
538 | autoSizePolicy "node_width" | ||
539 | anchor "t" | ||
540 | borderDistance 0.0 | ||
541 | ] | ||
542 | LabelGraphics | ||
543 | [ | ||
544 | text " | ||
545 | " | ||
546 | fontSize 14 | ||
547 | fontName "Consolas" | ||
548 | alignment "left" | ||
549 | anchor "tl" | ||
550 | borderDistance 6 | ||
551 | ] | ||
552 | ] | ||
553 | |||
554 | node | ||
555 | [ | ||
556 | id 15 | ||
557 | graphics | ||
558 | [ | ||
559 | w 103.4 | ||
560 | h 26 | ||
561 | type "rectangle" | ||
562 | fill "#FFFFFF" | ||
563 | fill2 "#FFFFFF" | ||
564 | outline "#000000" | ||
565 | ] | ||
566 | LabelGraphics | ||
567 | [ | ||
568 | text "New Strings" | ||
569 | outline "#000000" | ||
570 | fill "#FFFFFF" | ||
571 | fontSize 16 | ||
572 | fontName "Monospace" | ||
573 | autoSizePolicy "node_width" | ||
574 | anchor "t" | ||
575 | borderDistance 0.0 | ||
576 | ] | ||
577 | LabelGraphics | ||
578 | [ | ||
579 | text " | ||
580 | " | ||
581 | fontSize 14 | ||
582 | fontName "Consolas" | ||
583 | alignment "left" | ||
584 | anchor "tl" | ||
585 | borderDistance 6 | ||
586 | ] | ||
587 | ] | ||
588 | |||
589 | node | ||
590 | [ | ||
591 | id 16 | ||
592 | graphics | ||
593 | [ | ||
594 | w 103.4 | ||
595 | h 26 | ||
596 | type "rectangle" | ||
597 | fill "#FFFFFF" | ||
598 | fill2 "#FFFFFF" | ||
599 | outline "#000000" | ||
600 | ] | ||
601 | LabelGraphics | ||
602 | [ | ||
603 | text "New Objects" | ||
604 | outline "#000000" | ||
605 | fill "#FFFFFF" | ||
606 | fontSize 16 | ||
607 | fontName "Monospace" | ||
608 | autoSizePolicy "node_width" | ||
609 | anchor "t" | ||
610 | borderDistance 0.0 | ||
611 | ] | ||
612 | LabelGraphics | ||
613 | [ | ||
614 | text " | ||
615 | " | ||
616 | fontSize 14 | ||
617 | fontName "Consolas" | ||
618 | alignment "left" | ||
619 | anchor "tl" | ||
620 | borderDistance 6 | ||
621 | ] | ||
622 | ] | ||
623 | edge | ||
624 | [ | ||
625 | source 6 | ||
626 | target 7 | ||
627 | graphics | ||
628 | [ | ||
629 | fill "#000000" | ||
630 | width 3 | ||
631 | targetArrow "standard" | ||
632 | ] | ||
633 | LabelGraphics | ||
634 | [ | ||
635 | text "vertices reference Region" | ||
636 | fontSize 14 | ||
637 | fontName "Consolas" | ||
638 | configuration "AutoFlippingLabel" | ||
639 | model "six_pos" | ||
640 | position "thead" | ||
641 | ] | ||
642 | ] | ||
643 | edge | ||
644 | [ | ||
645 | source 6 | ||
646 | target 8 | ||
647 | graphics | ||
648 | [ | ||
649 | fill "#000000" | ||
650 | width 3 | ||
651 | targetArrow "standard" | ||
652 | ] | ||
653 | LabelGraphics | ||
654 | [ | ||
655 | text "vertices reference Region" | ||
656 | fontSize 14 | ||
657 | fontName "Consolas" | ||
658 | configuration "AutoFlippingLabel" | ||
659 | model "six_pos" | ||
660 | position "thead" | ||
661 | ] | ||
662 | ] | ||
663 | edge | ||
664 | [ | ||
665 | source 6 | ||
666 | target 9 | ||
667 | graphics | ||
668 | [ | ||
669 | fill "#000000" | ||
670 | width 3 | ||
671 | targetArrow "standard" | ||
672 | ] | ||
673 | LabelGraphics | ||
674 | [ | ||
675 | text "vertices reference Region" | ||
676 | fontSize 14 | ||
677 | fontName "Consolas" | ||
678 | configuration "AutoFlippingLabel" | ||
679 | model "six_pos" | ||
680 | position "thead" | ||
681 | ] | ||
682 | ] | ||
683 | edge | ||
684 | [ | ||
685 | source 10 | ||
686 | target 11 | ||
687 | graphics | ||
688 | [ | ||
689 | fill "#000000" | ||
690 | width 3 | ||
691 | targetArrow "standard" | ||
692 | ] | ||
693 | LabelGraphics | ||
694 | [ | ||
695 | text "vertices reference Region" | ||
696 | fontSize 14 | ||
697 | fontName "Consolas" | ||
698 | configuration "AutoFlippingLabel" | ||
699 | model "six_pos" | ||
700 | position "thead" | ||
701 | ] | ||
702 | ] | ||
703 | edge | ||
704 | [ | ||
705 | source 6 | ||
706 | target 12 | ||
707 | graphics | ||
708 | [ | ||
709 | fill "#000000" | ||
710 | width 3 | ||
711 | targetArrow "standard" | ||
712 | ] | ||
713 | LabelGraphics | ||
714 | [ | ||
715 | text "vertices reference Region" | ||
716 | fontSize 14 | ||
717 | fontName "Consolas" | ||
718 | configuration "AutoFlippingLabel" | ||
719 | model "six_pos" | ||
720 | position "thead" | ||
721 | ] | ||
722 | ] | ||
723 | edge | ||
724 | [ | ||
725 | source 3 | ||
726 | target 6 | ||
727 | graphics | ||
728 | [ | ||
729 | fill "#000000" | ||
730 | width 3 | ||
731 | targetArrow "standard" | ||
732 | ] | ||
733 | LabelGraphics | ||
734 | [ | ||
735 | text "regions reference CompositeElement" | ||
736 | fontSize 14 | ||
737 | fontName "Consolas" | ||
738 | configuration "AutoFlippingLabel" | ||
739 | model "six_pos" | ||
740 | position "thead" | ||
741 | ] | ||
742 | ] | ||
743 | edge | ||
744 | [ | ||
745 | source 3 | ||
746 | target 10 | ||
747 | graphics | ||
748 | [ | ||
749 | fill "#000000" | ||
750 | width 3 | ||
751 | targetArrow "standard" | ||
752 | ] | ||
753 | LabelGraphics | ||
754 | [ | ||
755 | text "regions reference CompositeElement" | ||
756 | fontSize 14 | ||
757 | fontName "Consolas" | ||
758 | configuration "AutoFlippingLabel" | ||
759 | model "six_pos" | ||
760 | position "thead" | ||
761 | ] | ||
762 | ] | ||
763 | ] | ||
764 | |||
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/output/solution4Visualisation.gml b/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/output/solution4Visualisation.gml new file mode 100644 index 00000000..0e9040ed --- /dev/null +++ b/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/output/solution4Visualisation.gml | |||
@@ -0,0 +1,822 @@ | |||
1 | graph | ||
2 | [ | ||
3 | node | ||
4 | [ | ||
5 | id 0 | ||
6 | graphics | ||
7 | [ | ||
8 | w 217.8 | ||
9 | h 40 | ||
10 | type "rectangle" | ||
11 | fill "#FFFFFF" | ||
12 | fill2 "#FFFFFF" | ||
13 | outline "#000000" | ||
14 | ] | ||
15 | LabelGraphics | ||
16 | [ | ||
17 | text "Normal literal EntryType" | ||
18 | outline "#000000" | ||
19 | fill "#FFFFFF" | ||
20 | fontSize 16 | ||
21 | fontName "Monospace" | ||
22 | autoSizePolicy "node_width" | ||
23 | anchor "t" | ||
24 | borderDistance 0.0 | ||
25 | ] | ||
26 | LabelGraphics | ||
27 | [ | ||
28 | text " | ||
29 | EntryType enum | ||
30 | " | ||
31 | fontSize 14 | ||
32 | fontName "Consolas" | ||
33 | alignment "left" | ||
34 | anchor "tl" | ||
35 | borderDistance 6 | ||
36 | ] | ||
37 | ] | ||
38 | |||
39 | node | ||
40 | [ | ||
41 | id 1 | ||
42 | graphics | ||
43 | [ | ||
44 | w 226.60000000000002 | ||
45 | h 40 | ||
46 | type "rectangle" | ||
47 | fill "#FFFFFF" | ||
48 | fill2 "#FFFFFF" | ||
49 | outline "#000000" | ||
50 | ] | ||
51 | LabelGraphics | ||
52 | [ | ||
53 | text "History literal EntryType" | ||
54 | outline "#000000" | ||
55 | fill "#FFFFFF" | ||
56 | fontSize 16 | ||
57 | fontName "Monospace" | ||
58 | autoSizePolicy "node_width" | ||
59 | anchor "t" | ||
60 | borderDistance 0.0 | ||
61 | ] | ||
62 | LabelGraphics | ||
63 | [ | ||
64 | text " | ||
65 | EntryType enum | ||
66 | " | ||
67 | fontSize 14 | ||
68 | fontName "Consolas" | ||
69 | alignment "left" | ||
70 | anchor "tl" | ||
71 | borderDistance 6 | ||
72 | ] | ||
73 | ] | ||
74 | |||
75 | node | ||
76 | [ | ||
77 | id 2 | ||
78 | graphics | ||
79 | [ | ||
80 | w 261.8 | ||
81 | h 40 | ||
82 | type "rectangle" | ||
83 | fill "#FFFFFF" | ||
84 | fill2 "#FFFFFF" | ||
85 | outline "#000000" | ||
86 | ] | ||
87 | LabelGraphics | ||
88 | [ | ||
89 | text "DeepHistory literal EntryType" | ||
90 | outline "#000000" | ||
91 | fill "#FFFFFF" | ||
92 | fontSize 16 | ||
93 | fontName "Monospace" | ||
94 | autoSizePolicy "node_width" | ||
95 | anchor "t" | ||
96 | borderDistance 0.0 | ||
97 | ] | ||
98 | LabelGraphics | ||
99 | [ | ||
100 | text " | ||
101 | EntryType enum | ||
102 | " | ||
103 | fontSize 14 | ||
104 | fontName "Consolas" | ||
105 | alignment "left" | ||
106 | anchor "tl" | ||
107 | borderDistance 6 | ||
108 | ] | ||
109 | ] | ||
110 | |||
111 | node | ||
112 | [ | ||
113 | id 3 | ||
114 | graphics | ||
115 | [ | ||
116 | w 277.20000000000005 | ||
117 | h 82 | ||
118 | type "rectangle" | ||
119 | fill "#FFFFFF" | ||
120 | fill2 "#FFFFFF" | ||
121 | outline "#000000" | ||
122 | ] | ||
123 | LabelGraphics | ||
124 | [ | ||
125 | text "o 1" | ||
126 | outline "#000000" | ||
127 | fill "#FFFFFF" | ||
128 | fontSize 16 | ||
129 | fontName "Monospace" | ||
130 | autoSizePolicy "node_width" | ||
131 | anchor "t" | ||
132 | borderDistance 0.0 | ||
133 | ] | ||
134 | LabelGraphics | ||
135 | [ | ||
136 | text " | ||
137 | Statechart class DefinedPart | ||
138 | CompositeElement class DefinedPart | ||
139 | Statechart class | ||
140 | CompositeElement class | ||
141 | " | ||
142 | fontSize 14 | ||
143 | fontName "Consolas" | ||
144 | alignment "left" | ||
145 | anchor "tl" | ||
146 | borderDistance 6 | ||
147 | ] | ||
148 | ] | ||
149 | |||
150 | node | ||
151 | [ | ||
152 | id 4 | ||
153 | graphics | ||
154 | [ | ||
155 | w 41.800000000000004 | ||
156 | h 26 | ||
157 | type "rectangle" | ||
158 | fill "#FFFFFF" | ||
159 | fill2 "#FFFFFF" | ||
160 | outline "#000000" | ||
161 | ] | ||
162 | LabelGraphics | ||
163 | [ | ||
164 | text "true" | ||
165 | outline "#000000" | ||
166 | fill "#FFFFFF" | ||
167 | fontSize 16 | ||
168 | fontName "Monospace" | ||
169 | autoSizePolicy "node_width" | ||
170 | anchor "t" | ||
171 | borderDistance 0.0 | ||
172 | ] | ||
173 | LabelGraphics | ||
174 | [ | ||
175 | text " | ||
176 | " | ||
177 | fontSize 14 | ||
178 | fontName "Consolas" | ||
179 | alignment "left" | ||
180 | anchor "tl" | ||
181 | borderDistance 6 | ||
182 | ] | ||
183 | ] | ||
184 | |||
185 | node | ||
186 | [ | ||
187 | id 5 | ||
188 | graphics | ||
189 | [ | ||
190 | w 50.6 | ||
191 | h 26 | ||
192 | type "rectangle" | ||
193 | fill "#FFFFFF" | ||
194 | fill2 "#FFFFFF" | ||
195 | outline "#000000" | ||
196 | ] | ||
197 | LabelGraphics | ||
198 | [ | ||
199 | text "false" | ||
200 | outline "#000000" | ||
201 | fill "#FFFFFF" | ||
202 | fontSize 16 | ||
203 | fontName "Monospace" | ||
204 | autoSizePolicy "node_width" | ||
205 | anchor "t" | ||
206 | borderDistance 0.0 | ||
207 | ] | ||
208 | LabelGraphics | ||
209 | [ | ||
210 | text " | ||
211 | " | ||
212 | fontSize 14 | ||
213 | fontName "Consolas" | ||
214 | alignment "left" | ||
215 | anchor "tl" | ||
216 | borderDistance 6 | ||
217 | ] | ||
218 | ] | ||
219 | |||
220 | node | ||
221 | [ | ||
222 | id 6 | ||
223 | graphics | ||
224 | [ | ||
225 | w 107.80000000000001 | ||
226 | h 40 | ||
227 | type "rectangle" | ||
228 | fill "#FFFFFF" | ||
229 | fill2 "#FFFFFF" | ||
230 | outline "#000000" | ||
231 | ] | ||
232 | LabelGraphics | ||
233 | [ | ||
234 | text "null" | ||
235 | outline "#000000" | ||
236 | fill "#FFFFFF" | ||
237 | fontSize 16 | ||
238 | fontName "Monospace" | ||
239 | autoSizePolicy "node_width" | ||
240 | anchor "t" | ||
241 | borderDistance 0.0 | ||
242 | ] | ||
243 | LabelGraphics | ||
244 | [ | ||
245 | text " | ||
246 | Region class | ||
247 | " | ||
248 | fontSize 14 | ||
249 | fontName "Consolas" | ||
250 | alignment "left" | ||
251 | anchor "tl" | ||
252 | borderDistance 6 | ||
253 | ] | ||
254 | ] | ||
255 | |||
256 | node | ||
257 | [ | ||
258 | id 7 | ||
259 | graphics | ||
260 | [ | ||
261 | w 146.3 | ||
262 | h 68 | ||
263 | type "rectangle" | ||
264 | fill "#FFFFFF" | ||
265 | fill2 "#FFFFFF" | ||
266 | outline "#000000" | ||
267 | ] | ||
268 | LabelGraphics | ||
269 | [ | ||
270 | text "null" | ||
271 | outline "#000000" | ||
272 | fill "#FFFFFF" | ||
273 | fontSize 16 | ||
274 | fontName "Monospace" | ||
275 | autoSizePolicy "node_width" | ||
276 | anchor "t" | ||
277 | borderDistance 0.0 | ||
278 | ] | ||
279 | LabelGraphics | ||
280 | [ | ||
281 | text " | ||
282 | Pseudostate class | ||
283 | Vertex class | ||
284 | Choice class | ||
285 | " | ||
286 | fontSize 14 | ||
287 | fontName "Consolas" | ||
288 | alignment "left" | ||
289 | anchor "tl" | ||
290 | borderDistance 6 | ||
291 | ] | ||
292 | ] | ||
293 | |||
294 | node | ||
295 | [ | ||
296 | id 8 | ||
297 | graphics | ||
298 | [ | ||
299 | w 146.3 | ||
300 | h 68 | ||
301 | type "rectangle" | ||
302 | fill "#FFFFFF" | ||
303 | fill2 "#FFFFFF" | ||
304 | outline "#000000" | ||
305 | ] | ||
306 | LabelGraphics | ||
307 | [ | ||
308 | text "null" | ||
309 | outline "#000000" | ||
310 | fill "#FFFFFF" | ||
311 | fontSize 16 | ||
312 | fontName "Monospace" | ||
313 | autoSizePolicy "node_width" | ||
314 | anchor "t" | ||
315 | borderDistance 0.0 | ||
316 | ] | ||
317 | LabelGraphics | ||
318 | [ | ||
319 | text " | ||
320 | Pseudostate class | ||
321 | Vertex class | ||
322 | Entry class | ||
323 | " | ||
324 | fontSize 14 | ||
325 | fontName "Consolas" | ||
326 | alignment "left" | ||
327 | anchor "tl" | ||
328 | borderDistance 6 | ||
329 | ] | ||
330 | ] | ||
331 | |||
332 | node | ||
333 | [ | ||
334 | id 9 | ||
335 | graphics | ||
336 | [ | ||
337 | w 146.3 | ||
338 | h 68 | ||
339 | type "rectangle" | ||
340 | fill "#FFFFFF" | ||
341 | fill2 "#FFFFFF" | ||
342 | outline "#000000" | ||
343 | ] | ||
344 | LabelGraphics | ||
345 | [ | ||
346 | text "null" | ||
347 | outline "#000000" | ||
348 | fill "#FFFFFF" | ||
349 | fontSize 16 | ||
350 | fontName "Monospace" | ||
351 | autoSizePolicy "node_width" | ||
352 | anchor "t" | ||
353 | borderDistance 0.0 | ||
354 | ] | ||
355 | LabelGraphics | ||
356 | [ | ||
357 | text " | ||
358 | Pseudostate class | ||
359 | Vertex class | ||
360 | Entry class | ||
361 | " | ||
362 | fontSize 14 | ||
363 | fontName "Consolas" | ||
364 | alignment "left" | ||
365 | anchor "tl" | ||
366 | borderDistance 6 | ||
367 | ] | ||
368 | ] | ||
369 | |||
370 | node | ||
371 | [ | ||
372 | id 10 | ||
373 | graphics | ||
374 | [ | ||
375 | w 107.80000000000001 | ||
376 | h 40 | ||
377 | type "rectangle" | ||
378 | fill "#FFFFFF" | ||
379 | fill2 "#FFFFFF" | ||
380 | outline "#000000" | ||
381 | ] | ||
382 | LabelGraphics | ||
383 | [ | ||
384 | text "null" | ||
385 | outline "#000000" | ||
386 | fill "#FFFFFF" | ||
387 | fontSize 16 | ||
388 | fontName "Monospace" | ||
389 | autoSizePolicy "node_width" | ||
390 | anchor "t" | ||
391 | borderDistance 0.0 | ||
392 | ] | ||
393 | LabelGraphics | ||
394 | [ | ||
395 | text " | ||
396 | Region class | ||
397 | " | ||
398 | fontSize 14 | ||
399 | fontName "Consolas" | ||
400 | alignment "left" | ||
401 | anchor "tl" | ||
402 | borderDistance 6 | ||
403 | ] | ||
404 | ] | ||
405 | |||
406 | node | ||
407 | [ | ||
408 | id 11 | ||
409 | graphics | ||
410 | [ | ||
411 | w 292.6 | ||
412 | h 96 | ||
413 | type "rectangle" | ||
414 | fill "#FFFFFF" | ||
415 | fill2 "#FFFFFF" | ||
416 | outline "#000000" | ||
417 | ] | ||
418 | LabelGraphics | ||
419 | [ | ||
420 | text "null" | ||
421 | outline "#000000" | ||
422 | fill "#FFFFFF" | ||
423 | fontSize 16 | ||
424 | fontName "Monospace" | ||
425 | autoSizePolicy "node_width" | ||
426 | anchor "t" | ||
427 | borderDistance 0.0 | ||
428 | ] | ||
429 | LabelGraphics | ||
430 | [ | ||
431 | text " | ||
432 | Vertex class | ||
433 | State class | ||
434 | RegularState class | ||
435 | CompositeElement class | ||
436 | CompositeElement class UndefinedPart | ||
437 | " | ||
438 | fontSize 14 | ||
439 | fontName "Consolas" | ||
440 | alignment "left" | ||
441 | anchor "tl" | ||
442 | borderDistance 6 | ||
443 | ] | ||
444 | ] | ||
445 | |||
446 | node | ||
447 | [ | ||
448 | id 12 | ||
449 | graphics | ||
450 | [ | ||
451 | w 177.10000000000002 | ||
452 | h 68 | ||
453 | type "rectangle" | ||
454 | fill "#FFFFFF" | ||
455 | fill2 "#FFFFFF" | ||
456 | outline "#000000" | ||
457 | ] | ||
458 | LabelGraphics | ||
459 | [ | ||
460 | text "null" | ||
461 | outline "#000000" | ||
462 | fill "#FFFFFF" | ||
463 | fontSize 16 | ||
464 | fontName "Monospace" | ||
465 | autoSizePolicy "node_width" | ||
466 | anchor "t" | ||
467 | borderDistance 0.0 | ||
468 | ] | ||
469 | LabelGraphics | ||
470 | [ | ||
471 | text " | ||
472 | Pseudostate class | ||
473 | Vertex class | ||
474 | Synchronization class | ||
475 | " | ||
476 | fontSize 14 | ||
477 | fontName "Consolas" | ||
478 | alignment "left" | ||
479 | anchor "tl" | ||
480 | borderDistance 6 | ||
481 | ] | ||
482 | ] | ||
483 | |||
484 | node | ||
485 | [ | ||
486 | id 13 | ||
487 | graphics | ||
488 | [ | ||
489 | w 154.0 | ||
490 | h 68 | ||
491 | type "rectangle" | ||
492 | fill "#FFFFFF" | ||
493 | fill2 "#FFFFFF" | ||
494 | outline "#000000" | ||
495 | ] | ||
496 | LabelGraphics | ||
497 | [ | ||
498 | text "null" | ||
499 | outline "#000000" | ||
500 | fill "#FFFFFF" | ||
501 | fontSize 16 | ||
502 | fontName "Monospace" | ||
503 | autoSizePolicy "node_width" | ||
504 | anchor "t" | ||
505 | borderDistance 0.0 | ||
506 | ] | ||
507 | LabelGraphics | ||
508 | [ | ||
509 | text " | ||
510 | Vertex class | ||
511 | RegularState class | ||
512 | FinalState class | ||
513 | " | ||
514 | fontSize 14 | ||
515 | fontName "Consolas" | ||
516 | alignment "left" | ||
517 | anchor "tl" | ||
518 | borderDistance 6 | ||
519 | ] | ||
520 | ] | ||
521 | |||
522 | node | ||
523 | [ | ||
524 | id 14 | ||
525 | graphics | ||
526 | [ | ||
527 | w 112.2 | ||
528 | h 26 | ||
529 | type "rectangle" | ||
530 | fill "#FFFFFF" | ||
531 | fill2 "#FFFFFF" | ||
532 | outline "#000000" | ||
533 | ] | ||
534 | LabelGraphics | ||
535 | [ | ||
536 | text "New Integers" | ||
537 | outline "#000000" | ||
538 | fill "#FFFFFF" | ||
539 | fontSize 16 | ||
540 | fontName "Monospace" | ||
541 | autoSizePolicy "node_width" | ||
542 | anchor "t" | ||
543 | borderDistance 0.0 | ||
544 | ] | ||
545 | LabelGraphics | ||
546 | [ | ||
547 | text " | ||
548 | " | ||
549 | fontSize 14 | ||
550 | fontName "Consolas" | ||
551 | alignment "left" | ||
552 | anchor "tl" | ||
553 | borderDistance 6 | ||
554 | ] | ||
555 | ] | ||
556 | |||
557 | node | ||
558 | [ | ||
559 | id 15 | ||
560 | graphics | ||
561 | [ | ||
562 | w 85.80000000000001 | ||
563 | h 26 | ||
564 | type "rectangle" | ||
565 | fill "#FFFFFF" | ||
566 | fill2 "#FFFFFF" | ||
567 | outline "#000000" | ||
568 | ] | ||
569 | LabelGraphics | ||
570 | [ | ||
571 | text "New Reals" | ||
572 | outline "#000000" | ||
573 | fill "#FFFFFF" | ||
574 | fontSize 16 | ||
575 | fontName "Monospace" | ||
576 | autoSizePolicy "node_width" | ||
577 | anchor "t" | ||
578 | borderDistance 0.0 | ||
579 | ] | ||
580 | LabelGraphics | ||
581 | [ | ||
582 | text " | ||
583 | " | ||
584 | fontSize 14 | ||
585 | fontName "Consolas" | ||
586 | alignment "left" | ||
587 | anchor "tl" | ||
588 | borderDistance 6 | ||
589 | ] | ||
590 | ] | ||
591 | |||
592 | node | ||
593 | [ | ||
594 | id 16 | ||
595 | graphics | ||
596 | [ | ||
597 | w 103.4 | ||
598 | h 26 | ||
599 | type "rectangle" | ||
600 | fill "#FFFFFF" | ||
601 | fill2 "#FFFFFF" | ||
602 | outline "#000000" | ||
603 | ] | ||
604 | LabelGraphics | ||
605 | [ | ||
606 | text "New Strings" | ||
607 | outline "#000000" | ||
608 | fill "#FFFFFF" | ||
609 | fontSize 16 | ||
610 | fontName "Monospace" | ||
611 | autoSizePolicy "node_width" | ||
612 | anchor "t" | ||
613 | borderDistance 0.0 | ||
614 | ] | ||
615 | LabelGraphics | ||
616 | [ | ||
617 | text " | ||
618 | " | ||
619 | fontSize 14 | ||
620 | fontName "Consolas" | ||
621 | alignment "left" | ||
622 | anchor "tl" | ||
623 | borderDistance 6 | ||
624 | ] | ||
625 | ] | ||
626 | |||
627 | node | ||
628 | [ | ||
629 | id 17 | ||
630 | graphics | ||
631 | [ | ||
632 | w 103.4 | ||
633 | h 26 | ||
634 | type "rectangle" | ||
635 | fill "#FFFFFF" | ||
636 | fill2 "#FFFFFF" | ||
637 | outline "#000000" | ||
638 | ] | ||
639 | LabelGraphics | ||
640 | [ | ||
641 | text "New Objects" | ||
642 | outline "#000000" | ||
643 | fill "#FFFFFF" | ||
644 | fontSize 16 | ||
645 | fontName "Monospace" | ||
646 | autoSizePolicy "node_width" | ||
647 | anchor "t" | ||
648 | borderDistance 0.0 | ||
649 | ] | ||
650 | LabelGraphics | ||
651 | [ | ||
652 | text " | ||
653 | " | ||
654 | fontSize 14 | ||
655 | fontName "Consolas" | ||
656 | alignment "left" | ||
657 | anchor "tl" | ||
658 | borderDistance 6 | ||
659 | ] | ||
660 | ] | ||
661 | edge | ||
662 | [ | ||
663 | source 6 | ||
664 | target 7 | ||
665 | graphics | ||
666 | [ | ||
667 | fill "#000000" | ||
668 | width 3 | ||
669 | targetArrow "standard" | ||
670 | ] | ||
671 | LabelGraphics | ||
672 | [ | ||
673 | text "vertices reference Region" | ||
674 | fontSize 14 | ||
675 | fontName "Consolas" | ||
676 | configuration "AutoFlippingLabel" | ||
677 | model "six_pos" | ||
678 | position "thead" | ||
679 | ] | ||
680 | ] | ||
681 | edge | ||
682 | [ | ||
683 | source 6 | ||
684 | target 8 | ||
685 | graphics | ||
686 | [ | ||
687 | fill "#000000" | ||
688 | width 3 | ||
689 | targetArrow "standard" | ||
690 | ] | ||
691 | LabelGraphics | ||
692 | [ | ||
693 | text "vertices reference Region" | ||
694 | fontSize 14 | ||
695 | fontName "Consolas" | ||
696 | configuration "AutoFlippingLabel" | ||
697 | model "six_pos" | ||
698 | position "thead" | ||
699 | ] | ||
700 | ] | ||
701 | edge | ||
702 | [ | ||
703 | source 6 | ||
704 | target 9 | ||
705 | graphics | ||
706 | [ | ||
707 | fill "#000000" | ||
708 | width 3 | ||
709 | targetArrow "standard" | ||
710 | ] | ||
711 | LabelGraphics | ||
712 | [ | ||
713 | text "vertices reference Region" | ||
714 | fontSize 14 | ||
715 | fontName "Consolas" | ||
716 | configuration "AutoFlippingLabel" | ||
717 | model "six_pos" | ||
718 | position "thead" | ||
719 | ] | ||
720 | ] | ||
721 | edge | ||
722 | [ | ||
723 | source 10 | ||
724 | target 11 | ||
725 | graphics | ||
726 | [ | ||
727 | fill "#000000" | ||
728 | width 3 | ||
729 | targetArrow "standard" | ||
730 | ] | ||
731 | LabelGraphics | ||
732 | [ | ||
733 | text "vertices reference Region" | ||
734 | fontSize 14 | ||
735 | fontName "Consolas" | ||
736 | configuration "AutoFlippingLabel" | ||
737 | model "six_pos" | ||
738 | position "thead" | ||
739 | ] | ||
740 | ] | ||
741 | edge | ||
742 | [ | ||
743 | source 6 | ||
744 | target 12 | ||
745 | graphics | ||
746 | [ | ||
747 | fill "#000000" | ||
748 | width 3 | ||
749 | targetArrow "standard" | ||
750 | ] | ||
751 | LabelGraphics | ||
752 | [ | ||
753 | text "vertices reference Region" | ||
754 | fontSize 14 | ||
755 | fontName "Consolas" | ||
756 | configuration "AutoFlippingLabel" | ||
757 | model "six_pos" | ||
758 | position "thead" | ||
759 | ] | ||
760 | ] | ||
761 | edge | ||
762 | [ | ||
763 | source 10 | ||
764 | target 13 | ||
765 | graphics | ||
766 | [ | ||
767 | fill "#000000" | ||
768 | width 3 | ||
769 | targetArrow "standard" | ||
770 | ] | ||
771 | LabelGraphics | ||
772 | [ | ||
773 | text "vertices reference Region" | ||
774 | fontSize 14 | ||
775 | fontName "Consolas" | ||
776 | configuration "AutoFlippingLabel" | ||
777 | model "six_pos" | ||
778 | position "thead" | ||
779 | ] | ||
780 | ] | ||
781 | edge | ||
782 | [ | ||
783 | source 3 | ||
784 | target 6 | ||
785 | graphics | ||
786 | [ | ||
787 | fill "#000000" | ||
788 | width 3 | ||
789 | targetArrow "standard" | ||
790 | ] | ||
791 | LabelGraphics | ||
792 | [ | ||
793 | text "regions reference CompositeElement" | ||
794 | fontSize 14 | ||
795 | fontName "Consolas" | ||
796 | configuration "AutoFlippingLabel" | ||
797 | model "six_pos" | ||
798 | position "thead" | ||
799 | ] | ||
800 | ] | ||
801 | edge | ||
802 | [ | ||
803 | source 3 | ||
804 | target 10 | ||
805 | graphics | ||
806 | [ | ||
807 | fill "#000000" | ||
808 | width 3 | ||
809 | targetArrow "standard" | ||
810 | ] | ||
811 | LabelGraphics | ||
812 | [ | ||
813 | text "regions reference CompositeElement" | ||
814 | fontSize 14 | ||
815 | fontName "Consolas" | ||
816 | configuration "AutoFlippingLabel" | ||
817 | model "six_pos" | ||
818 | position "thead" | ||
819 | ] | ||
820 | ] | ||
821 | ] | ||
822 | |||
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/output/solution5Visualisation.gml b/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/output/solution5Visualisation.gml new file mode 100644 index 00000000..b6332fe3 --- /dev/null +++ b/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/output/solution5Visualisation.gml | |||
@@ -0,0 +1,882 @@ | |||
1 | graph | ||
2 | [ | ||
3 | node | ||
4 | [ | ||
5 | id 0 | ||
6 | graphics | ||
7 | [ | ||
8 | w 217.8 | ||
9 | h 40 | ||
10 | type "rectangle" | ||
11 | fill "#FFFFFF" | ||
12 | fill2 "#FFFFFF" | ||
13 | outline "#000000" | ||
14 | ] | ||
15 | LabelGraphics | ||
16 | [ | ||
17 | text "Normal literal EntryType" | ||
18 | outline "#000000" | ||
19 | fill "#FFFFFF" | ||
20 | fontSize 16 | ||
21 | fontName "Monospace" | ||
22 | autoSizePolicy "node_width" | ||
23 | anchor "t" | ||
24 | borderDistance 0.0 | ||
25 | ] | ||
26 | LabelGraphics | ||
27 | [ | ||
28 | text " | ||
29 | EntryType enum | ||
30 | " | ||
31 | fontSize 14 | ||
32 | fontName "Consolas" | ||
33 | alignment "left" | ||
34 | anchor "tl" | ||
35 | borderDistance 6 | ||
36 | ] | ||
37 | ] | ||
38 | |||
39 | node | ||
40 | [ | ||
41 | id 1 | ||
42 | graphics | ||
43 | [ | ||
44 | w 226.60000000000002 | ||
45 | h 40 | ||
46 | type "rectangle" | ||
47 | fill "#FFFFFF" | ||
48 | fill2 "#FFFFFF" | ||
49 | outline "#000000" | ||
50 | ] | ||
51 | LabelGraphics | ||
52 | [ | ||
53 | text "History literal EntryType" | ||
54 | outline "#000000" | ||
55 | fill "#FFFFFF" | ||
56 | fontSize 16 | ||
57 | fontName "Monospace" | ||
58 | autoSizePolicy "node_width" | ||
59 | anchor "t" | ||
60 | borderDistance 0.0 | ||
61 | ] | ||
62 | LabelGraphics | ||
63 | [ | ||
64 | text " | ||
65 | EntryType enum | ||
66 | " | ||
67 | fontSize 14 | ||
68 | fontName "Consolas" | ||
69 | alignment "left" | ||
70 | anchor "tl" | ||
71 | borderDistance 6 | ||
72 | ] | ||
73 | ] | ||
74 | |||
75 | node | ||
76 | [ | ||
77 | id 2 | ||
78 | graphics | ||
79 | [ | ||
80 | w 261.8 | ||
81 | h 40 | ||
82 | type "rectangle" | ||
83 | fill "#FFFFFF" | ||
84 | fill2 "#FFFFFF" | ||
85 | outline "#000000" | ||
86 | ] | ||
87 | LabelGraphics | ||
88 | [ | ||
89 | text "DeepHistory literal EntryType" | ||
90 | outline "#000000" | ||
91 | fill "#FFFFFF" | ||
92 | fontSize 16 | ||
93 | fontName "Monospace" | ||
94 | autoSizePolicy "node_width" | ||
95 | anchor "t" | ||
96 | borderDistance 0.0 | ||
97 | ] | ||
98 | LabelGraphics | ||
99 | [ | ||
100 | text " | ||
101 | EntryType enum | ||
102 | " | ||
103 | fontSize 14 | ||
104 | fontName "Consolas" | ||
105 | alignment "left" | ||
106 | anchor "tl" | ||
107 | borderDistance 6 | ||
108 | ] | ||
109 | ] | ||
110 | |||
111 | node | ||
112 | [ | ||
113 | id 3 | ||
114 | graphics | ||
115 | [ | ||
116 | w 277.20000000000005 | ||
117 | h 82 | ||
118 | type "rectangle" | ||
119 | fill "#FFFFFF" | ||
120 | fill2 "#FFFFFF" | ||
121 | outline "#000000" | ||
122 | ] | ||
123 | LabelGraphics | ||
124 | [ | ||
125 | text "o 1" | ||
126 | outline "#000000" | ||
127 | fill "#FFFFFF" | ||
128 | fontSize 16 | ||
129 | fontName "Monospace" | ||
130 | autoSizePolicy "node_width" | ||
131 | anchor "t" | ||
132 | borderDistance 0.0 | ||
133 | ] | ||
134 | LabelGraphics | ||
135 | [ | ||
136 | text " | ||
137 | Statechart class DefinedPart | ||
138 | CompositeElement class DefinedPart | ||
139 | Statechart class | ||
140 | CompositeElement class | ||
141 | " | ||
142 | fontSize 14 | ||
143 | fontName "Consolas" | ||
144 | alignment "left" | ||
145 | anchor "tl" | ||
146 | borderDistance 6 | ||
147 | ] | ||
148 | ] | ||
149 | |||
150 | node | ||
151 | [ | ||
152 | id 4 | ||
153 | graphics | ||
154 | [ | ||
155 | w 41.800000000000004 | ||
156 | h 26 | ||
157 | type "rectangle" | ||
158 | fill "#FFFFFF" | ||
159 | fill2 "#FFFFFF" | ||
160 | outline "#000000" | ||
161 | ] | ||
162 | LabelGraphics | ||
163 | [ | ||
164 | text "true" | ||
165 | outline "#000000" | ||
166 | fill "#FFFFFF" | ||
167 | fontSize 16 | ||
168 | fontName "Monospace" | ||
169 | autoSizePolicy "node_width" | ||
170 | anchor "t" | ||
171 | borderDistance 0.0 | ||
172 | ] | ||
173 | LabelGraphics | ||
174 | [ | ||
175 | text " | ||
176 | " | ||
177 | fontSize 14 | ||
178 | fontName "Consolas" | ||
179 | alignment "left" | ||
180 | anchor "tl" | ||
181 | borderDistance 6 | ||
182 | ] | ||
183 | ] | ||
184 | |||
185 | node | ||
186 | [ | ||
187 | id 5 | ||
188 | graphics | ||
189 | [ | ||
190 | w 50.6 | ||
191 | h 26 | ||
192 | type "rectangle" | ||
193 | fill "#FFFFFF" | ||
194 | fill2 "#FFFFFF" | ||
195 | outline "#000000" | ||
196 | ] | ||
197 | LabelGraphics | ||
198 | [ | ||
199 | text "false" | ||
200 | outline "#000000" | ||
201 | fill "#FFFFFF" | ||
202 | fontSize 16 | ||
203 | fontName "Monospace" | ||
204 | autoSizePolicy "node_width" | ||
205 | anchor "t" | ||
206 | borderDistance 0.0 | ||
207 | ] | ||
208 | LabelGraphics | ||
209 | [ | ||
210 | text " | ||
211 | " | ||
212 | fontSize 14 | ||
213 | fontName "Consolas" | ||
214 | alignment "left" | ||
215 | anchor "tl" | ||
216 | borderDistance 6 | ||
217 | ] | ||
218 | ] | ||
219 | |||
220 | node | ||
221 | [ | ||
222 | id 6 | ||
223 | graphics | ||
224 | [ | ||
225 | w 107.80000000000001 | ||
226 | h 40 | ||
227 | type "rectangle" | ||
228 | fill "#FFFFFF" | ||
229 | fill2 "#FFFFFF" | ||
230 | outline "#000000" | ||
231 | ] | ||
232 | LabelGraphics | ||
233 | [ | ||
234 | text "null" | ||
235 | outline "#000000" | ||
236 | fill "#FFFFFF" | ||
237 | fontSize 16 | ||
238 | fontName "Monospace" | ||
239 | autoSizePolicy "node_width" | ||
240 | anchor "t" | ||
241 | borderDistance 0.0 | ||
242 | ] | ||
243 | LabelGraphics | ||
244 | [ | ||
245 | text " | ||
246 | Region class | ||
247 | " | ||
248 | fontSize 14 | ||
249 | fontName "Consolas" | ||
250 | alignment "left" | ||
251 | anchor "tl" | ||
252 | borderDistance 6 | ||
253 | ] | ||
254 | ] | ||
255 | |||
256 | node | ||
257 | [ | ||
258 | id 7 | ||
259 | graphics | ||
260 | [ | ||
261 | w 146.3 | ||
262 | h 68 | ||
263 | type "rectangle" | ||
264 | fill "#FFFFFF" | ||
265 | fill2 "#FFFFFF" | ||
266 | outline "#000000" | ||
267 | ] | ||
268 | LabelGraphics | ||
269 | [ | ||
270 | text "null" | ||
271 | outline "#000000" | ||
272 | fill "#FFFFFF" | ||
273 | fontSize 16 | ||
274 | fontName "Monospace" | ||
275 | autoSizePolicy "node_width" | ||
276 | anchor "t" | ||
277 | borderDistance 0.0 | ||
278 | ] | ||
279 | LabelGraphics | ||
280 | [ | ||
281 | text " | ||
282 | Pseudostate class | ||
283 | Vertex class | ||
284 | Choice class | ||
285 | " | ||
286 | fontSize 14 | ||
287 | fontName "Consolas" | ||
288 | alignment "left" | ||
289 | anchor "tl" | ||
290 | borderDistance 6 | ||
291 | ] | ||
292 | ] | ||
293 | |||
294 | node | ||
295 | [ | ||
296 | id 8 | ||
297 | graphics | ||
298 | [ | ||
299 | w 146.3 | ||
300 | h 68 | ||
301 | type "rectangle" | ||
302 | fill "#FFFFFF" | ||
303 | fill2 "#FFFFFF" | ||
304 | outline "#000000" | ||
305 | ] | ||
306 | LabelGraphics | ||
307 | [ | ||
308 | text "null" | ||
309 | outline "#000000" | ||
310 | fill "#FFFFFF" | ||
311 | fontSize 16 | ||
312 | fontName "Monospace" | ||
313 | autoSizePolicy "node_width" | ||
314 | anchor "t" | ||
315 | borderDistance 0.0 | ||
316 | ] | ||
317 | LabelGraphics | ||
318 | [ | ||
319 | text " | ||
320 | Pseudostate class | ||
321 | Vertex class | ||
322 | Entry class | ||
323 | " | ||
324 | fontSize 14 | ||
325 | fontName "Consolas" | ||
326 | alignment "left" | ||
327 | anchor "tl" | ||
328 | borderDistance 6 | ||
329 | ] | ||
330 | ] | ||
331 | |||
332 | node | ||
333 | [ | ||
334 | id 9 | ||
335 | graphics | ||
336 | [ | ||
337 | w 146.3 | ||
338 | h 68 | ||
339 | type "rectangle" | ||
340 | fill "#FFFFFF" | ||
341 | fill2 "#FFFFFF" | ||
342 | outline "#000000" | ||
343 | ] | ||
344 | LabelGraphics | ||
345 | [ | ||
346 | text "null" | ||
347 | outline "#000000" | ||
348 | fill "#FFFFFF" | ||
349 | fontSize 16 | ||
350 | fontName "Monospace" | ||
351 | autoSizePolicy "node_width" | ||
352 | anchor "t" | ||
353 | borderDistance 0.0 | ||
354 | ] | ||
355 | LabelGraphics | ||
356 | [ | ||
357 | text " | ||
358 | Pseudostate class | ||
359 | Vertex class | ||
360 | Entry class | ||
361 | " | ||
362 | fontSize 14 | ||
363 | fontName "Consolas" | ||
364 | alignment "left" | ||
365 | anchor "tl" | ||
366 | borderDistance 6 | ||
367 | ] | ||
368 | ] | ||
369 | |||
370 | node | ||
371 | [ | ||
372 | id 10 | ||
373 | graphics | ||
374 | [ | ||
375 | w 107.80000000000001 | ||
376 | h 40 | ||
377 | type "rectangle" | ||
378 | fill "#FFFFFF" | ||
379 | fill2 "#FFFFFF" | ||
380 | outline "#000000" | ||
381 | ] | ||
382 | LabelGraphics | ||
383 | [ | ||
384 | text "null" | ||
385 | outline "#000000" | ||
386 | fill "#FFFFFF" | ||
387 | fontSize 16 | ||
388 | fontName "Monospace" | ||
389 | autoSizePolicy "node_width" | ||
390 | anchor "t" | ||
391 | borderDistance 0.0 | ||
392 | ] | ||
393 | LabelGraphics | ||
394 | [ | ||
395 | text " | ||
396 | Region class | ||
397 | " | ||
398 | fontSize 14 | ||
399 | fontName "Consolas" | ||
400 | alignment "left" | ||
401 | anchor "tl" | ||
402 | borderDistance 6 | ||
403 | ] | ||
404 | ] | ||
405 | |||
406 | node | ||
407 | [ | ||
408 | id 11 | ||
409 | graphics | ||
410 | [ | ||
411 | w 292.6 | ||
412 | h 96 | ||
413 | type "rectangle" | ||
414 | fill "#FFFFFF" | ||
415 | fill2 "#FFFFFF" | ||
416 | outline "#000000" | ||
417 | ] | ||
418 | LabelGraphics | ||
419 | [ | ||
420 | text "null" | ||
421 | outline "#000000" | ||
422 | fill "#FFFFFF" | ||
423 | fontSize 16 | ||
424 | fontName "Monospace" | ||
425 | autoSizePolicy "node_width" | ||
426 | anchor "t" | ||
427 | borderDistance 0.0 | ||
428 | ] | ||
429 | LabelGraphics | ||
430 | [ | ||
431 | text " | ||
432 | Vertex class | ||
433 | State class | ||
434 | RegularState class | ||
435 | CompositeElement class | ||
436 | CompositeElement class UndefinedPart | ||
437 | " | ||
438 | fontSize 14 | ||
439 | fontName "Consolas" | ||
440 | alignment "left" | ||
441 | anchor "tl" | ||
442 | borderDistance 6 | ||
443 | ] | ||
444 | ] | ||
445 | |||
446 | node | ||
447 | [ | ||
448 | id 12 | ||
449 | graphics | ||
450 | [ | ||
451 | w 177.10000000000002 | ||
452 | h 68 | ||
453 | type "rectangle" | ||
454 | fill "#FFFFFF" | ||
455 | fill2 "#FFFFFF" | ||
456 | outline "#000000" | ||
457 | ] | ||
458 | LabelGraphics | ||
459 | [ | ||
460 | text "null" | ||
461 | outline "#000000" | ||
462 | fill "#FFFFFF" | ||
463 | fontSize 16 | ||
464 | fontName "Monospace" | ||
465 | autoSizePolicy "node_width" | ||
466 | anchor "t" | ||
467 | borderDistance 0.0 | ||
468 | ] | ||
469 | LabelGraphics | ||
470 | [ | ||
471 | text " | ||
472 | Pseudostate class | ||
473 | Vertex class | ||
474 | Synchronization class | ||
475 | " | ||
476 | fontSize 14 | ||
477 | fontName "Consolas" | ||
478 | alignment "left" | ||
479 | anchor "tl" | ||
480 | borderDistance 6 | ||
481 | ] | ||
482 | ] | ||
483 | |||
484 | node | ||
485 | [ | ||
486 | id 13 | ||
487 | graphics | ||
488 | [ | ||
489 | w 154.0 | ||
490 | h 68 | ||
491 | type "rectangle" | ||
492 | fill "#FFFFFF" | ||
493 | fill2 "#FFFFFF" | ||
494 | outline "#000000" | ||
495 | ] | ||
496 | LabelGraphics | ||
497 | [ | ||
498 | text "null" | ||
499 | outline "#000000" | ||
500 | fill "#FFFFFF" | ||
501 | fontSize 16 | ||
502 | fontName "Monospace" | ||
503 | autoSizePolicy "node_width" | ||
504 | anchor "t" | ||
505 | borderDistance 0.0 | ||
506 | ] | ||
507 | LabelGraphics | ||
508 | [ | ||
509 | text " | ||
510 | Vertex class | ||
511 | RegularState class | ||
512 | FinalState class | ||
513 | " | ||
514 | fontSize 14 | ||
515 | fontName "Consolas" | ||
516 | alignment "left" | ||
517 | anchor "tl" | ||
518 | borderDistance 6 | ||
519 | ] | ||
520 | ] | ||
521 | |||
522 | node | ||
523 | [ | ||
524 | id 14 | ||
525 | graphics | ||
526 | [ | ||
527 | w 292.6 | ||
528 | h 96 | ||
529 | type "rectangle" | ||
530 | fill "#FFFFFF" | ||
531 | fill2 "#FFFFFF" | ||
532 | outline "#000000" | ||
533 | ] | ||
534 | LabelGraphics | ||
535 | [ | ||
536 | text "null" | ||
537 | outline "#000000" | ||
538 | fill "#FFFFFF" | ||
539 | fontSize 16 | ||
540 | fontName "Monospace" | ||
541 | autoSizePolicy "node_width" | ||
542 | anchor "t" | ||
543 | borderDistance 0.0 | ||
544 | ] | ||
545 | LabelGraphics | ||
546 | [ | ||
547 | text " | ||
548 | Vertex class | ||
549 | State class | ||
550 | RegularState class | ||
551 | CompositeElement class | ||
552 | CompositeElement class UndefinedPart | ||
553 | " | ||
554 | fontSize 14 | ||
555 | fontName "Consolas" | ||
556 | alignment "left" | ||
557 | anchor "tl" | ||
558 | borderDistance 6 | ||
559 | ] | ||
560 | ] | ||
561 | |||
562 | node | ||
563 | [ | ||
564 | id 15 | ||
565 | graphics | ||
566 | [ | ||
567 | w 112.2 | ||
568 | h 26 | ||
569 | type "rectangle" | ||
570 | fill "#FFFFFF" | ||
571 | fill2 "#FFFFFF" | ||
572 | outline "#000000" | ||
573 | ] | ||
574 | LabelGraphics | ||
575 | [ | ||
576 | text "New Integers" | ||
577 | outline "#000000" | ||
578 | fill "#FFFFFF" | ||
579 | fontSize 16 | ||
580 | fontName "Monospace" | ||
581 | autoSizePolicy "node_width" | ||
582 | anchor "t" | ||
583 | borderDistance 0.0 | ||
584 | ] | ||
585 | LabelGraphics | ||
586 | [ | ||
587 | text " | ||
588 | " | ||
589 | fontSize 14 | ||
590 | fontName "Consolas" | ||
591 | alignment "left" | ||
592 | anchor "tl" | ||
593 | borderDistance 6 | ||
594 | ] | ||
595 | ] | ||
596 | |||
597 | node | ||
598 | [ | ||
599 | id 16 | ||
600 | graphics | ||
601 | [ | ||
602 | w 85.80000000000001 | ||
603 | h 26 | ||
604 | type "rectangle" | ||
605 | fill "#FFFFFF" | ||
606 | fill2 "#FFFFFF" | ||
607 | outline "#000000" | ||
608 | ] | ||
609 | LabelGraphics | ||
610 | [ | ||
611 | text "New Reals" | ||
612 | outline "#000000" | ||
613 | fill "#FFFFFF" | ||
614 | fontSize 16 | ||
615 | fontName "Monospace" | ||
616 | autoSizePolicy "node_width" | ||
617 | anchor "t" | ||
618 | borderDistance 0.0 | ||
619 | ] | ||
620 | LabelGraphics | ||
621 | [ | ||
622 | text " | ||
623 | " | ||
624 | fontSize 14 | ||
625 | fontName "Consolas" | ||
626 | alignment "left" | ||
627 | anchor "tl" | ||
628 | borderDistance 6 | ||
629 | ] | ||
630 | ] | ||
631 | |||
632 | node | ||
633 | [ | ||
634 | id 17 | ||
635 | graphics | ||
636 | [ | ||
637 | w 103.4 | ||
638 | h 26 | ||
639 | type "rectangle" | ||
640 | fill "#FFFFFF" | ||
641 | fill2 "#FFFFFF" | ||
642 | outline "#000000" | ||
643 | ] | ||
644 | LabelGraphics | ||
645 | [ | ||
646 | text "New Strings" | ||
647 | outline "#000000" | ||
648 | fill "#FFFFFF" | ||
649 | fontSize 16 | ||
650 | fontName "Monospace" | ||
651 | autoSizePolicy "node_width" | ||
652 | anchor "t" | ||
653 | borderDistance 0.0 | ||
654 | ] | ||
655 | LabelGraphics | ||
656 | [ | ||
657 | text " | ||
658 | " | ||
659 | fontSize 14 | ||
660 | fontName "Consolas" | ||
661 | alignment "left" | ||
662 | anchor "tl" | ||
663 | borderDistance 6 | ||
664 | ] | ||
665 | ] | ||
666 | |||
667 | node | ||
668 | [ | ||
669 | id 18 | ||
670 | graphics | ||
671 | [ | ||
672 | w 103.4 | ||
673 | h 26 | ||
674 | type "rectangle" | ||
675 | fill "#FFFFFF" | ||
676 | fill2 "#FFFFFF" | ||
677 | outline "#000000" | ||
678 | ] | ||
679 | LabelGraphics | ||
680 | [ | ||
681 | text "New Objects" | ||
682 | outline "#000000" | ||
683 | fill "#FFFFFF" | ||
684 | fontSize 16 | ||
685 | fontName "Monospace" | ||
686 | autoSizePolicy "node_width" | ||
687 | anchor "t" | ||
688 | borderDistance 0.0 | ||
689 | ] | ||
690 | LabelGraphics | ||
691 | [ | ||
692 | text " | ||
693 | " | ||
694 | fontSize 14 | ||
695 | fontName "Consolas" | ||
696 | alignment "left" | ||
697 | anchor "tl" | ||
698 | borderDistance 6 | ||
699 | ] | ||
700 | ] | ||
701 | edge | ||
702 | [ | ||
703 | source 6 | ||
704 | target 7 | ||
705 | graphics | ||
706 | [ | ||
707 | fill "#000000" | ||
708 | width 3 | ||
709 | targetArrow "standard" | ||
710 | ] | ||
711 | LabelGraphics | ||
712 | [ | ||
713 | text "vertices reference Region" | ||
714 | fontSize 14 | ||
715 | fontName "Consolas" | ||
716 | configuration "AutoFlippingLabel" | ||
717 | model "six_pos" | ||
718 | position "thead" | ||
719 | ] | ||
720 | ] | ||
721 | edge | ||
722 | [ | ||
723 | source 6 | ||
724 | target 8 | ||
725 | graphics | ||
726 | [ | ||
727 | fill "#000000" | ||
728 | width 3 | ||
729 | targetArrow "standard" | ||
730 | ] | ||
731 | LabelGraphics | ||
732 | [ | ||
733 | text "vertices reference Region" | ||
734 | fontSize 14 | ||
735 | fontName "Consolas" | ||
736 | configuration "AutoFlippingLabel" | ||
737 | model "six_pos" | ||
738 | position "thead" | ||
739 | ] | ||
740 | ] | ||
741 | edge | ||
742 | [ | ||
743 | source 6 | ||
744 | target 9 | ||
745 | graphics | ||
746 | [ | ||
747 | fill "#000000" | ||
748 | width 3 | ||
749 | targetArrow "standard" | ||
750 | ] | ||
751 | LabelGraphics | ||
752 | [ | ||
753 | text "vertices reference Region" | ||
754 | fontSize 14 | ||
755 | fontName "Consolas" | ||
756 | configuration "AutoFlippingLabel" | ||
757 | model "six_pos" | ||
758 | position "thead" | ||
759 | ] | ||
760 | ] | ||
761 | edge | ||
762 | [ | ||
763 | source 10 | ||
764 | target 11 | ||
765 | graphics | ||
766 | [ | ||
767 | fill "#000000" | ||
768 | width 3 | ||
769 | targetArrow "standard" | ||
770 | ] | ||
771 | LabelGraphics | ||
772 | [ | ||
773 | text "vertices reference Region" | ||
774 | fontSize 14 | ||
775 | fontName "Consolas" | ||
776 | configuration "AutoFlippingLabel" | ||
777 | model "six_pos" | ||
778 | position "thead" | ||
779 | ] | ||
780 | ] | ||
781 | edge | ||
782 | [ | ||
783 | source 6 | ||
784 | target 12 | ||
785 | graphics | ||
786 | [ | ||
787 | fill "#000000" | ||
788 | width 3 | ||
789 | targetArrow "standard" | ||
790 | ] | ||
791 | LabelGraphics | ||
792 | [ | ||
793 | text "vertices reference Region" | ||
794 | fontSize 14 | ||
795 | fontName "Consolas" | ||
796 | configuration "AutoFlippingLabel" | ||
797 | model "six_pos" | ||
798 | position "thead" | ||
799 | ] | ||
800 | ] | ||
801 | edge | ||
802 | [ | ||
803 | source 10 | ||
804 | target 13 | ||
805 | graphics | ||
806 | [ | ||
807 | fill "#000000" | ||
808 | width 3 | ||
809 | targetArrow "standard" | ||
810 | ] | ||
811 | LabelGraphics | ||
812 | [ | ||
813 | text "vertices reference Region" | ||
814 | fontSize 14 | ||
815 | fontName "Consolas" | ||
816 | configuration "AutoFlippingLabel" | ||
817 | model "six_pos" | ||
818 | position "thead" | ||
819 | ] | ||
820 | ] | ||
821 | edge | ||
822 | [ | ||
823 | source 10 | ||
824 | target 14 | ||
825 | graphics | ||
826 | [ | ||
827 | fill "#000000" | ||
828 | width 3 | ||
829 | targetArrow "standard" | ||
830 | ] | ||
831 | LabelGraphics | ||
832 | [ | ||
833 | text "vertices reference Region" | ||
834 | fontSize 14 | ||
835 | fontName "Consolas" | ||
836 | configuration "AutoFlippingLabel" | ||
837 | model "six_pos" | ||
838 | position "thead" | ||
839 | ] | ||
840 | ] | ||
841 | edge | ||
842 | [ | ||
843 | source 3 | ||
844 | target 6 | ||
845 | graphics | ||
846 | [ | ||
847 | fill "#000000" | ||
848 | width 3 | ||
849 | targetArrow "standard" | ||
850 | ] | ||
851 | LabelGraphics | ||
852 | [ | ||
853 | text "regions reference CompositeElement" | ||
854 | fontSize 14 | ||
855 | fontName "Consolas" | ||
856 | configuration "AutoFlippingLabel" | ||
857 | model "six_pos" | ||
858 | position "thead" | ||
859 | ] | ||
860 | ] | ||
861 | edge | ||
862 | [ | ||
863 | source 3 | ||
864 | target 10 | ||
865 | graphics | ||
866 | [ | ||
867 | fill "#000000" | ||
868 | width 3 | ||
869 | targetArrow "standard" | ||
870 | ] | ||
871 | LabelGraphics | ||
872 | [ | ||
873 | text "regions reference CompositeElement" | ||
874 | fontSize 14 | ||
875 | fontName "Consolas" | ||
876 | configuration "AutoFlippingLabel" | ||
877 | model "six_pos" | ||
878 | position "thead" | ||
879 | ] | ||
880 | ] | ||
881 | ] | ||
882 | |||
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/plugin.xml b/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/plugin.xml new file mode 100644 index 00000000..c760d4ef --- /dev/null +++ b/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/plugin.xml | |||
@@ -0,0 +1 @@ | |||
<?xml version="1.0" encoding="UTF-8"?><plugin/> | |||
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/src/ca/mcgill/ecse/dslreasoner/yakindu/test/YakinduTest.xtend b/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/src/ca/mcgill/ecse/dslreasoner/yakindu/test/YakinduTest.xtend new file mode 100644 index 00000000..b6aae6ab --- /dev/null +++ b/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/src/ca/mcgill/ecse/dslreasoner/yakindu/test/YakinduTest.xtend | |||
@@ -0,0 +1,178 @@ | |||
1 | package ca.mcgill.ecse.dslreasoner.yakindu.test | ||
2 | |||
3 | import hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.YakindummPackage | ||
4 | import hu.bme.mit.inf.dslreasoner.ecore2logic.Ecore2Logic | ||
5 | import hu.bme.mit.inf.dslreasoner.ecore2logic.Ecore2LogicConfiguration | ||
6 | import hu.bme.mit.inf.dslreasoner.ecore2logic.EcoreMetamodelDescriptor | ||
7 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicProblemBuilder | ||
8 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicStructureBuilder | ||
9 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult | ||
10 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ModelResult | ||
11 | import hu.bme.mit.inf.dslreasoner.logic2ecore.Logic2Ecore | ||
12 | import hu.bme.mit.inf.dslreasoner.viatra2logic.Viatra2Logic | ||
13 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic.InstanceModel2Logic | ||
14 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation | ||
15 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.visualisation.PartialInterpretation2Gml | ||
16 | import hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner.ViatraReasoner | ||
17 | import hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner.ViatraReasonerConfiguration | ||
18 | import hu.bme.mit.inf.dslreasoner.workspace.FileSystemWorkspace | ||
19 | import hu.bme.mit.inf.dslreasoner.workspace.ReasonerWorkspace | ||
20 | import java.util.LinkedList | ||
21 | import java.util.List | ||
22 | import org.eclipse.emf.ecore.EAttribute | ||
23 | import org.eclipse.emf.ecore.EClass | ||
24 | import org.eclipse.emf.ecore.EEnum | ||
25 | import org.eclipse.emf.ecore.EEnumLiteral | ||
26 | import org.eclipse.emf.ecore.EObject | ||
27 | import org.eclipse.emf.ecore.EPackage | ||
28 | import org.eclipse.emf.ecore.EReference | ||
29 | import org.eclipse.emf.ecore.resource.Resource | ||
30 | import org.eclipse.emf.ecore.xmi.impl.XMIResourceFactoryImpl | ||
31 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.SolutionScope | ||
32 | |||
33 | class YakinduTest { | ||
34 | |||
35 | static String inWS = "input" | ||
36 | static String outWS = "output" | ||
37 | static String imName = "Yakindu.xmi" | ||
38 | |||
39 | def static void main(String[] args) { | ||
40 | val Ecore2Logic ecore2Logic = new Ecore2Logic | ||
41 | val Logic2Ecore logic2Ecore = new Logic2Ecore(ecore2Logic) | ||
42 | val Viatra2Logic viatra2Logic = new Viatra2Logic(ecore2Logic) | ||
43 | val InstanceModel2Logic instanceModel2Logic = new InstanceModel2Logic | ||
44 | |||
45 | // Workspace setup | ||
46 | val inputs = new FileSystemWorkspace(inWS + '''/''', "") | ||
47 | val workspace = new FileSystemWorkspace(outWS + '''/''', "") | ||
48 | workspace.initAndClear | ||
49 | |||
50 | // Logicproblem writing setup | ||
51 | val reg = Resource.Factory.Registry.INSTANCE | ||
52 | val map = reg.extensionToFactoryMap | ||
53 | map.put("logicproblem", new XMIResourceFactoryImpl) | ||
54 | |||
55 | println("Input and output workspaces are created") | ||
56 | |||
57 | //loading the modeling environment | ||
58 | val metamodel = loadMetamodel(YakindummPackage.eINSTANCE) // TODO | ||
59 | val partialModel = loadPartialModel(inputs, imName) | ||
60 | // val queries = loadQueries(metamodel, Patterns.instance) | ||
61 | val modelGenerationProblem = ecore2Logic.transformMetamodel(metamodel, new Ecore2LogicConfiguration()) | ||
62 | var modelExtensionProblem = instanceModel2Logic.transform(modelGenerationProblem, partialModel) | ||
63 | // var validModelExtensionProblem = viatra2Logic.transformQueries(queries, modelExtensionProblem, new Viatra2LogicConfiguration) | ||
64 | var problem = modelExtensionProblem.output | ||
65 | |||
66 | println("Modelling environment Loaded") | ||
67 | |||
68 | |||
69 | val ss = new SolutionScope() | ||
70 | ss.numberOfRequiredSolution = 5 | ||
71 | |||
72 | var reasoner = new ViatraReasoner | ||
73 | val vampireConfig = new ViatraReasonerConfiguration => [ | ||
74 | // add configuration things, in config file first | ||
75 | // it.documentationLevel = DocumentationLevel::FULL | ||
76 | it.solutionScope = ss | ||
77 | it.typeScopes.maxNewElements = 10 | ||
78 | it.typeScopes.minNewElements = 5 | ||
79 | ] | ||
80 | |||
81 | println("Problem Ready") | ||
82 | |||
83 | var LogicResult solution = reasoner.solve(problem, vampireConfig, workspace) | ||
84 | |||
85 | println("Problem solved") | ||
86 | |||
87 | val interpretations = reasoner.getInterpretations(solution as ModelResult) | ||
88 | val models = new LinkedList | ||
89 | for (interpretation : interpretations) { | ||
90 | // val extension b = new LogicStructureBuilder | ||
91 | // val extension a = new LogicProblemBuilder | ||
92 | |||
93 | val instanceModel = logic2Ecore.transformInterpretation(interpretation, modelGenerationProblem.trace) | ||
94 | models += instanceModel | ||
95 | } | ||
96 | |||
97 | solution.writeSolution(workspace, models) | ||
98 | // print((solution as ModelResult).representation.get(0)) | ||
99 | // val soln = ((solution as ModelResult).representation.get(0) as VampireModel) | ||
100 | // println(soln.confirmations) | ||
101 | // println((solution as ModelResult).representation) | ||
102 | // modelFound = !soln.confirmations.filter [ | ||
103 | // class == VLSFiniteModelImpl | ||
104 | // ].isEmpty | ||
105 | } | ||
106 | |||
107 | // def static Map<Type, Integer> getTypeMap(Map<Class, Integer> classMap, EcoreMetamodelDescriptor metamodel, | ||
108 | // Ecore2Logic e2l, Ecore2Logic_Trace trace) { | ||
109 | // val typeMap = new HashMap<Type, Integer> | ||
110 | // val listMap = metamodel.classes.toMap[s|s.name] | ||
111 | // | ||
112 | // for (Class elem : classMap.keySet) { | ||
113 | // typeMap.put(e2l.TypeofEClass( | ||
114 | // trace, | ||
115 | // listMap.get(elem.simpleName) | ||
116 | // ), classMap.get(elem)) | ||
117 | // } | ||
118 | // return typeMap | ||
119 | // } | ||
120 | def static loadMetamodel(EPackage pckg) { | ||
121 | val List<EClass> classes = pckg.getEClassifiers.filter(EClass).toList | ||
122 | val List<EEnum> enums = pckg.getEClassifiers.filter(EEnum).toList | ||
123 | val List<EEnumLiteral> literals = enums.map[getELiterals].flatten.toList | ||
124 | val List<EReference> references = classes.map[getEReferences].flatten.toList | ||
125 | val List<EAttribute> attributes = classes.map[getEAttributes].flatten.toList | ||
126 | return new EcoreMetamodelDescriptor(classes, #{}, false, enums, literals, references, attributes) | ||
127 | } | ||
128 | |||
129 | def static loadPartialModel(ReasonerWorkspace inputs, String path) { | ||
130 | Resource.Factory.Registry.INSTANCE.getExtensionToFactoryMap().put("*", new XMIResourceFactoryImpl()) | ||
131 | inputs.readModel(EObject, path).eResource.contents | ||
132 | // inputs.readModel(EObject,"FamInstance.xmi").eResource.allContents.toList | ||
133 | } | ||
134 | |||
135 | // def static loadQueries(EcoreMetamodelDescriptor metamodel, IQueryGroup i) { | ||
136 | // val patterns = i.specifications.toList | ||
137 | // val wfPatterns = patterns.filter[it.allAnnotations.exists[it.name == "Constraint"]].toSet | ||
138 | // val derivedFeatures = emptyMap | ||
139 | // // NO DERIVED FEATURES | ||
140 | //// val derivedFeatures = new LinkedHashMap | ||
141 | //// derivedFeatures.put(i.type,metamodel.attributes.filter[it.name == "type"].head) | ||
142 | //// derivedFeatures.put(i.model,metamodel.references.filter[it.name == "model"].head) | ||
143 | // val res = new ViatraQuerySetDescriptor( | ||
144 | // patterns, | ||
145 | // wfPatterns, | ||
146 | // derivedFeatures | ||
147 | // ) | ||
148 | // return res | ||
149 | // } | ||
150 | |||
151 | def static writeSolution(LogicResult solution, ReasonerWorkspace workspace, List<EObject> models) { | ||
152 | if(solution instanceof ModelResult) { | ||
153 | val representations = solution.representation | ||
154 | |||
155 | for(representationIndex : 0..<representations.size) { | ||
156 | val representation = representations.get(representationIndex) | ||
157 | val representationNumber = representationIndex + 1 | ||
158 | if(representation instanceof PartialInterpretation) { | ||
159 | // workspace.writeModel(representation, '''solution«representationNumber».partialinterpretation''') | ||
160 | val partialInterpretation2GML = new PartialInterpretation2Gml | ||
161 | val gml = partialInterpretation2GML.transform(representation) | ||
162 | //ecore2GML.transform(root) | ||
163 | workspace.writeText('''solution«representationNumber»Visualisation.gml''',gml) | ||
164 | |||
165 | } else { | ||
166 | workspace.writeText('''solution«representationNumber».txt''',representation.toString) | ||
167 | } | ||
168 | } | ||
169 | |||
170 | for(modelIndex : 0..<models.size) { | ||
171 | val model = models.get(modelIndex) | ||
172 | val representationNumber = modelIndex + 1 | ||
173 | workspace.writeModel(model,'''model«representationNumber».xmi''') | ||
174 | } | ||
175 | println("Solution saved and visualised") | ||
176 | } | ||
177 | } | ||
178 | } | ||
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/xtend-gen/ca/mcgill/ecse/dslreasoner/yakindu/test/.YakinduTest.xtendbin b/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/xtend-gen/ca/mcgill/ecse/dslreasoner/yakindu/test/.YakinduTest.xtendbin new file mode 100644 index 00000000..139dcdc7 --- /dev/null +++ b/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/xtend-gen/ca/mcgill/ecse/dslreasoner/yakindu/test/.YakinduTest.xtendbin | |||
Binary files differ | |||
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/xtend-gen/ca/mcgill/ecse/dslreasoner/yakindu/test/.gitignore b/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/xtend-gen/ca/mcgill/ecse/dslreasoner/yakindu/test/.gitignore new file mode 100644 index 00000000..5d3de4ba --- /dev/null +++ b/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/xtend-gen/ca/mcgill/ecse/dslreasoner/yakindu/test/.gitignore | |||
@@ -0,0 +1 @@ | |||
/.YakinduTest.java._trace | |||
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/xtend-gen/ca/mcgill/ecse/dslreasoner/yakindu/test/YakinduTest.java b/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/xtend-gen/ca/mcgill/ecse/dslreasoner/yakindu/test/YakinduTest.java new file mode 100644 index 00000000..fd1d1f4c --- /dev/null +++ b/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/xtend-gen/ca/mcgill/ecse/dslreasoner/yakindu/test/YakinduTest.java | |||
@@ -0,0 +1,188 @@ | |||
1 | package ca.mcgill.ecse.dslreasoner.yakindu.test; | ||
2 | |||
3 | import com.google.common.collect.Iterables; | ||
4 | import hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.YakindummPackage; | ||
5 | import hu.bme.mit.inf.dslreasoner.ecore2logic.Ecore2Logic; | ||
6 | import hu.bme.mit.inf.dslreasoner.ecore2logic.Ecore2LogicConfiguration; | ||
7 | import hu.bme.mit.inf.dslreasoner.ecore2logic.Ecore2Logic_Trace; | ||
8 | import hu.bme.mit.inf.dslreasoner.ecore2logic.EcoreMetamodelDescriptor; | ||
9 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicModelInterpretation; | ||
10 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.SolutionScope; | ||
11 | import hu.bme.mit.inf.dslreasoner.logic.model.builder.TracedOutput; | ||
12 | import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem; | ||
13 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.LogicResult; | ||
14 | import hu.bme.mit.inf.dslreasoner.logic.model.logicresult.ModelResult; | ||
15 | import hu.bme.mit.inf.dslreasoner.logic2ecore.Logic2Ecore; | ||
16 | import hu.bme.mit.inf.dslreasoner.viatra2logic.Viatra2Logic; | ||
17 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic.InstanceModel2Logic; | ||
18 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation; | ||
19 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.visualisation.PartialInterpretation2Gml; | ||
20 | import hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner.ViatraReasoner; | ||
21 | import hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner.ViatraReasonerConfiguration; | ||
22 | import hu.bme.mit.inf.dslreasoner.workspace.FileSystemWorkspace; | ||
23 | import hu.bme.mit.inf.dslreasoner.workspace.ReasonerWorkspace; | ||
24 | import java.util.Collections; | ||
25 | import java.util.LinkedList; | ||
26 | import java.util.List; | ||
27 | import java.util.Map; | ||
28 | import org.eclipse.emf.common.util.EList; | ||
29 | import org.eclipse.emf.ecore.EAttribute; | ||
30 | import org.eclipse.emf.ecore.EClass; | ||
31 | import org.eclipse.emf.ecore.EEnum; | ||
32 | import org.eclipse.emf.ecore.EEnumLiteral; | ||
33 | import org.eclipse.emf.ecore.EObject; | ||
34 | import org.eclipse.emf.ecore.EPackage; | ||
35 | import org.eclipse.emf.ecore.EReference; | ||
36 | import org.eclipse.emf.ecore.resource.Resource; | ||
37 | import org.eclipse.emf.ecore.xmi.impl.XMIResourceFactoryImpl; | ||
38 | import org.eclipse.xtend2.lib.StringConcatenation; | ||
39 | import org.eclipse.xtext.xbase.lib.CollectionLiterals; | ||
40 | import org.eclipse.xtext.xbase.lib.Exceptions; | ||
41 | import org.eclipse.xtext.xbase.lib.ExclusiveRange; | ||
42 | import org.eclipse.xtext.xbase.lib.Functions.Function1; | ||
43 | import org.eclipse.xtext.xbase.lib.InputOutput; | ||
44 | import org.eclipse.xtext.xbase.lib.IterableExtensions; | ||
45 | import org.eclipse.xtext.xbase.lib.ListExtensions; | ||
46 | import org.eclipse.xtext.xbase.lib.ObjectExtensions; | ||
47 | import org.eclipse.xtext.xbase.lib.Procedures.Procedure1; | ||
48 | |||
49 | @SuppressWarnings("all") | ||
50 | public class YakinduTest { | ||
51 | private static String inWS = "input"; | ||
52 | |||
53 | private static String outWS = "output"; | ||
54 | |||
55 | private static String imName = "Yakindu.xmi"; | ||
56 | |||
57 | public static void main(final String[] args) { | ||
58 | try { | ||
59 | final Ecore2Logic ecore2Logic = new Ecore2Logic(); | ||
60 | final Logic2Ecore logic2Ecore = new Logic2Ecore(ecore2Logic); | ||
61 | final Viatra2Logic viatra2Logic = new Viatra2Logic(ecore2Logic); | ||
62 | final InstanceModel2Logic instanceModel2Logic = new InstanceModel2Logic(); | ||
63 | StringConcatenation _builder = new StringConcatenation(); | ||
64 | _builder.append("/"); | ||
65 | String _plus = (YakinduTest.inWS + _builder); | ||
66 | final FileSystemWorkspace inputs = new FileSystemWorkspace(_plus, ""); | ||
67 | StringConcatenation _builder_1 = new StringConcatenation(); | ||
68 | _builder_1.append("/"); | ||
69 | String _plus_1 = (YakinduTest.outWS + _builder_1); | ||
70 | final FileSystemWorkspace workspace = new FileSystemWorkspace(_plus_1, ""); | ||
71 | workspace.initAndClear(); | ||
72 | final Resource.Factory.Registry reg = Resource.Factory.Registry.INSTANCE; | ||
73 | final Map<String, Object> map = reg.getExtensionToFactoryMap(); | ||
74 | XMIResourceFactoryImpl _xMIResourceFactoryImpl = new XMIResourceFactoryImpl(); | ||
75 | map.put("logicproblem", _xMIResourceFactoryImpl); | ||
76 | InputOutput.<String>println("Input and output workspaces are created"); | ||
77 | final EcoreMetamodelDescriptor metamodel = YakinduTest.loadMetamodel(YakindummPackage.eINSTANCE); | ||
78 | final EList<EObject> partialModel = YakinduTest.loadPartialModel(inputs, YakinduTest.imName); | ||
79 | Ecore2LogicConfiguration _ecore2LogicConfiguration = new Ecore2LogicConfiguration(); | ||
80 | final TracedOutput<LogicProblem, Ecore2Logic_Trace> modelGenerationProblem = ecore2Logic.transformMetamodel(metamodel, _ecore2LogicConfiguration); | ||
81 | TracedOutput<LogicProblem, Ecore2Logic_Trace> modelExtensionProblem = instanceModel2Logic.transform(modelGenerationProblem, partialModel); | ||
82 | LogicProblem problem = modelExtensionProblem.getOutput(); | ||
83 | InputOutput.<String>println("Modelling environment Loaded"); | ||
84 | final SolutionScope ss = new SolutionScope(); | ||
85 | ss.numberOfRequiredSolution = 5; | ||
86 | ViatraReasoner reasoner = new ViatraReasoner(); | ||
87 | ViatraReasonerConfiguration _viatraReasonerConfiguration = new ViatraReasonerConfiguration(); | ||
88 | final Procedure1<ViatraReasonerConfiguration> _function = (ViatraReasonerConfiguration it) -> { | ||
89 | it.solutionScope = ss; | ||
90 | it.typeScopes.maxNewElements = 10; | ||
91 | it.typeScopes.minNewElements = 5; | ||
92 | }; | ||
93 | final ViatraReasonerConfiguration vampireConfig = ObjectExtensions.<ViatraReasonerConfiguration>operator_doubleArrow(_viatraReasonerConfiguration, _function); | ||
94 | InputOutput.<String>println("Problem Ready"); | ||
95 | LogicResult solution = reasoner.solve(problem, vampireConfig, workspace); | ||
96 | InputOutput.<String>println("Problem solved"); | ||
97 | final List<? extends LogicModelInterpretation> interpretations = reasoner.getInterpretations(((ModelResult) solution)); | ||
98 | final LinkedList<EObject> models = new LinkedList<EObject>(); | ||
99 | for (final LogicModelInterpretation interpretation : interpretations) { | ||
100 | { | ||
101 | final EObject instanceModel = logic2Ecore.transformInterpretation(interpretation, modelGenerationProblem.getTrace()); | ||
102 | models.add(instanceModel); | ||
103 | } | ||
104 | } | ||
105 | YakinduTest.writeSolution(solution, workspace, models); | ||
106 | } catch (Throwable _e) { | ||
107 | throw Exceptions.sneakyThrow(_e); | ||
108 | } | ||
109 | } | ||
110 | |||
111 | public static EcoreMetamodelDescriptor loadMetamodel(final EPackage pckg) { | ||
112 | final List<EClass> classes = IterableExtensions.<EClass>toList(Iterables.<EClass>filter(pckg.getEClassifiers(), EClass.class)); | ||
113 | final List<EEnum> enums = IterableExtensions.<EEnum>toList(Iterables.<EEnum>filter(pckg.getEClassifiers(), EEnum.class)); | ||
114 | final Function1<EEnum, EList<EEnumLiteral>> _function = (EEnum it) -> { | ||
115 | return it.getELiterals(); | ||
116 | }; | ||
117 | final List<EEnumLiteral> literals = IterableExtensions.<EEnumLiteral>toList(Iterables.<EEnumLiteral>concat(ListExtensions.<EEnum, EList<EEnumLiteral>>map(enums, _function))); | ||
118 | final Function1<EClass, EList<EReference>> _function_1 = (EClass it) -> { | ||
119 | return it.getEReferences(); | ||
120 | }; | ||
121 | final List<EReference> references = IterableExtensions.<EReference>toList(Iterables.<EReference>concat(ListExtensions.<EClass, EList<EReference>>map(classes, _function_1))); | ||
122 | final Function1<EClass, EList<EAttribute>> _function_2 = (EClass it) -> { | ||
123 | return it.getEAttributes(); | ||
124 | }; | ||
125 | final List<EAttribute> attributes = IterableExtensions.<EAttribute>toList(Iterables.<EAttribute>concat(ListExtensions.<EClass, EList<EAttribute>>map(classes, _function_2))); | ||
126 | return new EcoreMetamodelDescriptor(classes, Collections.<EClass>unmodifiableSet(CollectionLiterals.<EClass>newHashSet()), false, enums, literals, references, attributes); | ||
127 | } | ||
128 | |||
129 | public static EList<EObject> loadPartialModel(final ReasonerWorkspace inputs, final String path) { | ||
130 | EList<EObject> _xblockexpression = null; | ||
131 | { | ||
132 | Map<String, Object> _extensionToFactoryMap = Resource.Factory.Registry.INSTANCE.getExtensionToFactoryMap(); | ||
133 | XMIResourceFactoryImpl _xMIResourceFactoryImpl = new XMIResourceFactoryImpl(); | ||
134 | _extensionToFactoryMap.put("*", _xMIResourceFactoryImpl); | ||
135 | _xblockexpression = inputs.<EObject>readModel(EObject.class, path).eResource().getContents(); | ||
136 | } | ||
137 | return _xblockexpression; | ||
138 | } | ||
139 | |||
140 | public static String writeSolution(final LogicResult solution, final ReasonerWorkspace workspace, final List<EObject> models) { | ||
141 | String _xifexpression = null; | ||
142 | if ((solution instanceof ModelResult)) { | ||
143 | String _xblockexpression = null; | ||
144 | { | ||
145 | final EList<Object> representations = ((ModelResult)solution).getRepresentation(); | ||
146 | int _size = representations.size(); | ||
147 | ExclusiveRange _doubleDotLessThan = new ExclusiveRange(0, _size, true); | ||
148 | for (final Integer representationIndex : _doubleDotLessThan) { | ||
149 | { | ||
150 | final Object representation = representations.get((representationIndex).intValue()); | ||
151 | final int representationNumber = ((representationIndex).intValue() + 1); | ||
152 | if ((representation instanceof PartialInterpretation)) { | ||
153 | final PartialInterpretation2Gml partialInterpretation2GML = new PartialInterpretation2Gml(); | ||
154 | final String gml = partialInterpretation2GML.transform(((PartialInterpretation)representation)); | ||
155 | StringConcatenation _builder = new StringConcatenation(); | ||
156 | _builder.append("solution"); | ||
157 | _builder.append(representationNumber); | ||
158 | _builder.append("Visualisation.gml"); | ||
159 | workspace.writeText(_builder.toString(), gml); | ||
160 | } else { | ||
161 | StringConcatenation _builder_1 = new StringConcatenation(); | ||
162 | _builder_1.append("solution"); | ||
163 | _builder_1.append(representationNumber); | ||
164 | _builder_1.append(".txt"); | ||
165 | workspace.writeText(_builder_1.toString(), representation.toString()); | ||
166 | } | ||
167 | } | ||
168 | } | ||
169 | int _size_1 = models.size(); | ||
170 | ExclusiveRange _doubleDotLessThan_1 = new ExclusiveRange(0, _size_1, true); | ||
171 | for (final Integer modelIndex : _doubleDotLessThan_1) { | ||
172 | { | ||
173 | final EObject model = models.get((modelIndex).intValue()); | ||
174 | final int representationNumber = ((modelIndex).intValue() + 1); | ||
175 | StringConcatenation _builder = new StringConcatenation(); | ||
176 | _builder.append("model"); | ||
177 | _builder.append(representationNumber); | ||
178 | _builder.append(".xmi"); | ||
179 | workspace.writeModel(model, _builder.toString()); | ||
180 | } | ||
181 | } | ||
182 | _xblockexpression = InputOutput.<String>println("Solution saved and visualised"); | ||
183 | } | ||
184 | _xifexpression = _xblockexpression; | ||
185 | } | ||
186 | return _xifexpression; | ||
187 | } | ||
188 | } | ||