diff options
Diffstat (limited to 'Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCIrrealisticMODEL.gml')
-rw-r--r-- | Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCIrrealisticMODEL.gml | 698 |
1 files changed, 698 insertions, 0 deletions
diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCIrrealisticMODEL.gml b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCIrrealisticMODEL.gml new file mode 100644 index 00000000..5102dc66 --- /dev/null +++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCIrrealisticMODEL.gml | |||
@@ -0,0 +1,698 @@ | |||
1 | graph | ||
2 | [ | ||
3 | node | ||
4 | [ | ||
5 | id 0 | ||
6 | graphics | ||
7 | [ | ||
8 | w 41.800000000000004 | ||
9 | h 26 | ||
10 | type "rectangle" | ||
11 | fill "#FFFFFF" | ||
12 | fill2 "#FFFFFF" | ||
13 | outline "#000000" | ||
14 | ] | ||
15 | LabelGraphics | ||
16 | [ | ||
17 | text "true" | ||
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 | " | ||
30 | fontSize 14 | ||
31 | fontName "Consolas" | ||
32 | alignment "left" | ||
33 | anchor "tl" | ||
34 | borderDistance 6 | ||
35 | ] | ||
36 | ] | ||
37 | |||
38 | node | ||
39 | [ | ||
40 | id 1 | ||
41 | graphics | ||
42 | [ | ||
43 | w 50.6 | ||
44 | h 26 | ||
45 | type "rectangle" | ||
46 | fill "#FFFFFF" | ||
47 | fill2 "#FFFFFF" | ||
48 | outline "#000000" | ||
49 | ] | ||
50 | LabelGraphics | ||
51 | [ | ||
52 | text "false" | ||
53 | outline "#000000" | ||
54 | fill "#FFFFFF" | ||
55 | fontSize 16 | ||
56 | fontName "Monospace" | ||
57 | autoSizePolicy "node_width" | ||
58 | anchor "t" | ||
59 | borderDistance 0.0 | ||
60 | ] | ||
61 | LabelGraphics | ||
62 | [ | ||
63 | text " | ||
64 | " | ||
65 | fontSize 14 | ||
66 | fontName "Consolas" | ||
67 | alignment "left" | ||
68 | anchor "tl" | ||
69 | borderDistance 6 | ||
70 | ] | ||
71 | ] | ||
72 | |||
73 | node | ||
74 | [ | ||
75 | id 2 | ||
76 | graphics | ||
77 | [ | ||
78 | w 138.60000000000002 | ||
79 | h 40 | ||
80 | type "rectangle" | ||
81 | fill "#FFFFFF" | ||
82 | fill2 "#FFFFFF" | ||
83 | outline "#000000" | ||
84 | ] | ||
85 | LabelGraphics | ||
86 | [ | ||
87 | text "null" | ||
88 | outline "#000000" | ||
89 | fill "#FFFFFF" | ||
90 | fontSize 16 | ||
91 | fontName "Monospace" | ||
92 | autoSizePolicy "node_width" | ||
93 | anchor "t" | ||
94 | borderDistance 0.0 | ||
95 | ] | ||
96 | LabelGraphics | ||
97 | [ | ||
98 | text " | ||
99 | Statechart class | ||
100 | " | ||
101 | fontSize 14 | ||
102 | fontName "Consolas" | ||
103 | alignment "left" | ||
104 | anchor "tl" | ||
105 | borderDistance 6 | ||
106 | ] | ||
107 | ] | ||
108 | |||
109 | node | ||
110 | [ | ||
111 | id 3 | ||
112 | graphics | ||
113 | [ | ||
114 | w 100.10000000000001 | ||
115 | h 40 | ||
116 | type "rectangle" | ||
117 | fill "#FFFFFF" | ||
118 | fill2 "#FFFFFF" | ||
119 | outline "#000000" | ||
120 | ] | ||
121 | LabelGraphics | ||
122 | [ | ||
123 | text "null" | ||
124 | outline "#000000" | ||
125 | fill "#FFFFFF" | ||
126 | fontSize 16 | ||
127 | fontName "Monospace" | ||
128 | autoSizePolicy "node_width" | ||
129 | anchor "t" | ||
130 | borderDistance 0.0 | ||
131 | ] | ||
132 | LabelGraphics | ||
133 | [ | ||
134 | text " | ||
135 | State class | ||
136 | " | ||
137 | fontSize 14 | ||
138 | fontName "Consolas" | ||
139 | alignment "left" | ||
140 | anchor "tl" | ||
141 | borderDistance 6 | ||
142 | ] | ||
143 | ] | ||
144 | |||
145 | node | ||
146 | [ | ||
147 | id 4 | ||
148 | graphics | ||
149 | [ | ||
150 | w 100.10000000000001 | ||
151 | h 40 | ||
152 | type "rectangle" | ||
153 | fill "#FFFFFF" | ||
154 | fill2 "#FFFFFF" | ||
155 | outline "#000000" | ||
156 | ] | ||
157 | LabelGraphics | ||
158 | [ | ||
159 | text "null" | ||
160 | outline "#000000" | ||
161 | fill "#FFFFFF" | ||
162 | fontSize 16 | ||
163 | fontName "Monospace" | ||
164 | autoSizePolicy "node_width" | ||
165 | anchor "t" | ||
166 | borderDistance 0.0 | ||
167 | ] | ||
168 | LabelGraphics | ||
169 | [ | ||
170 | text " | ||
171 | State class | ||
172 | " | ||
173 | fontSize 14 | ||
174 | fontName "Consolas" | ||
175 | alignment "left" | ||
176 | anchor "tl" | ||
177 | borderDistance 6 | ||
178 | ] | ||
179 | ] | ||
180 | |||
181 | node | ||
182 | [ | ||
183 | id 5 | ||
184 | graphics | ||
185 | [ | ||
186 | w 100.10000000000001 | ||
187 | h 40 | ||
188 | type "rectangle" | ||
189 | fill "#FFFFFF" | ||
190 | fill2 "#FFFFFF" | ||
191 | outline "#000000" | ||
192 | ] | ||
193 | LabelGraphics | ||
194 | [ | ||
195 | text "null" | ||
196 | outline "#000000" | ||
197 | fill "#FFFFFF" | ||
198 | fontSize 16 | ||
199 | fontName "Monospace" | ||
200 | autoSizePolicy "node_width" | ||
201 | anchor "t" | ||
202 | borderDistance 0.0 | ||
203 | ] | ||
204 | LabelGraphics | ||
205 | [ | ||
206 | text " | ||
207 | State class | ||
208 | " | ||
209 | fontSize 14 | ||
210 | fontName "Consolas" | ||
211 | alignment "left" | ||
212 | anchor "tl" | ||
213 | borderDistance 6 | ||
214 | ] | ||
215 | ] | ||
216 | |||
217 | node | ||
218 | [ | ||
219 | id 6 | ||
220 | graphics | ||
221 | [ | ||
222 | w 100.10000000000001 | ||
223 | h 40 | ||
224 | type "rectangle" | ||
225 | fill "#FFFFFF" | ||
226 | fill2 "#FFFFFF" | ||
227 | outline "#000000" | ||
228 | ] | ||
229 | LabelGraphics | ||
230 | [ | ||
231 | text "null" | ||
232 | outline "#000000" | ||
233 | fill "#FFFFFF" | ||
234 | fontSize 16 | ||
235 | fontName "Monospace" | ||
236 | autoSizePolicy "node_width" | ||
237 | anchor "t" | ||
238 | borderDistance 0.0 | ||
239 | ] | ||
240 | LabelGraphics | ||
241 | [ | ||
242 | text " | ||
243 | State class | ||
244 | " | ||
245 | fontSize 14 | ||
246 | fontName "Consolas" | ||
247 | alignment "left" | ||
248 | anchor "tl" | ||
249 | borderDistance 6 | ||
250 | ] | ||
251 | ] | ||
252 | |||
253 | node | ||
254 | [ | ||
255 | id 7 | ||
256 | graphics | ||
257 | [ | ||
258 | w 100.10000000000001 | ||
259 | h 40 | ||
260 | type "rectangle" | ||
261 | fill "#FFFFFF" | ||
262 | fill2 "#FFFFFF" | ||
263 | outline "#000000" | ||
264 | ] | ||
265 | LabelGraphics | ||
266 | [ | ||
267 | text "null" | ||
268 | outline "#000000" | ||
269 | fill "#FFFFFF" | ||
270 | fontSize 16 | ||
271 | fontName "Monospace" | ||
272 | autoSizePolicy "node_width" | ||
273 | anchor "t" | ||
274 | borderDistance 0.0 | ||
275 | ] | ||
276 | LabelGraphics | ||
277 | [ | ||
278 | text " | ||
279 | State class | ||
280 | " | ||
281 | fontSize 14 | ||
282 | fontName "Consolas" | ||
283 | alignment "left" | ||
284 | anchor "tl" | ||
285 | borderDistance 6 | ||
286 | ] | ||
287 | ] | ||
288 | |||
289 | node | ||
290 | [ | ||
291 | id 8 | ||
292 | graphics | ||
293 | [ | ||
294 | w 100.10000000000001 | ||
295 | h 40 | ||
296 | type "rectangle" | ||
297 | fill "#FFFFFF" | ||
298 | fill2 "#FFFFFF" | ||
299 | outline "#000000" | ||
300 | ] | ||
301 | LabelGraphics | ||
302 | [ | ||
303 | text "null" | ||
304 | outline "#000000" | ||
305 | fill "#FFFFFF" | ||
306 | fontSize 16 | ||
307 | fontName "Monospace" | ||
308 | autoSizePolicy "node_width" | ||
309 | anchor "t" | ||
310 | borderDistance 0.0 | ||
311 | ] | ||
312 | LabelGraphics | ||
313 | [ | ||
314 | text " | ||
315 | Entry class | ||
316 | " | ||
317 | fontSize 14 | ||
318 | fontName "Consolas" | ||
319 | alignment "left" | ||
320 | anchor "tl" | ||
321 | borderDistance 6 | ||
322 | ] | ||
323 | ] | ||
324 | |||
325 | node | ||
326 | [ | ||
327 | id 9 | ||
328 | graphics | ||
329 | [ | ||
330 | w 112.2 | ||
331 | h 26 | ||
332 | type "rectangle" | ||
333 | fill "#FFFFFF" | ||
334 | fill2 "#FFFFFF" | ||
335 | outline "#000000" | ||
336 | ] | ||
337 | LabelGraphics | ||
338 | [ | ||
339 | text "New Integers" | ||
340 | outline "#000000" | ||
341 | fill "#FFFFFF" | ||
342 | fontSize 16 | ||
343 | fontName "Monospace" | ||
344 | autoSizePolicy "node_width" | ||
345 | anchor "t" | ||
346 | borderDistance 0.0 | ||
347 | ] | ||
348 | LabelGraphics | ||
349 | [ | ||
350 | text " | ||
351 | " | ||
352 | fontSize 14 | ||
353 | fontName "Consolas" | ||
354 | alignment "left" | ||
355 | anchor "tl" | ||
356 | borderDistance 6 | ||
357 | ] | ||
358 | ] | ||
359 | |||
360 | node | ||
361 | [ | ||
362 | id 10 | ||
363 | graphics | ||
364 | [ | ||
365 | w 85.80000000000001 | ||
366 | h 26 | ||
367 | type "rectangle" | ||
368 | fill "#FFFFFF" | ||
369 | fill2 "#FFFFFF" | ||
370 | outline "#000000" | ||
371 | ] | ||
372 | LabelGraphics | ||
373 | [ | ||
374 | text "New Reals" | ||
375 | outline "#000000" | ||
376 | fill "#FFFFFF" | ||
377 | fontSize 16 | ||
378 | fontName "Monospace" | ||
379 | autoSizePolicy "node_width" | ||
380 | anchor "t" | ||
381 | borderDistance 0.0 | ||
382 | ] | ||
383 | LabelGraphics | ||
384 | [ | ||
385 | text " | ||
386 | " | ||
387 | fontSize 14 | ||
388 | fontName "Consolas" | ||
389 | alignment "left" | ||
390 | anchor "tl" | ||
391 | borderDistance 6 | ||
392 | ] | ||
393 | ] | ||
394 | |||
395 | node | ||
396 | [ | ||
397 | id 11 | ||
398 | graphics | ||
399 | [ | ||
400 | w 103.4 | ||
401 | h 26 | ||
402 | type "rectangle" | ||
403 | fill "#FFFFFF" | ||
404 | fill2 "#FFFFFF" | ||
405 | outline "#000000" | ||
406 | ] | ||
407 | LabelGraphics | ||
408 | [ | ||
409 | text "New Strings" | ||
410 | outline "#000000" | ||
411 | fill "#FFFFFF" | ||
412 | fontSize 16 | ||
413 | fontName "Monospace" | ||
414 | autoSizePolicy "node_width" | ||
415 | anchor "t" | ||
416 | borderDistance 0.0 | ||
417 | ] | ||
418 | LabelGraphics | ||
419 | [ | ||
420 | text " | ||
421 | " | ||
422 | fontSize 14 | ||
423 | fontName "Consolas" | ||
424 | alignment "left" | ||
425 | anchor "tl" | ||
426 | borderDistance 6 | ||
427 | ] | ||
428 | ] | ||
429 | |||
430 | node | ||
431 | [ | ||
432 | id 12 | ||
433 | graphics | ||
434 | [ | ||
435 | w 103.4 | ||
436 | h 26 | ||
437 | type "rectangle" | ||
438 | fill "#FFFFFF" | ||
439 | fill2 "#FFFFFF" | ||
440 | outline "#000000" | ||
441 | ] | ||
442 | LabelGraphics | ||
443 | [ | ||
444 | text "New Objects" | ||
445 | outline "#000000" | ||
446 | fill "#FFFFFF" | ||
447 | fontSize 16 | ||
448 | fontName "Monospace" | ||
449 | autoSizePolicy "node_width" | ||
450 | anchor "t" | ||
451 | borderDistance 0.0 | ||
452 | ] | ||
453 | LabelGraphics | ||
454 | [ | ||
455 | text " | ||
456 | " | ||
457 | fontSize 14 | ||
458 | fontName "Consolas" | ||
459 | alignment "left" | ||
460 | anchor "tl" | ||
461 | borderDistance 6 | ||
462 | ] | ||
463 | ] | ||
464 | edge | ||
465 | [ | ||
466 | source 3 | ||
467 | target 4 | ||
468 | graphics | ||
469 | [ | ||
470 | fill "#000000" | ||
471 | targetArrow "standard" | ||
472 | ] | ||
473 | LabelGraphics | ||
474 | [ | ||
475 | text "next reference State" | ||
476 | fontSize 14 | ||
477 | fontName "Consolas" | ||
478 | configuration "AutoFlippingLabel" | ||
479 | model "six_pos" | ||
480 | position "thead" | ||
481 | ] | ||
482 | ] | ||
483 | edge | ||
484 | [ | ||
485 | source 4 | ||
486 | target 5 | ||
487 | graphics | ||
488 | [ | ||
489 | fill "#000000" | ||
490 | targetArrow "standard" | ||
491 | ] | ||
492 | LabelGraphics | ||
493 | [ | ||
494 | text "next reference State" | ||
495 | fontSize 14 | ||
496 | fontName "Consolas" | ||
497 | configuration "AutoFlippingLabel" | ||
498 | model "six_pos" | ||
499 | position "thead" | ||
500 | ] | ||
501 | ] | ||
502 | edge | ||
503 | [ | ||
504 | source 5 | ||
505 | target 6 | ||
506 | graphics | ||
507 | [ | ||
508 | fill "#000000" | ||
509 | targetArrow "standard" | ||
510 | ] | ||
511 | LabelGraphics | ||
512 | [ | ||
513 | text "next reference State" | ||
514 | fontSize 14 | ||
515 | fontName "Consolas" | ||
516 | configuration "AutoFlippingLabel" | ||
517 | model "six_pos" | ||
518 | position "thead" | ||
519 | ] | ||
520 | ] | ||
521 | edge | ||
522 | [ | ||
523 | source 6 | ||
524 | target 7 | ||
525 | graphics | ||
526 | [ | ||
527 | fill "#000000" | ||
528 | targetArrow "standard" | ||
529 | ] | ||
530 | LabelGraphics | ||
531 | [ | ||
532 | text "next reference State" | ||
533 | fontSize 14 | ||
534 | fontName "Consolas" | ||
535 | configuration "AutoFlippingLabel" | ||
536 | model "six_pos" | ||
537 | position "thead" | ||
538 | ] | ||
539 | ] | ||
540 | edge | ||
541 | [ | ||
542 | source 7 | ||
543 | target 3 | ||
544 | graphics | ||
545 | [ | ||
546 | fill "#000000" | ||
547 | targetArrow "standard" | ||
548 | ] | ||
549 | LabelGraphics | ||
550 | [ | ||
551 | text "next reference State" | ||
552 | fontSize 14 | ||
553 | fontName "Consolas" | ||
554 | configuration "AutoFlippingLabel" | ||
555 | model "six_pos" | ||
556 | position "thead" | ||
557 | ] | ||
558 | ] | ||
559 | edge | ||
560 | [ | ||
561 | source 8 | ||
562 | target 3 | ||
563 | graphics | ||
564 | [ | ||
565 | fill "#000000" | ||
566 | targetArrow "standard" | ||
567 | ] | ||
568 | LabelGraphics | ||
569 | [ | ||
570 | text "entry reference Entry" | ||
571 | fontSize 14 | ||
572 | fontName "Consolas" | ||
573 | configuration "AutoFlippingLabel" | ||
574 | model "six_pos" | ||
575 | position "thead" | ||
576 | ] | ||
577 | ] | ||
578 | edge | ||
579 | [ | ||
580 | source 2 | ||
581 | target 3 | ||
582 | graphics | ||
583 | [ | ||
584 | fill "#000000" | ||
585 | width 3 | ||
586 | targetArrow "standard" | ||
587 | ] | ||
588 | LabelGraphics | ||
589 | [ | ||
590 | text "state reference Statechart" | ||
591 | fontSize 14 | ||
592 | fontName "Consolas" | ||
593 | configuration "AutoFlippingLabel" | ||
594 | model "six_pos" | ||
595 | position "thead" | ||
596 | ] | ||
597 | ] | ||
598 | edge | ||
599 | [ | ||
600 | source 2 | ||
601 | target 4 | ||
602 | graphics | ||
603 | [ | ||
604 | fill "#000000" | ||
605 | width 3 | ||
606 | targetArrow "standard" | ||
607 | ] | ||
608 | LabelGraphics | ||
609 | [ | ||
610 | text "state reference Statechart" | ||
611 | fontSize 14 | ||
612 | fontName "Consolas" | ||
613 | configuration "AutoFlippingLabel" | ||
614 | model "six_pos" | ||
615 | position "thead" | ||
616 | ] | ||
617 | ] | ||
618 | edge | ||
619 | [ | ||
620 | source 2 | ||
621 | target 5 | ||
622 | graphics | ||
623 | [ | ||
624 | fill "#000000" | ||
625 | width 3 | ||
626 | targetArrow "standard" | ||
627 | ] | ||
628 | LabelGraphics | ||
629 | [ | ||
630 | text "state reference Statechart" | ||
631 | fontSize 14 | ||
632 | fontName "Consolas" | ||
633 | configuration "AutoFlippingLabel" | ||
634 | model "six_pos" | ||
635 | position "thead" | ||
636 | ] | ||
637 | ] | ||
638 | edge | ||
639 | [ | ||
640 | source 2 | ||
641 | target 6 | ||
642 | graphics | ||
643 | [ | ||
644 | fill "#000000" | ||
645 | width 3 | ||
646 | targetArrow "standard" | ||
647 | ] | ||
648 | LabelGraphics | ||
649 | [ | ||
650 | text "state reference Statechart" | ||
651 | fontSize 14 | ||
652 | fontName "Consolas" | ||
653 | configuration "AutoFlippingLabel" | ||
654 | model "six_pos" | ||
655 | position "thead" | ||
656 | ] | ||
657 | ] | ||
658 | edge | ||
659 | [ | ||
660 | source 2 | ||
661 | target 7 | ||
662 | graphics | ||
663 | [ | ||
664 | fill "#000000" | ||
665 | width 3 | ||
666 | targetArrow "standard" | ||
667 | ] | ||
668 | LabelGraphics | ||
669 | [ | ||
670 | text "state reference Statechart" | ||
671 | fontSize 14 | ||
672 | fontName "Consolas" | ||
673 | configuration "AutoFlippingLabel" | ||
674 | model "six_pos" | ||
675 | position "thead" | ||
676 | ] | ||
677 | ] | ||
678 | edge | ||
679 | [ | ||
680 | source 2 | ||
681 | target 8 | ||
682 | graphics | ||
683 | [ | ||
684 | fill "#000000" | ||
685 | width 3 | ||
686 | targetArrow "standard" | ||
687 | ] | ||
688 | LabelGraphics | ||
689 | [ | ||
690 | text "entry reference Statechart" | ||
691 | fontSize 14 | ||
692 | fontName "Consolas" | ||
693 | configuration "AutoFlippingLabel" | ||
694 | model "six_pos" | ||
695 | position "thead" | ||
696 | ] | ||
697 | ] | ||
698 | ] | ||