diff options
author | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-02-03 15:20:02 -0500 |
---|---|---|
committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-06-07 19:44:44 -0400 |
commit | 8e461ef60f59a2cb57ddca31a0b785c1b046e63a (patch) | |
tree | ff27d80e7fc391a155fe70c0bd46d6da028c4b37 /Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/models/4.gml | |
parent | VAMPIRE: Further Post-submission updates (diff) | |
download | VIATRA-Generator-8e461ef60f59a2cb57ddca31a0b785c1b046e63a.tar.gz VIATRA-Generator-8e461ef60f59a2cb57ddca31a0b785c1b046e63a.tar.zst VIATRA-Generator-8e461ef60f59a2cb57ddca31a0b785c1b046e63a.zip |
VAMPIRE: last commit
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/models/4.gml')
-rw-r--r-- | Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/models/4.gml | 2505 |
1 files changed, 2505 insertions, 0 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/models/4.gml b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/models/4.gml index f41692fc..8b6731b7 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/models/4.gml +++ b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/models/4.gml | |||
@@ -11761,3 +11761,2508 @@ graph | |||
11761 | ] | 11761 | ] |
11762 | ] | 11762 | ] |
11763 | ] | 11763 | ] |
11764 | graph | ||
11765 | [ | ||
11766 | node | ||
11767 | [ | ||
11768 | id 0 | ||
11769 | graphics | ||
11770 | [ | ||
11771 | w 226.60000000000002 | ||
11772 | h 40 | ||
11773 | type "rectangle" | ||
11774 | fill "#FFFFFF" | ||
11775 | fill2 "#FFFFFF" | ||
11776 | outline "#000000" | ||
11777 | ] | ||
11778 | LabelGraphics | ||
11779 | [ | ||
11780 | text "Root literal FunctionType" | ||
11781 | outline "#000000" | ||
11782 | fill "#FFFFFF" | ||
11783 | fontSize 16 | ||
11784 | fontName "Monospace" | ||
11785 | autoSizePolicy "node_width" | ||
11786 | anchor "t" | ||
11787 | borderDistance 0.0 | ||
11788 | ] | ||
11789 | LabelGraphics | ||
11790 | [ | ||
11791 | text " | ||
11792 | FunctionType enum | ||
11793 | " | ||
11794 | fontSize 14 | ||
11795 | fontName "Consolas" | ||
11796 | alignment "left" | ||
11797 | anchor "tl" | ||
11798 | borderDistance 6 | ||
11799 | ] | ||
11800 | ] | ||
11801 | |||
11802 | node | ||
11803 | [ | ||
11804 | id 1 | ||
11805 | graphics | ||
11806 | [ | ||
11807 | w 297.0 | ||
11808 | h 40 | ||
11809 | type "rectangle" | ||
11810 | fill "#FFFFFF" | ||
11811 | fill2 "#FFFFFF" | ||
11812 | outline "#000000" | ||
11813 | ] | ||
11814 | LabelGraphics | ||
11815 | [ | ||
11816 | text "Intermediate literal FunctionType" | ||
11817 | outline "#000000" | ||
11818 | fill "#FFFFFF" | ||
11819 | fontSize 16 | ||
11820 | fontName "Monospace" | ||
11821 | autoSizePolicy "node_width" | ||
11822 | anchor "t" | ||
11823 | borderDistance 0.0 | ||
11824 | ] | ||
11825 | LabelGraphics | ||
11826 | [ | ||
11827 | text " | ||
11828 | FunctionType enum | ||
11829 | " | ||
11830 | fontSize 14 | ||
11831 | fontName "Consolas" | ||
11832 | alignment "left" | ||
11833 | anchor "tl" | ||
11834 | borderDistance 6 | ||
11835 | ] | ||
11836 | ] | ||
11837 | |||
11838 | node | ||
11839 | [ | ||
11840 | id 2 | ||
11841 | graphics | ||
11842 | [ | ||
11843 | w 226.60000000000002 | ||
11844 | h 40 | ||
11845 | type "rectangle" | ||
11846 | fill "#FFFFFF" | ||
11847 | fill2 "#FFFFFF" | ||
11848 | outline "#000000" | ||
11849 | ] | ||
11850 | LabelGraphics | ||
11851 | [ | ||
11852 | text "Leaf literal FunctionType" | ||
11853 | outline "#000000" | ||
11854 | fill "#FFFFFF" | ||
11855 | fontSize 16 | ||
11856 | fontName "Monospace" | ||
11857 | autoSizePolicy "node_width" | ||
11858 | anchor "t" | ||
11859 | borderDistance 0.0 | ||
11860 | ] | ||
11861 | LabelGraphics | ||
11862 | [ | ||
11863 | text " | ||
11864 | FunctionType enum | ||
11865 | " | ||
11866 | fontSize 14 | ||
11867 | fontName "Consolas" | ||
11868 | alignment "left" | ||
11869 | anchor "tl" | ||
11870 | borderDistance 6 | ||
11871 | ] | ||
11872 | ] | ||
11873 | |||
11874 | node | ||
11875 | [ | ||
11876 | id 3 | ||
11877 | graphics | ||
11878 | [ | ||
11879 | w 41.800000000000004 | ||
11880 | h 26 | ||
11881 | type "rectangle" | ||
11882 | fill "#FFFFFF" | ||
11883 | fill2 "#FFFFFF" | ||
11884 | outline "#000000" | ||
11885 | ] | ||
11886 | LabelGraphics | ||
11887 | [ | ||
11888 | text "true" | ||
11889 | outline "#000000" | ||
11890 | fill "#FFFFFF" | ||
11891 | fontSize 16 | ||
11892 | fontName "Monospace" | ||
11893 | autoSizePolicy "node_width" | ||
11894 | anchor "t" | ||
11895 | borderDistance 0.0 | ||
11896 | ] | ||
11897 | LabelGraphics | ||
11898 | [ | ||
11899 | text " | ||
11900 | " | ||
11901 | fontSize 14 | ||
11902 | fontName "Consolas" | ||
11903 | alignment "left" | ||
11904 | anchor "tl" | ||
11905 | borderDistance 6 | ||
11906 | ] | ||
11907 | ] | ||
11908 | |||
11909 | node | ||
11910 | [ | ||
11911 | id 4 | ||
11912 | graphics | ||
11913 | [ | ||
11914 | w 50.6 | ||
11915 | h 26 | ||
11916 | type "rectangle" | ||
11917 | fill "#FFFFFF" | ||
11918 | fill2 "#FFFFFF" | ||
11919 | outline "#000000" | ||
11920 | ] | ||
11921 | LabelGraphics | ||
11922 | [ | ||
11923 | text "false" | ||
11924 | outline "#000000" | ||
11925 | fill "#FFFFFF" | ||
11926 | fontSize 16 | ||
11927 | fontName "Monospace" | ||
11928 | autoSizePolicy "node_width" | ||
11929 | anchor "t" | ||
11930 | borderDistance 0.0 | ||
11931 | ] | ||
11932 | LabelGraphics | ||
11933 | [ | ||
11934 | text " | ||
11935 | " | ||
11936 | fontSize 14 | ||
11937 | fontName "Consolas" | ||
11938 | alignment "left" | ||
11939 | anchor "tl" | ||
11940 | borderDistance 6 | ||
11941 | ] | ||
11942 | ] | ||
11943 | |||
11944 | node | ||
11945 | [ | ||
11946 | id 5 | ||
11947 | graphics | ||
11948 | [ | ||
11949 | w 207.9 | ||
11950 | h 40 | ||
11951 | type "rectangle" | ||
11952 | fill "#FFFFFF" | ||
11953 | fill2 "#FFFFFF" | ||
11954 | outline "#000000" | ||
11955 | ] | ||
11956 | LabelGraphics | ||
11957 | [ | ||
11958 | text "null" | ||
11959 | outline "#000000" | ||
11960 | fill "#FFFFFF" | ||
11961 | fontSize 16 | ||
11962 | fontName "Monospace" | ||
11963 | autoSizePolicy "node_width" | ||
11964 | anchor "t" | ||
11965 | borderDistance 0.0 | ||
11966 | ] | ||
11967 | LabelGraphics | ||
11968 | [ | ||
11969 | text " | ||
11970 | FunctionalInterface class | ||
11971 | " | ||
11972 | fontSize 14 | ||
11973 | fontName "Consolas" | ||
11974 | alignment "left" | ||
11975 | anchor "tl" | ||
11976 | borderDistance 6 | ||
11977 | ] | ||
11978 | ] | ||
11979 | |||
11980 | node | ||
11981 | [ | ||
11982 | id 6 | ||
11983 | graphics | ||
11984 | [ | ||
11985 | w 177.10000000000002 | ||
11986 | h 54 | ||
11987 | type "rectangle" | ||
11988 | fill "#FFFFFF" | ||
11989 | fill2 "#FFFFFF" | ||
11990 | outline "#000000" | ||
11991 | ] | ||
11992 | LabelGraphics | ||
11993 | [ | ||
11994 | text "null" | ||
11995 | outline "#000000" | ||
11996 | fill "#FFFFFF" | ||
11997 | fontSize 16 | ||
11998 | fontName "Monospace" | ||
11999 | autoSizePolicy "node_width" | ||
12000 | anchor "t" | ||
12001 | borderDistance 0.0 | ||
12002 | ] | ||
12003 | LabelGraphics | ||
12004 | [ | ||
12005 | text " | ||
12006 | FunctionalInput class | ||
12007 | FunctionalData class | ||
12008 | " | ||
12009 | fontSize 14 | ||
12010 | fontName "Consolas" | ||
12011 | alignment "left" | ||
12012 | anchor "tl" | ||
12013 | borderDistance 6 | ||
12014 | ] | ||
12015 | ] | ||
12016 | |||
12017 | node | ||
12018 | [ | ||
12019 | id 7 | ||
12020 | graphics | ||
12021 | [ | ||
12022 | w 184.8 | ||
12023 | h 54 | ||
12024 | type "rectangle" | ||
12025 | fill "#FFFFFF" | ||
12026 | fill2 "#FFFFFF" | ||
12027 | outline "#000000" | ||
12028 | ] | ||
12029 | LabelGraphics | ||
12030 | [ | ||
12031 | text "null" | ||
12032 | outline "#000000" | ||
12033 | fill "#FFFFFF" | ||
12034 | fontSize 16 | ||
12035 | fontName "Monospace" | ||
12036 | autoSizePolicy "node_width" | ||
12037 | anchor "t" | ||
12038 | borderDistance 0.0 | ||
12039 | ] | ||
12040 | LabelGraphics | ||
12041 | [ | ||
12042 | text " | ||
12043 | FunctionalOutput class | ||
12044 | FunctionalData class | ||
12045 | " | ||
12046 | fontSize 14 | ||
12047 | fontName "Consolas" | ||
12048 | alignment "left" | ||
12049 | anchor "tl" | ||
12050 | borderDistance 6 | ||
12051 | ] | ||
12052 | ] | ||
12053 | |||
12054 | node | ||
12055 | [ | ||
12056 | id 8 | ||
12057 | graphics | ||
12058 | [ | ||
12059 | w 184.8 | ||
12060 | h 54 | ||
12061 | type "rectangle" | ||
12062 | fill "#FFFFFF" | ||
12063 | fill2 "#FFFFFF" | ||
12064 | outline "#000000" | ||
12065 | ] | ||
12066 | LabelGraphics | ||
12067 | [ | ||
12068 | text "null" | ||
12069 | outline "#000000" | ||
12070 | fill "#FFFFFF" | ||
12071 | fontSize 16 | ||
12072 | fontName "Monospace" | ||
12073 | autoSizePolicy "node_width" | ||
12074 | anchor "t" | ||
12075 | borderDistance 0.0 | ||
12076 | ] | ||
12077 | LabelGraphics | ||
12078 | [ | ||
12079 | text " | ||
12080 | FunctionalOutput class | ||
12081 | FunctionalData class | ||
12082 | " | ||
12083 | fontSize 14 | ||
12084 | fontName "Consolas" | ||
12085 | alignment "left" | ||
12086 | anchor "tl" | ||
12087 | borderDistance 6 | ||
12088 | ] | ||
12089 | ] | ||
12090 | |||
12091 | node | ||
12092 | [ | ||
12093 | id 9 | ||
12094 | graphics | ||
12095 | [ | ||
12096 | w 177.10000000000002 | ||
12097 | h 40 | ||
12098 | type "rectangle" | ||
12099 | fill "#FFFFFF" | ||
12100 | fill2 "#FFFFFF" | ||
12101 | outline "#000000" | ||
12102 | ] | ||
12103 | LabelGraphics | ||
12104 | [ | ||
12105 | text "null" | ||
12106 | outline "#000000" | ||
12107 | fill "#FFFFFF" | ||
12108 | fontSize 16 | ||
12109 | fontName "Monospace" | ||
12110 | autoSizePolicy "node_width" | ||
12111 | anchor "t" | ||
12112 | borderDistance 0.0 | ||
12113 | ] | ||
12114 | LabelGraphics | ||
12115 | [ | ||
12116 | text " | ||
12117 | InformationLink class | ||
12118 | " | ||
12119 | fontSize 14 | ||
12120 | fontName "Consolas" | ||
12121 | alignment "left" | ||
12122 | anchor "tl" | ||
12123 | borderDistance 6 | ||
12124 | ] | ||
12125 | ] | ||
12126 | |||
12127 | node | ||
12128 | [ | ||
12129 | id 10 | ||
12130 | graphics | ||
12131 | [ | ||
12132 | w 161.70000000000002 | ||
12133 | h 40 | ||
12134 | type "rectangle" | ||
12135 | fill "#FFFFFF" | ||
12136 | fill2 "#FFFFFF" | ||
12137 | outline "#000000" | ||
12138 | ] | ||
12139 | LabelGraphics | ||
12140 | [ | ||
12141 | text "null" | ||
12142 | outline "#000000" | ||
12143 | fill "#FFFFFF" | ||
12144 | fontSize 16 | ||
12145 | fontName "Monospace" | ||
12146 | autoSizePolicy "node_width" | ||
12147 | anchor "t" | ||
12148 | borderDistance 0.0 | ||
12149 | ] | ||
12150 | LabelGraphics | ||
12151 | [ | ||
12152 | text " | ||
12153 | FAMTerminator class | ||
12154 | " | ||
12155 | fontSize 14 | ||
12156 | fontName "Consolas" | ||
12157 | alignment "left" | ||
12158 | anchor "tl" | ||
12159 | borderDistance 6 | ||
12160 | ] | ||
12161 | ] | ||
12162 | |||
12163 | node | ||
12164 | [ | ||
12165 | id 11 | ||
12166 | graphics | ||
12167 | [ | ||
12168 | w 161.70000000000002 | ||
12169 | h 40 | ||
12170 | type "rectangle" | ||
12171 | fill "#FFFFFF" | ||
12172 | fill2 "#FFFFFF" | ||
12173 | outline "#000000" | ||
12174 | ] | ||
12175 | LabelGraphics | ||
12176 | [ | ||
12177 | text "null" | ||
12178 | outline "#000000" | ||
12179 | fill "#FFFFFF" | ||
12180 | fontSize 16 | ||
12181 | fontName "Monospace" | ||
12182 | autoSizePolicy "node_width" | ||
12183 | anchor "t" | ||
12184 | borderDistance 0.0 | ||
12185 | ] | ||
12186 | LabelGraphics | ||
12187 | [ | ||
12188 | text " | ||
12189 | FAMTerminator class | ||
12190 | " | ||
12191 | fontSize 14 | ||
12192 | fontName "Consolas" | ||
12193 | alignment "left" | ||
12194 | anchor "tl" | ||
12195 | borderDistance 6 | ||
12196 | ] | ||
12197 | ] | ||
12198 | |||
12199 | node | ||
12200 | [ | ||
12201 | id 12 | ||
12202 | graphics | ||
12203 | [ | ||
12204 | w 112.2 | ||
12205 | h 26 | ||
12206 | type "rectangle" | ||
12207 | fill "#FFFFFF" | ||
12208 | fill2 "#FFFFFF" | ||
12209 | outline "#000000" | ||
12210 | ] | ||
12211 | LabelGraphics | ||
12212 | [ | ||
12213 | text "New Integers" | ||
12214 | outline "#000000" | ||
12215 | fill "#FFFFFF" | ||
12216 | fontSize 16 | ||
12217 | fontName "Monospace" | ||
12218 | autoSizePolicy "node_width" | ||
12219 | anchor "t" | ||
12220 | borderDistance 0.0 | ||
12221 | ] | ||
12222 | LabelGraphics | ||
12223 | [ | ||
12224 | text " | ||
12225 | " | ||
12226 | fontSize 14 | ||
12227 | fontName "Consolas" | ||
12228 | alignment "left" | ||
12229 | anchor "tl" | ||
12230 | borderDistance 6 | ||
12231 | ] | ||
12232 | ] | ||
12233 | |||
12234 | node | ||
12235 | [ | ||
12236 | id 13 | ||
12237 | graphics | ||
12238 | [ | ||
12239 | w 85.80000000000001 | ||
12240 | h 26 | ||
12241 | type "rectangle" | ||
12242 | fill "#FFFFFF" | ||
12243 | fill2 "#FFFFFF" | ||
12244 | outline "#000000" | ||
12245 | ] | ||
12246 | LabelGraphics | ||
12247 | [ | ||
12248 | text "New Reals" | ||
12249 | outline "#000000" | ||
12250 | fill "#FFFFFF" | ||
12251 | fontSize 16 | ||
12252 | fontName "Monospace" | ||
12253 | autoSizePolicy "node_width" | ||
12254 | anchor "t" | ||
12255 | borderDistance 0.0 | ||
12256 | ] | ||
12257 | LabelGraphics | ||
12258 | [ | ||
12259 | text " | ||
12260 | " | ||
12261 | fontSize 14 | ||
12262 | fontName "Consolas" | ||
12263 | alignment "left" | ||
12264 | anchor "tl" | ||
12265 | borderDistance 6 | ||
12266 | ] | ||
12267 | ] | ||
12268 | |||
12269 | node | ||
12270 | [ | ||
12271 | id 14 | ||
12272 | graphics | ||
12273 | [ | ||
12274 | w 103.4 | ||
12275 | h 26 | ||
12276 | type "rectangle" | ||
12277 | fill "#FFFFFF" | ||
12278 | fill2 "#FFFFFF" | ||
12279 | outline "#000000" | ||
12280 | ] | ||
12281 | LabelGraphics | ||
12282 | [ | ||
12283 | text "New Strings" | ||
12284 | outline "#000000" | ||
12285 | fill "#FFFFFF" | ||
12286 | fontSize 16 | ||
12287 | fontName "Monospace" | ||
12288 | autoSizePolicy "node_width" | ||
12289 | anchor "t" | ||
12290 | borderDistance 0.0 | ||
12291 | ] | ||
12292 | LabelGraphics | ||
12293 | [ | ||
12294 | text " | ||
12295 | " | ||
12296 | fontSize 14 | ||
12297 | fontName "Consolas" | ||
12298 | alignment "left" | ||
12299 | anchor "tl" | ||
12300 | borderDistance 6 | ||
12301 | ] | ||
12302 | ] | ||
12303 | |||
12304 | node | ||
12305 | [ | ||
12306 | id 15 | ||
12307 | graphics | ||
12308 | [ | ||
12309 | w 103.4 | ||
12310 | h 26 | ||
12311 | type "rectangle" | ||
12312 | fill "#FFFFFF" | ||
12313 | fill2 "#FFFFFF" | ||
12314 | outline "#000000" | ||
12315 | ] | ||
12316 | LabelGraphics | ||
12317 | [ | ||
12318 | text "New Objects" | ||
12319 | outline "#000000" | ||
12320 | fill "#FFFFFF" | ||
12321 | fontSize 16 | ||
12322 | fontName "Monospace" | ||
12323 | autoSizePolicy "node_width" | ||
12324 | anchor "t" | ||
12325 | borderDistance 0.0 | ||
12326 | ] | ||
12327 | LabelGraphics | ||
12328 | [ | ||
12329 | text " | ||
12330 | " | ||
12331 | fontSize 14 | ||
12332 | fontName "Consolas" | ||
12333 | alignment "left" | ||
12334 | anchor "tl" | ||
12335 | borderDistance 6 | ||
12336 | ] | ||
12337 | ] | ||
12338 | edge | ||
12339 | [ | ||
12340 | source 10 | ||
12341 | target 8 | ||
12342 | graphics | ||
12343 | [ | ||
12344 | fill "#000000" | ||
12345 | targetArrow "standard" | ||
12346 | ] | ||
12347 | LabelGraphics | ||
12348 | [ | ||
12349 | text "data reference FAMTerminator" | ||
12350 | fontSize 14 | ||
12351 | fontName "Consolas" | ||
12352 | configuration "AutoFlippingLabel" | ||
12353 | model "six_pos" | ||
12354 | position "thead" | ||
12355 | ] | ||
12356 | ] | ||
12357 | edge | ||
12358 | [ | ||
12359 | source 11 | ||
12360 | target 6 | ||
12361 | graphics | ||
12362 | [ | ||
12363 | fill "#000000" | ||
12364 | targetArrow "standard" | ||
12365 | ] | ||
12366 | LabelGraphics | ||
12367 | [ | ||
12368 | text "data reference FAMTerminator" | ||
12369 | fontSize 14 | ||
12370 | fontName "Consolas" | ||
12371 | configuration "AutoFlippingLabel" | ||
12372 | model "six_pos" | ||
12373 | position "thead" | ||
12374 | ] | ||
12375 | ] | ||
12376 | edge | ||
12377 | [ | ||
12378 | source 9 | ||
12379 | target 8 | ||
12380 | graphics | ||
12381 | [ | ||
12382 | fill "#000000" | ||
12383 | targetArrow "standard" | ||
12384 | ] | ||
12385 | LabelGraphics | ||
12386 | [ | ||
12387 | text "from reference InformationLink" | ||
12388 | fontSize 14 | ||
12389 | fontName "Consolas" | ||
12390 | configuration "AutoFlippingLabel" | ||
12391 | model "six_pos" | ||
12392 | position "thead" | ||
12393 | ] | ||
12394 | ] | ||
12395 | edge | ||
12396 | [ | ||
12397 | source 9 | ||
12398 | target 6 | ||
12399 | graphics | ||
12400 | [ | ||
12401 | fill "#000000" | ||
12402 | targetArrow "standard" | ||
12403 | ] | ||
12404 | LabelGraphics | ||
12405 | [ | ||
12406 | text "to reference InformationLink" | ||
12407 | fontSize 14 | ||
12408 | fontName "Consolas" | ||
12409 | configuration "AutoFlippingLabel" | ||
12410 | model "six_pos" | ||
12411 | position "thead" | ||
12412 | ] | ||
12413 | ] | ||
12414 | edge | ||
12415 | [ | ||
12416 | source 5 | ||
12417 | target 6 | ||
12418 | graphics | ||
12419 | [ | ||
12420 | fill "#000000" | ||
12421 | width 3 | ||
12422 | targetArrow "standard" | ||
12423 | ] | ||
12424 | LabelGraphics | ||
12425 | [ | ||
12426 | text "data reference FunctionalInterface" | ||
12427 | fontSize 14 | ||
12428 | fontName "Consolas" | ||
12429 | configuration "AutoFlippingLabel" | ||
12430 | model "six_pos" | ||
12431 | position "thead" | ||
12432 | ] | ||
12433 | ] | ||
12434 | edge | ||
12435 | [ | ||
12436 | source 5 | ||
12437 | target 7 | ||
12438 | graphics | ||
12439 | [ | ||
12440 | fill "#000000" | ||
12441 | width 3 | ||
12442 | targetArrow "standard" | ||
12443 | ] | ||
12444 | LabelGraphics | ||
12445 | [ | ||
12446 | text "data reference FunctionalInterface" | ||
12447 | fontSize 14 | ||
12448 | fontName "Consolas" | ||
12449 | configuration "AutoFlippingLabel" | ||
12450 | model "six_pos" | ||
12451 | position "thead" | ||
12452 | ] | ||
12453 | ] | ||
12454 | edge | ||
12455 | [ | ||
12456 | source 5 | ||
12457 | target 8 | ||
12458 | graphics | ||
12459 | [ | ||
12460 | fill "#000000" | ||
12461 | width 3 | ||
12462 | targetArrow "standard" | ||
12463 | ] | ||
12464 | LabelGraphics | ||
12465 | [ | ||
12466 | text "data reference FunctionalInterface" | ||
12467 | fontSize 14 | ||
12468 | fontName "Consolas" | ||
12469 | configuration "AutoFlippingLabel" | ||
12470 | model "six_pos" | ||
12471 | position "thead" | ||
12472 | ] | ||
12473 | ] | ||
12474 | edge | ||
12475 | [ | ||
12476 | source 6 | ||
12477 | target 9 | ||
12478 | graphics | ||
12479 | [ | ||
12480 | fill "#000000" | ||
12481 | targetArrow "standard" | ||
12482 | ] | ||
12483 | LabelGraphics | ||
12484 | [ | ||
12485 | text "IncomingLinks reference FunctionalInput" | ||
12486 | fontSize 14 | ||
12487 | fontName "Consolas" | ||
12488 | configuration "AutoFlippingLabel" | ||
12489 | model "six_pos" | ||
12490 | position "thead" | ||
12491 | ] | ||
12492 | ] | ||
12493 | edge | ||
12494 | [ | ||
12495 | source 8 | ||
12496 | target 9 | ||
12497 | graphics | ||
12498 | [ | ||
12499 | fill "#000000" | ||
12500 | width 3 | ||
12501 | targetArrow "standard" | ||
12502 | ] | ||
12503 | LabelGraphics | ||
12504 | [ | ||
12505 | text "outgoingLinks reference FunctionalOutput" | ||
12506 | fontSize 14 | ||
12507 | fontName "Consolas" | ||
12508 | configuration "AutoFlippingLabel" | ||
12509 | model "six_pos" | ||
12510 | position "thead" | ||
12511 | ] | ||
12512 | ] | ||
12513 | edge | ||
12514 | [ | ||
12515 | source 8 | ||
12516 | target 10 | ||
12517 | graphics | ||
12518 | [ | ||
12519 | fill "#000000" | ||
12520 | width 3 | ||
12521 | targetArrow "standard" | ||
12522 | ] | ||
12523 | LabelGraphics | ||
12524 | [ | ||
12525 | text "terminator reference FunctionalData" | ||
12526 | fontSize 14 | ||
12527 | fontName "Consolas" | ||
12528 | configuration "AutoFlippingLabel" | ||
12529 | model "six_pos" | ||
12530 | position "thead" | ||
12531 | ] | ||
12532 | ] | ||
12533 | edge | ||
12534 | [ | ||
12535 | source 6 | ||
12536 | target 11 | ||
12537 | graphics | ||
12538 | [ | ||
12539 | fill "#000000" | ||
12540 | width 3 | ||
12541 | targetArrow "standard" | ||
12542 | ] | ||
12543 | LabelGraphics | ||
12544 | [ | ||
12545 | text "terminator reference FunctionalData" | ||
12546 | fontSize 14 | ||
12547 | fontName "Consolas" | ||
12548 | configuration "AutoFlippingLabel" | ||
12549 | model "six_pos" | ||
12550 | position "thead" | ||
12551 | ] | ||
12552 | ] | ||
12553 | edge | ||
12554 | [ | ||
12555 | source 6 | ||
12556 | target 5 | ||
12557 | graphics | ||
12558 | [ | ||
12559 | fill "#000000" | ||
12560 | targetArrow "standard" | ||
12561 | ] | ||
12562 | LabelGraphics | ||
12563 | [ | ||
12564 | text "interface reference FunctionalData" | ||
12565 | fontSize 14 | ||
12566 | fontName "Consolas" | ||
12567 | configuration "AutoFlippingLabel" | ||
12568 | model "six_pos" | ||
12569 | position "thead" | ||
12570 | ] | ||
12571 | ] | ||
12572 | edge | ||
12573 | [ | ||
12574 | source 7 | ||
12575 | target 5 | ||
12576 | graphics | ||
12577 | [ | ||
12578 | fill "#000000" | ||
12579 | targetArrow "standard" | ||
12580 | ] | ||
12581 | LabelGraphics | ||
12582 | [ | ||
12583 | text "interface reference FunctionalData" | ||
12584 | fontSize 14 | ||
12585 | fontName "Consolas" | ||
12586 | configuration "AutoFlippingLabel" | ||
12587 | model "six_pos" | ||
12588 | position "thead" | ||
12589 | ] | ||
12590 | ] | ||
12591 | edge | ||
12592 | [ | ||
12593 | source 8 | ||
12594 | target 5 | ||
12595 | graphics | ||
12596 | [ | ||
12597 | fill "#000000" | ||
12598 | targetArrow "standard" | ||
12599 | ] | ||
12600 | LabelGraphics | ||
12601 | [ | ||
12602 | text "interface reference FunctionalData" | ||
12603 | fontSize 14 | ||
12604 | fontName "Consolas" | ||
12605 | configuration "AutoFlippingLabel" | ||
12606 | model "six_pos" | ||
12607 | position "thead" | ||
12608 | ] | ||
12609 | ] | ||
12610 | ] | ||
12611 | graph | ||
12612 | [ | ||
12613 | node | ||
12614 | [ | ||
12615 | id 0 | ||
12616 | graphics | ||
12617 | [ | ||
12618 | w 226.60000000000002 | ||
12619 | h 40 | ||
12620 | type "rectangle" | ||
12621 | fill "#FFFFFF" | ||
12622 | fill2 "#FFFFFF" | ||
12623 | outline "#000000" | ||
12624 | ] | ||
12625 | LabelGraphics | ||
12626 | [ | ||
12627 | text "Root literal FunctionType" | ||
12628 | outline "#000000" | ||
12629 | fill "#FFFFFF" | ||
12630 | fontSize 16 | ||
12631 | fontName "Monospace" | ||
12632 | autoSizePolicy "node_width" | ||
12633 | anchor "t" | ||
12634 | borderDistance 0.0 | ||
12635 | ] | ||
12636 | LabelGraphics | ||
12637 | [ | ||
12638 | text " | ||
12639 | FunctionType enum | ||
12640 | " | ||
12641 | fontSize 14 | ||
12642 | fontName "Consolas" | ||
12643 | alignment "left" | ||
12644 | anchor "tl" | ||
12645 | borderDistance 6 | ||
12646 | ] | ||
12647 | ] | ||
12648 | |||
12649 | node | ||
12650 | [ | ||
12651 | id 1 | ||
12652 | graphics | ||
12653 | [ | ||
12654 | w 297.0 | ||
12655 | h 40 | ||
12656 | type "rectangle" | ||
12657 | fill "#FFFFFF" | ||
12658 | fill2 "#FFFFFF" | ||
12659 | outline "#000000" | ||
12660 | ] | ||
12661 | LabelGraphics | ||
12662 | [ | ||
12663 | text "Intermediate literal FunctionType" | ||
12664 | outline "#000000" | ||
12665 | fill "#FFFFFF" | ||
12666 | fontSize 16 | ||
12667 | fontName "Monospace" | ||
12668 | autoSizePolicy "node_width" | ||
12669 | anchor "t" | ||
12670 | borderDistance 0.0 | ||
12671 | ] | ||
12672 | LabelGraphics | ||
12673 | [ | ||
12674 | text " | ||
12675 | FunctionType enum | ||
12676 | " | ||
12677 | fontSize 14 | ||
12678 | fontName "Consolas" | ||
12679 | alignment "left" | ||
12680 | anchor "tl" | ||
12681 | borderDistance 6 | ||
12682 | ] | ||
12683 | ] | ||
12684 | |||
12685 | node | ||
12686 | [ | ||
12687 | id 2 | ||
12688 | graphics | ||
12689 | [ | ||
12690 | w 226.60000000000002 | ||
12691 | h 40 | ||
12692 | type "rectangle" | ||
12693 | fill "#FFFFFF" | ||
12694 | fill2 "#FFFFFF" | ||
12695 | outline "#000000" | ||
12696 | ] | ||
12697 | LabelGraphics | ||
12698 | [ | ||
12699 | text "Leaf literal FunctionType" | ||
12700 | outline "#000000" | ||
12701 | fill "#FFFFFF" | ||
12702 | fontSize 16 | ||
12703 | fontName "Monospace" | ||
12704 | autoSizePolicy "node_width" | ||
12705 | anchor "t" | ||
12706 | borderDistance 0.0 | ||
12707 | ] | ||
12708 | LabelGraphics | ||
12709 | [ | ||
12710 | text " | ||
12711 | FunctionType enum | ||
12712 | " | ||
12713 | fontSize 14 | ||
12714 | fontName "Consolas" | ||
12715 | alignment "left" | ||
12716 | anchor "tl" | ||
12717 | borderDistance 6 | ||
12718 | ] | ||
12719 | ] | ||
12720 | |||
12721 | node | ||
12722 | [ | ||
12723 | id 3 | ||
12724 | graphics | ||
12725 | [ | ||
12726 | w 41.800000000000004 | ||
12727 | h 26 | ||
12728 | type "rectangle" | ||
12729 | fill "#FFFFFF" | ||
12730 | fill2 "#FFFFFF" | ||
12731 | outline "#000000" | ||
12732 | ] | ||
12733 | LabelGraphics | ||
12734 | [ | ||
12735 | text "true" | ||
12736 | outline "#000000" | ||
12737 | fill "#FFFFFF" | ||
12738 | fontSize 16 | ||
12739 | fontName "Monospace" | ||
12740 | autoSizePolicy "node_width" | ||
12741 | anchor "t" | ||
12742 | borderDistance 0.0 | ||
12743 | ] | ||
12744 | LabelGraphics | ||
12745 | [ | ||
12746 | text " | ||
12747 | " | ||
12748 | fontSize 14 | ||
12749 | fontName "Consolas" | ||
12750 | alignment "left" | ||
12751 | anchor "tl" | ||
12752 | borderDistance 6 | ||
12753 | ] | ||
12754 | ] | ||
12755 | |||
12756 | node | ||
12757 | [ | ||
12758 | id 4 | ||
12759 | graphics | ||
12760 | [ | ||
12761 | w 50.6 | ||
12762 | h 26 | ||
12763 | type "rectangle" | ||
12764 | fill "#FFFFFF" | ||
12765 | fill2 "#FFFFFF" | ||
12766 | outline "#000000" | ||
12767 | ] | ||
12768 | LabelGraphics | ||
12769 | [ | ||
12770 | text "false" | ||
12771 | outline "#000000" | ||
12772 | fill "#FFFFFF" | ||
12773 | fontSize 16 | ||
12774 | fontName "Monospace" | ||
12775 | autoSizePolicy "node_width" | ||
12776 | anchor "t" | ||
12777 | borderDistance 0.0 | ||
12778 | ] | ||
12779 | LabelGraphics | ||
12780 | [ | ||
12781 | text " | ||
12782 | " | ||
12783 | fontSize 14 | ||
12784 | fontName "Consolas" | ||
12785 | alignment "left" | ||
12786 | anchor "tl" | ||
12787 | borderDistance 6 | ||
12788 | ] | ||
12789 | ] | ||
12790 | |||
12791 | node | ||
12792 | [ | ||
12793 | id 5 | ||
12794 | graphics | ||
12795 | [ | ||
12796 | w 207.9 | ||
12797 | h 40 | ||
12798 | type "rectangle" | ||
12799 | fill "#FFFFFF" | ||
12800 | fill2 "#FFFFFF" | ||
12801 | outline "#000000" | ||
12802 | ] | ||
12803 | LabelGraphics | ||
12804 | [ | ||
12805 | text "null" | ||
12806 | outline "#000000" | ||
12807 | fill "#FFFFFF" | ||
12808 | fontSize 16 | ||
12809 | fontName "Monospace" | ||
12810 | autoSizePolicy "node_width" | ||
12811 | anchor "t" | ||
12812 | borderDistance 0.0 | ||
12813 | ] | ||
12814 | LabelGraphics | ||
12815 | [ | ||
12816 | text " | ||
12817 | FunctionalInterface class | ||
12818 | " | ||
12819 | fontSize 14 | ||
12820 | fontName "Consolas" | ||
12821 | alignment "left" | ||
12822 | anchor "tl" | ||
12823 | borderDistance 6 | ||
12824 | ] | ||
12825 | ] | ||
12826 | |||
12827 | node | ||
12828 | [ | ||
12829 | id 6 | ||
12830 | graphics | ||
12831 | [ | ||
12832 | w 177.10000000000002 | ||
12833 | h 54 | ||
12834 | type "rectangle" | ||
12835 | fill "#FFFFFF" | ||
12836 | fill2 "#FFFFFF" | ||
12837 | outline "#000000" | ||
12838 | ] | ||
12839 | LabelGraphics | ||
12840 | [ | ||
12841 | text "null" | ||
12842 | outline "#000000" | ||
12843 | fill "#FFFFFF" | ||
12844 | fontSize 16 | ||
12845 | fontName "Monospace" | ||
12846 | autoSizePolicy "node_width" | ||
12847 | anchor "t" | ||
12848 | borderDistance 0.0 | ||
12849 | ] | ||
12850 | LabelGraphics | ||
12851 | [ | ||
12852 | text " | ||
12853 | FunctionalInput class | ||
12854 | FunctionalData class | ||
12855 | " | ||
12856 | fontSize 14 | ||
12857 | fontName "Consolas" | ||
12858 | alignment "left" | ||
12859 | anchor "tl" | ||
12860 | borderDistance 6 | ||
12861 | ] | ||
12862 | ] | ||
12863 | |||
12864 | node | ||
12865 | [ | ||
12866 | id 7 | ||
12867 | graphics | ||
12868 | [ | ||
12869 | w 177.10000000000002 | ||
12870 | h 54 | ||
12871 | type "rectangle" | ||
12872 | fill "#FFFFFF" | ||
12873 | fill2 "#FFFFFF" | ||
12874 | outline "#000000" | ||
12875 | ] | ||
12876 | LabelGraphics | ||
12877 | [ | ||
12878 | text "null" | ||
12879 | outline "#000000" | ||
12880 | fill "#FFFFFF" | ||
12881 | fontSize 16 | ||
12882 | fontName "Monospace" | ||
12883 | autoSizePolicy "node_width" | ||
12884 | anchor "t" | ||
12885 | borderDistance 0.0 | ||
12886 | ] | ||
12887 | LabelGraphics | ||
12888 | [ | ||
12889 | text " | ||
12890 | FunctionalInput class | ||
12891 | FunctionalData class | ||
12892 | " | ||
12893 | fontSize 14 | ||
12894 | fontName "Consolas" | ||
12895 | alignment "left" | ||
12896 | anchor "tl" | ||
12897 | borderDistance 6 | ||
12898 | ] | ||
12899 | ] | ||
12900 | |||
12901 | node | ||
12902 | [ | ||
12903 | id 8 | ||
12904 | graphics | ||
12905 | [ | ||
12906 | w 161.70000000000002 | ||
12907 | h 40 | ||
12908 | type "rectangle" | ||
12909 | fill "#FFFFFF" | ||
12910 | fill2 "#FFFFFF" | ||
12911 | outline "#000000" | ||
12912 | ] | ||
12913 | LabelGraphics | ||
12914 | [ | ||
12915 | text "null" | ||
12916 | outline "#000000" | ||
12917 | fill "#FFFFFF" | ||
12918 | fontSize 16 | ||
12919 | fontName "Monospace" | ||
12920 | autoSizePolicy "node_width" | ||
12921 | anchor "t" | ||
12922 | borderDistance 0.0 | ||
12923 | ] | ||
12924 | LabelGraphics | ||
12925 | [ | ||
12926 | text " | ||
12927 | FAMTerminator class | ||
12928 | " | ||
12929 | fontSize 14 | ||
12930 | fontName "Consolas" | ||
12931 | alignment "left" | ||
12932 | anchor "tl" | ||
12933 | borderDistance 6 | ||
12934 | ] | ||
12935 | ] | ||
12936 | |||
12937 | node | ||
12938 | [ | ||
12939 | id 9 | ||
12940 | graphics | ||
12941 | [ | ||
12942 | w 177.10000000000002 | ||
12943 | h 54 | ||
12944 | type "rectangle" | ||
12945 | fill "#FFFFFF" | ||
12946 | fill2 "#FFFFFF" | ||
12947 | outline "#000000" | ||
12948 | ] | ||
12949 | LabelGraphics | ||
12950 | [ | ||
12951 | text "null" | ||
12952 | outline "#000000" | ||
12953 | fill "#FFFFFF" | ||
12954 | fontSize 16 | ||
12955 | fontName "Monospace" | ||
12956 | autoSizePolicy "node_width" | ||
12957 | anchor "t" | ||
12958 | borderDistance 0.0 | ||
12959 | ] | ||
12960 | LabelGraphics | ||
12961 | [ | ||
12962 | text " | ||
12963 | FunctionalInput class | ||
12964 | FunctionalData class | ||
12965 | " | ||
12966 | fontSize 14 | ||
12967 | fontName "Consolas" | ||
12968 | alignment "left" | ||
12969 | anchor "tl" | ||
12970 | borderDistance 6 | ||
12971 | ] | ||
12972 | ] | ||
12973 | |||
12974 | node | ||
12975 | [ | ||
12976 | id 10 | ||
12977 | graphics | ||
12978 | [ | ||
12979 | w 184.8 | ||
12980 | h 54 | ||
12981 | type "rectangle" | ||
12982 | fill "#FFFFFF" | ||
12983 | fill2 "#FFFFFF" | ||
12984 | outline "#000000" | ||
12985 | ] | ||
12986 | LabelGraphics | ||
12987 | [ | ||
12988 | text "null" | ||
12989 | outline "#000000" | ||
12990 | fill "#FFFFFF" | ||
12991 | fontSize 16 | ||
12992 | fontName "Monospace" | ||
12993 | autoSizePolicy "node_width" | ||
12994 | anchor "t" | ||
12995 | borderDistance 0.0 | ||
12996 | ] | ||
12997 | LabelGraphics | ||
12998 | [ | ||
12999 | text " | ||
13000 | FunctionalOutput class | ||
13001 | FunctionalData class | ||
13002 | " | ||
13003 | fontSize 14 | ||
13004 | fontName "Consolas" | ||
13005 | alignment "left" | ||
13006 | anchor "tl" | ||
13007 | borderDistance 6 | ||
13008 | ] | ||
13009 | ] | ||
13010 | |||
13011 | node | ||
13012 | [ | ||
13013 | id 11 | ||
13014 | graphics | ||
13015 | [ | ||
13016 | w 177.10000000000002 | ||
13017 | h 40 | ||
13018 | type "rectangle" | ||
13019 | fill "#FFFFFF" | ||
13020 | fill2 "#FFFFFF" | ||
13021 | outline "#000000" | ||
13022 | ] | ||
13023 | LabelGraphics | ||
13024 | [ | ||
13025 | text "null" | ||
13026 | outline "#000000" | ||
13027 | fill "#FFFFFF" | ||
13028 | fontSize 16 | ||
13029 | fontName "Monospace" | ||
13030 | autoSizePolicy "node_width" | ||
13031 | anchor "t" | ||
13032 | borderDistance 0.0 | ||
13033 | ] | ||
13034 | LabelGraphics | ||
13035 | [ | ||
13036 | text " | ||
13037 | InformationLink class | ||
13038 | " | ||
13039 | fontSize 14 | ||
13040 | fontName "Consolas" | ||
13041 | alignment "left" | ||
13042 | anchor "tl" | ||
13043 | borderDistance 6 | ||
13044 | ] | ||
13045 | ] | ||
13046 | |||
13047 | node | ||
13048 | [ | ||
13049 | id 12 | ||
13050 | graphics | ||
13051 | [ | ||
13052 | w 112.2 | ||
13053 | h 26 | ||
13054 | type "rectangle" | ||
13055 | fill "#FFFFFF" | ||
13056 | fill2 "#FFFFFF" | ||
13057 | outline "#000000" | ||
13058 | ] | ||
13059 | LabelGraphics | ||
13060 | [ | ||
13061 | text "New Integers" | ||
13062 | outline "#000000" | ||
13063 | fill "#FFFFFF" | ||
13064 | fontSize 16 | ||
13065 | fontName "Monospace" | ||
13066 | autoSizePolicy "node_width" | ||
13067 | anchor "t" | ||
13068 | borderDistance 0.0 | ||
13069 | ] | ||
13070 | LabelGraphics | ||
13071 | [ | ||
13072 | text " | ||
13073 | " | ||
13074 | fontSize 14 | ||
13075 | fontName "Consolas" | ||
13076 | alignment "left" | ||
13077 | anchor "tl" | ||
13078 | borderDistance 6 | ||
13079 | ] | ||
13080 | ] | ||
13081 | |||
13082 | node | ||
13083 | [ | ||
13084 | id 13 | ||
13085 | graphics | ||
13086 | [ | ||
13087 | w 85.80000000000001 | ||
13088 | h 26 | ||
13089 | type "rectangle" | ||
13090 | fill "#FFFFFF" | ||
13091 | fill2 "#FFFFFF" | ||
13092 | outline "#000000" | ||
13093 | ] | ||
13094 | LabelGraphics | ||
13095 | [ | ||
13096 | text "New Reals" | ||
13097 | outline "#000000" | ||
13098 | fill "#FFFFFF" | ||
13099 | fontSize 16 | ||
13100 | fontName "Monospace" | ||
13101 | autoSizePolicy "node_width" | ||
13102 | anchor "t" | ||
13103 | borderDistance 0.0 | ||
13104 | ] | ||
13105 | LabelGraphics | ||
13106 | [ | ||
13107 | text " | ||
13108 | " | ||
13109 | fontSize 14 | ||
13110 | fontName "Consolas" | ||
13111 | alignment "left" | ||
13112 | anchor "tl" | ||
13113 | borderDistance 6 | ||
13114 | ] | ||
13115 | ] | ||
13116 | |||
13117 | node | ||
13118 | [ | ||
13119 | id 14 | ||
13120 | graphics | ||
13121 | [ | ||
13122 | w 103.4 | ||
13123 | h 26 | ||
13124 | type "rectangle" | ||
13125 | fill "#FFFFFF" | ||
13126 | fill2 "#FFFFFF" | ||
13127 | outline "#000000" | ||
13128 | ] | ||
13129 | LabelGraphics | ||
13130 | [ | ||
13131 | text "New Strings" | ||
13132 | outline "#000000" | ||
13133 | fill "#FFFFFF" | ||
13134 | fontSize 16 | ||
13135 | fontName "Monospace" | ||
13136 | autoSizePolicy "node_width" | ||
13137 | anchor "t" | ||
13138 | borderDistance 0.0 | ||
13139 | ] | ||
13140 | LabelGraphics | ||
13141 | [ | ||
13142 | text " | ||
13143 | " | ||
13144 | fontSize 14 | ||
13145 | fontName "Consolas" | ||
13146 | alignment "left" | ||
13147 | anchor "tl" | ||
13148 | borderDistance 6 | ||
13149 | ] | ||
13150 | ] | ||
13151 | |||
13152 | node | ||
13153 | [ | ||
13154 | id 15 | ||
13155 | graphics | ||
13156 | [ | ||
13157 | w 103.4 | ||
13158 | h 26 | ||
13159 | type "rectangle" | ||
13160 | fill "#FFFFFF" | ||
13161 | fill2 "#FFFFFF" | ||
13162 | outline "#000000" | ||
13163 | ] | ||
13164 | LabelGraphics | ||
13165 | [ | ||
13166 | text "New Objects" | ||
13167 | outline "#000000" | ||
13168 | fill "#FFFFFF" | ||
13169 | fontSize 16 | ||
13170 | fontName "Monospace" | ||
13171 | autoSizePolicy "node_width" | ||
13172 | anchor "t" | ||
13173 | borderDistance 0.0 | ||
13174 | ] | ||
13175 | LabelGraphics | ||
13176 | [ | ||
13177 | text " | ||
13178 | " | ||
13179 | fontSize 14 | ||
13180 | fontName "Consolas" | ||
13181 | alignment "left" | ||
13182 | anchor "tl" | ||
13183 | borderDistance 6 | ||
13184 | ] | ||
13185 | ] | ||
13186 | edge | ||
13187 | [ | ||
13188 | source 8 | ||
13189 | target 6 | ||
13190 | graphics | ||
13191 | [ | ||
13192 | fill "#000000" | ||
13193 | targetArrow "standard" | ||
13194 | ] | ||
13195 | LabelGraphics | ||
13196 | [ | ||
13197 | text "data reference FAMTerminator" | ||
13198 | fontSize 14 | ||
13199 | fontName "Consolas" | ||
13200 | configuration "AutoFlippingLabel" | ||
13201 | model "six_pos" | ||
13202 | position "thead" | ||
13203 | ] | ||
13204 | ] | ||
13205 | edge | ||
13206 | [ | ||
13207 | source 11 | ||
13208 | target 10 | ||
13209 | graphics | ||
13210 | [ | ||
13211 | fill "#000000" | ||
13212 | targetArrow "standard" | ||
13213 | ] | ||
13214 | LabelGraphics | ||
13215 | [ | ||
13216 | text "from reference InformationLink" | ||
13217 | fontSize 14 | ||
13218 | fontName "Consolas" | ||
13219 | configuration "AutoFlippingLabel" | ||
13220 | model "six_pos" | ||
13221 | position "thead" | ||
13222 | ] | ||
13223 | ] | ||
13224 | edge | ||
13225 | [ | ||
13226 | source 11 | ||
13227 | target 6 | ||
13228 | graphics | ||
13229 | [ | ||
13230 | fill "#000000" | ||
13231 | targetArrow "standard" | ||
13232 | ] | ||
13233 | LabelGraphics | ||
13234 | [ | ||
13235 | text "to reference InformationLink" | ||
13236 | fontSize 14 | ||
13237 | fontName "Consolas" | ||
13238 | configuration "AutoFlippingLabel" | ||
13239 | model "six_pos" | ||
13240 | position "thead" | ||
13241 | ] | ||
13242 | ] | ||
13243 | edge | ||
13244 | [ | ||
13245 | source 5 | ||
13246 | target 6 | ||
13247 | graphics | ||
13248 | [ | ||
13249 | fill "#000000" | ||
13250 | width 3 | ||
13251 | targetArrow "standard" | ||
13252 | ] | ||
13253 | LabelGraphics | ||
13254 | [ | ||
13255 | text "data reference FunctionalInterface" | ||
13256 | fontSize 14 | ||
13257 | fontName "Consolas" | ||
13258 | configuration "AutoFlippingLabel" | ||
13259 | model "six_pos" | ||
13260 | position "thead" | ||
13261 | ] | ||
13262 | ] | ||
13263 | edge | ||
13264 | [ | ||
13265 | source 5 | ||
13266 | target 7 | ||
13267 | graphics | ||
13268 | [ | ||
13269 | fill "#000000" | ||
13270 | width 3 | ||
13271 | targetArrow "standard" | ||
13272 | ] | ||
13273 | LabelGraphics | ||
13274 | [ | ||
13275 | text "data reference FunctionalInterface" | ||
13276 | fontSize 14 | ||
13277 | fontName "Consolas" | ||
13278 | configuration "AutoFlippingLabel" | ||
13279 | model "six_pos" | ||
13280 | position "thead" | ||
13281 | ] | ||
13282 | ] | ||
13283 | edge | ||
13284 | [ | ||
13285 | source 5 | ||
13286 | target 9 | ||
13287 | graphics | ||
13288 | [ | ||
13289 | fill "#000000" | ||
13290 | width 3 | ||
13291 | targetArrow "standard" | ||
13292 | ] | ||
13293 | LabelGraphics | ||
13294 | [ | ||
13295 | text "data reference FunctionalInterface" | ||
13296 | fontSize 14 | ||
13297 | fontName "Consolas" | ||
13298 | configuration "AutoFlippingLabel" | ||
13299 | model "six_pos" | ||
13300 | position "thead" | ||
13301 | ] | ||
13302 | ] | ||
13303 | edge | ||
13304 | [ | ||
13305 | source 5 | ||
13306 | target 10 | ||
13307 | graphics | ||
13308 | [ | ||
13309 | fill "#000000" | ||
13310 | width 3 | ||
13311 | targetArrow "standard" | ||
13312 | ] | ||
13313 | LabelGraphics | ||
13314 | [ | ||
13315 | text "data reference FunctionalInterface" | ||
13316 | fontSize 14 | ||
13317 | fontName "Consolas" | ||
13318 | configuration "AutoFlippingLabel" | ||
13319 | model "six_pos" | ||
13320 | position "thead" | ||
13321 | ] | ||
13322 | ] | ||
13323 | edge | ||
13324 | [ | ||
13325 | source 6 | ||
13326 | target 11 | ||
13327 | graphics | ||
13328 | [ | ||
13329 | fill "#000000" | ||
13330 | targetArrow "standard" | ||
13331 | ] | ||
13332 | LabelGraphics | ||
13333 | [ | ||
13334 | text "IncomingLinks reference FunctionalInput" | ||
13335 | fontSize 14 | ||
13336 | fontName "Consolas" | ||
13337 | configuration "AutoFlippingLabel" | ||
13338 | model "six_pos" | ||
13339 | position "thead" | ||
13340 | ] | ||
13341 | ] | ||
13342 | edge | ||
13343 | [ | ||
13344 | source 10 | ||
13345 | target 11 | ||
13346 | graphics | ||
13347 | [ | ||
13348 | fill "#000000" | ||
13349 | width 3 | ||
13350 | targetArrow "standard" | ||
13351 | ] | ||
13352 | LabelGraphics | ||
13353 | [ | ||
13354 | text "outgoingLinks reference FunctionalOutput" | ||
13355 | fontSize 14 | ||
13356 | fontName "Consolas" | ||
13357 | configuration "AutoFlippingLabel" | ||
13358 | model "six_pos" | ||
13359 | position "thead" | ||
13360 | ] | ||
13361 | ] | ||
13362 | edge | ||
13363 | [ | ||
13364 | source 6 | ||
13365 | target 8 | ||
13366 | graphics | ||
13367 | [ | ||
13368 | fill "#000000" | ||
13369 | width 3 | ||
13370 | targetArrow "standard" | ||
13371 | ] | ||
13372 | LabelGraphics | ||
13373 | [ | ||
13374 | text "terminator reference FunctionalData" | ||
13375 | fontSize 14 | ||
13376 | fontName "Consolas" | ||
13377 | configuration "AutoFlippingLabel" | ||
13378 | model "six_pos" | ||
13379 | position "thead" | ||
13380 | ] | ||
13381 | ] | ||
13382 | edge | ||
13383 | [ | ||
13384 | source 6 | ||
13385 | target 5 | ||
13386 | graphics | ||
13387 | [ | ||
13388 | fill "#000000" | ||
13389 | targetArrow "standard" | ||
13390 | ] | ||
13391 | LabelGraphics | ||
13392 | [ | ||
13393 | text "interface reference FunctionalData" | ||
13394 | fontSize 14 | ||
13395 | fontName "Consolas" | ||
13396 | configuration "AutoFlippingLabel" | ||
13397 | model "six_pos" | ||
13398 | position "thead" | ||
13399 | ] | ||
13400 | ] | ||
13401 | edge | ||
13402 | [ | ||
13403 | source 7 | ||
13404 | target 5 | ||
13405 | graphics | ||
13406 | [ | ||
13407 | fill "#000000" | ||
13408 | targetArrow "standard" | ||
13409 | ] | ||
13410 | LabelGraphics | ||
13411 | [ | ||
13412 | text "interface reference FunctionalData" | ||
13413 | fontSize 14 | ||
13414 | fontName "Consolas" | ||
13415 | configuration "AutoFlippingLabel" | ||
13416 | model "six_pos" | ||
13417 | position "thead" | ||
13418 | ] | ||
13419 | ] | ||
13420 | edge | ||
13421 | [ | ||
13422 | source 9 | ||
13423 | target 5 | ||
13424 | graphics | ||
13425 | [ | ||
13426 | fill "#000000" | ||
13427 | targetArrow "standard" | ||
13428 | ] | ||
13429 | LabelGraphics | ||
13430 | [ | ||
13431 | text "interface reference FunctionalData" | ||
13432 | fontSize 14 | ||
13433 | fontName "Consolas" | ||
13434 | configuration "AutoFlippingLabel" | ||
13435 | model "six_pos" | ||
13436 | position "thead" | ||
13437 | ] | ||
13438 | ] | ||
13439 | edge | ||
13440 | [ | ||
13441 | source 10 | ||
13442 | target 5 | ||
13443 | graphics | ||
13444 | [ | ||
13445 | fill "#000000" | ||
13446 | targetArrow "standard" | ||
13447 | ] | ||
13448 | LabelGraphics | ||
13449 | [ | ||
13450 | text "interface reference FunctionalData" | ||
13451 | fontSize 14 | ||
13452 | fontName "Consolas" | ||
13453 | configuration "AutoFlippingLabel" | ||
13454 | model "six_pos" | ||
13455 | position "thead" | ||
13456 | ] | ||
13457 | ] | ||
13458 | ] | ||
13459 | graph | ||
13460 | [ | ||
13461 | node | ||
13462 | [ | ||
13463 | id 0 | ||
13464 | graphics | ||
13465 | [ | ||
13466 | w 226.60000000000002 | ||
13467 | h 40 | ||
13468 | type "rectangle" | ||
13469 | fill "#FFFFFF" | ||
13470 | fill2 "#FFFFFF" | ||
13471 | outline "#000000" | ||
13472 | ] | ||
13473 | LabelGraphics | ||
13474 | [ | ||
13475 | text "Root literal FunctionType" | ||
13476 | outline "#000000" | ||
13477 | fill "#FFFFFF" | ||
13478 | fontSize 16 | ||
13479 | fontName "Monospace" | ||
13480 | autoSizePolicy "node_width" | ||
13481 | anchor "t" | ||
13482 | borderDistance 0.0 | ||
13483 | ] | ||
13484 | LabelGraphics | ||
13485 | [ | ||
13486 | text " | ||
13487 | FunctionType enum | ||
13488 | " | ||
13489 | fontSize 14 | ||
13490 | fontName "Consolas" | ||
13491 | alignment "left" | ||
13492 | anchor "tl" | ||
13493 | borderDistance 6 | ||
13494 | ] | ||
13495 | ] | ||
13496 | |||
13497 | node | ||
13498 | [ | ||
13499 | id 1 | ||
13500 | graphics | ||
13501 | [ | ||
13502 | w 297.0 | ||
13503 | h 40 | ||
13504 | type "rectangle" | ||
13505 | fill "#FFFFFF" | ||
13506 | fill2 "#FFFFFF" | ||
13507 | outline "#000000" | ||
13508 | ] | ||
13509 | LabelGraphics | ||
13510 | [ | ||
13511 | text "Intermediate literal FunctionType" | ||
13512 | outline "#000000" | ||
13513 | fill "#FFFFFF" | ||
13514 | fontSize 16 | ||
13515 | fontName "Monospace" | ||
13516 | autoSizePolicy "node_width" | ||
13517 | anchor "t" | ||
13518 | borderDistance 0.0 | ||
13519 | ] | ||
13520 | LabelGraphics | ||
13521 | [ | ||
13522 | text " | ||
13523 | FunctionType enum | ||
13524 | " | ||
13525 | fontSize 14 | ||
13526 | fontName "Consolas" | ||
13527 | alignment "left" | ||
13528 | anchor "tl" | ||
13529 | borderDistance 6 | ||
13530 | ] | ||
13531 | ] | ||
13532 | |||
13533 | node | ||
13534 | [ | ||
13535 | id 2 | ||
13536 | graphics | ||
13537 | [ | ||
13538 | w 226.60000000000002 | ||
13539 | h 40 | ||
13540 | type "rectangle" | ||
13541 | fill "#FFFFFF" | ||
13542 | fill2 "#FFFFFF" | ||
13543 | outline "#000000" | ||
13544 | ] | ||
13545 | LabelGraphics | ||
13546 | [ | ||
13547 | text "Leaf literal FunctionType" | ||
13548 | outline "#000000" | ||
13549 | fill "#FFFFFF" | ||
13550 | fontSize 16 | ||
13551 | fontName "Monospace" | ||
13552 | autoSizePolicy "node_width" | ||
13553 | anchor "t" | ||
13554 | borderDistance 0.0 | ||
13555 | ] | ||
13556 | LabelGraphics | ||
13557 | [ | ||
13558 | text " | ||
13559 | FunctionType enum | ||
13560 | " | ||
13561 | fontSize 14 | ||
13562 | fontName "Consolas" | ||
13563 | alignment "left" | ||
13564 | anchor "tl" | ||
13565 | borderDistance 6 | ||
13566 | ] | ||
13567 | ] | ||
13568 | |||
13569 | node | ||
13570 | [ | ||
13571 | id 3 | ||
13572 | graphics | ||
13573 | [ | ||
13574 | w 41.800000000000004 | ||
13575 | h 26 | ||
13576 | type "rectangle" | ||
13577 | fill "#FFFFFF" | ||
13578 | fill2 "#FFFFFF" | ||
13579 | outline "#000000" | ||
13580 | ] | ||
13581 | LabelGraphics | ||
13582 | [ | ||
13583 | text "true" | ||
13584 | outline "#000000" | ||
13585 | fill "#FFFFFF" | ||
13586 | fontSize 16 | ||
13587 | fontName "Monospace" | ||
13588 | autoSizePolicy "node_width" | ||
13589 | anchor "t" | ||
13590 | borderDistance 0.0 | ||
13591 | ] | ||
13592 | LabelGraphics | ||
13593 | [ | ||
13594 | text " | ||
13595 | " | ||
13596 | fontSize 14 | ||
13597 | fontName "Consolas" | ||
13598 | alignment "left" | ||
13599 | anchor "tl" | ||
13600 | borderDistance 6 | ||
13601 | ] | ||
13602 | ] | ||
13603 | |||
13604 | node | ||
13605 | [ | ||
13606 | id 4 | ||
13607 | graphics | ||
13608 | [ | ||
13609 | w 50.6 | ||
13610 | h 26 | ||
13611 | type "rectangle" | ||
13612 | fill "#FFFFFF" | ||
13613 | fill2 "#FFFFFF" | ||
13614 | outline "#000000" | ||
13615 | ] | ||
13616 | LabelGraphics | ||
13617 | [ | ||
13618 | text "false" | ||
13619 | outline "#000000" | ||
13620 | fill "#FFFFFF" | ||
13621 | fontSize 16 | ||
13622 | fontName "Monospace" | ||
13623 | autoSizePolicy "node_width" | ||
13624 | anchor "t" | ||
13625 | borderDistance 0.0 | ||
13626 | ] | ||
13627 | LabelGraphics | ||
13628 | [ | ||
13629 | text " | ||
13630 | " | ||
13631 | fontSize 14 | ||
13632 | fontName "Consolas" | ||
13633 | alignment "left" | ||
13634 | anchor "tl" | ||
13635 | borderDistance 6 | ||
13636 | ] | ||
13637 | ] | ||
13638 | |||
13639 | node | ||
13640 | [ | ||
13641 | id 5 | ||
13642 | graphics | ||
13643 | [ | ||
13644 | w 207.9 | ||
13645 | h 40 | ||
13646 | type "rectangle" | ||
13647 | fill "#FFFFFF" | ||
13648 | fill2 "#FFFFFF" | ||
13649 | outline "#000000" | ||
13650 | ] | ||
13651 | LabelGraphics | ||
13652 | [ | ||
13653 | text "null" | ||
13654 | outline "#000000" | ||
13655 | fill "#FFFFFF" | ||
13656 | fontSize 16 | ||
13657 | fontName "Monospace" | ||
13658 | autoSizePolicy "node_width" | ||
13659 | anchor "t" | ||
13660 | borderDistance 0.0 | ||
13661 | ] | ||
13662 | LabelGraphics | ||
13663 | [ | ||
13664 | text " | ||
13665 | FunctionalInterface class | ||
13666 | " | ||
13667 | fontSize 14 | ||
13668 | fontName "Consolas" | ||
13669 | alignment "left" | ||
13670 | anchor "tl" | ||
13671 | borderDistance 6 | ||
13672 | ] | ||
13673 | ] | ||
13674 | |||
13675 | node | ||
13676 | [ | ||
13677 | id 6 | ||
13678 | graphics | ||
13679 | [ | ||
13680 | w 177.10000000000002 | ||
13681 | h 54 | ||
13682 | type "rectangle" | ||
13683 | fill "#FFFFFF" | ||
13684 | fill2 "#FFFFFF" | ||
13685 | outline "#000000" | ||
13686 | ] | ||
13687 | LabelGraphics | ||
13688 | [ | ||
13689 | text "null" | ||
13690 | outline "#000000" | ||
13691 | fill "#FFFFFF" | ||
13692 | fontSize 16 | ||
13693 | fontName "Monospace" | ||
13694 | autoSizePolicy "node_width" | ||
13695 | anchor "t" | ||
13696 | borderDistance 0.0 | ||
13697 | ] | ||
13698 | LabelGraphics | ||
13699 | [ | ||
13700 | text " | ||
13701 | FunctionalInput class | ||
13702 | FunctionalData class | ||
13703 | " | ||
13704 | fontSize 14 | ||
13705 | fontName "Consolas" | ||
13706 | alignment "left" | ||
13707 | anchor "tl" | ||
13708 | borderDistance 6 | ||
13709 | ] | ||
13710 | ] | ||
13711 | |||
13712 | node | ||
13713 | [ | ||
13714 | id 7 | ||
13715 | graphics | ||
13716 | [ | ||
13717 | w 161.70000000000002 | ||
13718 | h 40 | ||
13719 | type "rectangle" | ||
13720 | fill "#FFFFFF" | ||
13721 | fill2 "#FFFFFF" | ||
13722 | outline "#000000" | ||
13723 | ] | ||
13724 | LabelGraphics | ||
13725 | [ | ||
13726 | text "null" | ||
13727 | outline "#000000" | ||
13728 | fill "#FFFFFF" | ||
13729 | fontSize 16 | ||
13730 | fontName "Monospace" | ||
13731 | autoSizePolicy "node_width" | ||
13732 | anchor "t" | ||
13733 | borderDistance 0.0 | ||
13734 | ] | ||
13735 | LabelGraphics | ||
13736 | [ | ||
13737 | text " | ||
13738 | FAMTerminator class | ||
13739 | " | ||
13740 | fontSize 14 | ||
13741 | fontName "Consolas" | ||
13742 | alignment "left" | ||
13743 | anchor "tl" | ||
13744 | borderDistance 6 | ||
13745 | ] | ||
13746 | ] | ||
13747 | |||
13748 | node | ||
13749 | [ | ||
13750 | id 8 | ||
13751 | graphics | ||
13752 | [ | ||
13753 | w 177.10000000000002 | ||
13754 | h 54 | ||
13755 | type "rectangle" | ||
13756 | fill "#FFFFFF" | ||
13757 | fill2 "#FFFFFF" | ||
13758 | outline "#000000" | ||
13759 | ] | ||
13760 | LabelGraphics | ||
13761 | [ | ||
13762 | text "null" | ||
13763 | outline "#000000" | ||
13764 | fill "#FFFFFF" | ||
13765 | fontSize 16 | ||
13766 | fontName "Monospace" | ||
13767 | autoSizePolicy "node_width" | ||
13768 | anchor "t" | ||
13769 | borderDistance 0.0 | ||
13770 | ] | ||
13771 | LabelGraphics | ||
13772 | [ | ||
13773 | text " | ||
13774 | FunctionalInput class | ||
13775 | FunctionalData class | ||
13776 | " | ||
13777 | fontSize 14 | ||
13778 | fontName "Consolas" | ||
13779 | alignment "left" | ||
13780 | anchor "tl" | ||
13781 | borderDistance 6 | ||
13782 | ] | ||
13783 | ] | ||
13784 | |||
13785 | node | ||
13786 | [ | ||
13787 | id 9 | ||
13788 | graphics | ||
13789 | [ | ||
13790 | w 184.8 | ||
13791 | h 54 | ||
13792 | type "rectangle" | ||
13793 | fill "#FFFFFF" | ||
13794 | fill2 "#FFFFFF" | ||
13795 | outline "#000000" | ||
13796 | ] | ||
13797 | LabelGraphics | ||
13798 | [ | ||
13799 | text "null" | ||
13800 | outline "#000000" | ||
13801 | fill "#FFFFFF" | ||
13802 | fontSize 16 | ||
13803 | fontName "Monospace" | ||
13804 | autoSizePolicy "node_width" | ||
13805 | anchor "t" | ||
13806 | borderDistance 0.0 | ||
13807 | ] | ||
13808 | LabelGraphics | ||
13809 | [ | ||
13810 | text " | ||
13811 | FunctionalOutput class | ||
13812 | FunctionalData class | ||
13813 | " | ||
13814 | fontSize 14 | ||
13815 | fontName "Consolas" | ||
13816 | alignment "left" | ||
13817 | anchor "tl" | ||
13818 | borderDistance 6 | ||
13819 | ] | ||
13820 | ] | ||
13821 | |||
13822 | node | ||
13823 | [ | ||
13824 | id 10 | ||
13825 | graphics | ||
13826 | [ | ||
13827 | w 161.70000000000002 | ||
13828 | h 40 | ||
13829 | type "rectangle" | ||
13830 | fill "#FFFFFF" | ||
13831 | fill2 "#FFFFFF" | ||
13832 | outline "#000000" | ||
13833 | ] | ||
13834 | LabelGraphics | ||
13835 | [ | ||
13836 | text "null" | ||
13837 | outline "#000000" | ||
13838 | fill "#FFFFFF" | ||
13839 | fontSize 16 | ||
13840 | fontName "Monospace" | ||
13841 | autoSizePolicy "node_width" | ||
13842 | anchor "t" | ||
13843 | borderDistance 0.0 | ||
13844 | ] | ||
13845 | LabelGraphics | ||
13846 | [ | ||
13847 | text " | ||
13848 | FAMTerminator class | ||
13849 | " | ||
13850 | fontSize 14 | ||
13851 | fontName "Consolas" | ||
13852 | alignment "left" | ||
13853 | anchor "tl" | ||
13854 | borderDistance 6 | ||
13855 | ] | ||
13856 | ] | ||
13857 | |||
13858 | node | ||
13859 | [ | ||
13860 | id 11 | ||
13861 | graphics | ||
13862 | [ | ||
13863 | w 184.8 | ||
13864 | h 54 | ||
13865 | type "rectangle" | ||
13866 | fill "#FFFFFF" | ||
13867 | fill2 "#FFFFFF" | ||
13868 | outline "#000000" | ||
13869 | ] | ||
13870 | LabelGraphics | ||
13871 | [ | ||
13872 | text "null" | ||
13873 | outline "#000000" | ||
13874 | fill "#FFFFFF" | ||
13875 | fontSize 16 | ||
13876 | fontName "Monospace" | ||
13877 | autoSizePolicy "node_width" | ||
13878 | anchor "t" | ||
13879 | borderDistance 0.0 | ||
13880 | ] | ||
13881 | LabelGraphics | ||
13882 | [ | ||
13883 | text " | ||
13884 | FunctionalOutput class | ||
13885 | FunctionalData class | ||
13886 | " | ||
13887 | fontSize 14 | ||
13888 | fontName "Consolas" | ||
13889 | alignment "left" | ||
13890 | anchor "tl" | ||
13891 | borderDistance 6 | ||
13892 | ] | ||
13893 | ] | ||
13894 | |||
13895 | node | ||
13896 | [ | ||
13897 | id 12 | ||
13898 | graphics | ||
13899 | [ | ||
13900 | w 112.2 | ||
13901 | h 26 | ||
13902 | type "rectangle" | ||
13903 | fill "#FFFFFF" | ||
13904 | fill2 "#FFFFFF" | ||
13905 | outline "#000000" | ||
13906 | ] | ||
13907 | LabelGraphics | ||
13908 | [ | ||
13909 | text "New Integers" | ||
13910 | outline "#000000" | ||
13911 | fill "#FFFFFF" | ||
13912 | fontSize 16 | ||
13913 | fontName "Monospace" | ||
13914 | autoSizePolicy "node_width" | ||
13915 | anchor "t" | ||
13916 | borderDistance 0.0 | ||
13917 | ] | ||
13918 | LabelGraphics | ||
13919 | [ | ||
13920 | text " | ||
13921 | " | ||
13922 | fontSize 14 | ||
13923 | fontName "Consolas" | ||
13924 | alignment "left" | ||
13925 | anchor "tl" | ||
13926 | borderDistance 6 | ||
13927 | ] | ||
13928 | ] | ||
13929 | |||
13930 | node | ||
13931 | [ | ||
13932 | id 13 | ||
13933 | graphics | ||
13934 | [ | ||
13935 | w 85.80000000000001 | ||
13936 | h 26 | ||
13937 | type "rectangle" | ||
13938 | fill "#FFFFFF" | ||
13939 | fill2 "#FFFFFF" | ||
13940 | outline "#000000" | ||
13941 | ] | ||
13942 | LabelGraphics | ||
13943 | [ | ||
13944 | text "New Reals" | ||
13945 | outline "#000000" | ||
13946 | fill "#FFFFFF" | ||
13947 | fontSize 16 | ||
13948 | fontName "Monospace" | ||
13949 | autoSizePolicy "node_width" | ||
13950 | anchor "t" | ||
13951 | borderDistance 0.0 | ||
13952 | ] | ||
13953 | LabelGraphics | ||
13954 | [ | ||
13955 | text " | ||
13956 | " | ||
13957 | fontSize 14 | ||
13958 | fontName "Consolas" | ||
13959 | alignment "left" | ||
13960 | anchor "tl" | ||
13961 | borderDistance 6 | ||
13962 | ] | ||
13963 | ] | ||
13964 | |||
13965 | node | ||
13966 | [ | ||
13967 | id 14 | ||
13968 | graphics | ||
13969 | [ | ||
13970 | w 103.4 | ||
13971 | h 26 | ||
13972 | type "rectangle" | ||
13973 | fill "#FFFFFF" | ||
13974 | fill2 "#FFFFFF" | ||
13975 | outline "#000000" | ||
13976 | ] | ||
13977 | LabelGraphics | ||
13978 | [ | ||
13979 | text "New Strings" | ||
13980 | outline "#000000" | ||
13981 | fill "#FFFFFF" | ||
13982 | fontSize 16 | ||
13983 | fontName "Monospace" | ||
13984 | autoSizePolicy "node_width" | ||
13985 | anchor "t" | ||
13986 | borderDistance 0.0 | ||
13987 | ] | ||
13988 | LabelGraphics | ||
13989 | [ | ||
13990 | text " | ||
13991 | " | ||
13992 | fontSize 14 | ||
13993 | fontName "Consolas" | ||
13994 | alignment "left" | ||
13995 | anchor "tl" | ||
13996 | borderDistance 6 | ||
13997 | ] | ||
13998 | ] | ||
13999 | |||
14000 | node | ||
14001 | [ | ||
14002 | id 15 | ||
14003 | graphics | ||
14004 | [ | ||
14005 | w 103.4 | ||
14006 | h 26 | ||
14007 | type "rectangle" | ||
14008 | fill "#FFFFFF" | ||
14009 | fill2 "#FFFFFF" | ||
14010 | outline "#000000" | ||
14011 | ] | ||
14012 | LabelGraphics | ||
14013 | [ | ||
14014 | text "New Objects" | ||
14015 | outline "#000000" | ||
14016 | fill "#FFFFFF" | ||
14017 | fontSize 16 | ||
14018 | fontName "Monospace" | ||
14019 | autoSizePolicy "node_width" | ||
14020 | anchor "t" | ||
14021 | borderDistance 0.0 | ||
14022 | ] | ||
14023 | LabelGraphics | ||
14024 | [ | ||
14025 | text " | ||
14026 | " | ||
14027 | fontSize 14 | ||
14028 | fontName "Consolas" | ||
14029 | alignment "left" | ||
14030 | anchor "tl" | ||
14031 | borderDistance 6 | ||
14032 | ] | ||
14033 | ] | ||
14034 | edge | ||
14035 | [ | ||
14036 | source 7 | ||
14037 | target 6 | ||
14038 | graphics | ||
14039 | [ | ||
14040 | fill "#000000" | ||
14041 | targetArrow "standard" | ||
14042 | ] | ||
14043 | LabelGraphics | ||
14044 | [ | ||
14045 | text "data reference FAMTerminator" | ||
14046 | fontSize 14 | ||
14047 | fontName "Consolas" | ||
14048 | configuration "AutoFlippingLabel" | ||
14049 | model "six_pos" | ||
14050 | position "thead" | ||
14051 | ] | ||
14052 | ] | ||
14053 | edge | ||
14054 | [ | ||
14055 | source 10 | ||
14056 | target 8 | ||
14057 | graphics | ||
14058 | [ | ||
14059 | fill "#000000" | ||
14060 | targetArrow "standard" | ||
14061 | ] | ||
14062 | LabelGraphics | ||
14063 | [ | ||
14064 | text "data reference FAMTerminator" | ||
14065 | fontSize 14 | ||
14066 | fontName "Consolas" | ||
14067 | configuration "AutoFlippingLabel" | ||
14068 | model "six_pos" | ||
14069 | position "thead" | ||
14070 | ] | ||
14071 | ] | ||
14072 | edge | ||
14073 | [ | ||
14074 | source 5 | ||
14075 | target 6 | ||
14076 | graphics | ||
14077 | [ | ||
14078 | fill "#000000" | ||
14079 | width 3 | ||
14080 | targetArrow "standard" | ||
14081 | ] | ||
14082 | LabelGraphics | ||
14083 | [ | ||
14084 | text "data reference FunctionalInterface" | ||
14085 | fontSize 14 | ||
14086 | fontName "Consolas" | ||
14087 | configuration "AutoFlippingLabel" | ||
14088 | model "six_pos" | ||
14089 | position "thead" | ||
14090 | ] | ||
14091 | ] | ||
14092 | edge | ||
14093 | [ | ||
14094 | source 5 | ||
14095 | target 8 | ||
14096 | graphics | ||
14097 | [ | ||
14098 | fill "#000000" | ||
14099 | width 3 | ||
14100 | targetArrow "standard" | ||
14101 | ] | ||
14102 | LabelGraphics | ||
14103 | [ | ||
14104 | text "data reference FunctionalInterface" | ||
14105 | fontSize 14 | ||
14106 | fontName "Consolas" | ||
14107 | configuration "AutoFlippingLabel" | ||
14108 | model "six_pos" | ||
14109 | position "thead" | ||
14110 | ] | ||
14111 | ] | ||
14112 | edge | ||
14113 | [ | ||
14114 | source 5 | ||
14115 | target 9 | ||
14116 | graphics | ||
14117 | [ | ||
14118 | fill "#000000" | ||
14119 | width 3 | ||
14120 | targetArrow "standard" | ||
14121 | ] | ||
14122 | LabelGraphics | ||
14123 | [ | ||
14124 | text "data reference FunctionalInterface" | ||
14125 | fontSize 14 | ||
14126 | fontName "Consolas" | ||
14127 | configuration "AutoFlippingLabel" | ||
14128 | model "six_pos" | ||
14129 | position "thead" | ||
14130 | ] | ||
14131 | ] | ||
14132 | edge | ||
14133 | [ | ||
14134 | source 5 | ||
14135 | target 11 | ||
14136 | graphics | ||
14137 | [ | ||
14138 | fill "#000000" | ||
14139 | width 3 | ||
14140 | targetArrow "standard" | ||
14141 | ] | ||
14142 | LabelGraphics | ||
14143 | [ | ||
14144 | text "data reference FunctionalInterface" | ||
14145 | fontSize 14 | ||
14146 | fontName "Consolas" | ||
14147 | configuration "AutoFlippingLabel" | ||
14148 | model "six_pos" | ||
14149 | position "thead" | ||
14150 | ] | ||
14151 | ] | ||
14152 | edge | ||
14153 | [ | ||
14154 | source 6 | ||
14155 | target 7 | ||
14156 | graphics | ||
14157 | [ | ||
14158 | fill "#000000" | ||
14159 | width 3 | ||
14160 | targetArrow "standard" | ||
14161 | ] | ||
14162 | LabelGraphics | ||
14163 | [ | ||
14164 | text "terminator reference FunctionalData" | ||
14165 | fontSize 14 | ||
14166 | fontName "Consolas" | ||
14167 | configuration "AutoFlippingLabel" | ||
14168 | model "six_pos" | ||
14169 | position "thead" | ||
14170 | ] | ||
14171 | ] | ||
14172 | edge | ||
14173 | [ | ||
14174 | source 8 | ||
14175 | target 10 | ||
14176 | graphics | ||
14177 | [ | ||
14178 | fill "#000000" | ||
14179 | width 3 | ||
14180 | targetArrow "standard" | ||
14181 | ] | ||
14182 | LabelGraphics | ||
14183 | [ | ||
14184 | text "terminator reference FunctionalData" | ||
14185 | fontSize 14 | ||
14186 | fontName "Consolas" | ||
14187 | configuration "AutoFlippingLabel" | ||
14188 | model "six_pos" | ||
14189 | position "thead" | ||
14190 | ] | ||
14191 | ] | ||
14192 | edge | ||
14193 | [ | ||
14194 | source 6 | ||
14195 | target 5 | ||
14196 | graphics | ||
14197 | [ | ||
14198 | fill "#000000" | ||
14199 | targetArrow "standard" | ||
14200 | ] | ||
14201 | LabelGraphics | ||
14202 | [ | ||
14203 | text "interface reference FunctionalData" | ||
14204 | fontSize 14 | ||
14205 | fontName "Consolas" | ||
14206 | configuration "AutoFlippingLabel" | ||
14207 | model "six_pos" | ||
14208 | position "thead" | ||
14209 | ] | ||
14210 | ] | ||
14211 | edge | ||
14212 | [ | ||
14213 | source 8 | ||
14214 | target 5 | ||
14215 | graphics | ||
14216 | [ | ||
14217 | fill "#000000" | ||
14218 | targetArrow "standard" | ||
14219 | ] | ||
14220 | LabelGraphics | ||
14221 | [ | ||
14222 | text "interface reference FunctionalData" | ||
14223 | fontSize 14 | ||
14224 | fontName "Consolas" | ||
14225 | configuration "AutoFlippingLabel" | ||
14226 | model "six_pos" | ||
14227 | position "thead" | ||
14228 | ] | ||
14229 | ] | ||
14230 | edge | ||
14231 | [ | ||
14232 | source 9 | ||
14233 | target 5 | ||
14234 | graphics | ||
14235 | [ | ||
14236 | fill "#000000" | ||
14237 | targetArrow "standard" | ||
14238 | ] | ||
14239 | LabelGraphics | ||
14240 | [ | ||
14241 | text "interface reference FunctionalData" | ||
14242 | fontSize 14 | ||
14243 | fontName "Consolas" | ||
14244 | configuration "AutoFlippingLabel" | ||
14245 | model "six_pos" | ||
14246 | position "thead" | ||
14247 | ] | ||
14248 | ] | ||
14249 | edge | ||
14250 | [ | ||
14251 | source 11 | ||
14252 | target 5 | ||
14253 | graphics | ||
14254 | [ | ||
14255 | fill "#000000" | ||
14256 | targetArrow "standard" | ||
14257 | ] | ||
14258 | LabelGraphics | ||
14259 | [ | ||
14260 | text "interface reference FunctionalData" | ||
14261 | fontSize 14 | ||
14262 | fontName "Consolas" | ||
14263 | configuration "AutoFlippingLabel" | ||
14264 | model "six_pos" | ||
14265 | position "thead" | ||
14266 | ] | ||
14267 | ] | ||
14268 | ] | ||