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