aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/models
diff options
context:
space:
mode:
authorLibravatar ArenBabikian <aren.babikian@mail.mcgill.ca>2019-02-16 15:45:14 -0500
committerLibravatar ArenBabikian <aren.babikian@mail.mcgill.ca>2020-06-07 19:18:52 -0400
commitd6839b05d1e1f2dede0acc58ba2d39f89e8163e4 (patch)
tree34e6bc5f42f1dcb15434aa784bcaece040e9f60a /Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/models
parentSet up #19 (diff)
downloadVIATRA-Generator-d6839b05d1e1f2dede0acc58ba2d39f89e8163e4.tar.gz
VIATRA-Generator-d6839b05d1e1f2dede0acc58ba2d39f89e8163e4.tar.zst
VIATRA-Generator-d6839b05d1e1f2dede0acc58ba2d39f89e8163e4.zip
Integrate queries partially #19
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/models')
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/models/1.gml4304
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/models/1.pngbin30880 -> 33827 bytes
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/models/1.xmi16
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/models/2.gml3692
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/models/2.pngbin36094 -> 29697 bytes
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/models/2.xmi15
6 files changed, 8011 insertions, 16 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/models/1.gml b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/models/1.gml
index 4c5b2e7d..e73f85db 100644
--- a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/models/1.gml
+++ b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/models/1.gml
@@ -477,3 +477,4307 @@ graph
477 ] 477 ]
478 ] 478 ]
479] 479]
480graph
481[
482 node
483 [
484 id 0
485 graphics
486 [
487 w 277.20000000000005
488 h 82
489 type "rectangle"
490 fill "#FFFFFF"
491 fill2 "#FFFFFF"
492 outline "#000000"
493 ]
494 LabelGraphics
495 [
496 text "o 1"
497 outline "#000000"
498 fill "#FFFFFF"
499 fontSize 16
500 fontName "Monospace"
501 autoSizePolicy "node_width"
502 anchor "t"
503 borderDistance 0.0
504 ]
505 LabelGraphics
506 [
507 text "
508 Statechart class DefinedPart
509 CompositeElement class DefinedPart
510 Statechart class
511 CompositeElement class
512 "
513 fontSize 14
514 fontName "Consolas"
515 alignment "left"
516 anchor "tl"
517 borderDistance 6
518 ]
519 ]
520
521 node
522 [
523 id 1
524 graphics
525 [
526 w 41.800000000000004
527 h 26
528 type "rectangle"
529 fill "#FFFFFF"
530 fill2 "#FFFFFF"
531 outline "#000000"
532 ]
533 LabelGraphics
534 [
535 text "true"
536 outline "#000000"
537 fill "#FFFFFF"
538 fontSize 16
539 fontName "Monospace"
540 autoSizePolicy "node_width"
541 anchor "t"
542 borderDistance 0.0
543 ]
544 LabelGraphics
545 [
546 text "
547 "
548 fontSize 14
549 fontName "Consolas"
550 alignment "left"
551 anchor "tl"
552 borderDistance 6
553 ]
554 ]
555
556 node
557 [
558 id 2
559 graphics
560 [
561 w 50.6
562 h 26
563 type "rectangle"
564 fill "#FFFFFF"
565 fill2 "#FFFFFF"
566 outline "#000000"
567 ]
568 LabelGraphics
569 [
570 text "false"
571 outline "#000000"
572 fill "#FFFFFF"
573 fontSize 16
574 fontName "Monospace"
575 autoSizePolicy "node_width"
576 anchor "t"
577 borderDistance 0.0
578 ]
579 LabelGraphics
580 [
581 text "
582 "
583 fontSize 14
584 fontName "Consolas"
585 alignment "left"
586 anchor "tl"
587 borderDistance 6
588 ]
589 ]
590
591 node
592 [
593 id 3
594 graphics
595 [
596 w 107.80000000000001
597 h 40
598 type "rectangle"
599 fill "#FFFFFF"
600 fill2 "#FFFFFF"
601 outline "#000000"
602 ]
603 LabelGraphics
604 [
605 text "null"
606 outline "#000000"
607 fill "#FFFFFF"
608 fontSize 16
609 fontName "Monospace"
610 autoSizePolicy "node_width"
611 anchor "t"
612 borderDistance 0.0
613 ]
614 LabelGraphics
615 [
616 text "
617 Region class
618 "
619 fontSize 14
620 fontName "Consolas"
621 alignment "left"
622 anchor "tl"
623 borderDistance 6
624 ]
625 ]
626
627 node
628 [
629 id 4
630 graphics
631 [
632 w 292.6
633 h 96
634 type "rectangle"
635 fill "#FFFFFF"
636 fill2 "#FFFFFF"
637 outline "#000000"
638 ]
639 LabelGraphics
640 [
641 text "null"
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 Vertex class
654 State class
655 RegularState class
656 CompositeElement class
657 CompositeElement class UndefinedPart
658 "
659 fontSize 14
660 fontName "Consolas"
661 alignment "left"
662 anchor "tl"
663 borderDistance 6
664 ]
665 ]
666
667 node
668 [
669 id 5
670 graphics
671 [
672 w 146.3
673 h 68
674 type "rectangle"
675 fill "#FFFFFF"
676 fill2 "#FFFFFF"
677 outline "#000000"
678 ]
679 LabelGraphics
680 [
681 text "null"
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 Pseudostate class
694 Vertex class
695 Entry class
696 "
697 fontSize 14
698 fontName "Consolas"
699 alignment "left"
700 anchor "tl"
701 borderDistance 6
702 ]
703 ]
704
705 node
706 [
707 id 6
708 graphics
709 [
710 w 138.60000000000002
711 h 40
712 type "rectangle"
713 fill "#FFFFFF"
714 fill2 "#FFFFFF"
715 outline "#000000"
716 ]
717 LabelGraphics
718 [
719 text "null"
720 outline "#000000"
721 fill "#FFFFFF"
722 fontSize 16
723 fontName "Monospace"
724 autoSizePolicy "node_width"
725 anchor "t"
726 borderDistance 0.0
727 ]
728 LabelGraphics
729 [
730 text "
731 Transition class
732 "
733 fontSize 14
734 fontName "Consolas"
735 alignment "left"
736 anchor "tl"
737 borderDistance 6
738 ]
739 ]
740
741 node
742 [
743 id 7
744 graphics
745 [
746 w 112.2
747 h 26
748 type "rectangle"
749 fill "#FFFFFF"
750 fill2 "#FFFFFF"
751 outline "#000000"
752 ]
753 LabelGraphics
754 [
755 text "New Integers"
756 outline "#000000"
757 fill "#FFFFFF"
758 fontSize 16
759 fontName "Monospace"
760 autoSizePolicy "node_width"
761 anchor "t"
762 borderDistance 0.0
763 ]
764 LabelGraphics
765 [
766 text "
767 "
768 fontSize 14
769 fontName "Consolas"
770 alignment "left"
771 anchor "tl"
772 borderDistance 6
773 ]
774 ]
775
776 node
777 [
778 id 8
779 graphics
780 [
781 w 85.80000000000001
782 h 26
783 type "rectangle"
784 fill "#FFFFFF"
785 fill2 "#FFFFFF"
786 outline "#000000"
787 ]
788 LabelGraphics
789 [
790 text "New Reals"
791 outline "#000000"
792 fill "#FFFFFF"
793 fontSize 16
794 fontName "Monospace"
795 autoSizePolicy "node_width"
796 anchor "t"
797 borderDistance 0.0
798 ]
799 LabelGraphics
800 [
801 text "
802 "
803 fontSize 14
804 fontName "Consolas"
805 alignment "left"
806 anchor "tl"
807 borderDistance 6
808 ]
809 ]
810
811 node
812 [
813 id 9
814 graphics
815 [
816 w 103.4
817 h 26
818 type "rectangle"
819 fill "#FFFFFF"
820 fill2 "#FFFFFF"
821 outline "#000000"
822 ]
823 LabelGraphics
824 [
825 text "New Strings"
826 outline "#000000"
827 fill "#FFFFFF"
828 fontSize 16
829 fontName "Monospace"
830 autoSizePolicy "node_width"
831 anchor "t"
832 borderDistance 0.0
833 ]
834 LabelGraphics
835 [
836 text "
837 "
838 fontSize 14
839 fontName "Consolas"
840 alignment "left"
841 anchor "tl"
842 borderDistance 6
843 ]
844 ]
845
846 node
847 [
848 id 10
849 graphics
850 [
851 w 103.4
852 h 26
853 type "rectangle"
854 fill "#FFFFFF"
855 fill2 "#FFFFFF"
856 outline "#000000"
857 ]
858 LabelGraphics
859 [
860 text "New Objects"
861 outline "#000000"
862 fill "#FFFFFF"
863 fontSize 16
864 fontName "Monospace"
865 autoSizePolicy "node_width"
866 anchor "t"
867 borderDistance 0.0
868 ]
869 LabelGraphics
870 [
871 text "
872 "
873 fontSize 14
874 fontName "Consolas"
875 alignment "left"
876 anchor "tl"
877 borderDistance 6
878 ]
879 ]
880 edge
881 [
882 source 4
883 target 6
884 graphics
885 [
886 fill "#000000"
887 targetArrow "standard"
888 ]
889 LabelGraphics
890 [
891 text "incomingTransitions reference Vertex"
892 fontSize 14
893 fontName "Consolas"
894 configuration "AutoFlippingLabel"
895 model "six_pos"
896 position "thead"
897 ]
898 ]
899 edge
900 [
901 source 5
902 target 6
903 graphics
904 [
905 fill "#000000"
906 width 3
907 targetArrow "standard"
908 ]
909 LabelGraphics
910 [
911 text "outgoingTransitions reference Vertex"
912 fontSize 14
913 fontName "Consolas"
914 configuration "AutoFlippingLabel"
915 model "six_pos"
916 position "thead"
917 ]
918 ]
919 edge
920 [
921 source 3
922 target 4
923 graphics
924 [
925 fill "#000000"
926 width 3
927 targetArrow "standard"
928 ]
929 LabelGraphics
930 [
931 text "vertices reference Region"
932 fontSize 14
933 fontName "Consolas"
934 configuration "AutoFlippingLabel"
935 model "six_pos"
936 position "thead"
937 ]
938 ]
939 edge
940 [
941 source 3
942 target 5
943 graphics
944 [
945 fill "#000000"
946 width 3
947 targetArrow "standard"
948 ]
949 LabelGraphics
950 [
951 text "vertices reference Region"
952 fontSize 14
953 fontName "Consolas"
954 configuration "AutoFlippingLabel"
955 model "six_pos"
956 position "thead"
957 ]
958 ]
959 edge
960 [
961 source 6
962 target 4
963 graphics
964 [
965 fill "#000000"
966 targetArrow "standard"
967 ]
968 LabelGraphics
969 [
970 text "target reference Transition"
971 fontSize 14
972 fontName "Consolas"
973 configuration "AutoFlippingLabel"
974 model "six_pos"
975 position "thead"
976 ]
977 ]
978 edge
979 [
980 source 6
981 target 5
982 graphics
983 [
984 fill "#000000"
985 targetArrow "standard"
986 ]
987 LabelGraphics
988 [
989 text "source reference Transition"
990 fontSize 14
991 fontName "Consolas"
992 configuration "AutoFlippingLabel"
993 model "six_pos"
994 position "thead"
995 ]
996 ]
997 edge
998 [
999 source 0
1000 target 3
1001 graphics
1002 [
1003 fill "#000000"
1004 width 3
1005 targetArrow "standard"
1006 ]
1007 LabelGraphics
1008 [
1009 text "regions reference CompositeElement"
1010 fontSize 14
1011 fontName "Consolas"
1012 configuration "AutoFlippingLabel"
1013 model "six_pos"
1014 position "thead"
1015 ]
1016 ]
1017]
1018graph
1019[
1020 node
1021 [
1022 id 0
1023 graphics
1024 [
1025 w 277.20000000000005
1026 h 82
1027 type "rectangle"
1028 fill "#FFFFFF"
1029 fill2 "#FFFFFF"
1030 outline "#000000"
1031 ]
1032 LabelGraphics
1033 [
1034 text "o 1"
1035 outline "#000000"
1036 fill "#FFFFFF"
1037 fontSize 16
1038 fontName "Monospace"
1039 autoSizePolicy "node_width"
1040 anchor "t"
1041 borderDistance 0.0
1042 ]
1043 LabelGraphics
1044 [
1045 text "
1046 Statechart class DefinedPart
1047 CompositeElement class DefinedPart
1048 Statechart class
1049 CompositeElement class
1050 "
1051 fontSize 14
1052 fontName "Consolas"
1053 alignment "left"
1054 anchor "tl"
1055 borderDistance 6
1056 ]
1057 ]
1058
1059 node
1060 [
1061 id 1
1062 graphics
1063 [
1064 w 41.800000000000004
1065 h 26
1066 type "rectangle"
1067 fill "#FFFFFF"
1068 fill2 "#FFFFFF"
1069 outline "#000000"
1070 ]
1071 LabelGraphics
1072 [
1073 text "true"
1074 outline "#000000"
1075 fill "#FFFFFF"
1076 fontSize 16
1077 fontName "Monospace"
1078 autoSizePolicy "node_width"
1079 anchor "t"
1080 borderDistance 0.0
1081 ]
1082 LabelGraphics
1083 [
1084 text "
1085 "
1086 fontSize 14
1087 fontName "Consolas"
1088 alignment "left"
1089 anchor "tl"
1090 borderDistance 6
1091 ]
1092 ]
1093
1094 node
1095 [
1096 id 2
1097 graphics
1098 [
1099 w 50.6
1100 h 26
1101 type "rectangle"
1102 fill "#FFFFFF"
1103 fill2 "#FFFFFF"
1104 outline "#000000"
1105 ]
1106 LabelGraphics
1107 [
1108 text "false"
1109 outline "#000000"
1110 fill "#FFFFFF"
1111 fontSize 16
1112 fontName "Monospace"
1113 autoSizePolicy "node_width"
1114 anchor "t"
1115 borderDistance 0.0
1116 ]
1117 LabelGraphics
1118 [
1119 text "
1120 "
1121 fontSize 14
1122 fontName "Consolas"
1123 alignment "left"
1124 anchor "tl"
1125 borderDistance 6
1126 ]
1127 ]
1128
1129 node
1130 [
1131 id 3
1132 graphics
1133 [
1134 w 107.80000000000001
1135 h 40
1136 type "rectangle"
1137 fill "#FFFFFF"
1138 fill2 "#FFFFFF"
1139 outline "#000000"
1140 ]
1141 LabelGraphics
1142 [
1143 text "null"
1144 outline "#000000"
1145 fill "#FFFFFF"
1146 fontSize 16
1147 fontName "Monospace"
1148 autoSizePolicy "node_width"
1149 anchor "t"
1150 borderDistance 0.0
1151 ]
1152 LabelGraphics
1153 [
1154 text "
1155 Region class
1156 "
1157 fontSize 14
1158 fontName "Consolas"
1159 alignment "left"
1160 anchor "tl"
1161 borderDistance 6
1162 ]
1163 ]
1164
1165 node
1166 [
1167 id 4
1168 graphics
1169 [
1170 w 146.3
1171 h 68
1172 type "rectangle"
1173 fill "#FFFFFF"
1174 fill2 "#FFFFFF"
1175 outline "#000000"
1176 ]
1177 LabelGraphics
1178 [
1179 text "null"
1180 outline "#000000"
1181 fill "#FFFFFF"
1182 fontSize 16
1183 fontName "Monospace"
1184 autoSizePolicy "node_width"
1185 anchor "t"
1186 borderDistance 0.0
1187 ]
1188 LabelGraphics
1189 [
1190 text "
1191 Pseudostate class
1192 Vertex class
1193 Entry class
1194 "
1195 fontSize 14
1196 fontName "Consolas"
1197 alignment "left"
1198 anchor "tl"
1199 borderDistance 6
1200 ]
1201 ]
1202
1203 node
1204 [
1205 id 5
1206 graphics
1207 [
1208 w 138.60000000000002
1209 h 40
1210 type "rectangle"
1211 fill "#FFFFFF"
1212 fill2 "#FFFFFF"
1213 outline "#000000"
1214 ]
1215 LabelGraphics
1216 [
1217 text "null"
1218 outline "#000000"
1219 fill "#FFFFFF"
1220 fontSize 16
1221 fontName "Monospace"
1222 autoSizePolicy "node_width"
1223 anchor "t"
1224 borderDistance 0.0
1225 ]
1226 LabelGraphics
1227 [
1228 text "
1229 Transition class
1230 "
1231 fontSize 14
1232 fontName "Consolas"
1233 alignment "left"
1234 anchor "tl"
1235 borderDistance 6
1236 ]
1237 ]
1238
1239 node
1240 [
1241 id 6
1242 graphics
1243 [
1244 w 292.6
1245 h 96
1246 type "rectangle"
1247 fill "#FFFFFF"
1248 fill2 "#FFFFFF"
1249 outline "#000000"
1250 ]
1251 LabelGraphics
1252 [
1253 text "null"
1254 outline "#000000"
1255 fill "#FFFFFF"
1256 fontSize 16
1257 fontName "Monospace"
1258 autoSizePolicy "node_width"
1259 anchor "t"
1260 borderDistance 0.0
1261 ]
1262 LabelGraphics
1263 [
1264 text "
1265 Vertex class
1266 State class
1267 RegularState class
1268 CompositeElement class
1269 CompositeElement class UndefinedPart
1270 "
1271 fontSize 14
1272 fontName "Consolas"
1273 alignment "left"
1274 anchor "tl"
1275 borderDistance 6
1276 ]
1277 ]
1278
1279 node
1280 [
1281 id 7
1282 graphics
1283 [
1284 w 138.60000000000002
1285 h 40
1286 type "rectangle"
1287 fill "#FFFFFF"
1288 fill2 "#FFFFFF"
1289 outline "#000000"
1290 ]
1291 LabelGraphics
1292 [
1293 text "null"
1294 outline "#000000"
1295 fill "#FFFFFF"
1296 fontSize 16
1297 fontName "Monospace"
1298 autoSizePolicy "node_width"
1299 anchor "t"
1300 borderDistance 0.0
1301 ]
1302 LabelGraphics
1303 [
1304 text "
1305 Transition class
1306 "
1307 fontSize 14
1308 fontName "Consolas"
1309 alignment "left"
1310 anchor "tl"
1311 borderDistance 6
1312 ]
1313 ]
1314
1315 node
1316 [
1317 id 8
1318 graphics
1319 [
1320 w 112.2
1321 h 26
1322 type "rectangle"
1323 fill "#FFFFFF"
1324 fill2 "#FFFFFF"
1325 outline "#000000"
1326 ]
1327 LabelGraphics
1328 [
1329 text "New Integers"
1330 outline "#000000"
1331 fill "#FFFFFF"
1332 fontSize 16
1333 fontName "Monospace"
1334 autoSizePolicy "node_width"
1335 anchor "t"
1336 borderDistance 0.0
1337 ]
1338 LabelGraphics
1339 [
1340 text "
1341 "
1342 fontSize 14
1343 fontName "Consolas"
1344 alignment "left"
1345 anchor "tl"
1346 borderDistance 6
1347 ]
1348 ]
1349
1350 node
1351 [
1352 id 9
1353 graphics
1354 [
1355 w 85.80000000000001
1356 h 26
1357 type "rectangle"
1358 fill "#FFFFFF"
1359 fill2 "#FFFFFF"
1360 outline "#000000"
1361 ]
1362 LabelGraphics
1363 [
1364 text "New Reals"
1365 outline "#000000"
1366 fill "#FFFFFF"
1367 fontSize 16
1368 fontName "Monospace"
1369 autoSizePolicy "node_width"
1370 anchor "t"
1371 borderDistance 0.0
1372 ]
1373 LabelGraphics
1374 [
1375 text "
1376 "
1377 fontSize 14
1378 fontName "Consolas"
1379 alignment "left"
1380 anchor "tl"
1381 borderDistance 6
1382 ]
1383 ]
1384
1385 node
1386 [
1387 id 10
1388 graphics
1389 [
1390 w 103.4
1391 h 26
1392 type "rectangle"
1393 fill "#FFFFFF"
1394 fill2 "#FFFFFF"
1395 outline "#000000"
1396 ]
1397 LabelGraphics
1398 [
1399 text "New Strings"
1400 outline "#000000"
1401 fill "#FFFFFF"
1402 fontSize 16
1403 fontName "Monospace"
1404 autoSizePolicy "node_width"
1405 anchor "t"
1406 borderDistance 0.0
1407 ]
1408 LabelGraphics
1409 [
1410 text "
1411 "
1412 fontSize 14
1413 fontName "Consolas"
1414 alignment "left"
1415 anchor "tl"
1416 borderDistance 6
1417 ]
1418 ]
1419
1420 node
1421 [
1422 id 11
1423 graphics
1424 [
1425 w 103.4
1426 h 26
1427 type "rectangle"
1428 fill "#FFFFFF"
1429 fill2 "#FFFFFF"
1430 outline "#000000"
1431 ]
1432 LabelGraphics
1433 [
1434 text "New Objects"
1435 outline "#000000"
1436 fill "#FFFFFF"
1437 fontSize 16
1438 fontName "Monospace"
1439 autoSizePolicy "node_width"
1440 anchor "t"
1441 borderDistance 0.0
1442 ]
1443 LabelGraphics
1444 [
1445 text "
1446 "
1447 fontSize 14
1448 fontName "Consolas"
1449 alignment "left"
1450 anchor "tl"
1451 borderDistance 6
1452 ]
1453 ]
1454 edge
1455 [
1456 source 6
1457 target 7
1458 graphics
1459 [
1460 fill "#000000"
1461 targetArrow "standard"
1462 ]
1463 LabelGraphics
1464 [
1465 text "incomingTransitions reference Vertex"
1466 fontSize 14
1467 fontName "Consolas"
1468 configuration "AutoFlippingLabel"
1469 model "six_pos"
1470 position "thead"
1471 ]
1472 ]
1473 edge
1474 [
1475 source 6
1476 target 5
1477 graphics
1478 [
1479 fill "#000000"
1480 targetArrow "standard"
1481 ]
1482 LabelGraphics
1483 [
1484 text "incomingTransitions reference Vertex"
1485 fontSize 14
1486 fontName "Consolas"
1487 configuration "AutoFlippingLabel"
1488 model "six_pos"
1489 position "thead"
1490 ]
1491 ]
1492 edge
1493 [
1494 source 4
1495 target 5
1496 graphics
1497 [
1498 fill "#000000"
1499 width 3
1500 targetArrow "standard"
1501 ]
1502 LabelGraphics
1503 [
1504 text "outgoingTransitions reference Vertex"
1505 fontSize 14
1506 fontName "Consolas"
1507 configuration "AutoFlippingLabel"
1508 model "six_pos"
1509 position "thead"
1510 ]
1511 ]
1512 edge
1513 [
1514 source 6
1515 target 7
1516 graphics
1517 [
1518 fill "#000000"
1519 width 3
1520 targetArrow "standard"
1521 ]
1522 LabelGraphics
1523 [
1524 text "outgoingTransitions reference Vertex"
1525 fontSize 14
1526 fontName "Consolas"
1527 configuration "AutoFlippingLabel"
1528 model "six_pos"
1529 position "thead"
1530 ]
1531 ]
1532 edge
1533 [
1534 source 3
1535 target 4
1536 graphics
1537 [
1538 fill "#000000"
1539 width 3
1540 targetArrow "standard"
1541 ]
1542 LabelGraphics
1543 [
1544 text "vertices reference Region"
1545 fontSize 14
1546 fontName "Consolas"
1547 configuration "AutoFlippingLabel"
1548 model "six_pos"
1549 position "thead"
1550 ]
1551 ]
1552 edge
1553 [
1554 source 3
1555 target 6
1556 graphics
1557 [
1558 fill "#000000"
1559 width 3
1560 targetArrow "standard"
1561 ]
1562 LabelGraphics
1563 [
1564 text "vertices reference Region"
1565 fontSize 14
1566 fontName "Consolas"
1567 configuration "AutoFlippingLabel"
1568 model "six_pos"
1569 position "thead"
1570 ]
1571 ]
1572 edge
1573 [
1574 source 7
1575 target 6
1576 graphics
1577 [
1578 fill "#000000"
1579 targetArrow "standard"
1580 ]
1581 LabelGraphics
1582 [
1583 text "target reference Transition"
1584 fontSize 14
1585 fontName "Consolas"
1586 configuration "AutoFlippingLabel"
1587 model "six_pos"
1588 position "thead"
1589 ]
1590 ]
1591 edge
1592 [
1593 source 5
1594 target 6
1595 graphics
1596 [
1597 fill "#000000"
1598 targetArrow "standard"
1599 ]
1600 LabelGraphics
1601 [
1602 text "target reference Transition"
1603 fontSize 14
1604 fontName "Consolas"
1605 configuration "AutoFlippingLabel"
1606 model "six_pos"
1607 position "thead"
1608 ]
1609 ]
1610 edge
1611 [
1612 source 5
1613 target 4
1614 graphics
1615 [
1616 fill "#000000"
1617 targetArrow "standard"
1618 ]
1619 LabelGraphics
1620 [
1621 text "source reference Transition"
1622 fontSize 14
1623 fontName "Consolas"
1624 configuration "AutoFlippingLabel"
1625 model "six_pos"
1626 position "thead"
1627 ]
1628 ]
1629 edge
1630 [
1631 source 7
1632 target 6
1633 graphics
1634 [
1635 fill "#000000"
1636 targetArrow "standard"
1637 ]
1638 LabelGraphics
1639 [
1640 text "source reference Transition"
1641 fontSize 14
1642 fontName "Consolas"
1643 configuration "AutoFlippingLabel"
1644 model "six_pos"
1645 position "thead"
1646 ]
1647 ]
1648 edge
1649 [
1650 source 0
1651 target 3
1652 graphics
1653 [
1654 fill "#000000"
1655 width 3
1656 targetArrow "standard"
1657 ]
1658 LabelGraphics
1659 [
1660 text "regions reference CompositeElement"
1661 fontSize 14
1662 fontName "Consolas"
1663 configuration "AutoFlippingLabel"
1664 model "six_pos"
1665 position "thead"
1666 ]
1667 ]
1668]
1669graph
1670[
1671 node
1672 [
1673 id 0
1674 graphics
1675 [
1676 w 277.20000000000005
1677 h 82
1678 type "rectangle"
1679 fill "#FFFFFF"
1680 fill2 "#FFFFFF"
1681 outline "#000000"
1682 ]
1683 LabelGraphics
1684 [
1685 text "o 1"
1686 outline "#000000"
1687 fill "#FFFFFF"
1688 fontSize 16
1689 fontName "Monospace"
1690 autoSizePolicy "node_width"
1691 anchor "t"
1692 borderDistance 0.0
1693 ]
1694 LabelGraphics
1695 [
1696 text "
1697 Statechart class DefinedPart
1698 CompositeElement class DefinedPart
1699 Statechart class
1700 CompositeElement class
1701 "
1702 fontSize 14
1703 fontName "Consolas"
1704 alignment "left"
1705 anchor "tl"
1706 borderDistance 6
1707 ]
1708 ]
1709
1710 node
1711 [
1712 id 1
1713 graphics
1714 [
1715 w 41.800000000000004
1716 h 26
1717 type "rectangle"
1718 fill "#FFFFFF"
1719 fill2 "#FFFFFF"
1720 outline "#000000"
1721 ]
1722 LabelGraphics
1723 [
1724 text "true"
1725 outline "#000000"
1726 fill "#FFFFFF"
1727 fontSize 16
1728 fontName "Monospace"
1729 autoSizePolicy "node_width"
1730 anchor "t"
1731 borderDistance 0.0
1732 ]
1733 LabelGraphics
1734 [
1735 text "
1736 "
1737 fontSize 14
1738 fontName "Consolas"
1739 alignment "left"
1740 anchor "tl"
1741 borderDistance 6
1742 ]
1743 ]
1744
1745 node
1746 [
1747 id 2
1748 graphics
1749 [
1750 w 50.6
1751 h 26
1752 type "rectangle"
1753 fill "#FFFFFF"
1754 fill2 "#FFFFFF"
1755 outline "#000000"
1756 ]
1757 LabelGraphics
1758 [
1759 text "false"
1760 outline "#000000"
1761 fill "#FFFFFF"
1762 fontSize 16
1763 fontName "Monospace"
1764 autoSizePolicy "node_width"
1765 anchor "t"
1766 borderDistance 0.0
1767 ]
1768 LabelGraphics
1769 [
1770 text "
1771 "
1772 fontSize 14
1773 fontName "Consolas"
1774 alignment "left"
1775 anchor "tl"
1776 borderDistance 6
1777 ]
1778 ]
1779
1780 node
1781 [
1782 id 3
1783 graphics
1784 [
1785 w 107.80000000000001
1786 h 40
1787 type "rectangle"
1788 fill "#FFFFFF"
1789 fill2 "#FFFFFF"
1790 outline "#000000"
1791 ]
1792 LabelGraphics
1793 [
1794 text "null"
1795 outline "#000000"
1796 fill "#FFFFFF"
1797 fontSize 16
1798 fontName "Monospace"
1799 autoSizePolicy "node_width"
1800 anchor "t"
1801 borderDistance 0.0
1802 ]
1803 LabelGraphics
1804 [
1805 text "
1806 Region class
1807 "
1808 fontSize 14
1809 fontName "Consolas"
1810 alignment "left"
1811 anchor "tl"
1812 borderDistance 6
1813 ]
1814 ]
1815
1816 node
1817 [
1818 id 4
1819 graphics
1820 [
1821 w 154.0
1822 h 68
1823 type "rectangle"
1824 fill "#FFFFFF"
1825 fill2 "#FFFFFF"
1826 outline "#000000"
1827 ]
1828 LabelGraphics
1829 [
1830 text "null"
1831 outline "#000000"
1832 fill "#FFFFFF"
1833 fontSize 16
1834 fontName "Monospace"
1835 autoSizePolicy "node_width"
1836 anchor "t"
1837 borderDistance 0.0
1838 ]
1839 LabelGraphics
1840 [
1841 text "
1842 Vertex class
1843 RegularState class
1844 FinalState class
1845 "
1846 fontSize 14
1847 fontName "Consolas"
1848 alignment "left"
1849 anchor "tl"
1850 borderDistance 6
1851 ]
1852 ]
1853
1854 node
1855 [
1856 id 5
1857 graphics
1858 [
1859 w 146.3
1860 h 68
1861 type "rectangle"
1862 fill "#FFFFFF"
1863 fill2 "#FFFFFF"
1864 outline "#000000"
1865 ]
1866 LabelGraphics
1867 [
1868 text "null"
1869 outline "#000000"
1870 fill "#FFFFFF"
1871 fontSize 16
1872 fontName "Monospace"
1873 autoSizePolicy "node_width"
1874 anchor "t"
1875 borderDistance 0.0
1876 ]
1877 LabelGraphics
1878 [
1879 text "
1880 Pseudostate class
1881 Vertex class
1882 Entry class
1883 "
1884 fontSize 14
1885 fontName "Consolas"
1886 alignment "left"
1887 anchor "tl"
1888 borderDistance 6
1889 ]
1890 ]
1891
1892 node
1893 [
1894 id 6
1895 graphics
1896 [
1897 w 292.6
1898 h 96
1899 type "rectangle"
1900 fill "#FFFFFF"
1901 fill2 "#FFFFFF"
1902 outline "#000000"
1903 ]
1904 LabelGraphics
1905 [
1906 text "null"
1907 outline "#000000"
1908 fill "#FFFFFF"
1909 fontSize 16
1910 fontName "Monospace"
1911 autoSizePolicy "node_width"
1912 anchor "t"
1913 borderDistance 0.0
1914 ]
1915 LabelGraphics
1916 [
1917 text "
1918 Vertex class
1919 State class
1920 RegularState class
1921 CompositeElement class
1922 CompositeElement class UndefinedPart
1923 "
1924 fontSize 14
1925 fontName "Consolas"
1926 alignment "left"
1927 anchor "tl"
1928 borderDistance 6
1929 ]
1930 ]
1931
1932 node
1933 [
1934 id 7
1935 graphics
1936 [
1937 w 138.60000000000002
1938 h 40
1939 type "rectangle"
1940 fill "#FFFFFF"
1941 fill2 "#FFFFFF"
1942 outline "#000000"
1943 ]
1944 LabelGraphics
1945 [
1946 text "null"
1947 outline "#000000"
1948 fill "#FFFFFF"
1949 fontSize 16
1950 fontName "Monospace"
1951 autoSizePolicy "node_width"
1952 anchor "t"
1953 borderDistance 0.0
1954 ]
1955 LabelGraphics
1956 [
1957 text "
1958 Transition class
1959 "
1960 fontSize 14
1961 fontName "Consolas"
1962 alignment "left"
1963 anchor "tl"
1964 borderDistance 6
1965 ]
1966 ]
1967
1968 node
1969 [
1970 id 8
1971 graphics
1972 [
1973 w 112.2
1974 h 26
1975 type "rectangle"
1976 fill "#FFFFFF"
1977 fill2 "#FFFFFF"
1978 outline "#000000"
1979 ]
1980 LabelGraphics
1981 [
1982 text "New Integers"
1983 outline "#000000"
1984 fill "#FFFFFF"
1985 fontSize 16
1986 fontName "Monospace"
1987 autoSizePolicy "node_width"
1988 anchor "t"
1989 borderDistance 0.0
1990 ]
1991 LabelGraphics
1992 [
1993 text "
1994 "
1995 fontSize 14
1996 fontName "Consolas"
1997 alignment "left"
1998 anchor "tl"
1999 borderDistance 6
2000 ]
2001 ]
2002
2003 node
2004 [
2005 id 9
2006 graphics
2007 [
2008 w 85.80000000000001
2009 h 26
2010 type "rectangle"
2011 fill "#FFFFFF"
2012 fill2 "#FFFFFF"
2013 outline "#000000"
2014 ]
2015 LabelGraphics
2016 [
2017 text "New Reals"
2018 outline "#000000"
2019 fill "#FFFFFF"
2020 fontSize 16
2021 fontName "Monospace"
2022 autoSizePolicy "node_width"
2023 anchor "t"
2024 borderDistance 0.0
2025 ]
2026 LabelGraphics
2027 [
2028 text "
2029 "
2030 fontSize 14
2031 fontName "Consolas"
2032 alignment "left"
2033 anchor "tl"
2034 borderDistance 6
2035 ]
2036 ]
2037
2038 node
2039 [
2040 id 10
2041 graphics
2042 [
2043 w 103.4
2044 h 26
2045 type "rectangle"
2046 fill "#FFFFFF"
2047 fill2 "#FFFFFF"
2048 outline "#000000"
2049 ]
2050 LabelGraphics
2051 [
2052 text "New Strings"
2053 outline "#000000"
2054 fill "#FFFFFF"
2055 fontSize 16
2056 fontName "Monospace"
2057 autoSizePolicy "node_width"
2058 anchor "t"
2059 borderDistance 0.0
2060 ]
2061 LabelGraphics
2062 [
2063 text "
2064 "
2065 fontSize 14
2066 fontName "Consolas"
2067 alignment "left"
2068 anchor "tl"
2069 borderDistance 6
2070 ]
2071 ]
2072
2073 node
2074 [
2075 id 11
2076 graphics
2077 [
2078 w 103.4
2079 h 26
2080 type "rectangle"
2081 fill "#FFFFFF"
2082 fill2 "#FFFFFF"
2083 outline "#000000"
2084 ]
2085 LabelGraphics
2086 [
2087 text "New Objects"
2088 outline "#000000"
2089 fill "#FFFFFF"
2090 fontSize 16
2091 fontName "Monospace"
2092 autoSizePolicy "node_width"
2093 anchor "t"
2094 borderDistance 0.0
2095 ]
2096 LabelGraphics
2097 [
2098 text "
2099 "
2100 fontSize 14
2101 fontName "Consolas"
2102 alignment "left"
2103 anchor "tl"
2104 borderDistance 6
2105 ]
2106 ]
2107 edge
2108 [
2109 source 6
2110 target 7
2111 graphics
2112 [
2113 fill "#000000"
2114 targetArrow "standard"
2115 ]
2116 LabelGraphics
2117 [
2118 text "incomingTransitions reference Vertex"
2119 fontSize 14
2120 fontName "Consolas"
2121 configuration "AutoFlippingLabel"
2122 model "six_pos"
2123 position "thead"
2124 ]
2125 ]
2126 edge
2127 [
2128 source 5
2129 target 7
2130 graphics
2131 [
2132 fill "#000000"
2133 width 3
2134 targetArrow "standard"
2135 ]
2136 LabelGraphics
2137 [
2138 text "outgoingTransitions reference Vertex"
2139 fontSize 14
2140 fontName "Consolas"
2141 configuration "AutoFlippingLabel"
2142 model "six_pos"
2143 position "thead"
2144 ]
2145 ]
2146 edge
2147 [
2148 source 3
2149 target 4
2150 graphics
2151 [
2152 fill "#000000"
2153 width 3
2154 targetArrow "standard"
2155 ]
2156 LabelGraphics
2157 [
2158 text "vertices reference Region"
2159 fontSize 14
2160 fontName "Consolas"
2161 configuration "AutoFlippingLabel"
2162 model "six_pos"
2163 position "thead"
2164 ]
2165 ]
2166 edge
2167 [
2168 source 3
2169 target 5
2170 graphics
2171 [
2172 fill "#000000"
2173 width 3
2174 targetArrow "standard"
2175 ]
2176 LabelGraphics
2177 [
2178 text "vertices reference Region"
2179 fontSize 14
2180 fontName "Consolas"
2181 configuration "AutoFlippingLabel"
2182 model "six_pos"
2183 position "thead"
2184 ]
2185 ]
2186 edge
2187 [
2188 source 3
2189 target 6
2190 graphics
2191 [
2192 fill "#000000"
2193 width 3
2194 targetArrow "standard"
2195 ]
2196 LabelGraphics
2197 [
2198 text "vertices reference Region"
2199 fontSize 14
2200 fontName "Consolas"
2201 configuration "AutoFlippingLabel"
2202 model "six_pos"
2203 position "thead"
2204 ]
2205 ]
2206 edge
2207 [
2208 source 7
2209 target 6
2210 graphics
2211 [
2212 fill "#000000"
2213 targetArrow "standard"
2214 ]
2215 LabelGraphics
2216 [
2217 text "target reference Transition"
2218 fontSize 14
2219 fontName "Consolas"
2220 configuration "AutoFlippingLabel"
2221 model "six_pos"
2222 position "thead"
2223 ]
2224 ]
2225 edge
2226 [
2227 source 7
2228 target 5
2229 graphics
2230 [
2231 fill "#000000"
2232 targetArrow "standard"
2233 ]
2234 LabelGraphics
2235 [
2236 text "source reference Transition"
2237 fontSize 14
2238 fontName "Consolas"
2239 configuration "AutoFlippingLabel"
2240 model "six_pos"
2241 position "thead"
2242 ]
2243 ]
2244 edge
2245 [
2246 source 0
2247 target 3
2248 graphics
2249 [
2250 fill "#000000"
2251 width 3
2252 targetArrow "standard"
2253 ]
2254 LabelGraphics
2255 [
2256 text "regions reference CompositeElement"
2257 fontSize 14
2258 fontName "Consolas"
2259 configuration "AutoFlippingLabel"
2260 model "six_pos"
2261 position "thead"
2262 ]
2263 ]
2264]
2265graph
2266[
2267 node
2268 [
2269 id 0
2270 graphics
2271 [
2272 w 277.20000000000005
2273 h 82
2274 type "rectangle"
2275 fill "#FFFFFF"
2276 fill2 "#FFFFFF"
2277 outline "#000000"
2278 ]
2279 LabelGraphics
2280 [
2281 text "o 1"
2282 outline "#000000"
2283 fill "#FFFFFF"
2284 fontSize 16
2285 fontName "Monospace"
2286 autoSizePolicy "node_width"
2287 anchor "t"
2288 borderDistance 0.0
2289 ]
2290 LabelGraphics
2291 [
2292 text "
2293 Statechart class DefinedPart
2294 CompositeElement class DefinedPart
2295 Statechart class
2296 CompositeElement class
2297 "
2298 fontSize 14
2299 fontName "Consolas"
2300 alignment "left"
2301 anchor "tl"
2302 borderDistance 6
2303 ]
2304 ]
2305
2306 node
2307 [
2308 id 1
2309 graphics
2310 [
2311 w 41.800000000000004
2312 h 26
2313 type "rectangle"
2314 fill "#FFFFFF"
2315 fill2 "#FFFFFF"
2316 outline "#000000"
2317 ]
2318 LabelGraphics
2319 [
2320 text "true"
2321 outline "#000000"
2322 fill "#FFFFFF"
2323 fontSize 16
2324 fontName "Monospace"
2325 autoSizePolicy "node_width"
2326 anchor "t"
2327 borderDistance 0.0
2328 ]
2329 LabelGraphics
2330 [
2331 text "
2332 "
2333 fontSize 14
2334 fontName "Consolas"
2335 alignment "left"
2336 anchor "tl"
2337 borderDistance 6
2338 ]
2339 ]
2340
2341 node
2342 [
2343 id 2
2344 graphics
2345 [
2346 w 50.6
2347 h 26
2348 type "rectangle"
2349 fill "#FFFFFF"
2350 fill2 "#FFFFFF"
2351 outline "#000000"
2352 ]
2353 LabelGraphics
2354 [
2355 text "false"
2356 outline "#000000"
2357 fill "#FFFFFF"
2358 fontSize 16
2359 fontName "Monospace"
2360 autoSizePolicy "node_width"
2361 anchor "t"
2362 borderDistance 0.0
2363 ]
2364 LabelGraphics
2365 [
2366 text "
2367 "
2368 fontSize 14
2369 fontName "Consolas"
2370 alignment "left"
2371 anchor "tl"
2372 borderDistance 6
2373 ]
2374 ]
2375
2376 node
2377 [
2378 id 3
2379 graphics
2380 [
2381 w 107.80000000000001
2382 h 40
2383 type "rectangle"
2384 fill "#FFFFFF"
2385 fill2 "#FFFFFF"
2386 outline "#000000"
2387 ]
2388 LabelGraphics
2389 [
2390 text "null"
2391 outline "#000000"
2392 fill "#FFFFFF"
2393 fontSize 16
2394 fontName "Monospace"
2395 autoSizePolicy "node_width"
2396 anchor "t"
2397 borderDistance 0.0
2398 ]
2399 LabelGraphics
2400 [
2401 text "
2402 Region class
2403 "
2404 fontSize 14
2405 fontName "Consolas"
2406 alignment "left"
2407 anchor "tl"
2408 borderDistance 6
2409 ]
2410 ]
2411
2412 node
2413 [
2414 id 4
2415 graphics
2416 [
2417 w 146.3
2418 h 68
2419 type "rectangle"
2420 fill "#FFFFFF"
2421 fill2 "#FFFFFF"
2422 outline "#000000"
2423 ]
2424 LabelGraphics
2425 [
2426 text "null"
2427 outline "#000000"
2428 fill "#FFFFFF"
2429 fontSize 16
2430 fontName "Monospace"
2431 autoSizePolicy "node_width"
2432 anchor "t"
2433 borderDistance 0.0
2434 ]
2435 LabelGraphics
2436 [
2437 text "
2438 Pseudostate class
2439 Vertex class
2440 Exit class
2441 "
2442 fontSize 14
2443 fontName "Consolas"
2444 alignment "left"
2445 anchor "tl"
2446 borderDistance 6
2447 ]
2448 ]
2449
2450 node
2451 [
2452 id 5
2453 graphics
2454 [
2455 w 146.3
2456 h 68
2457 type "rectangle"
2458 fill "#FFFFFF"
2459 fill2 "#FFFFFF"
2460 outline "#000000"
2461 ]
2462 LabelGraphics
2463 [
2464 text "null"
2465 outline "#000000"
2466 fill "#FFFFFF"
2467 fontSize 16
2468 fontName "Monospace"
2469 autoSizePolicy "node_width"
2470 anchor "t"
2471 borderDistance 0.0
2472 ]
2473 LabelGraphics
2474 [
2475 text "
2476 Pseudostate class
2477 Vertex class
2478 Entry class
2479 "
2480 fontSize 14
2481 fontName "Consolas"
2482 alignment "left"
2483 anchor "tl"
2484 borderDistance 6
2485 ]
2486 ]
2487
2488 node
2489 [
2490 id 6
2491 graphics
2492 [
2493 w 292.6
2494 h 96
2495 type "rectangle"
2496 fill "#FFFFFF"
2497 fill2 "#FFFFFF"
2498 outline "#000000"
2499 ]
2500 LabelGraphics
2501 [
2502 text "null"
2503 outline "#000000"
2504 fill "#FFFFFF"
2505 fontSize 16
2506 fontName "Monospace"
2507 autoSizePolicy "node_width"
2508 anchor "t"
2509 borderDistance 0.0
2510 ]
2511 LabelGraphics
2512 [
2513 text "
2514 Vertex class
2515 State class
2516 RegularState class
2517 CompositeElement class
2518 CompositeElement class UndefinedPart
2519 "
2520 fontSize 14
2521 fontName "Consolas"
2522 alignment "left"
2523 anchor "tl"
2524 borderDistance 6
2525 ]
2526 ]
2527
2528 node
2529 [
2530 id 7
2531 graphics
2532 [
2533 w 138.60000000000002
2534 h 40
2535 type "rectangle"
2536 fill "#FFFFFF"
2537 fill2 "#FFFFFF"
2538 outline "#000000"
2539 ]
2540 LabelGraphics
2541 [
2542 text "null"
2543 outline "#000000"
2544 fill "#FFFFFF"
2545 fontSize 16
2546 fontName "Monospace"
2547 autoSizePolicy "node_width"
2548 anchor "t"
2549 borderDistance 0.0
2550 ]
2551 LabelGraphics
2552 [
2553 text "
2554 Transition class
2555 "
2556 fontSize 14
2557 fontName "Consolas"
2558 alignment "left"
2559 anchor "tl"
2560 borderDistance 6
2561 ]
2562 ]
2563
2564 node
2565 [
2566 id 8
2567 graphics
2568 [
2569 w 112.2
2570 h 26
2571 type "rectangle"
2572 fill "#FFFFFF"
2573 fill2 "#FFFFFF"
2574 outline "#000000"
2575 ]
2576 LabelGraphics
2577 [
2578 text "New Integers"
2579 outline "#000000"
2580 fill "#FFFFFF"
2581 fontSize 16
2582 fontName "Monospace"
2583 autoSizePolicy "node_width"
2584 anchor "t"
2585 borderDistance 0.0
2586 ]
2587 LabelGraphics
2588 [
2589 text "
2590 "
2591 fontSize 14
2592 fontName "Consolas"
2593 alignment "left"
2594 anchor "tl"
2595 borderDistance 6
2596 ]
2597 ]
2598
2599 node
2600 [
2601 id 9
2602 graphics
2603 [
2604 w 85.80000000000001
2605 h 26
2606 type "rectangle"
2607 fill "#FFFFFF"
2608 fill2 "#FFFFFF"
2609 outline "#000000"
2610 ]
2611 LabelGraphics
2612 [
2613 text "New Reals"
2614 outline "#000000"
2615 fill "#FFFFFF"
2616 fontSize 16
2617 fontName "Monospace"
2618 autoSizePolicy "node_width"
2619 anchor "t"
2620 borderDistance 0.0
2621 ]
2622 LabelGraphics
2623 [
2624 text "
2625 "
2626 fontSize 14
2627 fontName "Consolas"
2628 alignment "left"
2629 anchor "tl"
2630 borderDistance 6
2631 ]
2632 ]
2633
2634 node
2635 [
2636 id 10
2637 graphics
2638 [
2639 w 103.4
2640 h 26
2641 type "rectangle"
2642 fill "#FFFFFF"
2643 fill2 "#FFFFFF"
2644 outline "#000000"
2645 ]
2646 LabelGraphics
2647 [
2648 text "New Strings"
2649 outline "#000000"
2650 fill "#FFFFFF"
2651 fontSize 16
2652 fontName "Monospace"
2653 autoSizePolicy "node_width"
2654 anchor "t"
2655 borderDistance 0.0
2656 ]
2657 LabelGraphics
2658 [
2659 text "
2660 "
2661 fontSize 14
2662 fontName "Consolas"
2663 alignment "left"
2664 anchor "tl"
2665 borderDistance 6
2666 ]
2667 ]
2668
2669 node
2670 [
2671 id 11
2672 graphics
2673 [
2674 w 103.4
2675 h 26
2676 type "rectangle"
2677 fill "#FFFFFF"
2678 fill2 "#FFFFFF"
2679 outline "#000000"
2680 ]
2681 LabelGraphics
2682 [
2683 text "New Objects"
2684 outline "#000000"
2685 fill "#FFFFFF"
2686 fontSize 16
2687 fontName "Monospace"
2688 autoSizePolicy "node_width"
2689 anchor "t"
2690 borderDistance 0.0
2691 ]
2692 LabelGraphics
2693 [
2694 text "
2695 "
2696 fontSize 14
2697 fontName "Consolas"
2698 alignment "left"
2699 anchor "tl"
2700 borderDistance 6
2701 ]
2702 ]
2703 edge
2704 [
2705 source 6
2706 target 7
2707 graphics
2708 [
2709 fill "#000000"
2710 targetArrow "standard"
2711 ]
2712 LabelGraphics
2713 [
2714 text "incomingTransitions reference Vertex"
2715 fontSize 14
2716 fontName "Consolas"
2717 configuration "AutoFlippingLabel"
2718 model "six_pos"
2719 position "thead"
2720 ]
2721 ]
2722 edge
2723 [
2724 source 5
2725 target 7
2726 graphics
2727 [
2728 fill "#000000"
2729 width 3
2730 targetArrow "standard"
2731 ]
2732 LabelGraphics
2733 [
2734 text "outgoingTransitions reference Vertex"
2735 fontSize 14
2736 fontName "Consolas"
2737 configuration "AutoFlippingLabel"
2738 model "six_pos"
2739 position "thead"
2740 ]
2741 ]
2742 edge
2743 [
2744 source 3
2745 target 4
2746 graphics
2747 [
2748 fill "#000000"
2749 width 3
2750 targetArrow "standard"
2751 ]
2752 LabelGraphics
2753 [
2754 text "vertices reference Region"
2755 fontSize 14
2756 fontName "Consolas"
2757 configuration "AutoFlippingLabel"
2758 model "six_pos"
2759 position "thead"
2760 ]
2761 ]
2762 edge
2763 [
2764 source 3
2765 target 5
2766 graphics
2767 [
2768 fill "#000000"
2769 width 3
2770 targetArrow "standard"
2771 ]
2772 LabelGraphics
2773 [
2774 text "vertices reference Region"
2775 fontSize 14
2776 fontName "Consolas"
2777 configuration "AutoFlippingLabel"
2778 model "six_pos"
2779 position "thead"
2780 ]
2781 ]
2782 edge
2783 [
2784 source 3
2785 target 6
2786 graphics
2787 [
2788 fill "#000000"
2789 width 3
2790 targetArrow "standard"
2791 ]
2792 LabelGraphics
2793 [
2794 text "vertices reference Region"
2795 fontSize 14
2796 fontName "Consolas"
2797 configuration "AutoFlippingLabel"
2798 model "six_pos"
2799 position "thead"
2800 ]
2801 ]
2802 edge
2803 [
2804 source 7
2805 target 6
2806 graphics
2807 [
2808 fill "#000000"
2809 targetArrow "standard"
2810 ]
2811 LabelGraphics
2812 [
2813 text "target reference Transition"
2814 fontSize 14
2815 fontName "Consolas"
2816 configuration "AutoFlippingLabel"
2817 model "six_pos"
2818 position "thead"
2819 ]
2820 ]
2821 edge
2822 [
2823 source 7
2824 target 5
2825 graphics
2826 [
2827 fill "#000000"
2828 targetArrow "standard"
2829 ]
2830 LabelGraphics
2831 [
2832 text "source reference Transition"
2833 fontSize 14
2834 fontName "Consolas"
2835 configuration "AutoFlippingLabel"
2836 model "six_pos"
2837 position "thead"
2838 ]
2839 ]
2840 edge
2841 [
2842 source 0
2843 target 3
2844 graphics
2845 [
2846 fill "#000000"
2847 width 3
2848 targetArrow "standard"
2849 ]
2850 LabelGraphics
2851 [
2852 text "regions reference CompositeElement"
2853 fontSize 14
2854 fontName "Consolas"
2855 configuration "AutoFlippingLabel"
2856 model "six_pos"
2857 position "thead"
2858 ]
2859 ]
2860]
2861graph
2862[
2863 node
2864 [
2865 id 0
2866 graphics
2867 [
2868 w 192.50000000000003
2869 h 54
2870 type "rectangle"
2871 fill "#FFFFFF"
2872 fill2 "#FFFFFF"
2873 outline "#000000"
2874 ]
2875 LabelGraphics
2876 [
2877 text "o 1"
2878 outline "#000000"
2879 fill "#FFFFFF"
2880 fontSize 16
2881 fontName "Monospace"
2882 autoSizePolicy "node_width"
2883 anchor "t"
2884 borderDistance 0.0
2885 ]
2886 LabelGraphics
2887 [
2888 text "
2889 Model class DefinedPart
2890 Model class
2891 "
2892 fontSize 14
2893 fontName "Consolas"
2894 alignment "left"
2895 anchor "tl"
2896 borderDistance 6
2897 ]
2898 ]
2899
2900 node
2901 [
2902 id 1
2903 graphics
2904 [
2905 w 41.800000000000004
2906 h 26
2907 type "rectangle"
2908 fill "#FFFFFF"
2909 fill2 "#FFFFFF"
2910 outline "#000000"
2911 ]
2912 LabelGraphics
2913 [
2914 text "true"
2915 outline "#000000"
2916 fill "#FFFFFF"
2917 fontSize 16
2918 fontName "Monospace"
2919 autoSizePolicy "node_width"
2920 anchor "t"
2921 borderDistance 0.0
2922 ]
2923 LabelGraphics
2924 [
2925 text "
2926 "
2927 fontSize 14
2928 fontName "Consolas"
2929 alignment "left"
2930 anchor "tl"
2931 borderDistance 6
2932 ]
2933 ]
2934
2935 node
2936 [
2937 id 2
2938 graphics
2939 [
2940 w 50.6
2941 h 26
2942 type "rectangle"
2943 fill "#FFFFFF"
2944 fill2 "#FFFFFF"
2945 outline "#000000"
2946 ]
2947 LabelGraphics
2948 [
2949 text "false"
2950 outline "#000000"
2951 fill "#FFFFFF"
2952 fontSize 16
2953 fontName "Monospace"
2954 autoSizePolicy "node_width"
2955 anchor "t"
2956 borderDistance 0.0
2957 ]
2958 LabelGraphics
2959 [
2960 text "
2961 "
2962 fontSize 14
2963 fontName "Consolas"
2964 alignment "left"
2965 anchor "tl"
2966 borderDistance 6
2967 ]
2968 ]
2969
2970 node
2971 [
2972 id 3
2973 graphics
2974 [
2975 w 123.20000000000002
2976 h 54
2977 type "rectangle"
2978 fill "#FFFFFF"
2979 fill2 "#FFFFFF"
2980 outline "#000000"
2981 ]
2982 LabelGraphics
2983 [
2984 text "null"
2985 outline "#000000"
2986 fill "#FFFFFF"
2987 fontSize 16
2988 fontName "Monospace"
2989 autoSizePolicy "node_width"
2990 anchor "t"
2991 borderDistance 0.0
2992 ]
2993 LabelGraphics
2994 [
2995 text "
2996 FSObject class
2997 Dir class
2998 "
2999 fontSize 14
3000 fontName "Consolas"
3001 alignment "left"
3002 anchor "tl"
3003 borderDistance 6
3004 ]
3005 ]
3006
3007 node
3008 [
3009 id 4
3010 graphics
3011 [
3012 w 123.20000000000002
3013 h 54
3014 type "rectangle"
3015 fill "#FFFFFF"
3016 fill2 "#FFFFFF"
3017 outline "#000000"
3018 ]
3019 LabelGraphics
3020 [
3021 text "null"
3022 outline "#000000"
3023 fill "#FFFFFF"
3024 fontSize 16
3025 fontName "Monospace"
3026 autoSizePolicy "node_width"
3027 anchor "t"
3028 borderDistance 0.0
3029 ]
3030 LabelGraphics
3031 [
3032 text "
3033 FSObject class
3034 File class
3035 "
3036 fontSize 14
3037 fontName "Consolas"
3038 alignment "left"
3039 anchor "tl"
3040 borderDistance 6
3041 ]
3042 ]
3043
3044 node
3045 [
3046 id 5
3047 graphics
3048 [
3049 w 138.60000000000002
3050 h 40
3051 type "rectangle"
3052 fill "#FFFFFF"
3053 fill2 "#FFFFFF"
3054 outline "#000000"
3055 ]
3056 LabelGraphics
3057 [
3058 text "null"
3059 outline "#000000"
3060 fill "#FFFFFF"
3061 fontSize 16
3062 fontName "Monospace"
3063 autoSizePolicy "node_width"
3064 anchor "t"
3065 borderDistance 0.0
3066 ]
3067 LabelGraphics
3068 [
3069 text "
3070 FileSystem class
3071 "
3072 fontSize 14
3073 fontName "Consolas"
3074 alignment "left"
3075 anchor "tl"
3076 borderDistance 6
3077 ]
3078 ]
3079
3080 node
3081 [
3082 id 6
3083 graphics
3084 [
3085 w 123.20000000000002
3086 h 54
3087 type "rectangle"
3088 fill "#FFFFFF"
3089 fill2 "#FFFFFF"
3090 outline "#000000"
3091 ]
3092 LabelGraphics
3093 [
3094 text "null"
3095 outline "#000000"
3096 fill "#FFFFFF"
3097 fontSize 16
3098 fontName "Monospace"
3099 autoSizePolicy "node_width"
3100 anchor "t"
3101 borderDistance 0.0
3102 ]
3103 LabelGraphics
3104 [
3105 text "
3106 FSObject class
3107 Dir class
3108 "
3109 fontSize 14
3110 fontName "Consolas"
3111 alignment "left"
3112 anchor "tl"
3113 borderDistance 6
3114 ]
3115 ]
3116
3117 node
3118 [
3119 id 7
3120 graphics
3121 [
3122 w 112.2
3123 h 26
3124 type "rectangle"
3125 fill "#FFFFFF"
3126 fill2 "#FFFFFF"
3127 outline "#000000"
3128 ]
3129 LabelGraphics
3130 [
3131 text "New Integers"
3132 outline "#000000"
3133 fill "#FFFFFF"
3134 fontSize 16
3135 fontName "Monospace"
3136 autoSizePolicy "node_width"
3137 anchor "t"
3138 borderDistance 0.0
3139 ]
3140 LabelGraphics
3141 [
3142 text "
3143 "
3144 fontSize 14
3145 fontName "Consolas"
3146 alignment "left"
3147 anchor "tl"
3148 borderDistance 6
3149 ]
3150 ]
3151
3152 node
3153 [
3154 id 8
3155 graphics
3156 [
3157 w 85.80000000000001
3158 h 26
3159 type "rectangle"
3160 fill "#FFFFFF"
3161 fill2 "#FFFFFF"
3162 outline "#000000"
3163 ]
3164 LabelGraphics
3165 [
3166 text "New Reals"
3167 outline "#000000"
3168 fill "#FFFFFF"
3169 fontSize 16
3170 fontName "Monospace"
3171 autoSizePolicy "node_width"
3172 anchor "t"
3173 borderDistance 0.0
3174 ]
3175 LabelGraphics
3176 [
3177 text "
3178 "
3179 fontSize 14
3180 fontName "Consolas"
3181 alignment "left"
3182 anchor "tl"
3183 borderDistance 6
3184 ]
3185 ]
3186
3187 node
3188 [
3189 id 9
3190 graphics
3191 [
3192 w 103.4
3193 h 26
3194 type "rectangle"
3195 fill "#FFFFFF"
3196 fill2 "#FFFFFF"
3197 outline "#000000"
3198 ]
3199 LabelGraphics
3200 [
3201 text "New Strings"
3202 outline "#000000"
3203 fill "#FFFFFF"
3204 fontSize 16
3205 fontName "Monospace"
3206 autoSizePolicy "node_width"
3207 anchor "t"
3208 borderDistance 0.0
3209 ]
3210 LabelGraphics
3211 [
3212 text "
3213 "
3214 fontSize 14
3215 fontName "Consolas"
3216 alignment "left"
3217 anchor "tl"
3218 borderDistance 6
3219 ]
3220 ]
3221
3222 node
3223 [
3224 id 10
3225 graphics
3226 [
3227 w 103.4
3228 h 26
3229 type "rectangle"
3230 fill "#FFFFFF"
3231 fill2 "#FFFFFF"
3232 outline "#000000"
3233 ]
3234 LabelGraphics
3235 [
3236 text "New Objects"
3237 outline "#000000"
3238 fill "#FFFFFF"
3239 fontSize 16
3240 fontName "Monospace"
3241 autoSizePolicy "node_width"
3242 anchor "t"
3243 borderDistance 0.0
3244 ]
3245 LabelGraphics
3246 [
3247 text "
3248 "
3249 fontSize 14
3250 fontName "Consolas"
3251 alignment "left"
3252 anchor "tl"
3253 borderDistance 6
3254 ]
3255 ]
3256 edge
3257 [
3258 source 5
3259 target 6
3260 graphics
3261 [
3262 fill "#000000"
3263 width 3
3264 targetArrow "standard"
3265 ]
3266 LabelGraphics
3267 [
3268 text "root reference FileSystem"
3269 fontSize 14
3270 fontName "Consolas"
3271 configuration "AutoFlippingLabel"
3272 model "six_pos"
3273 position "thead"
3274 ]
3275 ]
3276 edge
3277 [
3278 source 0
3279 target 5
3280 graphics
3281 [
3282 fill "#000000"
3283 width 3
3284 targetArrow "standard"
3285 ]
3286 LabelGraphics
3287 [
3288 text "filesystems reference Model"
3289 fontSize 14
3290 fontName "Consolas"
3291 configuration "AutoFlippingLabel"
3292 model "six_pos"
3293 position "thead"
3294 ]
3295 ]
3296 edge
3297 [
3298 source 0
3299 target 3
3300 graphics
3301 [
3302 fill "#000000"
3303 width 3
3304 targetArrow "standard"
3305 ]
3306 LabelGraphics
3307 [
3308 text "otherFSObjects reference Model"
3309 fontSize 14
3310 fontName "Consolas"
3311 configuration "AutoFlippingLabel"
3312 model "six_pos"
3313 position "thead"
3314 ]
3315 ]
3316 edge
3317 [
3318 source 0
3319 target 4
3320 graphics
3321 [
3322 fill "#000000"
3323 width 3
3324 targetArrow "standard"
3325 ]
3326 LabelGraphics
3327 [
3328 text "otherFSObjects reference Model"
3329 fontSize 14
3330 fontName "Consolas"
3331 configuration "AutoFlippingLabel"
3332 model "six_pos"
3333 position "thead"
3334 ]
3335 ]
3336]
3337graph
3338[
3339 node
3340 [
3341 id 0
3342 graphics
3343 [
3344 w 192.50000000000003
3345 h 54
3346 type "rectangle"
3347 fill "#FFFFFF"
3348 fill2 "#FFFFFF"
3349 outline "#000000"
3350 ]
3351 LabelGraphics
3352 [
3353 text "o 1"
3354 outline "#000000"
3355 fill "#FFFFFF"
3356 fontSize 16
3357 fontName "Monospace"
3358 autoSizePolicy "node_width"
3359 anchor "t"
3360 borderDistance 0.0
3361 ]
3362 LabelGraphics
3363 [
3364 text "
3365 Model class DefinedPart
3366 Model class
3367 "
3368 fontSize 14
3369 fontName "Consolas"
3370 alignment "left"
3371 anchor "tl"
3372 borderDistance 6
3373 ]
3374 ]
3375
3376 node
3377 [
3378 id 1
3379 graphics
3380 [
3381 w 41.800000000000004
3382 h 26
3383 type "rectangle"
3384 fill "#FFFFFF"
3385 fill2 "#FFFFFF"
3386 outline "#000000"
3387 ]
3388 LabelGraphics
3389 [
3390 text "true"
3391 outline "#000000"
3392 fill "#FFFFFF"
3393 fontSize 16
3394 fontName "Monospace"
3395 autoSizePolicy "node_width"
3396 anchor "t"
3397 borderDistance 0.0
3398 ]
3399 LabelGraphics
3400 [
3401 text "
3402 "
3403 fontSize 14
3404 fontName "Consolas"
3405 alignment "left"
3406 anchor "tl"
3407 borderDistance 6
3408 ]
3409 ]
3410
3411 node
3412 [
3413 id 2
3414 graphics
3415 [
3416 w 50.6
3417 h 26
3418 type "rectangle"
3419 fill "#FFFFFF"
3420 fill2 "#FFFFFF"
3421 outline "#000000"
3422 ]
3423 LabelGraphics
3424 [
3425 text "false"
3426 outline "#000000"
3427 fill "#FFFFFF"
3428 fontSize 16
3429 fontName "Monospace"
3430 autoSizePolicy "node_width"
3431 anchor "t"
3432 borderDistance 0.0
3433 ]
3434 LabelGraphics
3435 [
3436 text "
3437 "
3438 fontSize 14
3439 fontName "Consolas"
3440 alignment "left"
3441 anchor "tl"
3442 borderDistance 6
3443 ]
3444 ]
3445
3446 node
3447 [
3448 id 3
3449 graphics
3450 [
3451 w 123.20000000000002
3452 h 54
3453 type "rectangle"
3454 fill "#FFFFFF"
3455 fill2 "#FFFFFF"
3456 outline "#000000"
3457 ]
3458 LabelGraphics
3459 [
3460 text "null"
3461 outline "#000000"
3462 fill "#FFFFFF"
3463 fontSize 16
3464 fontName "Monospace"
3465 autoSizePolicy "node_width"
3466 anchor "t"
3467 borderDistance 0.0
3468 ]
3469 LabelGraphics
3470 [
3471 text "
3472 FSObject class
3473 File class
3474 "
3475 fontSize 14
3476 fontName "Consolas"
3477 alignment "left"
3478 anchor "tl"
3479 borderDistance 6
3480 ]
3481 ]
3482
3483 node
3484 [
3485 id 4
3486 graphics
3487 [
3488 w 138.60000000000002
3489 h 40
3490 type "rectangle"
3491 fill "#FFFFFF"
3492 fill2 "#FFFFFF"
3493 outline "#000000"
3494 ]
3495 LabelGraphics
3496 [
3497 text "null"
3498 outline "#000000"
3499 fill "#FFFFFF"
3500 fontSize 16
3501 fontName "Monospace"
3502 autoSizePolicy "node_width"
3503 anchor "t"
3504 borderDistance 0.0
3505 ]
3506 LabelGraphics
3507 [
3508 text "
3509 FileSystem class
3510 "
3511 fontSize 14
3512 fontName "Consolas"
3513 alignment "left"
3514 anchor "tl"
3515 borderDistance 6
3516 ]
3517 ]
3518
3519 node
3520 [
3521 id 5
3522 graphics
3523 [
3524 w 123.20000000000002
3525 h 54
3526 type "rectangle"
3527 fill "#FFFFFF"
3528 fill2 "#FFFFFF"
3529 outline "#000000"
3530 ]
3531 LabelGraphics
3532 [
3533 text "null"
3534 outline "#000000"
3535 fill "#FFFFFF"
3536 fontSize 16
3537 fontName "Monospace"
3538 autoSizePolicy "node_width"
3539 anchor "t"
3540 borderDistance 0.0
3541 ]
3542 LabelGraphics
3543 [
3544 text "
3545 FSObject class
3546 Dir class
3547 "
3548 fontSize 14
3549 fontName "Consolas"
3550 alignment "left"
3551 anchor "tl"
3552 borderDistance 6
3553 ]
3554 ]
3555
3556 node
3557 [
3558 id 6
3559 graphics
3560 [
3561 w 123.20000000000002
3562 h 54
3563 type "rectangle"
3564 fill "#FFFFFF"
3565 fill2 "#FFFFFF"
3566 outline "#000000"
3567 ]
3568 LabelGraphics
3569 [
3570 text "null"
3571 outline "#000000"
3572 fill "#FFFFFF"
3573 fontSize 16
3574 fontName "Monospace"
3575 autoSizePolicy "node_width"
3576 anchor "t"
3577 borderDistance 0.0
3578 ]
3579 LabelGraphics
3580 [
3581 text "
3582 FSObject class
3583 Dir class
3584 "
3585 fontSize 14
3586 fontName "Consolas"
3587 alignment "left"
3588 anchor "tl"
3589 borderDistance 6
3590 ]
3591 ]
3592
3593 node
3594 [
3595 id 7
3596 graphics
3597 [
3598 w 112.2
3599 h 26
3600 type "rectangle"
3601 fill "#FFFFFF"
3602 fill2 "#FFFFFF"
3603 outline "#000000"
3604 ]
3605 LabelGraphics
3606 [
3607 text "New Integers"
3608 outline "#000000"
3609 fill "#FFFFFF"
3610 fontSize 16
3611 fontName "Monospace"
3612 autoSizePolicy "node_width"
3613 anchor "t"
3614 borderDistance 0.0
3615 ]
3616 LabelGraphics
3617 [
3618 text "
3619 "
3620 fontSize 14
3621 fontName "Consolas"
3622 alignment "left"
3623 anchor "tl"
3624 borderDistance 6
3625 ]
3626 ]
3627
3628 node
3629 [
3630 id 8
3631 graphics
3632 [
3633 w 85.80000000000001
3634 h 26
3635 type "rectangle"
3636 fill "#FFFFFF"
3637 fill2 "#FFFFFF"
3638 outline "#000000"
3639 ]
3640 LabelGraphics
3641 [
3642 text "New Reals"
3643 outline "#000000"
3644 fill "#FFFFFF"
3645 fontSize 16
3646 fontName "Monospace"
3647 autoSizePolicy "node_width"
3648 anchor "t"
3649 borderDistance 0.0
3650 ]
3651 LabelGraphics
3652 [
3653 text "
3654 "
3655 fontSize 14
3656 fontName "Consolas"
3657 alignment "left"
3658 anchor "tl"
3659 borderDistance 6
3660 ]
3661 ]
3662
3663 node
3664 [
3665 id 9
3666 graphics
3667 [
3668 w 103.4
3669 h 26
3670 type "rectangle"
3671 fill "#FFFFFF"
3672 fill2 "#FFFFFF"
3673 outline "#000000"
3674 ]
3675 LabelGraphics
3676 [
3677 text "New Strings"
3678 outline "#000000"
3679 fill "#FFFFFF"
3680 fontSize 16
3681 fontName "Monospace"
3682 autoSizePolicy "node_width"
3683 anchor "t"
3684 borderDistance 0.0
3685 ]
3686 LabelGraphics
3687 [
3688 text "
3689 "
3690 fontSize 14
3691 fontName "Consolas"
3692 alignment "left"
3693 anchor "tl"
3694 borderDistance 6
3695 ]
3696 ]
3697
3698 node
3699 [
3700 id 10
3701 graphics
3702 [
3703 w 103.4
3704 h 26
3705 type "rectangle"
3706 fill "#FFFFFF"
3707 fill2 "#FFFFFF"
3708 outline "#000000"
3709 ]
3710 LabelGraphics
3711 [
3712 text "New Objects"
3713 outline "#000000"
3714 fill "#FFFFFF"
3715 fontSize 16
3716 fontName "Monospace"
3717 autoSizePolicy "node_width"
3718 anchor "t"
3719 borderDistance 0.0
3720 ]
3721 LabelGraphics
3722 [
3723 text "
3724 "
3725 fontSize 14
3726 fontName "Consolas"
3727 alignment "left"
3728 anchor "tl"
3729 borderDistance 6
3730 ]
3731 ]
3732 edge
3733 [
3734 source 4
3735 target 6
3736 graphics
3737 [
3738 fill "#000000"
3739 width 3
3740 targetArrow "standard"
3741 ]
3742 LabelGraphics
3743 [
3744 text "root reference FileSystem"
3745 fontSize 14
3746 fontName "Consolas"
3747 configuration "AutoFlippingLabel"
3748 model "six_pos"
3749 position "thead"
3750 ]
3751 ]
3752 edge
3753 [
3754 source 0
3755 target 4
3756 graphics
3757 [
3758 fill "#000000"
3759 width 3
3760 targetArrow "standard"
3761 ]
3762 LabelGraphics
3763 [
3764 text "filesystems reference Model"
3765 fontSize 14
3766 fontName "Consolas"
3767 configuration "AutoFlippingLabel"
3768 model "six_pos"
3769 position "thead"
3770 ]
3771 ]
3772 edge
3773 [
3774 source 0
3775 target 3
3776 graphics
3777 [
3778 fill "#000000"
3779 width 3
3780 targetArrow "standard"
3781 ]
3782 LabelGraphics
3783 [
3784 text "otherFSObjects reference Model"
3785 fontSize 14
3786 fontName "Consolas"
3787 configuration "AutoFlippingLabel"
3788 model "six_pos"
3789 position "thead"
3790 ]
3791 ]
3792 edge
3793 [
3794 source 0
3795 target 5
3796 graphics
3797 [
3798 fill "#000000"
3799 width 3
3800 targetArrow "standard"
3801 ]
3802 LabelGraphics
3803 [
3804 text "otherFSObjects reference Model"
3805 fontSize 14
3806 fontName "Consolas"
3807 configuration "AutoFlippingLabel"
3808 model "six_pos"
3809 position "thead"
3810 ]
3811 ]
3812]
3813graph
3814[
3815 node
3816 [
3817 id 0
3818 graphics
3819 [
3820 w 192.50000000000003
3821 h 54
3822 type "rectangle"
3823 fill "#FFFFFF"
3824 fill2 "#FFFFFF"
3825 outline "#000000"
3826 ]
3827 LabelGraphics
3828 [
3829 text "o 1"
3830 outline "#000000"
3831 fill "#FFFFFF"
3832 fontSize 16
3833 fontName "Monospace"
3834 autoSizePolicy "node_width"
3835 anchor "t"
3836 borderDistance 0.0
3837 ]
3838 LabelGraphics
3839 [
3840 text "
3841 Model class DefinedPart
3842 Model class
3843 "
3844 fontSize 14
3845 fontName "Consolas"
3846 alignment "left"
3847 anchor "tl"
3848 borderDistance 6
3849 ]
3850 ]
3851
3852 node
3853 [
3854 id 1
3855 graphics
3856 [
3857 w 41.800000000000004
3858 h 26
3859 type "rectangle"
3860 fill "#FFFFFF"
3861 fill2 "#FFFFFF"
3862 outline "#000000"
3863 ]
3864 LabelGraphics
3865 [
3866 text "true"
3867 outline "#000000"
3868 fill "#FFFFFF"
3869 fontSize 16
3870 fontName "Monospace"
3871 autoSizePolicy "node_width"
3872 anchor "t"
3873 borderDistance 0.0
3874 ]
3875 LabelGraphics
3876 [
3877 text "
3878 "
3879 fontSize 14
3880 fontName "Consolas"
3881 alignment "left"
3882 anchor "tl"
3883 borderDistance 6
3884 ]
3885 ]
3886
3887 node
3888 [
3889 id 2
3890 graphics
3891 [
3892 w 50.6
3893 h 26
3894 type "rectangle"
3895 fill "#FFFFFF"
3896 fill2 "#FFFFFF"
3897 outline "#000000"
3898 ]
3899 LabelGraphics
3900 [
3901 text "false"
3902 outline "#000000"
3903 fill "#FFFFFF"
3904 fontSize 16
3905 fontName "Monospace"
3906 autoSizePolicy "node_width"
3907 anchor "t"
3908 borderDistance 0.0
3909 ]
3910 LabelGraphics
3911 [
3912 text "
3913 "
3914 fontSize 14
3915 fontName "Consolas"
3916 alignment "left"
3917 anchor "tl"
3918 borderDistance 6
3919 ]
3920 ]
3921
3922 node
3923 [
3924 id 3
3925 graphics
3926 [
3927 w 123.20000000000002
3928 h 54
3929 type "rectangle"
3930 fill "#FFFFFF"
3931 fill2 "#FFFFFF"
3932 outline "#000000"
3933 ]
3934 LabelGraphics
3935 [
3936 text "null"
3937 outline "#000000"
3938 fill "#FFFFFF"
3939 fontSize 16
3940 fontName "Monospace"
3941 autoSizePolicy "node_width"
3942 anchor "t"
3943 borderDistance 0.0
3944 ]
3945 LabelGraphics
3946 [
3947 text "
3948 FSObject class
3949 File class
3950 "
3951 fontSize 14
3952 fontName "Consolas"
3953 alignment "left"
3954 anchor "tl"
3955 borderDistance 6
3956 ]
3957 ]
3958
3959 node
3960 [
3961 id 4
3962 graphics
3963 [
3964 w 123.20000000000002
3965 h 54
3966 type "rectangle"
3967 fill "#FFFFFF"
3968 fill2 "#FFFFFF"
3969 outline "#000000"
3970 ]
3971 LabelGraphics
3972 [
3973 text "null"
3974 outline "#000000"
3975 fill "#FFFFFF"
3976 fontSize 16
3977 fontName "Monospace"
3978 autoSizePolicy "node_width"
3979 anchor "t"
3980 borderDistance 0.0
3981 ]
3982 LabelGraphics
3983 [
3984 text "
3985 FSObject class
3986 File class
3987 "
3988 fontSize 14
3989 fontName "Consolas"
3990 alignment "left"
3991 anchor "tl"
3992 borderDistance 6
3993 ]
3994 ]
3995
3996 node
3997 [
3998 id 5
3999 graphics
4000 [
4001 w 138.60000000000002
4002 h 40
4003 type "rectangle"
4004 fill "#FFFFFF"
4005 fill2 "#FFFFFF"
4006 outline "#000000"
4007 ]
4008 LabelGraphics
4009 [
4010 text "null"
4011 outline "#000000"
4012 fill "#FFFFFF"
4013 fontSize 16
4014 fontName "Monospace"
4015 autoSizePolicy "node_width"
4016 anchor "t"
4017 borderDistance 0.0
4018 ]
4019 LabelGraphics
4020 [
4021 text "
4022 FileSystem class
4023 "
4024 fontSize 14
4025 fontName "Consolas"
4026 alignment "left"
4027 anchor "tl"
4028 borderDistance 6
4029 ]
4030 ]
4031
4032 node
4033 [
4034 id 6
4035 graphics
4036 [
4037 w 123.20000000000002
4038 h 54
4039 type "rectangle"
4040 fill "#FFFFFF"
4041 fill2 "#FFFFFF"
4042 outline "#000000"
4043 ]
4044 LabelGraphics
4045 [
4046 text "null"
4047 outline "#000000"
4048 fill "#FFFFFF"
4049 fontSize 16
4050 fontName "Monospace"
4051 autoSizePolicy "node_width"
4052 anchor "t"
4053 borderDistance 0.0
4054 ]
4055 LabelGraphics
4056 [
4057 text "
4058 FSObject class
4059 Dir class
4060 "
4061 fontSize 14
4062 fontName "Consolas"
4063 alignment "left"
4064 anchor "tl"
4065 borderDistance 6
4066 ]
4067 ]
4068
4069 node
4070 [
4071 id 7
4072 graphics
4073 [
4074 w 112.2
4075 h 26
4076 type "rectangle"
4077 fill "#FFFFFF"
4078 fill2 "#FFFFFF"
4079 outline "#000000"
4080 ]
4081 LabelGraphics
4082 [
4083 text "New Integers"
4084 outline "#000000"
4085 fill "#FFFFFF"
4086 fontSize 16
4087 fontName "Monospace"
4088 autoSizePolicy "node_width"
4089 anchor "t"
4090 borderDistance 0.0
4091 ]
4092 LabelGraphics
4093 [
4094 text "
4095 "
4096 fontSize 14
4097 fontName "Consolas"
4098 alignment "left"
4099 anchor "tl"
4100 borderDistance 6
4101 ]
4102 ]
4103
4104 node
4105 [
4106 id 8
4107 graphics
4108 [
4109 w 85.80000000000001
4110 h 26
4111 type "rectangle"
4112 fill "#FFFFFF"
4113 fill2 "#FFFFFF"
4114 outline "#000000"
4115 ]
4116 LabelGraphics
4117 [
4118 text "New Reals"
4119 outline "#000000"
4120 fill "#FFFFFF"
4121 fontSize 16
4122 fontName "Monospace"
4123 autoSizePolicy "node_width"
4124 anchor "t"
4125 borderDistance 0.0
4126 ]
4127 LabelGraphics
4128 [
4129 text "
4130 "
4131 fontSize 14
4132 fontName "Consolas"
4133 alignment "left"
4134 anchor "tl"
4135 borderDistance 6
4136 ]
4137 ]
4138
4139 node
4140 [
4141 id 9
4142 graphics
4143 [
4144 w 103.4
4145 h 26
4146 type "rectangle"
4147 fill "#FFFFFF"
4148 fill2 "#FFFFFF"
4149 outline "#000000"
4150 ]
4151 LabelGraphics
4152 [
4153 text "New Strings"
4154 outline "#000000"
4155 fill "#FFFFFF"
4156 fontSize 16
4157 fontName "Monospace"
4158 autoSizePolicy "node_width"
4159 anchor "t"
4160 borderDistance 0.0
4161 ]
4162 LabelGraphics
4163 [
4164 text "
4165 "
4166 fontSize 14
4167 fontName "Consolas"
4168 alignment "left"
4169 anchor "tl"
4170 borderDistance 6
4171 ]
4172 ]
4173
4174 node
4175 [
4176 id 10
4177 graphics
4178 [
4179 w 103.4
4180 h 26
4181 type "rectangle"
4182 fill "#FFFFFF"
4183 fill2 "#FFFFFF"
4184 outline "#000000"
4185 ]
4186 LabelGraphics
4187 [
4188 text "New Objects"
4189 outline "#000000"
4190 fill "#FFFFFF"
4191 fontSize 16
4192 fontName "Monospace"
4193 autoSizePolicy "node_width"
4194 anchor "t"
4195 borderDistance 0.0
4196 ]
4197 LabelGraphics
4198 [
4199 text "
4200 "
4201 fontSize 14
4202 fontName "Consolas"
4203 alignment "left"
4204 anchor "tl"
4205 borderDistance 6
4206 ]
4207 ]
4208 edge
4209 [
4210 source 5
4211 target 6
4212 graphics
4213 [
4214 fill "#000000"
4215 width 3
4216 targetArrow "standard"
4217 ]
4218 LabelGraphics
4219 [
4220 text "root reference FileSystem"
4221 fontSize 14
4222 fontName "Consolas"
4223 configuration "AutoFlippingLabel"
4224 model "six_pos"
4225 position "thead"
4226 ]
4227 ]
4228 edge
4229 [
4230 source 0
4231 target 5
4232 graphics
4233 [
4234 fill "#000000"
4235 width 3
4236 targetArrow "standard"
4237 ]
4238 LabelGraphics
4239 [
4240 text "filesystems reference Model"
4241 fontSize 14
4242 fontName "Consolas"
4243 configuration "AutoFlippingLabel"
4244 model "six_pos"
4245 position "thead"
4246 ]
4247 ]
4248 edge
4249 [
4250 source 0
4251 target 3
4252 graphics
4253 [
4254 fill "#000000"
4255 width 3
4256 targetArrow "standard"
4257 ]
4258 LabelGraphics
4259 [
4260 text "otherFSObjects reference Model"
4261 fontSize 14
4262 fontName "Consolas"
4263 configuration "AutoFlippingLabel"
4264 model "six_pos"
4265 position "thead"
4266 ]
4267 ]
4268 edge
4269 [
4270 source 0
4271 target 4
4272 graphics
4273 [
4274 fill "#000000"
4275 width 3
4276 targetArrow "standard"
4277 ]
4278 LabelGraphics
4279 [
4280 text "otherFSObjects reference Model"
4281 fontSize 14
4282 fontName "Consolas"
4283 configuration "AutoFlippingLabel"
4284 model "six_pos"
4285 position "thead"
4286 ]
4287 ]
4288]
4289graph
4290[
4291 node
4292 [
4293 id 0
4294 graphics
4295 [
4296 w 192.50000000000003
4297 h 54
4298 type "rectangle"
4299 fill "#FFFFFF"
4300 fill2 "#FFFFFF"
4301 outline "#000000"
4302 ]
4303 LabelGraphics
4304 [
4305 text "o 1"
4306 outline "#000000"
4307 fill "#FFFFFF"
4308 fontSize 16
4309 fontName "Monospace"
4310 autoSizePolicy "node_width"
4311 anchor "t"
4312 borderDistance 0.0
4313 ]
4314 LabelGraphics
4315 [
4316 text "
4317 Model class DefinedPart
4318 Model class
4319 "
4320 fontSize 14
4321 fontName "Consolas"
4322 alignment "left"
4323 anchor "tl"
4324 borderDistance 6
4325 ]
4326 ]
4327
4328 node
4329 [
4330 id 1
4331 graphics
4332 [
4333 w 41.800000000000004
4334 h 26
4335 type "rectangle"
4336 fill "#FFFFFF"
4337 fill2 "#FFFFFF"
4338 outline "#000000"
4339 ]
4340 LabelGraphics
4341 [
4342 text "true"
4343 outline "#000000"
4344 fill "#FFFFFF"
4345 fontSize 16
4346 fontName "Monospace"
4347 autoSizePolicy "node_width"
4348 anchor "t"
4349 borderDistance 0.0
4350 ]
4351 LabelGraphics
4352 [
4353 text "
4354 "
4355 fontSize 14
4356 fontName "Consolas"
4357 alignment "left"
4358 anchor "tl"
4359 borderDistance 6
4360 ]
4361 ]
4362
4363 node
4364 [
4365 id 2
4366 graphics
4367 [
4368 w 50.6
4369 h 26
4370 type "rectangle"
4371 fill "#FFFFFF"
4372 fill2 "#FFFFFF"
4373 outline "#000000"
4374 ]
4375 LabelGraphics
4376 [
4377 text "false"
4378 outline "#000000"
4379 fill "#FFFFFF"
4380 fontSize 16
4381 fontName "Monospace"
4382 autoSizePolicy "node_width"
4383 anchor "t"
4384 borderDistance 0.0
4385 ]
4386 LabelGraphics
4387 [
4388 text "
4389 "
4390 fontSize 14
4391 fontName "Consolas"
4392 alignment "left"
4393 anchor "tl"
4394 borderDistance 6
4395 ]
4396 ]
4397
4398 node
4399 [
4400 id 3
4401 graphics
4402 [
4403 w 138.60000000000002
4404 h 40
4405 type "rectangle"
4406 fill "#FFFFFF"
4407 fill2 "#FFFFFF"
4408 outline "#000000"
4409 ]
4410 LabelGraphics
4411 [
4412 text "null"
4413 outline "#000000"
4414 fill "#FFFFFF"
4415 fontSize 16
4416 fontName "Monospace"
4417 autoSizePolicy "node_width"
4418 anchor "t"
4419 borderDistance 0.0
4420 ]
4421 LabelGraphics
4422 [
4423 text "
4424 FileSystem class
4425 "
4426 fontSize 14
4427 fontName "Consolas"
4428 alignment "left"
4429 anchor "tl"
4430 borderDistance 6
4431 ]
4432 ]
4433
4434 node
4435 [
4436 id 4
4437 graphics
4438 [
4439 w 123.20000000000002
4440 h 54
4441 type "rectangle"
4442 fill "#FFFFFF"
4443 fill2 "#FFFFFF"
4444 outline "#000000"
4445 ]
4446 LabelGraphics
4447 [
4448 text "null"
4449 outline "#000000"
4450 fill "#FFFFFF"
4451 fontSize 16
4452 fontName "Monospace"
4453 autoSizePolicy "node_width"
4454 anchor "t"
4455 borderDistance 0.0
4456 ]
4457 LabelGraphics
4458 [
4459 text "
4460 FSObject class
4461 Dir class
4462 "
4463 fontSize 14
4464 fontName "Consolas"
4465 alignment "left"
4466 anchor "tl"
4467 borderDistance 6
4468 ]
4469 ]
4470
4471 node
4472 [
4473 id 5
4474 graphics
4475 [
4476 w 123.20000000000002
4477 h 54
4478 type "rectangle"
4479 fill "#FFFFFF"
4480 fill2 "#FFFFFF"
4481 outline "#000000"
4482 ]
4483 LabelGraphics
4484 [
4485 text "null"
4486 outline "#000000"
4487 fill "#FFFFFF"
4488 fontSize 16
4489 fontName "Monospace"
4490 autoSizePolicy "node_width"
4491 anchor "t"
4492 borderDistance 0.0
4493 ]
4494 LabelGraphics
4495 [
4496 text "
4497 FSObject class
4498 File class
4499 "
4500 fontSize 14
4501 fontName "Consolas"
4502 alignment "left"
4503 anchor "tl"
4504 borderDistance 6
4505 ]
4506 ]
4507
4508 node
4509 [
4510 id 6
4511 graphics
4512 [
4513 w 123.20000000000002
4514 h 54
4515 type "rectangle"
4516 fill "#FFFFFF"
4517 fill2 "#FFFFFF"
4518 outline "#000000"
4519 ]
4520 LabelGraphics
4521 [
4522 text "null"
4523 outline "#000000"
4524 fill "#FFFFFF"
4525 fontSize 16
4526 fontName "Monospace"
4527 autoSizePolicy "node_width"
4528 anchor "t"
4529 borderDistance 0.0
4530 ]
4531 LabelGraphics
4532 [
4533 text "
4534 FSObject class
4535 Dir class
4536 "
4537 fontSize 14
4538 fontName "Consolas"
4539 alignment "left"
4540 anchor "tl"
4541 borderDistance 6
4542 ]
4543 ]
4544
4545 node
4546 [
4547 id 7
4548 graphics
4549 [
4550 w 112.2
4551 h 26
4552 type "rectangle"
4553 fill "#FFFFFF"
4554 fill2 "#FFFFFF"
4555 outline "#000000"
4556 ]
4557 LabelGraphics
4558 [
4559 text "New Integers"
4560 outline "#000000"
4561 fill "#FFFFFF"
4562 fontSize 16
4563 fontName "Monospace"
4564 autoSizePolicy "node_width"
4565 anchor "t"
4566 borderDistance 0.0
4567 ]
4568 LabelGraphics
4569 [
4570 text "
4571 "
4572 fontSize 14
4573 fontName "Consolas"
4574 alignment "left"
4575 anchor "tl"
4576 borderDistance 6
4577 ]
4578 ]
4579
4580 node
4581 [
4582 id 8
4583 graphics
4584 [
4585 w 85.80000000000001
4586 h 26
4587 type "rectangle"
4588 fill "#FFFFFF"
4589 fill2 "#FFFFFF"
4590 outline "#000000"
4591 ]
4592 LabelGraphics
4593 [
4594 text "New Reals"
4595 outline "#000000"
4596 fill "#FFFFFF"
4597 fontSize 16
4598 fontName "Monospace"
4599 autoSizePolicy "node_width"
4600 anchor "t"
4601 borderDistance 0.0
4602 ]
4603 LabelGraphics
4604 [
4605 text "
4606 "
4607 fontSize 14
4608 fontName "Consolas"
4609 alignment "left"
4610 anchor "tl"
4611 borderDistance 6
4612 ]
4613 ]
4614
4615 node
4616 [
4617 id 9
4618 graphics
4619 [
4620 w 103.4
4621 h 26
4622 type "rectangle"
4623 fill "#FFFFFF"
4624 fill2 "#FFFFFF"
4625 outline "#000000"
4626 ]
4627 LabelGraphics
4628 [
4629 text "New Strings"
4630 outline "#000000"
4631 fill "#FFFFFF"
4632 fontSize 16
4633 fontName "Monospace"
4634 autoSizePolicy "node_width"
4635 anchor "t"
4636 borderDistance 0.0
4637 ]
4638 LabelGraphics
4639 [
4640 text "
4641 "
4642 fontSize 14
4643 fontName "Consolas"
4644 alignment "left"
4645 anchor "tl"
4646 borderDistance 6
4647 ]
4648 ]
4649
4650 node
4651 [
4652 id 10
4653 graphics
4654 [
4655 w 103.4
4656 h 26
4657 type "rectangle"
4658 fill "#FFFFFF"
4659 fill2 "#FFFFFF"
4660 outline "#000000"
4661 ]
4662 LabelGraphics
4663 [
4664 text "New Objects"
4665 outline "#000000"
4666 fill "#FFFFFF"
4667 fontSize 16
4668 fontName "Monospace"
4669 autoSizePolicy "node_width"
4670 anchor "t"
4671 borderDistance 0.0
4672 ]
4673 LabelGraphics
4674 [
4675 text "
4676 "
4677 fontSize 14
4678 fontName "Consolas"
4679 alignment "left"
4680 anchor "tl"
4681 borderDistance 6
4682 ]
4683 ]
4684 edge
4685 [
4686 source 3
4687 target 4
4688 graphics
4689 [
4690 fill "#000000"
4691 width 3
4692 targetArrow "standard"
4693 ]
4694 LabelGraphics
4695 [
4696 text "root reference FileSystem"
4697 fontSize 14
4698 fontName "Consolas"
4699 configuration "AutoFlippingLabel"
4700 model "six_pos"
4701 position "thead"
4702 ]
4703 ]
4704 edge
4705 [
4706 source 6
4707 target 4
4708 graphics
4709 [
4710 fill "#000000"
4711 targetArrow "standard"
4712 ]
4713 LabelGraphics
4714 [
4715 text "parent reference FSObject"
4716 fontSize 14
4717 fontName "Consolas"
4718 configuration "AutoFlippingLabel"
4719 model "six_pos"
4720 position "thead"
4721 ]
4722 ]
4723 edge
4724 [
4725 source 4
4726 target 6
4727 graphics
4728 [
4729 fill "#000000"
4730 width 3
4731 targetArrow "standard"
4732 ]
4733 LabelGraphics
4734 [
4735 text "contents reference Dir"
4736 fontSize 14
4737 fontName "Consolas"
4738 configuration "AutoFlippingLabel"
4739 model "six_pos"
4740 position "thead"
4741 ]
4742 ]
4743 edge
4744 [
4745 source 0
4746 target 3
4747 graphics
4748 [
4749 fill "#000000"
4750 width 3
4751 targetArrow "standard"
4752 ]
4753 LabelGraphics
4754 [
4755 text "filesystems reference Model"
4756 fontSize 14
4757 fontName "Consolas"
4758 configuration "AutoFlippingLabel"
4759 model "six_pos"
4760 position "thead"
4761 ]
4762 ]
4763 edge
4764 [
4765 source 0
4766 target 5
4767 graphics
4768 [
4769 fill "#000000"
4770 width 3
4771 targetArrow "standard"
4772 ]
4773 LabelGraphics
4774 [
4775 text "otherFSObjects reference Model"
4776 fontSize 14
4777 fontName "Consolas"
4778 configuration "AutoFlippingLabel"
4779 model "six_pos"
4780 position "thead"
4781 ]
4782 ]
4783]
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/models/1.png b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/models/1.png
index d9b7c988..605b244d 100644
--- a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/models/1.png
+++ b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/models/1.png
Binary files differ
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/models/1.xmi b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/models/1.xmi
index f6b5a41e..ffc48f68 100644
--- a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/models/1.xmi
+++ b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/models/1.xmi
@@ -1,9 +1,9 @@
1<?xml version="1.0" encoding="ASCII"?> 1<?xml version="1.0" encoding="ASCII"?>
2<yakindu:Statechart xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:yakindu="YakinduMetamodel"> 2<filesystem:Model xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:filesystem="FileSystemMetamodel">
3 <regions> 3 <filesystems>
4 <vertices xsi:type="yakindu:FinalState"/> 4 <root>
5 </regions> 5 <contents xsi:type="filesystem:Dir"/>
6 <regions> 6 </root>
7 <vertices xsi:type="yakindu:FinalState"/> 7 </filesystems>
8 </regions> 8 <otherFSObjects xsi:type="filesystem:File"/>
9</yakindu:Statechart> 9</filesystem:Model>
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/models/2.gml b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/models/2.gml
index f07ae0db..57d704cf 100644
--- a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/models/2.gml
+++ b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/models/2.gml
@@ -477,3 +477,3695 @@ graph
477 ] 477 ]
478 ] 478 ]
479] 479]
480graph
481[
482 node
483 [
484 id 0
485 graphics
486 [
487 w 277.20000000000005
488 h 82
489 type "rectangle"
490 fill "#FFFFFF"
491 fill2 "#FFFFFF"
492 outline "#000000"
493 ]
494 LabelGraphics
495 [
496 text "o 1"
497 outline "#000000"
498 fill "#FFFFFF"
499 fontSize 16
500 fontName "Monospace"
501 autoSizePolicy "node_width"
502 anchor "t"
503 borderDistance 0.0
504 ]
505 LabelGraphics
506 [
507 text "
508 Statechart class DefinedPart
509 CompositeElement class DefinedPart
510 Statechart class
511 CompositeElement class
512 "
513 fontSize 14
514 fontName "Consolas"
515 alignment "left"
516 anchor "tl"
517 borderDistance 6
518 ]
519 ]
520
521 node
522 [
523 id 1
524 graphics
525 [
526 w 41.800000000000004
527 h 26
528 type "rectangle"
529 fill "#FFFFFF"
530 fill2 "#FFFFFF"
531 outline "#000000"
532 ]
533 LabelGraphics
534 [
535 text "true"
536 outline "#000000"
537 fill "#FFFFFF"
538 fontSize 16
539 fontName "Monospace"
540 autoSizePolicy "node_width"
541 anchor "t"
542 borderDistance 0.0
543 ]
544 LabelGraphics
545 [
546 text "
547 "
548 fontSize 14
549 fontName "Consolas"
550 alignment "left"
551 anchor "tl"
552 borderDistance 6
553 ]
554 ]
555
556 node
557 [
558 id 2
559 graphics
560 [
561 w 50.6
562 h 26
563 type "rectangle"
564 fill "#FFFFFF"
565 fill2 "#FFFFFF"
566 outline "#000000"
567 ]
568 LabelGraphics
569 [
570 text "false"
571 outline "#000000"
572 fill "#FFFFFF"
573 fontSize 16
574 fontName "Monospace"
575 autoSizePolicy "node_width"
576 anchor "t"
577 borderDistance 0.0
578 ]
579 LabelGraphics
580 [
581 text "
582 "
583 fontSize 14
584 fontName "Consolas"
585 alignment "left"
586 anchor "tl"
587 borderDistance 6
588 ]
589 ]
590
591 node
592 [
593 id 3
594 graphics
595 [
596 w 107.80000000000001
597 h 40
598 type "rectangle"
599 fill "#FFFFFF"
600 fill2 "#FFFFFF"
601 outline "#000000"
602 ]
603 LabelGraphics
604 [
605 text "null"
606 outline "#000000"
607 fill "#FFFFFF"
608 fontSize 16
609 fontName "Monospace"
610 autoSizePolicy "node_width"
611 anchor "t"
612 borderDistance 0.0
613 ]
614 LabelGraphics
615 [
616 text "
617 Region class
618 "
619 fontSize 14
620 fontName "Consolas"
621 alignment "left"
622 anchor "tl"
623 borderDistance 6
624 ]
625 ]
626
627 node
628 [
629 id 4
630 graphics
631 [
632 w 146.3
633 h 68
634 type "rectangle"
635 fill "#FFFFFF"
636 fill2 "#FFFFFF"
637 outline "#000000"
638 ]
639 LabelGraphics
640 [
641 text "null"
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 Pseudostate class
654 Vertex class
655 Entry class
656 "
657 fontSize 14
658 fontName "Consolas"
659 alignment "left"
660 anchor "tl"
661 borderDistance 6
662 ]
663 ]
664
665 node
666 [
667 id 5
668 graphics
669 [
670 w 138.60000000000002
671 h 40
672 type "rectangle"
673 fill "#FFFFFF"
674 fill2 "#FFFFFF"
675 outline "#000000"
676 ]
677 LabelGraphics
678 [
679 text "null"
680 outline "#000000"
681 fill "#FFFFFF"
682 fontSize 16
683 fontName "Monospace"
684 autoSizePolicy "node_width"
685 anchor "t"
686 borderDistance 0.0
687 ]
688 LabelGraphics
689 [
690 text "
691 Transition class
692 "
693 fontSize 14
694 fontName "Consolas"
695 alignment "left"
696 anchor "tl"
697 borderDistance 6
698 ]
699 ]
700
701 node
702 [
703 id 6
704 graphics
705 [
706 w 292.6
707 h 96
708 type "rectangle"
709 fill "#FFFFFF"
710 fill2 "#FFFFFF"
711 outline "#000000"
712 ]
713 LabelGraphics
714 [
715 text "null"
716 outline "#000000"
717 fill "#FFFFFF"
718 fontSize 16
719 fontName "Monospace"
720 autoSizePolicy "node_width"
721 anchor "t"
722 borderDistance 0.0
723 ]
724 LabelGraphics
725 [
726 text "
727 Vertex class
728 State class
729 RegularState class
730 CompositeElement class
731 CompositeElement class UndefinedPart
732 "
733 fontSize 14
734 fontName "Consolas"
735 alignment "left"
736 anchor "tl"
737 borderDistance 6
738 ]
739 ]
740
741 node
742 [
743 id 7
744 graphics
745 [
746 w 146.3
747 h 68
748 type "rectangle"
749 fill "#FFFFFF"
750 fill2 "#FFFFFF"
751 outline "#000000"
752 ]
753 LabelGraphics
754 [
755 text "null"
756 outline "#000000"
757 fill "#FFFFFF"
758 fontSize 16
759 fontName "Monospace"
760 autoSizePolicy "node_width"
761 anchor "t"
762 borderDistance 0.0
763 ]
764 LabelGraphics
765 [
766 text "
767 Pseudostate class
768 Vertex class
769 Exit class
770 "
771 fontSize 14
772 fontName "Consolas"
773 alignment "left"
774 anchor "tl"
775 borderDistance 6
776 ]
777 ]
778
779 node
780 [
781 id 8
782 graphics
783 [
784 w 112.2
785 h 26
786 type "rectangle"
787 fill "#FFFFFF"
788 fill2 "#FFFFFF"
789 outline "#000000"
790 ]
791 LabelGraphics
792 [
793 text "New Integers"
794 outline "#000000"
795 fill "#FFFFFF"
796 fontSize 16
797 fontName "Monospace"
798 autoSizePolicy "node_width"
799 anchor "t"
800 borderDistance 0.0
801 ]
802 LabelGraphics
803 [
804 text "
805 "
806 fontSize 14
807 fontName "Consolas"
808 alignment "left"
809 anchor "tl"
810 borderDistance 6
811 ]
812 ]
813
814 node
815 [
816 id 9
817 graphics
818 [
819 w 85.80000000000001
820 h 26
821 type "rectangle"
822 fill "#FFFFFF"
823 fill2 "#FFFFFF"
824 outline "#000000"
825 ]
826 LabelGraphics
827 [
828 text "New Reals"
829 outline "#000000"
830 fill "#FFFFFF"
831 fontSize 16
832 fontName "Monospace"
833 autoSizePolicy "node_width"
834 anchor "t"
835 borderDistance 0.0
836 ]
837 LabelGraphics
838 [
839 text "
840 "
841 fontSize 14
842 fontName "Consolas"
843 alignment "left"
844 anchor "tl"
845 borderDistance 6
846 ]
847 ]
848
849 node
850 [
851 id 10
852 graphics
853 [
854 w 103.4
855 h 26
856 type "rectangle"
857 fill "#FFFFFF"
858 fill2 "#FFFFFF"
859 outline "#000000"
860 ]
861 LabelGraphics
862 [
863 text "New Strings"
864 outline "#000000"
865 fill "#FFFFFF"
866 fontSize 16
867 fontName "Monospace"
868 autoSizePolicy "node_width"
869 anchor "t"
870 borderDistance 0.0
871 ]
872 LabelGraphics
873 [
874 text "
875 "
876 fontSize 14
877 fontName "Consolas"
878 alignment "left"
879 anchor "tl"
880 borderDistance 6
881 ]
882 ]
883
884 node
885 [
886 id 11
887 graphics
888 [
889 w 103.4
890 h 26
891 type "rectangle"
892 fill "#FFFFFF"
893 fill2 "#FFFFFF"
894 outline "#000000"
895 ]
896 LabelGraphics
897 [
898 text "New Objects"
899 outline "#000000"
900 fill "#FFFFFF"
901 fontSize 16
902 fontName "Monospace"
903 autoSizePolicy "node_width"
904 anchor "t"
905 borderDistance 0.0
906 ]
907 LabelGraphics
908 [
909 text "
910 "
911 fontSize 14
912 fontName "Consolas"
913 alignment "left"
914 anchor "tl"
915 borderDistance 6
916 ]
917 ]
918 edge
919 [
920 source 7
921 target 5
922 graphics
923 [
924 fill "#000000"
925 targetArrow "standard"
926 ]
927 LabelGraphics
928 [
929 text "incomingTransitions reference Vertex"
930 fontSize 14
931 fontName "Consolas"
932 configuration "AutoFlippingLabel"
933 model "six_pos"
934 position "thead"
935 ]
936 ]
937 edge
938 [
939 source 4
940 target 5
941 graphics
942 [
943 fill "#000000"
944 width 3
945 targetArrow "standard"
946 ]
947 LabelGraphics
948 [
949 text "outgoingTransitions reference Vertex"
950 fontSize 14
951 fontName "Consolas"
952 configuration "AutoFlippingLabel"
953 model "six_pos"
954 position "thead"
955 ]
956 ]
957 edge
958 [
959 source 3
960 target 4
961 graphics
962 [
963 fill "#000000"
964 width 3
965 targetArrow "standard"
966 ]
967 LabelGraphics
968 [
969 text "vertices reference Region"
970 fontSize 14
971 fontName "Consolas"
972 configuration "AutoFlippingLabel"
973 model "six_pos"
974 position "thead"
975 ]
976 ]
977 edge
978 [
979 source 3
980 target 6
981 graphics
982 [
983 fill "#000000"
984 width 3
985 targetArrow "standard"
986 ]
987 LabelGraphics
988 [
989 text "vertices reference Region"
990 fontSize 14
991 fontName "Consolas"
992 configuration "AutoFlippingLabel"
993 model "six_pos"
994 position "thead"
995 ]
996 ]
997 edge
998 [
999 source 3
1000 target 7
1001 graphics
1002 [
1003 fill "#000000"
1004 width 3
1005 targetArrow "standard"
1006 ]
1007 LabelGraphics
1008 [
1009 text "vertices reference Region"
1010 fontSize 14
1011 fontName "Consolas"
1012 configuration "AutoFlippingLabel"
1013 model "six_pos"
1014 position "thead"
1015 ]
1016 ]
1017 edge
1018 [
1019 source 5
1020 target 7
1021 graphics
1022 [
1023 fill "#000000"
1024 targetArrow "standard"
1025 ]
1026 LabelGraphics
1027 [
1028 text "target reference Transition"
1029 fontSize 14
1030 fontName "Consolas"
1031 configuration "AutoFlippingLabel"
1032 model "six_pos"
1033 position "thead"
1034 ]
1035 ]
1036 edge
1037 [
1038 source 5
1039 target 4
1040 graphics
1041 [
1042 fill "#000000"
1043 targetArrow "standard"
1044 ]
1045 LabelGraphics
1046 [
1047 text "source reference Transition"
1048 fontSize 14
1049 fontName "Consolas"
1050 configuration "AutoFlippingLabel"
1051 model "six_pos"
1052 position "thead"
1053 ]
1054 ]
1055 edge
1056 [
1057 source 0
1058 target 3
1059 graphics
1060 [
1061 fill "#000000"
1062 width 3
1063 targetArrow "standard"
1064 ]
1065 LabelGraphics
1066 [
1067 text "regions reference CompositeElement"
1068 fontSize 14
1069 fontName "Consolas"
1070 configuration "AutoFlippingLabel"
1071 model "six_pos"
1072 position "thead"
1073 ]
1074 ]
1075]
1076graph
1077[
1078 node
1079 [
1080 id 0
1081 graphics
1082 [
1083 w 277.20000000000005
1084 h 82
1085 type "rectangle"
1086 fill "#FFFFFF"
1087 fill2 "#FFFFFF"
1088 outline "#000000"
1089 ]
1090 LabelGraphics
1091 [
1092 text "o 1"
1093 outline "#000000"
1094 fill "#FFFFFF"
1095 fontSize 16
1096 fontName "Monospace"
1097 autoSizePolicy "node_width"
1098 anchor "t"
1099 borderDistance 0.0
1100 ]
1101 LabelGraphics
1102 [
1103 text "
1104 Statechart class DefinedPart
1105 CompositeElement class DefinedPart
1106 Statechart class
1107 CompositeElement class
1108 "
1109 fontSize 14
1110 fontName "Consolas"
1111 alignment "left"
1112 anchor "tl"
1113 borderDistance 6
1114 ]
1115 ]
1116
1117 node
1118 [
1119 id 1
1120 graphics
1121 [
1122 w 41.800000000000004
1123 h 26
1124 type "rectangle"
1125 fill "#FFFFFF"
1126 fill2 "#FFFFFF"
1127 outline "#000000"
1128 ]
1129 LabelGraphics
1130 [
1131 text "true"
1132 outline "#000000"
1133 fill "#FFFFFF"
1134 fontSize 16
1135 fontName "Monospace"
1136 autoSizePolicy "node_width"
1137 anchor "t"
1138 borderDistance 0.0
1139 ]
1140 LabelGraphics
1141 [
1142 text "
1143 "
1144 fontSize 14
1145 fontName "Consolas"
1146 alignment "left"
1147 anchor "tl"
1148 borderDistance 6
1149 ]
1150 ]
1151
1152 node
1153 [
1154 id 2
1155 graphics
1156 [
1157 w 50.6
1158 h 26
1159 type "rectangle"
1160 fill "#FFFFFF"
1161 fill2 "#FFFFFF"
1162 outline "#000000"
1163 ]
1164 LabelGraphics
1165 [
1166 text "false"
1167 outline "#000000"
1168 fill "#FFFFFF"
1169 fontSize 16
1170 fontName "Monospace"
1171 autoSizePolicy "node_width"
1172 anchor "t"
1173 borderDistance 0.0
1174 ]
1175 LabelGraphics
1176 [
1177 text "
1178 "
1179 fontSize 14
1180 fontName "Consolas"
1181 alignment "left"
1182 anchor "tl"
1183 borderDistance 6
1184 ]
1185 ]
1186
1187 node
1188 [
1189 id 3
1190 graphics
1191 [
1192 w 107.80000000000001
1193 h 40
1194 type "rectangle"
1195 fill "#FFFFFF"
1196 fill2 "#FFFFFF"
1197 outline "#000000"
1198 ]
1199 LabelGraphics
1200 [
1201 text "null"
1202 outline "#000000"
1203 fill "#FFFFFF"
1204 fontSize 16
1205 fontName "Monospace"
1206 autoSizePolicy "node_width"
1207 anchor "t"
1208 borderDistance 0.0
1209 ]
1210 LabelGraphics
1211 [
1212 text "
1213 Region class
1214 "
1215 fontSize 14
1216 fontName "Consolas"
1217 alignment "left"
1218 anchor "tl"
1219 borderDistance 6
1220 ]
1221 ]
1222
1223 node
1224 [
1225 id 4
1226 graphics
1227 [
1228 w 154.0
1229 h 68
1230 type "rectangle"
1231 fill "#FFFFFF"
1232 fill2 "#FFFFFF"
1233 outline "#000000"
1234 ]
1235 LabelGraphics
1236 [
1237 text "null"
1238 outline "#000000"
1239 fill "#FFFFFF"
1240 fontSize 16
1241 fontName "Monospace"
1242 autoSizePolicy "node_width"
1243 anchor "t"
1244 borderDistance 0.0
1245 ]
1246 LabelGraphics
1247 [
1248 text "
1249 Vertex class
1250 RegularState class
1251 FinalState class
1252 "
1253 fontSize 14
1254 fontName "Consolas"
1255 alignment "left"
1256 anchor "tl"
1257 borderDistance 6
1258 ]
1259 ]
1260
1261 node
1262 [
1263 id 5
1264 graphics
1265 [
1266 w 146.3
1267 h 68
1268 type "rectangle"
1269 fill "#FFFFFF"
1270 fill2 "#FFFFFF"
1271 outline "#000000"
1272 ]
1273 LabelGraphics
1274 [
1275 text "null"
1276 outline "#000000"
1277 fill "#FFFFFF"
1278 fontSize 16
1279 fontName "Monospace"
1280 autoSizePolicy "node_width"
1281 anchor "t"
1282 borderDistance 0.0
1283 ]
1284 LabelGraphics
1285 [
1286 text "
1287 Pseudostate class
1288 Vertex class
1289 Entry class
1290 "
1291 fontSize 14
1292 fontName "Consolas"
1293 alignment "left"
1294 anchor "tl"
1295 borderDistance 6
1296 ]
1297 ]
1298
1299 node
1300 [
1301 id 6
1302 graphics
1303 [
1304 w 292.6
1305 h 96
1306 type "rectangle"
1307 fill "#FFFFFF"
1308 fill2 "#FFFFFF"
1309 outline "#000000"
1310 ]
1311 LabelGraphics
1312 [
1313 text "null"
1314 outline "#000000"
1315 fill "#FFFFFF"
1316 fontSize 16
1317 fontName "Monospace"
1318 autoSizePolicy "node_width"
1319 anchor "t"
1320 borderDistance 0.0
1321 ]
1322 LabelGraphics
1323 [
1324 text "
1325 Vertex class
1326 State class
1327 RegularState class
1328 CompositeElement class
1329 CompositeElement class UndefinedPart
1330 "
1331 fontSize 14
1332 fontName "Consolas"
1333 alignment "left"
1334 anchor "tl"
1335 borderDistance 6
1336 ]
1337 ]
1338
1339 node
1340 [
1341 id 7
1342 graphics
1343 [
1344 w 138.60000000000002
1345 h 40
1346 type "rectangle"
1347 fill "#FFFFFF"
1348 fill2 "#FFFFFF"
1349 outline "#000000"
1350 ]
1351 LabelGraphics
1352 [
1353 text "null"
1354 outline "#000000"
1355 fill "#FFFFFF"
1356 fontSize 16
1357 fontName "Monospace"
1358 autoSizePolicy "node_width"
1359 anchor "t"
1360 borderDistance 0.0
1361 ]
1362 LabelGraphics
1363 [
1364 text "
1365 Transition class
1366 "
1367 fontSize 14
1368 fontName "Consolas"
1369 alignment "left"
1370 anchor "tl"
1371 borderDistance 6
1372 ]
1373 ]
1374
1375 node
1376 [
1377 id 8
1378 graphics
1379 [
1380 w 112.2
1381 h 26
1382 type "rectangle"
1383 fill "#FFFFFF"
1384 fill2 "#FFFFFF"
1385 outline "#000000"
1386 ]
1387 LabelGraphics
1388 [
1389 text "New Integers"
1390 outline "#000000"
1391 fill "#FFFFFF"
1392 fontSize 16
1393 fontName "Monospace"
1394 autoSizePolicy "node_width"
1395 anchor "t"
1396 borderDistance 0.0
1397 ]
1398 LabelGraphics
1399 [
1400 text "
1401 "
1402 fontSize 14
1403 fontName "Consolas"
1404 alignment "left"
1405 anchor "tl"
1406 borderDistance 6
1407 ]
1408 ]
1409
1410 node
1411 [
1412 id 9
1413 graphics
1414 [
1415 w 85.80000000000001
1416 h 26
1417 type "rectangle"
1418 fill "#FFFFFF"
1419 fill2 "#FFFFFF"
1420 outline "#000000"
1421 ]
1422 LabelGraphics
1423 [
1424 text "New Reals"
1425 outline "#000000"
1426 fill "#FFFFFF"
1427 fontSize 16
1428 fontName "Monospace"
1429 autoSizePolicy "node_width"
1430 anchor "t"
1431 borderDistance 0.0
1432 ]
1433 LabelGraphics
1434 [
1435 text "
1436 "
1437 fontSize 14
1438 fontName "Consolas"
1439 alignment "left"
1440 anchor "tl"
1441 borderDistance 6
1442 ]
1443 ]
1444
1445 node
1446 [
1447 id 10
1448 graphics
1449 [
1450 w 103.4
1451 h 26
1452 type "rectangle"
1453 fill "#FFFFFF"
1454 fill2 "#FFFFFF"
1455 outline "#000000"
1456 ]
1457 LabelGraphics
1458 [
1459 text "New Strings"
1460 outline "#000000"
1461 fill "#FFFFFF"
1462 fontSize 16
1463 fontName "Monospace"
1464 autoSizePolicy "node_width"
1465 anchor "t"
1466 borderDistance 0.0
1467 ]
1468 LabelGraphics
1469 [
1470 text "
1471 "
1472 fontSize 14
1473 fontName "Consolas"
1474 alignment "left"
1475 anchor "tl"
1476 borderDistance 6
1477 ]
1478 ]
1479
1480 node
1481 [
1482 id 11
1483 graphics
1484 [
1485 w 103.4
1486 h 26
1487 type "rectangle"
1488 fill "#FFFFFF"
1489 fill2 "#FFFFFF"
1490 outline "#000000"
1491 ]
1492 LabelGraphics
1493 [
1494 text "New Objects"
1495 outline "#000000"
1496 fill "#FFFFFF"
1497 fontSize 16
1498 fontName "Monospace"
1499 autoSizePolicy "node_width"
1500 anchor "t"
1501 borderDistance 0.0
1502 ]
1503 LabelGraphics
1504 [
1505 text "
1506 "
1507 fontSize 14
1508 fontName "Consolas"
1509 alignment "left"
1510 anchor "tl"
1511 borderDistance 6
1512 ]
1513 ]
1514 edge
1515 [
1516 source 4
1517 target 7
1518 graphics
1519 [
1520 fill "#000000"
1521 targetArrow "standard"
1522 ]
1523 LabelGraphics
1524 [
1525 text "incomingTransitions reference Vertex"
1526 fontSize 14
1527 fontName "Consolas"
1528 configuration "AutoFlippingLabel"
1529 model "six_pos"
1530 position "thead"
1531 ]
1532 ]
1533 edge
1534 [
1535 source 5
1536 target 7
1537 graphics
1538 [
1539 fill "#000000"
1540 width 3
1541 targetArrow "standard"
1542 ]
1543 LabelGraphics
1544 [
1545 text "outgoingTransitions reference Vertex"
1546 fontSize 14
1547 fontName "Consolas"
1548 configuration "AutoFlippingLabel"
1549 model "six_pos"
1550 position "thead"
1551 ]
1552 ]
1553 edge
1554 [
1555 source 3
1556 target 4
1557 graphics
1558 [
1559 fill "#000000"
1560 width 3
1561 targetArrow "standard"
1562 ]
1563 LabelGraphics
1564 [
1565 text "vertices reference Region"
1566 fontSize 14
1567 fontName "Consolas"
1568 configuration "AutoFlippingLabel"
1569 model "six_pos"
1570 position "thead"
1571 ]
1572 ]
1573 edge
1574 [
1575 source 3
1576 target 5
1577 graphics
1578 [
1579 fill "#000000"
1580 width 3
1581 targetArrow "standard"
1582 ]
1583 LabelGraphics
1584 [
1585 text "vertices reference Region"
1586 fontSize 14
1587 fontName "Consolas"
1588 configuration "AutoFlippingLabel"
1589 model "six_pos"
1590 position "thead"
1591 ]
1592 ]
1593 edge
1594 [
1595 source 3
1596 target 6
1597 graphics
1598 [
1599 fill "#000000"
1600 width 3
1601 targetArrow "standard"
1602 ]
1603 LabelGraphics
1604 [
1605 text "vertices reference Region"
1606 fontSize 14
1607 fontName "Consolas"
1608 configuration "AutoFlippingLabel"
1609 model "six_pos"
1610 position "thead"
1611 ]
1612 ]
1613 edge
1614 [
1615 source 7
1616 target 4
1617 graphics
1618 [
1619 fill "#000000"
1620 targetArrow "standard"
1621 ]
1622 LabelGraphics
1623 [
1624 text "target reference Transition"
1625 fontSize 14
1626 fontName "Consolas"
1627 configuration "AutoFlippingLabel"
1628 model "six_pos"
1629 position "thead"
1630 ]
1631 ]
1632 edge
1633 [
1634 source 7
1635 target 5
1636 graphics
1637 [
1638 fill "#000000"
1639 targetArrow "standard"
1640 ]
1641 LabelGraphics
1642 [
1643 text "source reference Transition"
1644 fontSize 14
1645 fontName "Consolas"
1646 configuration "AutoFlippingLabel"
1647 model "six_pos"
1648 position "thead"
1649 ]
1650 ]
1651 edge
1652 [
1653 source 0
1654 target 3
1655 graphics
1656 [
1657 fill "#000000"
1658 width 3
1659 targetArrow "standard"
1660 ]
1661 LabelGraphics
1662 [
1663 text "regions reference CompositeElement"
1664 fontSize 14
1665 fontName "Consolas"
1666 configuration "AutoFlippingLabel"
1667 model "six_pos"
1668 position "thead"
1669 ]
1670 ]
1671]
1672graph
1673[
1674 node
1675 [
1676 id 0
1677 graphics
1678 [
1679 w 277.20000000000005
1680 h 82
1681 type "rectangle"
1682 fill "#FFFFFF"
1683 fill2 "#FFFFFF"
1684 outline "#000000"
1685 ]
1686 LabelGraphics
1687 [
1688 text "o 1"
1689 outline "#000000"
1690 fill "#FFFFFF"
1691 fontSize 16
1692 fontName "Monospace"
1693 autoSizePolicy "node_width"
1694 anchor "t"
1695 borderDistance 0.0
1696 ]
1697 LabelGraphics
1698 [
1699 text "
1700 Statechart class DefinedPart
1701 CompositeElement class DefinedPart
1702 Statechart class
1703 CompositeElement class
1704 "
1705 fontSize 14
1706 fontName "Consolas"
1707 alignment "left"
1708 anchor "tl"
1709 borderDistance 6
1710 ]
1711 ]
1712
1713 node
1714 [
1715 id 1
1716 graphics
1717 [
1718 w 41.800000000000004
1719 h 26
1720 type "rectangle"
1721 fill "#FFFFFF"
1722 fill2 "#FFFFFF"
1723 outline "#000000"
1724 ]
1725 LabelGraphics
1726 [
1727 text "true"
1728 outline "#000000"
1729 fill "#FFFFFF"
1730 fontSize 16
1731 fontName "Monospace"
1732 autoSizePolicy "node_width"
1733 anchor "t"
1734 borderDistance 0.0
1735 ]
1736 LabelGraphics
1737 [
1738 text "
1739 "
1740 fontSize 14
1741 fontName "Consolas"
1742 alignment "left"
1743 anchor "tl"
1744 borderDistance 6
1745 ]
1746 ]
1747
1748 node
1749 [
1750 id 2
1751 graphics
1752 [
1753 w 50.6
1754 h 26
1755 type "rectangle"
1756 fill "#FFFFFF"
1757 fill2 "#FFFFFF"
1758 outline "#000000"
1759 ]
1760 LabelGraphics
1761 [
1762 text "false"
1763 outline "#000000"
1764 fill "#FFFFFF"
1765 fontSize 16
1766 fontName "Monospace"
1767 autoSizePolicy "node_width"
1768 anchor "t"
1769 borderDistance 0.0
1770 ]
1771 LabelGraphics
1772 [
1773 text "
1774 "
1775 fontSize 14
1776 fontName "Consolas"
1777 alignment "left"
1778 anchor "tl"
1779 borderDistance 6
1780 ]
1781 ]
1782
1783 node
1784 [
1785 id 3
1786 graphics
1787 [
1788 w 107.80000000000001
1789 h 40
1790 type "rectangle"
1791 fill "#FFFFFF"
1792 fill2 "#FFFFFF"
1793 outline "#000000"
1794 ]
1795 LabelGraphics
1796 [
1797 text "null"
1798 outline "#000000"
1799 fill "#FFFFFF"
1800 fontSize 16
1801 fontName "Monospace"
1802 autoSizePolicy "node_width"
1803 anchor "t"
1804 borderDistance 0.0
1805 ]
1806 LabelGraphics
1807 [
1808 text "
1809 Region class
1810 "
1811 fontSize 14
1812 fontName "Consolas"
1813 alignment "left"
1814 anchor "tl"
1815 borderDistance 6
1816 ]
1817 ]
1818
1819 node
1820 [
1821 id 4
1822 graphics
1823 [
1824 w 146.3
1825 h 68
1826 type "rectangle"
1827 fill "#FFFFFF"
1828 fill2 "#FFFFFF"
1829 outline "#000000"
1830 ]
1831 LabelGraphics
1832 [
1833 text "null"
1834 outline "#000000"
1835 fill "#FFFFFF"
1836 fontSize 16
1837 fontName "Monospace"
1838 autoSizePolicy "node_width"
1839 anchor "t"
1840 borderDistance 0.0
1841 ]
1842 LabelGraphics
1843 [
1844 text "
1845 Pseudostate class
1846 Vertex class
1847 Exit class
1848 "
1849 fontSize 14
1850 fontName "Consolas"
1851 alignment "left"
1852 anchor "tl"
1853 borderDistance 6
1854 ]
1855 ]
1856
1857 node
1858 [
1859 id 5
1860 graphics
1861 [
1862 w 146.3
1863 h 68
1864 type "rectangle"
1865 fill "#FFFFFF"
1866 fill2 "#FFFFFF"
1867 outline "#000000"
1868 ]
1869 LabelGraphics
1870 [
1871 text "null"
1872 outline "#000000"
1873 fill "#FFFFFF"
1874 fontSize 16
1875 fontName "Monospace"
1876 autoSizePolicy "node_width"
1877 anchor "t"
1878 borderDistance 0.0
1879 ]
1880 LabelGraphics
1881 [
1882 text "
1883 Pseudostate class
1884 Vertex class
1885 Entry class
1886 "
1887 fontSize 14
1888 fontName "Consolas"
1889 alignment "left"
1890 anchor "tl"
1891 borderDistance 6
1892 ]
1893 ]
1894
1895 node
1896 [
1897 id 6
1898 graphics
1899 [
1900 w 292.6
1901 h 96
1902 type "rectangle"
1903 fill "#FFFFFF"
1904 fill2 "#FFFFFF"
1905 outline "#000000"
1906 ]
1907 LabelGraphics
1908 [
1909 text "null"
1910 outline "#000000"
1911 fill "#FFFFFF"
1912 fontSize 16
1913 fontName "Monospace"
1914 autoSizePolicy "node_width"
1915 anchor "t"
1916 borderDistance 0.0
1917 ]
1918 LabelGraphics
1919 [
1920 text "
1921 Vertex class
1922 State class
1923 RegularState class
1924 CompositeElement class
1925 CompositeElement class UndefinedPart
1926 "
1927 fontSize 14
1928 fontName "Consolas"
1929 alignment "left"
1930 anchor "tl"
1931 borderDistance 6
1932 ]
1933 ]
1934
1935 node
1936 [
1937 id 7
1938 graphics
1939 [
1940 w 138.60000000000002
1941 h 40
1942 type "rectangle"
1943 fill "#FFFFFF"
1944 fill2 "#FFFFFF"
1945 outline "#000000"
1946 ]
1947 LabelGraphics
1948 [
1949 text "null"
1950 outline "#000000"
1951 fill "#FFFFFF"
1952 fontSize 16
1953 fontName "Monospace"
1954 autoSizePolicy "node_width"
1955 anchor "t"
1956 borderDistance 0.0
1957 ]
1958 LabelGraphics
1959 [
1960 text "
1961 Transition class
1962 "
1963 fontSize 14
1964 fontName "Consolas"
1965 alignment "left"
1966 anchor "tl"
1967 borderDistance 6
1968 ]
1969 ]
1970
1971 node
1972 [
1973 id 8
1974 graphics
1975 [
1976 w 112.2
1977 h 26
1978 type "rectangle"
1979 fill "#FFFFFF"
1980 fill2 "#FFFFFF"
1981 outline "#000000"
1982 ]
1983 LabelGraphics
1984 [
1985 text "New Integers"
1986 outline "#000000"
1987 fill "#FFFFFF"
1988 fontSize 16
1989 fontName "Monospace"
1990 autoSizePolicy "node_width"
1991 anchor "t"
1992 borderDistance 0.0
1993 ]
1994 LabelGraphics
1995 [
1996 text "
1997 "
1998 fontSize 14
1999 fontName "Consolas"
2000 alignment "left"
2001 anchor "tl"
2002 borderDistance 6
2003 ]
2004 ]
2005
2006 node
2007 [
2008 id 9
2009 graphics
2010 [
2011 w 85.80000000000001
2012 h 26
2013 type "rectangle"
2014 fill "#FFFFFF"
2015 fill2 "#FFFFFF"
2016 outline "#000000"
2017 ]
2018 LabelGraphics
2019 [
2020 text "New Reals"
2021 outline "#000000"
2022 fill "#FFFFFF"
2023 fontSize 16
2024 fontName "Monospace"
2025 autoSizePolicy "node_width"
2026 anchor "t"
2027 borderDistance 0.0
2028 ]
2029 LabelGraphics
2030 [
2031 text "
2032 "
2033 fontSize 14
2034 fontName "Consolas"
2035 alignment "left"
2036 anchor "tl"
2037 borderDistance 6
2038 ]
2039 ]
2040
2041 node
2042 [
2043 id 10
2044 graphics
2045 [
2046 w 103.4
2047 h 26
2048 type "rectangle"
2049 fill "#FFFFFF"
2050 fill2 "#FFFFFF"
2051 outline "#000000"
2052 ]
2053 LabelGraphics
2054 [
2055 text "New Strings"
2056 outline "#000000"
2057 fill "#FFFFFF"
2058 fontSize 16
2059 fontName "Monospace"
2060 autoSizePolicy "node_width"
2061 anchor "t"
2062 borderDistance 0.0
2063 ]
2064 LabelGraphics
2065 [
2066 text "
2067 "
2068 fontSize 14
2069 fontName "Consolas"
2070 alignment "left"
2071 anchor "tl"
2072 borderDistance 6
2073 ]
2074 ]
2075
2076 node
2077 [
2078 id 11
2079 graphics
2080 [
2081 w 103.4
2082 h 26
2083 type "rectangle"
2084 fill "#FFFFFF"
2085 fill2 "#FFFFFF"
2086 outline "#000000"
2087 ]
2088 LabelGraphics
2089 [
2090 text "New Objects"
2091 outline "#000000"
2092 fill "#FFFFFF"
2093 fontSize 16
2094 fontName "Monospace"
2095 autoSizePolicy "node_width"
2096 anchor "t"
2097 borderDistance 0.0
2098 ]
2099 LabelGraphics
2100 [
2101 text "
2102 "
2103 fontSize 14
2104 fontName "Consolas"
2105 alignment "left"
2106 anchor "tl"
2107 borderDistance 6
2108 ]
2109 ]
2110 edge
2111 [
2112 source 4
2113 target 7
2114 graphics
2115 [
2116 fill "#000000"
2117 targetArrow "standard"
2118 ]
2119 LabelGraphics
2120 [
2121 text "incomingTransitions reference Vertex"
2122 fontSize 14
2123 fontName "Consolas"
2124 configuration "AutoFlippingLabel"
2125 model "six_pos"
2126 position "thead"
2127 ]
2128 ]
2129 edge
2130 [
2131 source 5
2132 target 7
2133 graphics
2134 [
2135 fill "#000000"
2136 width 3
2137 targetArrow "standard"
2138 ]
2139 LabelGraphics
2140 [
2141 text "outgoingTransitions reference Vertex"
2142 fontSize 14
2143 fontName "Consolas"
2144 configuration "AutoFlippingLabel"
2145 model "six_pos"
2146 position "thead"
2147 ]
2148 ]
2149 edge
2150 [
2151 source 3
2152 target 4
2153 graphics
2154 [
2155 fill "#000000"
2156 width 3
2157 targetArrow "standard"
2158 ]
2159 LabelGraphics
2160 [
2161 text "vertices reference Region"
2162 fontSize 14
2163 fontName "Consolas"
2164 configuration "AutoFlippingLabel"
2165 model "six_pos"
2166 position "thead"
2167 ]
2168 ]
2169 edge
2170 [
2171 source 3
2172 target 5
2173 graphics
2174 [
2175 fill "#000000"
2176 width 3
2177 targetArrow "standard"
2178 ]
2179 LabelGraphics
2180 [
2181 text "vertices reference Region"
2182 fontSize 14
2183 fontName "Consolas"
2184 configuration "AutoFlippingLabel"
2185 model "six_pos"
2186 position "thead"
2187 ]
2188 ]
2189 edge
2190 [
2191 source 3
2192 target 6
2193 graphics
2194 [
2195 fill "#000000"
2196 width 3
2197 targetArrow "standard"
2198 ]
2199 LabelGraphics
2200 [
2201 text "vertices reference Region"
2202 fontSize 14
2203 fontName "Consolas"
2204 configuration "AutoFlippingLabel"
2205 model "six_pos"
2206 position "thead"
2207 ]
2208 ]
2209 edge
2210 [
2211 source 7
2212 target 4
2213 graphics
2214 [
2215 fill "#000000"
2216 targetArrow "standard"
2217 ]
2218 LabelGraphics
2219 [
2220 text "target reference Transition"
2221 fontSize 14
2222 fontName "Consolas"
2223 configuration "AutoFlippingLabel"
2224 model "six_pos"
2225 position "thead"
2226 ]
2227 ]
2228 edge
2229 [
2230 source 7
2231 target 5
2232 graphics
2233 [
2234 fill "#000000"
2235 targetArrow "standard"
2236 ]
2237 LabelGraphics
2238 [
2239 text "source reference Transition"
2240 fontSize 14
2241 fontName "Consolas"
2242 configuration "AutoFlippingLabel"
2243 model "six_pos"
2244 position "thead"
2245 ]
2246 ]
2247 edge
2248 [
2249 source 0
2250 target 3
2251 graphics
2252 [
2253 fill "#000000"
2254 width 3
2255 targetArrow "standard"
2256 ]
2257 LabelGraphics
2258 [
2259 text "regions reference CompositeElement"
2260 fontSize 14
2261 fontName "Consolas"
2262 configuration "AutoFlippingLabel"
2263 model "six_pos"
2264 position "thead"
2265 ]
2266 ]
2267]
2268graph
2269[
2270 node
2271 [
2272 id 0
2273 graphics
2274 [
2275 w 192.50000000000003
2276 h 54
2277 type "rectangle"
2278 fill "#FFFFFF"
2279 fill2 "#FFFFFF"
2280 outline "#000000"
2281 ]
2282 LabelGraphics
2283 [
2284 text "o 1"
2285 outline "#000000"
2286 fill "#FFFFFF"
2287 fontSize 16
2288 fontName "Monospace"
2289 autoSizePolicy "node_width"
2290 anchor "t"
2291 borderDistance 0.0
2292 ]
2293 LabelGraphics
2294 [
2295 text "
2296 Model class DefinedPart
2297 Model class
2298 "
2299 fontSize 14
2300 fontName "Consolas"
2301 alignment "left"
2302 anchor "tl"
2303 borderDistance 6
2304 ]
2305 ]
2306
2307 node
2308 [
2309 id 1
2310 graphics
2311 [
2312 w 41.800000000000004
2313 h 26
2314 type "rectangle"
2315 fill "#FFFFFF"
2316 fill2 "#FFFFFF"
2317 outline "#000000"
2318 ]
2319 LabelGraphics
2320 [
2321 text "true"
2322 outline "#000000"
2323 fill "#FFFFFF"
2324 fontSize 16
2325 fontName "Monospace"
2326 autoSizePolicy "node_width"
2327 anchor "t"
2328 borderDistance 0.0
2329 ]
2330 LabelGraphics
2331 [
2332 text "
2333 "
2334 fontSize 14
2335 fontName "Consolas"
2336 alignment "left"
2337 anchor "tl"
2338 borderDistance 6
2339 ]
2340 ]
2341
2342 node
2343 [
2344 id 2
2345 graphics
2346 [
2347 w 50.6
2348 h 26
2349 type "rectangle"
2350 fill "#FFFFFF"
2351 fill2 "#FFFFFF"
2352 outline "#000000"
2353 ]
2354 LabelGraphics
2355 [
2356 text "false"
2357 outline "#000000"
2358 fill "#FFFFFF"
2359 fontSize 16
2360 fontName "Monospace"
2361 autoSizePolicy "node_width"
2362 anchor "t"
2363 borderDistance 0.0
2364 ]
2365 LabelGraphics
2366 [
2367 text "
2368 "
2369 fontSize 14
2370 fontName "Consolas"
2371 alignment "left"
2372 anchor "tl"
2373 borderDistance 6
2374 ]
2375 ]
2376
2377 node
2378 [
2379 id 3
2380 graphics
2381 [
2382 w 123.20000000000002
2383 h 54
2384 type "rectangle"
2385 fill "#FFFFFF"
2386 fill2 "#FFFFFF"
2387 outline "#000000"
2388 ]
2389 LabelGraphics
2390 [
2391 text "null"
2392 outline "#000000"
2393 fill "#FFFFFF"
2394 fontSize 16
2395 fontName "Monospace"
2396 autoSizePolicy "node_width"
2397 anchor "t"
2398 borderDistance 0.0
2399 ]
2400 LabelGraphics
2401 [
2402 text "
2403 FSObject class
2404 Dir class
2405 "
2406 fontSize 14
2407 fontName "Consolas"
2408 alignment "left"
2409 anchor "tl"
2410 borderDistance 6
2411 ]
2412 ]
2413
2414 node
2415 [
2416 id 4
2417 graphics
2418 [
2419 w 138.60000000000002
2420 h 40
2421 type "rectangle"
2422 fill "#FFFFFF"
2423 fill2 "#FFFFFF"
2424 outline "#000000"
2425 ]
2426 LabelGraphics
2427 [
2428 text "null"
2429 outline "#000000"
2430 fill "#FFFFFF"
2431 fontSize 16
2432 fontName "Monospace"
2433 autoSizePolicy "node_width"
2434 anchor "t"
2435 borderDistance 0.0
2436 ]
2437 LabelGraphics
2438 [
2439 text "
2440 FileSystem class
2441 "
2442 fontSize 14
2443 fontName "Consolas"
2444 alignment "left"
2445 anchor "tl"
2446 borderDistance 6
2447 ]
2448 ]
2449
2450 node
2451 [
2452 id 5
2453 graphics
2454 [
2455 w 123.20000000000002
2456 h 54
2457 type "rectangle"
2458 fill "#FFFFFF"
2459 fill2 "#FFFFFF"
2460 outline "#000000"
2461 ]
2462 LabelGraphics
2463 [
2464 text "null"
2465 outline "#000000"
2466 fill "#FFFFFF"
2467 fontSize 16
2468 fontName "Monospace"
2469 autoSizePolicy "node_width"
2470 anchor "t"
2471 borderDistance 0.0
2472 ]
2473 LabelGraphics
2474 [
2475 text "
2476 FSObject class
2477 Dir class
2478 "
2479 fontSize 14
2480 fontName "Consolas"
2481 alignment "left"
2482 anchor "tl"
2483 borderDistance 6
2484 ]
2485 ]
2486
2487 node
2488 [
2489 id 6
2490 graphics
2491 [
2492 w 123.20000000000002
2493 h 54
2494 type "rectangle"
2495 fill "#FFFFFF"
2496 fill2 "#FFFFFF"
2497 outline "#000000"
2498 ]
2499 LabelGraphics
2500 [
2501 text "null"
2502 outline "#000000"
2503 fill "#FFFFFF"
2504 fontSize 16
2505 fontName "Monospace"
2506 autoSizePolicy "node_width"
2507 anchor "t"
2508 borderDistance 0.0
2509 ]
2510 LabelGraphics
2511 [
2512 text "
2513 FSObject class
2514 Dir class
2515 "
2516 fontSize 14
2517 fontName "Consolas"
2518 alignment "left"
2519 anchor "tl"
2520 borderDistance 6
2521 ]
2522 ]
2523
2524 node
2525 [
2526 id 7
2527 graphics
2528 [
2529 w 112.2
2530 h 26
2531 type "rectangle"
2532 fill "#FFFFFF"
2533 fill2 "#FFFFFF"
2534 outline "#000000"
2535 ]
2536 LabelGraphics
2537 [
2538 text "New Integers"
2539 outline "#000000"
2540 fill "#FFFFFF"
2541 fontSize 16
2542 fontName "Monospace"
2543 autoSizePolicy "node_width"
2544 anchor "t"
2545 borderDistance 0.0
2546 ]
2547 LabelGraphics
2548 [
2549 text "
2550 "
2551 fontSize 14
2552 fontName "Consolas"
2553 alignment "left"
2554 anchor "tl"
2555 borderDistance 6
2556 ]
2557 ]
2558
2559 node
2560 [
2561 id 8
2562 graphics
2563 [
2564 w 85.80000000000001
2565 h 26
2566 type "rectangle"
2567 fill "#FFFFFF"
2568 fill2 "#FFFFFF"
2569 outline "#000000"
2570 ]
2571 LabelGraphics
2572 [
2573 text "New Reals"
2574 outline "#000000"
2575 fill "#FFFFFF"
2576 fontSize 16
2577 fontName "Monospace"
2578 autoSizePolicy "node_width"
2579 anchor "t"
2580 borderDistance 0.0
2581 ]
2582 LabelGraphics
2583 [
2584 text "
2585 "
2586 fontSize 14
2587 fontName "Consolas"
2588 alignment "left"
2589 anchor "tl"
2590 borderDistance 6
2591 ]
2592 ]
2593
2594 node
2595 [
2596 id 9
2597 graphics
2598 [
2599 w 103.4
2600 h 26
2601 type "rectangle"
2602 fill "#FFFFFF"
2603 fill2 "#FFFFFF"
2604 outline "#000000"
2605 ]
2606 LabelGraphics
2607 [
2608 text "New Strings"
2609 outline "#000000"
2610 fill "#FFFFFF"
2611 fontSize 16
2612 fontName "Monospace"
2613 autoSizePolicy "node_width"
2614 anchor "t"
2615 borderDistance 0.0
2616 ]
2617 LabelGraphics
2618 [
2619 text "
2620 "
2621 fontSize 14
2622 fontName "Consolas"
2623 alignment "left"
2624 anchor "tl"
2625 borderDistance 6
2626 ]
2627 ]
2628
2629 node
2630 [
2631 id 10
2632 graphics
2633 [
2634 w 103.4
2635 h 26
2636 type "rectangle"
2637 fill "#FFFFFF"
2638 fill2 "#FFFFFF"
2639 outline "#000000"
2640 ]
2641 LabelGraphics
2642 [
2643 text "New Objects"
2644 outline "#000000"
2645 fill "#FFFFFF"
2646 fontSize 16
2647 fontName "Monospace"
2648 autoSizePolicy "node_width"
2649 anchor "t"
2650 borderDistance 0.0
2651 ]
2652 LabelGraphics
2653 [
2654 text "
2655 "
2656 fontSize 14
2657 fontName "Consolas"
2658 alignment "left"
2659 anchor "tl"
2660 borderDistance 6
2661 ]
2662 ]
2663 edge
2664 [
2665 source 4
2666 target 6
2667 graphics
2668 [
2669 fill "#000000"
2670 width 3
2671 targetArrow "standard"
2672 ]
2673 LabelGraphics
2674 [
2675 text "root reference FileSystem"
2676 fontSize 14
2677 fontName "Consolas"
2678 configuration "AutoFlippingLabel"
2679 model "six_pos"
2680 position "thead"
2681 ]
2682 ]
2683 edge
2684 [
2685 source 0
2686 target 4
2687 graphics
2688 [
2689 fill "#000000"
2690 width 3
2691 targetArrow "standard"
2692 ]
2693 LabelGraphics
2694 [
2695 text "filesystems reference Model"
2696 fontSize 14
2697 fontName "Consolas"
2698 configuration "AutoFlippingLabel"
2699 model "six_pos"
2700 position "thead"
2701 ]
2702 ]
2703 edge
2704 [
2705 source 0
2706 target 3
2707 graphics
2708 [
2709 fill "#000000"
2710 width 3
2711 targetArrow "standard"
2712 ]
2713 LabelGraphics
2714 [
2715 text "otherFSObjects reference Model"
2716 fontSize 14
2717 fontName "Consolas"
2718 configuration "AutoFlippingLabel"
2719 model "six_pos"
2720 position "thead"
2721 ]
2722 ]
2723 edge
2724 [
2725 source 0
2726 target 5
2727 graphics
2728 [
2729 fill "#000000"
2730 width 3
2731 targetArrow "standard"
2732 ]
2733 LabelGraphics
2734 [
2735 text "otherFSObjects reference Model"
2736 fontSize 14
2737 fontName "Consolas"
2738 configuration "AutoFlippingLabel"
2739 model "six_pos"
2740 position "thead"
2741 ]
2742 ]
2743]
2744graph
2745[
2746 node
2747 [
2748 id 0
2749 graphics
2750 [
2751 w 192.50000000000003
2752 h 54
2753 type "rectangle"
2754 fill "#FFFFFF"
2755 fill2 "#FFFFFF"
2756 outline "#000000"
2757 ]
2758 LabelGraphics
2759 [
2760 text "o 1"
2761 outline "#000000"
2762 fill "#FFFFFF"
2763 fontSize 16
2764 fontName "Monospace"
2765 autoSizePolicy "node_width"
2766 anchor "t"
2767 borderDistance 0.0
2768 ]
2769 LabelGraphics
2770 [
2771 text "
2772 Model class DefinedPart
2773 Model class
2774 "
2775 fontSize 14
2776 fontName "Consolas"
2777 alignment "left"
2778 anchor "tl"
2779 borderDistance 6
2780 ]
2781 ]
2782
2783 node
2784 [
2785 id 1
2786 graphics
2787 [
2788 w 41.800000000000004
2789 h 26
2790 type "rectangle"
2791 fill "#FFFFFF"
2792 fill2 "#FFFFFF"
2793 outline "#000000"
2794 ]
2795 LabelGraphics
2796 [
2797 text "true"
2798 outline "#000000"
2799 fill "#FFFFFF"
2800 fontSize 16
2801 fontName "Monospace"
2802 autoSizePolicy "node_width"
2803 anchor "t"
2804 borderDistance 0.0
2805 ]
2806 LabelGraphics
2807 [
2808 text "
2809 "
2810 fontSize 14
2811 fontName "Consolas"
2812 alignment "left"
2813 anchor "tl"
2814 borderDistance 6
2815 ]
2816 ]
2817
2818 node
2819 [
2820 id 2
2821 graphics
2822 [
2823 w 50.6
2824 h 26
2825 type "rectangle"
2826 fill "#FFFFFF"
2827 fill2 "#FFFFFF"
2828 outline "#000000"
2829 ]
2830 LabelGraphics
2831 [
2832 text "false"
2833 outline "#000000"
2834 fill "#FFFFFF"
2835 fontSize 16
2836 fontName "Monospace"
2837 autoSizePolicy "node_width"
2838 anchor "t"
2839 borderDistance 0.0
2840 ]
2841 LabelGraphics
2842 [
2843 text "
2844 "
2845 fontSize 14
2846 fontName "Consolas"
2847 alignment "left"
2848 anchor "tl"
2849 borderDistance 6
2850 ]
2851 ]
2852
2853 node
2854 [
2855 id 3
2856 graphics
2857 [
2858 w 123.20000000000002
2859 h 54
2860 type "rectangle"
2861 fill "#FFFFFF"
2862 fill2 "#FFFFFF"
2863 outline "#000000"
2864 ]
2865 LabelGraphics
2866 [
2867 text "null"
2868 outline "#000000"
2869 fill "#FFFFFF"
2870 fontSize 16
2871 fontName "Monospace"
2872 autoSizePolicy "node_width"
2873 anchor "t"
2874 borderDistance 0.0
2875 ]
2876 LabelGraphics
2877 [
2878 text "
2879 FSObject class
2880 File class
2881 "
2882 fontSize 14
2883 fontName "Consolas"
2884 alignment "left"
2885 anchor "tl"
2886 borderDistance 6
2887 ]
2888 ]
2889
2890 node
2891 [
2892 id 4
2893 graphics
2894 [
2895 w 138.60000000000002
2896 h 40
2897 type "rectangle"
2898 fill "#FFFFFF"
2899 fill2 "#FFFFFF"
2900 outline "#000000"
2901 ]
2902 LabelGraphics
2903 [
2904 text "null"
2905 outline "#000000"
2906 fill "#FFFFFF"
2907 fontSize 16
2908 fontName "Monospace"
2909 autoSizePolicy "node_width"
2910 anchor "t"
2911 borderDistance 0.0
2912 ]
2913 LabelGraphics
2914 [
2915 text "
2916 FileSystem class
2917 "
2918 fontSize 14
2919 fontName "Consolas"
2920 alignment "left"
2921 anchor "tl"
2922 borderDistance 6
2923 ]
2924 ]
2925
2926 node
2927 [
2928 id 5
2929 graphics
2930 [
2931 w 123.20000000000002
2932 h 54
2933 type "rectangle"
2934 fill "#FFFFFF"
2935 fill2 "#FFFFFF"
2936 outline "#000000"
2937 ]
2938 LabelGraphics
2939 [
2940 text "null"
2941 outline "#000000"
2942 fill "#FFFFFF"
2943 fontSize 16
2944 fontName "Monospace"
2945 autoSizePolicy "node_width"
2946 anchor "t"
2947 borderDistance 0.0
2948 ]
2949 LabelGraphics
2950 [
2951 text "
2952 FSObject class
2953 File class
2954 "
2955 fontSize 14
2956 fontName "Consolas"
2957 alignment "left"
2958 anchor "tl"
2959 borderDistance 6
2960 ]
2961 ]
2962
2963 node
2964 [
2965 id 6
2966 graphics
2967 [
2968 w 123.20000000000002
2969 h 54
2970 type "rectangle"
2971 fill "#FFFFFF"
2972 fill2 "#FFFFFF"
2973 outline "#000000"
2974 ]
2975 LabelGraphics
2976 [
2977 text "null"
2978 outline "#000000"
2979 fill "#FFFFFF"
2980 fontSize 16
2981 fontName "Monospace"
2982 autoSizePolicy "node_width"
2983 anchor "t"
2984 borderDistance 0.0
2985 ]
2986 LabelGraphics
2987 [
2988 text "
2989 FSObject class
2990 Dir class
2991 "
2992 fontSize 14
2993 fontName "Consolas"
2994 alignment "left"
2995 anchor "tl"
2996 borderDistance 6
2997 ]
2998 ]
2999
3000 node
3001 [
3002 id 7
3003 graphics
3004 [
3005 w 112.2
3006 h 26
3007 type "rectangle"
3008 fill "#FFFFFF"
3009 fill2 "#FFFFFF"
3010 outline "#000000"
3011 ]
3012 LabelGraphics
3013 [
3014 text "New Integers"
3015 outline "#000000"
3016 fill "#FFFFFF"
3017 fontSize 16
3018 fontName "Monospace"
3019 autoSizePolicy "node_width"
3020 anchor "t"
3021 borderDistance 0.0
3022 ]
3023 LabelGraphics
3024 [
3025 text "
3026 "
3027 fontSize 14
3028 fontName "Consolas"
3029 alignment "left"
3030 anchor "tl"
3031 borderDistance 6
3032 ]
3033 ]
3034
3035 node
3036 [
3037 id 8
3038 graphics
3039 [
3040 w 85.80000000000001
3041 h 26
3042 type "rectangle"
3043 fill "#FFFFFF"
3044 fill2 "#FFFFFF"
3045 outline "#000000"
3046 ]
3047 LabelGraphics
3048 [
3049 text "New Reals"
3050 outline "#000000"
3051 fill "#FFFFFF"
3052 fontSize 16
3053 fontName "Monospace"
3054 autoSizePolicy "node_width"
3055 anchor "t"
3056 borderDistance 0.0
3057 ]
3058 LabelGraphics
3059 [
3060 text "
3061 "
3062 fontSize 14
3063 fontName "Consolas"
3064 alignment "left"
3065 anchor "tl"
3066 borderDistance 6
3067 ]
3068 ]
3069
3070 node
3071 [
3072 id 9
3073 graphics
3074 [
3075 w 103.4
3076 h 26
3077 type "rectangle"
3078 fill "#FFFFFF"
3079 fill2 "#FFFFFF"
3080 outline "#000000"
3081 ]
3082 LabelGraphics
3083 [
3084 text "New Strings"
3085 outline "#000000"
3086 fill "#FFFFFF"
3087 fontSize 16
3088 fontName "Monospace"
3089 autoSizePolicy "node_width"
3090 anchor "t"
3091 borderDistance 0.0
3092 ]
3093 LabelGraphics
3094 [
3095 text "
3096 "
3097 fontSize 14
3098 fontName "Consolas"
3099 alignment "left"
3100 anchor "tl"
3101 borderDistance 6
3102 ]
3103 ]
3104
3105 node
3106 [
3107 id 10
3108 graphics
3109 [
3110 w 103.4
3111 h 26
3112 type "rectangle"
3113 fill "#FFFFFF"
3114 fill2 "#FFFFFF"
3115 outline "#000000"
3116 ]
3117 LabelGraphics
3118 [
3119 text "New Objects"
3120 outline "#000000"
3121 fill "#FFFFFF"
3122 fontSize 16
3123 fontName "Monospace"
3124 autoSizePolicy "node_width"
3125 anchor "t"
3126 borderDistance 0.0
3127 ]
3128 LabelGraphics
3129 [
3130 text "
3131 "
3132 fontSize 14
3133 fontName "Consolas"
3134 alignment "left"
3135 anchor "tl"
3136 borderDistance 6
3137 ]
3138 ]
3139 edge
3140 [
3141 source 4
3142 target 6
3143 graphics
3144 [
3145 fill "#000000"
3146 width 3
3147 targetArrow "standard"
3148 ]
3149 LabelGraphics
3150 [
3151 text "root reference FileSystem"
3152 fontSize 14
3153 fontName "Consolas"
3154 configuration "AutoFlippingLabel"
3155 model "six_pos"
3156 position "thead"
3157 ]
3158 ]
3159 edge
3160 [
3161 source 0
3162 target 4
3163 graphics
3164 [
3165 fill "#000000"
3166 width 3
3167 targetArrow "standard"
3168 ]
3169 LabelGraphics
3170 [
3171 text "filesystems reference Model"
3172 fontSize 14
3173 fontName "Consolas"
3174 configuration "AutoFlippingLabel"
3175 model "six_pos"
3176 position "thead"
3177 ]
3178 ]
3179 edge
3180 [
3181 source 0
3182 target 3
3183 graphics
3184 [
3185 fill "#000000"
3186 width 3
3187 targetArrow "standard"
3188 ]
3189 LabelGraphics
3190 [
3191 text "otherFSObjects reference Model"
3192 fontSize 14
3193 fontName "Consolas"
3194 configuration "AutoFlippingLabel"
3195 model "six_pos"
3196 position "thead"
3197 ]
3198 ]
3199 edge
3200 [
3201 source 0
3202 target 5
3203 graphics
3204 [
3205 fill "#000000"
3206 width 3
3207 targetArrow "standard"
3208 ]
3209 LabelGraphics
3210 [
3211 text "otherFSObjects reference Model"
3212 fontSize 14
3213 fontName "Consolas"
3214 configuration "AutoFlippingLabel"
3215 model "six_pos"
3216 position "thead"
3217 ]
3218 ]
3219]
3220graph
3221[
3222 node
3223 [
3224 id 0
3225 graphics
3226 [
3227 w 192.50000000000003
3228 h 54
3229 type "rectangle"
3230 fill "#FFFFFF"
3231 fill2 "#FFFFFF"
3232 outline "#000000"
3233 ]
3234 LabelGraphics
3235 [
3236 text "o 1"
3237 outline "#000000"
3238 fill "#FFFFFF"
3239 fontSize 16
3240 fontName "Monospace"
3241 autoSizePolicy "node_width"
3242 anchor "t"
3243 borderDistance 0.0
3244 ]
3245 LabelGraphics
3246 [
3247 text "
3248 Model class DefinedPart
3249 Model class
3250 "
3251 fontSize 14
3252 fontName "Consolas"
3253 alignment "left"
3254 anchor "tl"
3255 borderDistance 6
3256 ]
3257 ]
3258
3259 node
3260 [
3261 id 1
3262 graphics
3263 [
3264 w 41.800000000000004
3265 h 26
3266 type "rectangle"
3267 fill "#FFFFFF"
3268 fill2 "#FFFFFF"
3269 outline "#000000"
3270 ]
3271 LabelGraphics
3272 [
3273 text "true"
3274 outline "#000000"
3275 fill "#FFFFFF"
3276 fontSize 16
3277 fontName "Monospace"
3278 autoSizePolicy "node_width"
3279 anchor "t"
3280 borderDistance 0.0
3281 ]
3282 LabelGraphics
3283 [
3284 text "
3285 "
3286 fontSize 14
3287 fontName "Consolas"
3288 alignment "left"
3289 anchor "tl"
3290 borderDistance 6
3291 ]
3292 ]
3293
3294 node
3295 [
3296 id 2
3297 graphics
3298 [
3299 w 50.6
3300 h 26
3301 type "rectangle"
3302 fill "#FFFFFF"
3303 fill2 "#FFFFFF"
3304 outline "#000000"
3305 ]
3306 LabelGraphics
3307 [
3308 text "false"
3309 outline "#000000"
3310 fill "#FFFFFF"
3311 fontSize 16
3312 fontName "Monospace"
3313 autoSizePolicy "node_width"
3314 anchor "t"
3315 borderDistance 0.0
3316 ]
3317 LabelGraphics
3318 [
3319 text "
3320 "
3321 fontSize 14
3322 fontName "Consolas"
3323 alignment "left"
3324 anchor "tl"
3325 borderDistance 6
3326 ]
3327 ]
3328
3329 node
3330 [
3331 id 3
3332 graphics
3333 [
3334 w 123.20000000000002
3335 h 54
3336 type "rectangle"
3337 fill "#FFFFFF"
3338 fill2 "#FFFFFF"
3339 outline "#000000"
3340 ]
3341 LabelGraphics
3342 [
3343 text "null"
3344 outline "#000000"
3345 fill "#FFFFFF"
3346 fontSize 16
3347 fontName "Monospace"
3348 autoSizePolicy "node_width"
3349 anchor "t"
3350 borderDistance 0.0
3351 ]
3352 LabelGraphics
3353 [
3354 text "
3355 FSObject class
3356 File class
3357 "
3358 fontSize 14
3359 fontName "Consolas"
3360 alignment "left"
3361 anchor "tl"
3362 borderDistance 6
3363 ]
3364 ]
3365
3366 node
3367 [
3368 id 4
3369 graphics
3370 [
3371 w 138.60000000000002
3372 h 40
3373 type "rectangle"
3374 fill "#FFFFFF"
3375 fill2 "#FFFFFF"
3376 outline "#000000"
3377 ]
3378 LabelGraphics
3379 [
3380 text "null"
3381 outline "#000000"
3382 fill "#FFFFFF"
3383 fontSize 16
3384 fontName "Monospace"
3385 autoSizePolicy "node_width"
3386 anchor "t"
3387 borderDistance 0.0
3388 ]
3389 LabelGraphics
3390 [
3391 text "
3392 FileSystem class
3393 "
3394 fontSize 14
3395 fontName "Consolas"
3396 alignment "left"
3397 anchor "tl"
3398 borderDistance 6
3399 ]
3400 ]
3401
3402 node
3403 [
3404 id 5
3405 graphics
3406 [
3407 w 123.20000000000002
3408 h 54
3409 type "rectangle"
3410 fill "#FFFFFF"
3411 fill2 "#FFFFFF"
3412 outline "#000000"
3413 ]
3414 LabelGraphics
3415 [
3416 text "null"
3417 outline "#000000"
3418 fill "#FFFFFF"
3419 fontSize 16
3420 fontName "Monospace"
3421 autoSizePolicy "node_width"
3422 anchor "t"
3423 borderDistance 0.0
3424 ]
3425 LabelGraphics
3426 [
3427 text "
3428 FSObject class
3429 Dir class
3430 "
3431 fontSize 14
3432 fontName "Consolas"
3433 alignment "left"
3434 anchor "tl"
3435 borderDistance 6
3436 ]
3437 ]
3438
3439 node
3440 [
3441 id 6
3442 graphics
3443 [
3444 w 123.20000000000002
3445 h 54
3446 type "rectangle"
3447 fill "#FFFFFF"
3448 fill2 "#FFFFFF"
3449 outline "#000000"
3450 ]
3451 LabelGraphics
3452 [
3453 text "null"
3454 outline "#000000"
3455 fill "#FFFFFF"
3456 fontSize 16
3457 fontName "Monospace"
3458 autoSizePolicy "node_width"
3459 anchor "t"
3460 borderDistance 0.0
3461 ]
3462 LabelGraphics
3463 [
3464 text "
3465 FSObject class
3466 Dir class
3467 "
3468 fontSize 14
3469 fontName "Consolas"
3470 alignment "left"
3471 anchor "tl"
3472 borderDistance 6
3473 ]
3474 ]
3475
3476 node
3477 [
3478 id 7
3479 graphics
3480 [
3481 w 112.2
3482 h 26
3483 type "rectangle"
3484 fill "#FFFFFF"
3485 fill2 "#FFFFFF"
3486 outline "#000000"
3487 ]
3488 LabelGraphics
3489 [
3490 text "New Integers"
3491 outline "#000000"
3492 fill "#FFFFFF"
3493 fontSize 16
3494 fontName "Monospace"
3495 autoSizePolicy "node_width"
3496 anchor "t"
3497 borderDistance 0.0
3498 ]
3499 LabelGraphics
3500 [
3501 text "
3502 "
3503 fontSize 14
3504 fontName "Consolas"
3505 alignment "left"
3506 anchor "tl"
3507 borderDistance 6
3508 ]
3509 ]
3510
3511 node
3512 [
3513 id 8
3514 graphics
3515 [
3516 w 85.80000000000001
3517 h 26
3518 type "rectangle"
3519 fill "#FFFFFF"
3520 fill2 "#FFFFFF"
3521 outline "#000000"
3522 ]
3523 LabelGraphics
3524 [
3525 text "New Reals"
3526 outline "#000000"
3527 fill "#FFFFFF"
3528 fontSize 16
3529 fontName "Monospace"
3530 autoSizePolicy "node_width"
3531 anchor "t"
3532 borderDistance 0.0
3533 ]
3534 LabelGraphics
3535 [
3536 text "
3537 "
3538 fontSize 14
3539 fontName "Consolas"
3540 alignment "left"
3541 anchor "tl"
3542 borderDistance 6
3543 ]
3544 ]
3545
3546 node
3547 [
3548 id 9
3549 graphics
3550 [
3551 w 103.4
3552 h 26
3553 type "rectangle"
3554 fill "#FFFFFF"
3555 fill2 "#FFFFFF"
3556 outline "#000000"
3557 ]
3558 LabelGraphics
3559 [
3560 text "New Strings"
3561 outline "#000000"
3562 fill "#FFFFFF"
3563 fontSize 16
3564 fontName "Monospace"
3565 autoSizePolicy "node_width"
3566 anchor "t"
3567 borderDistance 0.0
3568 ]
3569 LabelGraphics
3570 [
3571 text "
3572 "
3573 fontSize 14
3574 fontName "Consolas"
3575 alignment "left"
3576 anchor "tl"
3577 borderDistance 6
3578 ]
3579 ]
3580
3581 node
3582 [
3583 id 10
3584 graphics
3585 [
3586 w 103.4
3587 h 26
3588 type "rectangle"
3589 fill "#FFFFFF"
3590 fill2 "#FFFFFF"
3591 outline "#000000"
3592 ]
3593 LabelGraphics
3594 [
3595 text "New Objects"
3596 outline "#000000"
3597 fill "#FFFFFF"
3598 fontSize 16
3599 fontName "Monospace"
3600 autoSizePolicy "node_width"
3601 anchor "t"
3602 borderDistance 0.0
3603 ]
3604 LabelGraphics
3605 [
3606 text "
3607 "
3608 fontSize 14
3609 fontName "Consolas"
3610 alignment "left"
3611 anchor "tl"
3612 borderDistance 6
3613 ]
3614 ]
3615 edge
3616 [
3617 source 4
3618 target 6
3619 graphics
3620 [
3621 fill "#000000"
3622 width 3
3623 targetArrow "standard"
3624 ]
3625 LabelGraphics
3626 [
3627 text "root reference FileSystem"
3628 fontSize 14
3629 fontName "Consolas"
3630 configuration "AutoFlippingLabel"
3631 model "six_pos"
3632 position "thead"
3633 ]
3634 ]
3635 edge
3636 [
3637 source 0
3638 target 4
3639 graphics
3640 [
3641 fill "#000000"
3642 width 3
3643 targetArrow "standard"
3644 ]
3645 LabelGraphics
3646 [
3647 text "filesystems reference Model"
3648 fontSize 14
3649 fontName "Consolas"
3650 configuration "AutoFlippingLabel"
3651 model "six_pos"
3652 position "thead"
3653 ]
3654 ]
3655 edge
3656 [
3657 source 0
3658 target 3
3659 graphics
3660 [
3661 fill "#000000"
3662 width 3
3663 targetArrow "standard"
3664 ]
3665 LabelGraphics
3666 [
3667 text "otherFSObjects reference Model"
3668 fontSize 14
3669 fontName "Consolas"
3670 configuration "AutoFlippingLabel"
3671 model "six_pos"
3672 position "thead"
3673 ]
3674 ]
3675 edge
3676 [
3677 source 0
3678 target 5
3679 graphics
3680 [
3681 fill "#000000"
3682 width 3
3683 targetArrow "standard"
3684 ]
3685 LabelGraphics
3686 [
3687 text "otherFSObjects reference Model"
3688 fontSize 14
3689 fontName "Consolas"
3690 configuration "AutoFlippingLabel"
3691 model "six_pos"
3692 position "thead"
3693 ]
3694 ]
3695]
3696graph
3697[
3698 node
3699 [
3700 id 0
3701 graphics
3702 [
3703 w 192.50000000000003
3704 h 54
3705 type "rectangle"
3706 fill "#FFFFFF"
3707 fill2 "#FFFFFF"
3708 outline "#000000"
3709 ]
3710 LabelGraphics
3711 [
3712 text "o 1"
3713 outline "#000000"
3714 fill "#FFFFFF"
3715 fontSize 16
3716 fontName "Monospace"
3717 autoSizePolicy "node_width"
3718 anchor "t"
3719 borderDistance 0.0
3720 ]
3721 LabelGraphics
3722 [
3723 text "
3724 Model class DefinedPart
3725 Model class
3726 "
3727 fontSize 14
3728 fontName "Consolas"
3729 alignment "left"
3730 anchor "tl"
3731 borderDistance 6
3732 ]
3733 ]
3734
3735 node
3736 [
3737 id 1
3738 graphics
3739 [
3740 w 41.800000000000004
3741 h 26
3742 type "rectangle"
3743 fill "#FFFFFF"
3744 fill2 "#FFFFFF"
3745 outline "#000000"
3746 ]
3747 LabelGraphics
3748 [
3749 text "true"
3750 outline "#000000"
3751 fill "#FFFFFF"
3752 fontSize 16
3753 fontName "Monospace"
3754 autoSizePolicy "node_width"
3755 anchor "t"
3756 borderDistance 0.0
3757 ]
3758 LabelGraphics
3759 [
3760 text "
3761 "
3762 fontSize 14
3763 fontName "Consolas"
3764 alignment "left"
3765 anchor "tl"
3766 borderDistance 6
3767 ]
3768 ]
3769
3770 node
3771 [
3772 id 2
3773 graphics
3774 [
3775 w 50.6
3776 h 26
3777 type "rectangle"
3778 fill "#FFFFFF"
3779 fill2 "#FFFFFF"
3780 outline "#000000"
3781 ]
3782 LabelGraphics
3783 [
3784 text "false"
3785 outline "#000000"
3786 fill "#FFFFFF"
3787 fontSize 16
3788 fontName "Monospace"
3789 autoSizePolicy "node_width"
3790 anchor "t"
3791 borderDistance 0.0
3792 ]
3793 LabelGraphics
3794 [
3795 text "
3796 "
3797 fontSize 14
3798 fontName "Consolas"
3799 alignment "left"
3800 anchor "tl"
3801 borderDistance 6
3802 ]
3803 ]
3804
3805 node
3806 [
3807 id 3
3808 graphics
3809 [
3810 w 138.60000000000002
3811 h 40
3812 type "rectangle"
3813 fill "#FFFFFF"
3814 fill2 "#FFFFFF"
3815 outline "#000000"
3816 ]
3817 LabelGraphics
3818 [
3819 text "null"
3820 outline "#000000"
3821 fill "#FFFFFF"
3822 fontSize 16
3823 fontName "Monospace"
3824 autoSizePolicy "node_width"
3825 anchor "t"
3826 borderDistance 0.0
3827 ]
3828 LabelGraphics
3829 [
3830 text "
3831 FileSystem class
3832 "
3833 fontSize 14
3834 fontName "Consolas"
3835 alignment "left"
3836 anchor "tl"
3837 borderDistance 6
3838 ]
3839 ]
3840
3841 node
3842 [
3843 id 4
3844 graphics
3845 [
3846 w 123.20000000000002
3847 h 54
3848 type "rectangle"
3849 fill "#FFFFFF"
3850 fill2 "#FFFFFF"
3851 outline "#000000"
3852 ]
3853 LabelGraphics
3854 [
3855 text "null"
3856 outline "#000000"
3857 fill "#FFFFFF"
3858 fontSize 16
3859 fontName "Monospace"
3860 autoSizePolicy "node_width"
3861 anchor "t"
3862 borderDistance 0.0
3863 ]
3864 LabelGraphics
3865 [
3866 text "
3867 FSObject class
3868 Dir class
3869 "
3870 fontSize 14
3871 fontName "Consolas"
3872 alignment "left"
3873 anchor "tl"
3874 borderDistance 6
3875 ]
3876 ]
3877
3878 node
3879 [
3880 id 5
3881 graphics
3882 [
3883 w 123.20000000000002
3884 h 54
3885 type "rectangle"
3886 fill "#FFFFFF"
3887 fill2 "#FFFFFF"
3888 outline "#000000"
3889 ]
3890 LabelGraphics
3891 [
3892 text "null"
3893 outline "#000000"
3894 fill "#FFFFFF"
3895 fontSize 16
3896 fontName "Monospace"
3897 autoSizePolicy "node_width"
3898 anchor "t"
3899 borderDistance 0.0
3900 ]
3901 LabelGraphics
3902 [
3903 text "
3904 FSObject class
3905 File class
3906 "
3907 fontSize 14
3908 fontName "Consolas"
3909 alignment "left"
3910 anchor "tl"
3911 borderDistance 6
3912 ]
3913 ]
3914
3915 node
3916 [
3917 id 6
3918 graphics
3919 [
3920 w 123.20000000000002
3921 h 54
3922 type "rectangle"
3923 fill "#FFFFFF"
3924 fill2 "#FFFFFF"
3925 outline "#000000"
3926 ]
3927 LabelGraphics
3928 [
3929 text "null"
3930 outline "#000000"
3931 fill "#FFFFFF"
3932 fontSize 16
3933 fontName "Monospace"
3934 autoSizePolicy "node_width"
3935 anchor "t"
3936 borderDistance 0.0
3937 ]
3938 LabelGraphics
3939 [
3940 text "
3941 FSObject class
3942 File class
3943 "
3944 fontSize 14
3945 fontName "Consolas"
3946 alignment "left"
3947 anchor "tl"
3948 borderDistance 6
3949 ]
3950 ]
3951
3952 node
3953 [
3954 id 7
3955 graphics
3956 [
3957 w 112.2
3958 h 26
3959 type "rectangle"
3960 fill "#FFFFFF"
3961 fill2 "#FFFFFF"
3962 outline "#000000"
3963 ]
3964 LabelGraphics
3965 [
3966 text "New Integers"
3967 outline "#000000"
3968 fill "#FFFFFF"
3969 fontSize 16
3970 fontName "Monospace"
3971 autoSizePolicy "node_width"
3972 anchor "t"
3973 borderDistance 0.0
3974 ]
3975 LabelGraphics
3976 [
3977 text "
3978 "
3979 fontSize 14
3980 fontName "Consolas"
3981 alignment "left"
3982 anchor "tl"
3983 borderDistance 6
3984 ]
3985 ]
3986
3987 node
3988 [
3989 id 8
3990 graphics
3991 [
3992 w 85.80000000000001
3993 h 26
3994 type "rectangle"
3995 fill "#FFFFFF"
3996 fill2 "#FFFFFF"
3997 outline "#000000"
3998 ]
3999 LabelGraphics
4000 [
4001 text "New Reals"
4002 outline "#000000"
4003 fill "#FFFFFF"
4004 fontSize 16
4005 fontName "Monospace"
4006 autoSizePolicy "node_width"
4007 anchor "t"
4008 borderDistance 0.0
4009 ]
4010 LabelGraphics
4011 [
4012 text "
4013 "
4014 fontSize 14
4015 fontName "Consolas"
4016 alignment "left"
4017 anchor "tl"
4018 borderDistance 6
4019 ]
4020 ]
4021
4022 node
4023 [
4024 id 9
4025 graphics
4026 [
4027 w 103.4
4028 h 26
4029 type "rectangle"
4030 fill "#FFFFFF"
4031 fill2 "#FFFFFF"
4032 outline "#000000"
4033 ]
4034 LabelGraphics
4035 [
4036 text "New Strings"
4037 outline "#000000"
4038 fill "#FFFFFF"
4039 fontSize 16
4040 fontName "Monospace"
4041 autoSizePolicy "node_width"
4042 anchor "t"
4043 borderDistance 0.0
4044 ]
4045 LabelGraphics
4046 [
4047 text "
4048 "
4049 fontSize 14
4050 fontName "Consolas"
4051 alignment "left"
4052 anchor "tl"
4053 borderDistance 6
4054 ]
4055 ]
4056
4057 node
4058 [
4059 id 10
4060 graphics
4061 [
4062 w 103.4
4063 h 26
4064 type "rectangle"
4065 fill "#FFFFFF"
4066 fill2 "#FFFFFF"
4067 outline "#000000"
4068 ]
4069 LabelGraphics
4070 [
4071 text "New Objects"
4072 outline "#000000"
4073 fill "#FFFFFF"
4074 fontSize 16
4075 fontName "Monospace"
4076 autoSizePolicy "node_width"
4077 anchor "t"
4078 borderDistance 0.0
4079 ]
4080 LabelGraphics
4081 [
4082 text "
4083 "
4084 fontSize 14
4085 fontName "Consolas"
4086 alignment "left"
4087 anchor "tl"
4088 borderDistance 6
4089 ]
4090 ]
4091 edge
4092 [
4093 source 3
4094 target 4
4095 graphics
4096 [
4097 fill "#000000"
4098 width 3
4099 targetArrow "standard"
4100 ]
4101 LabelGraphics
4102 [
4103 text "root reference FileSystem"
4104 fontSize 14
4105 fontName "Consolas"
4106 configuration "AutoFlippingLabel"
4107 model "six_pos"
4108 position "thead"
4109 ]
4110 ]
4111 edge
4112 [
4113 source 0
4114 target 3
4115 graphics
4116 [
4117 fill "#000000"
4118 width 3
4119 targetArrow "standard"
4120 ]
4121 LabelGraphics
4122 [
4123 text "filesystems reference Model"
4124 fontSize 14
4125 fontName "Consolas"
4126 configuration "AutoFlippingLabel"
4127 model "six_pos"
4128 position "thead"
4129 ]
4130 ]
4131 edge
4132 [
4133 source 0
4134 target 5
4135 graphics
4136 [
4137 fill "#000000"
4138 width 3
4139 targetArrow "standard"
4140 ]
4141 LabelGraphics
4142 [
4143 text "otherFSObjects reference Model"
4144 fontSize 14
4145 fontName "Consolas"
4146 configuration "AutoFlippingLabel"
4147 model "six_pos"
4148 position "thead"
4149 ]
4150 ]
4151 edge
4152 [
4153 source 0
4154 target 6
4155 graphics
4156 [
4157 fill "#000000"
4158 width 3
4159 targetArrow "standard"
4160 ]
4161 LabelGraphics
4162 [
4163 text "otherFSObjects reference Model"
4164 fontSize 14
4165 fontName "Consolas"
4166 configuration "AutoFlippingLabel"
4167 model "six_pos"
4168 position "thead"
4169 ]
4170 ]
4171]
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/models/2.png b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/models/2.png
index 38dadff8..1fddfd99 100644
--- a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/models/2.png
+++ b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/models/2.png
Binary files differ
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/models/2.xmi b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/models/2.xmi
index bc0e55cc..6b9900e2 100644
--- a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/models/2.xmi
+++ b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/models/2.xmi
@@ -1,9 +1,8 @@
1<?xml version="1.0" encoding="ASCII"?> 1<?xml version="1.0" encoding="ASCII"?>
2<yakindu:Statechart xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:yakindu="YakinduMetamodel"> 2<filesystem:Model xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:filesystem="FileSystemMetamodel">
3 <regions> 3 <filesystems>
4 <vertices xsi:type="yakindu:Synchronization"/> 4 <root/>
5 </regions> 5 </filesystems>
6 <regions> 6 <otherFSObjects xsi:type="filesystem:File"/>
7 <vertices xsi:type="yakindu:FinalState"/> 7 <otherFSObjects xsi:type="filesystem:File"/>
8 </regions> 8</filesystem:Model>
9</yakindu:Statechart>
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-01 10:07:32 +0000