aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/output/solution1Visualisation.gml
diff options
context:
space:
mode:
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/output/solution1Visualisation.gml')
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/output/solution1Visualisation.gml646
1 files changed, 646 insertions, 0 deletions
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
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-17 07:28:37 +0000