aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/models/2.gml
diff options
context:
space:
mode:
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/models/2.gml')
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/models/2.gml3692
1 files changed, 3692 insertions, 0 deletions
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]
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-09-06 00:15:28 +0000