aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/output
diff options
context:
space:
mode:
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/output')
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/output/model1.xmi9
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/output/model2.xmi11
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/output/model3.xmi12
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/output/model4.xmi13
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/output/model5.xmi14
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/output/solution1Visualisation.gml646
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/output/solution2Visualisation.gml706
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/output/solution3Visualisation.gml764
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/output/solution4Visualisation.gml822
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/output/solution5Visualisation.gml882
10 files changed, 3879 insertions, 0 deletions
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 @@
1graph
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 @@
1graph
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 @@
1graph
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 @@
1graph
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 @@
1graph
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
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-09-27 16:45:52 +0000