aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/models/1.gml
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>2019-02-16 15:45:14 -0500
commit1da40b0bf07319bdb2e9a89f8d7d6ecfbc638952 (patch)
tree65a3cd74ed278d8af013c0e8a8c4d6ba920c3192 /Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/models/1.gml
parentSet up #19 (diff)
downloadVIATRA-Generator-1da40b0bf07319bdb2e9a89f8d7d6ecfbc638952.tar.gz
VIATRA-Generator-1da40b0bf07319bdb2e9a89f8d7d6ecfbc638952.tar.zst
VIATRA-Generator-1da40b0bf07319bdb2e9a89f8d7d6ecfbc638952.zip
Integrate queries partially #19
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/models/1.gml')
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/models/1.gml4304
1 files changed, 4304 insertions, 0 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]
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-25 16:08:24 +0000