diff options
author | 2020-02-03 15:20:02 -0500 | |
---|---|---|
committer | 2020-06-07 19:44:44 -0400 | |
commit | 8e461ef60f59a2cb57ddca31a0b785c1b046e63a (patch) | |
tree | ff27d80e7fc391a155fe70c0bd46d6da028c4b37 /Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/models/1.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/1.gml')
-rw-r--r-- | Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/models/1.gml | 3429 |
1 files changed, 3429 insertions, 0 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/models/1.gml b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/models/1.gml index b0a86a61..a40633d7 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/models/1.gml +++ b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/models/1.gml | |||
@@ -11696,3 +11696,3432 @@ graph | |||
11696 | ] | 11696 | ] |
11697 | ] | 11697 | ] |
11698 | ] | 11698 | ] |
11699 | graph | ||
11700 | [ | ||
11701 | node | ||
11702 | [ | ||
11703 | id 0 | ||
11704 | graphics | ||
11705 | [ | ||
11706 | w 226.60000000000002 | ||
11707 | h 40 | ||
11708 | type "rectangle" | ||
11709 | fill "#FFFFFF" | ||
11710 | fill2 "#FFFFFF" | ||
11711 | outline "#000000" | ||
11712 | ] | ||
11713 | LabelGraphics | ||
11714 | [ | ||
11715 | text "Root literal FunctionType" | ||
11716 | outline "#000000" | ||
11717 | fill "#FFFFFF" | ||
11718 | fontSize 16 | ||
11719 | fontName "Monospace" | ||
11720 | autoSizePolicy "node_width" | ||
11721 | anchor "t" | ||
11722 | borderDistance 0.0 | ||
11723 | ] | ||
11724 | LabelGraphics | ||
11725 | [ | ||
11726 | text " | ||
11727 | FunctionType enum | ||
11728 | " | ||
11729 | fontSize 14 | ||
11730 | fontName "Consolas" | ||
11731 | alignment "left" | ||
11732 | anchor "tl" | ||
11733 | borderDistance 6 | ||
11734 | ] | ||
11735 | ] | ||
11736 | |||
11737 | node | ||
11738 | [ | ||
11739 | id 1 | ||
11740 | graphics | ||
11741 | [ | ||
11742 | w 297.0 | ||
11743 | h 40 | ||
11744 | type "rectangle" | ||
11745 | fill "#FFFFFF" | ||
11746 | fill2 "#FFFFFF" | ||
11747 | outline "#000000" | ||
11748 | ] | ||
11749 | LabelGraphics | ||
11750 | [ | ||
11751 | text "Intermediate literal FunctionType" | ||
11752 | outline "#000000" | ||
11753 | fill "#FFFFFF" | ||
11754 | fontSize 16 | ||
11755 | fontName "Monospace" | ||
11756 | autoSizePolicy "node_width" | ||
11757 | anchor "t" | ||
11758 | borderDistance 0.0 | ||
11759 | ] | ||
11760 | LabelGraphics | ||
11761 | [ | ||
11762 | text " | ||
11763 | FunctionType enum | ||
11764 | " | ||
11765 | fontSize 14 | ||
11766 | fontName "Consolas" | ||
11767 | alignment "left" | ||
11768 | anchor "tl" | ||
11769 | borderDistance 6 | ||
11770 | ] | ||
11771 | ] | ||
11772 | |||
11773 | node | ||
11774 | [ | ||
11775 | id 2 | ||
11776 | graphics | ||
11777 | [ | ||
11778 | w 226.60000000000002 | ||
11779 | h 40 | ||
11780 | type "rectangle" | ||
11781 | fill "#FFFFFF" | ||
11782 | fill2 "#FFFFFF" | ||
11783 | outline "#000000" | ||
11784 | ] | ||
11785 | LabelGraphics | ||
11786 | [ | ||
11787 | text "Leaf literal FunctionType" | ||
11788 | outline "#000000" | ||
11789 | fill "#FFFFFF" | ||
11790 | fontSize 16 | ||
11791 | fontName "Monospace" | ||
11792 | autoSizePolicy "node_width" | ||
11793 | anchor "t" | ||
11794 | borderDistance 0.0 | ||
11795 | ] | ||
11796 | LabelGraphics | ||
11797 | [ | ||
11798 | text " | ||
11799 | FunctionType enum | ||
11800 | " | ||
11801 | fontSize 14 | ||
11802 | fontName "Consolas" | ||
11803 | alignment "left" | ||
11804 | anchor "tl" | ||
11805 | borderDistance 6 | ||
11806 | ] | ||
11807 | ] | ||
11808 | |||
11809 | node | ||
11810 | [ | ||
11811 | id 3 | ||
11812 | graphics | ||
11813 | [ | ||
11814 | w 41.800000000000004 | ||
11815 | h 26 | ||
11816 | type "rectangle" | ||
11817 | fill "#FFFFFF" | ||
11818 | fill2 "#FFFFFF" | ||
11819 | outline "#000000" | ||
11820 | ] | ||
11821 | LabelGraphics | ||
11822 | [ | ||
11823 | text "true" | ||
11824 | outline "#000000" | ||
11825 | fill "#FFFFFF" | ||
11826 | fontSize 16 | ||
11827 | fontName "Monospace" | ||
11828 | autoSizePolicy "node_width" | ||
11829 | anchor "t" | ||
11830 | borderDistance 0.0 | ||
11831 | ] | ||
11832 | LabelGraphics | ||
11833 | [ | ||
11834 | text " | ||
11835 | " | ||
11836 | fontSize 14 | ||
11837 | fontName "Consolas" | ||
11838 | alignment "left" | ||
11839 | anchor "tl" | ||
11840 | borderDistance 6 | ||
11841 | ] | ||
11842 | ] | ||
11843 | |||
11844 | node | ||
11845 | [ | ||
11846 | id 4 | ||
11847 | graphics | ||
11848 | [ | ||
11849 | w 50.6 | ||
11850 | h 26 | ||
11851 | type "rectangle" | ||
11852 | fill "#FFFFFF" | ||
11853 | fill2 "#FFFFFF" | ||
11854 | outline "#000000" | ||
11855 | ] | ||
11856 | LabelGraphics | ||
11857 | [ | ||
11858 | text "false" | ||
11859 | outline "#000000" | ||
11860 | fill "#FFFFFF" | ||
11861 | fontSize 16 | ||
11862 | fontName "Monospace" | ||
11863 | autoSizePolicy "node_width" | ||
11864 | anchor "t" | ||
11865 | borderDistance 0.0 | ||
11866 | ] | ||
11867 | LabelGraphics | ||
11868 | [ | ||
11869 | text " | ||
11870 | " | ||
11871 | fontSize 14 | ||
11872 | fontName "Consolas" | ||
11873 | alignment "left" | ||
11874 | anchor "tl" | ||
11875 | borderDistance 6 | ||
11876 | ] | ||
11877 | ] | ||
11878 | |||
11879 | node | ||
11880 | [ | ||
11881 | id 5 | ||
11882 | graphics | ||
11883 | [ | ||
11884 | w 207.9 | ||
11885 | h 40 | ||
11886 | type "rectangle" | ||
11887 | fill "#FFFFFF" | ||
11888 | fill2 "#FFFFFF" | ||
11889 | outline "#000000" | ||
11890 | ] | ||
11891 | LabelGraphics | ||
11892 | [ | ||
11893 | text "null" | ||
11894 | outline "#000000" | ||
11895 | fill "#FFFFFF" | ||
11896 | fontSize 16 | ||
11897 | fontName "Monospace" | ||
11898 | autoSizePolicy "node_width" | ||
11899 | anchor "t" | ||
11900 | borderDistance 0.0 | ||
11901 | ] | ||
11902 | LabelGraphics | ||
11903 | [ | ||
11904 | text " | ||
11905 | FunctionalInterface class | ||
11906 | " | ||
11907 | fontSize 14 | ||
11908 | fontName "Consolas" | ||
11909 | alignment "left" | ||
11910 | anchor "tl" | ||
11911 | borderDistance 6 | ||
11912 | ] | ||
11913 | ] | ||
11914 | |||
11915 | node | ||
11916 | [ | ||
11917 | id 6 | ||
11918 | graphics | ||
11919 | [ | ||
11920 | w 177.10000000000002 | ||
11921 | h 54 | ||
11922 | type "rectangle" | ||
11923 | fill "#FFFFFF" | ||
11924 | fill2 "#FFFFFF" | ||
11925 | outline "#000000" | ||
11926 | ] | ||
11927 | LabelGraphics | ||
11928 | [ | ||
11929 | text "null" | ||
11930 | outline "#000000" | ||
11931 | fill "#FFFFFF" | ||
11932 | fontSize 16 | ||
11933 | fontName "Monospace" | ||
11934 | autoSizePolicy "node_width" | ||
11935 | anchor "t" | ||
11936 | borderDistance 0.0 | ||
11937 | ] | ||
11938 | LabelGraphics | ||
11939 | [ | ||
11940 | text " | ||
11941 | FunctionalInput class | ||
11942 | FunctionalData class | ||
11943 | " | ||
11944 | fontSize 14 | ||
11945 | fontName "Consolas" | ||
11946 | alignment "left" | ||
11947 | anchor "tl" | ||
11948 | borderDistance 6 | ||
11949 | ] | ||
11950 | ] | ||
11951 | |||
11952 | node | ||
11953 | [ | ||
11954 | id 7 | ||
11955 | graphics | ||
11956 | [ | ||
11957 | w 184.8 | ||
11958 | h 54 | ||
11959 | type "rectangle" | ||
11960 | fill "#FFFFFF" | ||
11961 | fill2 "#FFFFFF" | ||
11962 | outline "#000000" | ||
11963 | ] | ||
11964 | LabelGraphics | ||
11965 | [ | ||
11966 | text "null" | ||
11967 | outline "#000000" | ||
11968 | fill "#FFFFFF" | ||
11969 | fontSize 16 | ||
11970 | fontName "Monospace" | ||
11971 | autoSizePolicy "node_width" | ||
11972 | anchor "t" | ||
11973 | borderDistance 0.0 | ||
11974 | ] | ||
11975 | LabelGraphics | ||
11976 | [ | ||
11977 | text " | ||
11978 | FunctionalOutput class | ||
11979 | FunctionalData class | ||
11980 | " | ||
11981 | fontSize 14 | ||
11982 | fontName "Consolas" | ||
11983 | alignment "left" | ||
11984 | anchor "tl" | ||
11985 | borderDistance 6 | ||
11986 | ] | ||
11987 | ] | ||
11988 | |||
11989 | node | ||
11990 | [ | ||
11991 | id 8 | ||
11992 | graphics | ||
11993 | [ | ||
11994 | w 184.8 | ||
11995 | h 54 | ||
11996 | type "rectangle" | ||
11997 | fill "#FFFFFF" | ||
11998 | fill2 "#FFFFFF" | ||
11999 | outline "#000000" | ||
12000 | ] | ||
12001 | LabelGraphics | ||
12002 | [ | ||
12003 | text "null" | ||
12004 | outline "#000000" | ||
12005 | fill "#FFFFFF" | ||
12006 | fontSize 16 | ||
12007 | fontName "Monospace" | ||
12008 | autoSizePolicy "node_width" | ||
12009 | anchor "t" | ||
12010 | borderDistance 0.0 | ||
12011 | ] | ||
12012 | LabelGraphics | ||
12013 | [ | ||
12014 | text " | ||
12015 | FunctionalOutput class | ||
12016 | FunctionalData class | ||
12017 | " | ||
12018 | fontSize 14 | ||
12019 | fontName "Consolas" | ||
12020 | alignment "left" | ||
12021 | anchor "tl" | ||
12022 | borderDistance 6 | ||
12023 | ] | ||
12024 | ] | ||
12025 | |||
12026 | node | ||
12027 | [ | ||
12028 | id 9 | ||
12029 | graphics | ||
12030 | [ | ||
12031 | w 177.10000000000002 | ||
12032 | h 40 | ||
12033 | type "rectangle" | ||
12034 | fill "#FFFFFF" | ||
12035 | fill2 "#FFFFFF" | ||
12036 | outline "#000000" | ||
12037 | ] | ||
12038 | LabelGraphics | ||
12039 | [ | ||
12040 | text "null" | ||
12041 | outline "#000000" | ||
12042 | fill "#FFFFFF" | ||
12043 | fontSize 16 | ||
12044 | fontName "Monospace" | ||
12045 | autoSizePolicy "node_width" | ||
12046 | anchor "t" | ||
12047 | borderDistance 0.0 | ||
12048 | ] | ||
12049 | LabelGraphics | ||
12050 | [ | ||
12051 | text " | ||
12052 | InformationLink class | ||
12053 | " | ||
12054 | fontSize 14 | ||
12055 | fontName "Consolas" | ||
12056 | alignment "left" | ||
12057 | anchor "tl" | ||
12058 | borderDistance 6 | ||
12059 | ] | ||
12060 | ] | ||
12061 | |||
12062 | node | ||
12063 | [ | ||
12064 | id 10 | ||
12065 | graphics | ||
12066 | [ | ||
12067 | w 161.70000000000002 | ||
12068 | h 40 | ||
12069 | type "rectangle" | ||
12070 | fill "#FFFFFF" | ||
12071 | fill2 "#FFFFFF" | ||
12072 | outline "#000000" | ||
12073 | ] | ||
12074 | LabelGraphics | ||
12075 | [ | ||
12076 | text "null" | ||
12077 | outline "#000000" | ||
12078 | fill "#FFFFFF" | ||
12079 | fontSize 16 | ||
12080 | fontName "Monospace" | ||
12081 | autoSizePolicy "node_width" | ||
12082 | anchor "t" | ||
12083 | borderDistance 0.0 | ||
12084 | ] | ||
12085 | LabelGraphics | ||
12086 | [ | ||
12087 | text " | ||
12088 | FAMTerminator class | ||
12089 | " | ||
12090 | fontSize 14 | ||
12091 | fontName "Consolas" | ||
12092 | alignment "left" | ||
12093 | anchor "tl" | ||
12094 | borderDistance 6 | ||
12095 | ] | ||
12096 | ] | ||
12097 | |||
12098 | node | ||
12099 | [ | ||
12100 | id 11 | ||
12101 | graphics | ||
12102 | [ | ||
12103 | w 161.70000000000002 | ||
12104 | h 40 | ||
12105 | type "rectangle" | ||
12106 | fill "#FFFFFF" | ||
12107 | fill2 "#FFFFFF" | ||
12108 | outline "#000000" | ||
12109 | ] | ||
12110 | LabelGraphics | ||
12111 | [ | ||
12112 | text "null" | ||
12113 | outline "#000000" | ||
12114 | fill "#FFFFFF" | ||
12115 | fontSize 16 | ||
12116 | fontName "Monospace" | ||
12117 | autoSizePolicy "node_width" | ||
12118 | anchor "t" | ||
12119 | borderDistance 0.0 | ||
12120 | ] | ||
12121 | LabelGraphics | ||
12122 | [ | ||
12123 | text " | ||
12124 | FAMTerminator class | ||
12125 | " | ||
12126 | fontSize 14 | ||
12127 | fontName "Consolas" | ||
12128 | alignment "left" | ||
12129 | anchor "tl" | ||
12130 | borderDistance 6 | ||
12131 | ] | ||
12132 | ] | ||
12133 | |||
12134 | node | ||
12135 | [ | ||
12136 | id 12 | ||
12137 | graphics | ||
12138 | [ | ||
12139 | w 112.2 | ||
12140 | h 26 | ||
12141 | type "rectangle" | ||
12142 | fill "#FFFFFF" | ||
12143 | fill2 "#FFFFFF" | ||
12144 | outline "#000000" | ||
12145 | ] | ||
12146 | LabelGraphics | ||
12147 | [ | ||
12148 | text "New Integers" | ||
12149 | outline "#000000" | ||
12150 | fill "#FFFFFF" | ||
12151 | fontSize 16 | ||
12152 | fontName "Monospace" | ||
12153 | autoSizePolicy "node_width" | ||
12154 | anchor "t" | ||
12155 | borderDistance 0.0 | ||
12156 | ] | ||
12157 | LabelGraphics | ||
12158 | [ | ||
12159 | text " | ||
12160 | " | ||
12161 | fontSize 14 | ||
12162 | fontName "Consolas" | ||
12163 | alignment "left" | ||
12164 | anchor "tl" | ||
12165 | borderDistance 6 | ||
12166 | ] | ||
12167 | ] | ||
12168 | |||
12169 | node | ||
12170 | [ | ||
12171 | id 13 | ||
12172 | graphics | ||
12173 | [ | ||
12174 | w 85.80000000000001 | ||
12175 | h 26 | ||
12176 | type "rectangle" | ||
12177 | fill "#FFFFFF" | ||
12178 | fill2 "#FFFFFF" | ||
12179 | outline "#000000" | ||
12180 | ] | ||
12181 | LabelGraphics | ||
12182 | [ | ||
12183 | text "New Reals" | ||
12184 | outline "#000000" | ||
12185 | fill "#FFFFFF" | ||
12186 | fontSize 16 | ||
12187 | fontName "Monospace" | ||
12188 | autoSizePolicy "node_width" | ||
12189 | anchor "t" | ||
12190 | borderDistance 0.0 | ||
12191 | ] | ||
12192 | LabelGraphics | ||
12193 | [ | ||
12194 | text " | ||
12195 | " | ||
12196 | fontSize 14 | ||
12197 | fontName "Consolas" | ||
12198 | alignment "left" | ||
12199 | anchor "tl" | ||
12200 | borderDistance 6 | ||
12201 | ] | ||
12202 | ] | ||
12203 | |||
12204 | node | ||
12205 | [ | ||
12206 | id 14 | ||
12207 | graphics | ||
12208 | [ | ||
12209 | w 103.4 | ||
12210 | h 26 | ||
12211 | type "rectangle" | ||
12212 | fill "#FFFFFF" | ||
12213 | fill2 "#FFFFFF" | ||
12214 | outline "#000000" | ||
12215 | ] | ||
12216 | LabelGraphics | ||
12217 | [ | ||
12218 | text "New Strings" | ||
12219 | outline "#000000" | ||
12220 | fill "#FFFFFF" | ||
12221 | fontSize 16 | ||
12222 | fontName "Monospace" | ||
12223 | autoSizePolicy "node_width" | ||
12224 | anchor "t" | ||
12225 | borderDistance 0.0 | ||
12226 | ] | ||
12227 | LabelGraphics | ||
12228 | [ | ||
12229 | text " | ||
12230 | " | ||
12231 | fontSize 14 | ||
12232 | fontName "Consolas" | ||
12233 | alignment "left" | ||
12234 | anchor "tl" | ||
12235 | borderDistance 6 | ||
12236 | ] | ||
12237 | ] | ||
12238 | |||
12239 | node | ||
12240 | [ | ||
12241 | id 15 | ||
12242 | graphics | ||
12243 | [ | ||
12244 | w 103.4 | ||
12245 | h 26 | ||
12246 | type "rectangle" | ||
12247 | fill "#FFFFFF" | ||
12248 | fill2 "#FFFFFF" | ||
12249 | outline "#000000" | ||
12250 | ] | ||
12251 | LabelGraphics | ||
12252 | [ | ||
12253 | text "New Objects" | ||
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 | " | ||
12266 | fontSize 14 | ||
12267 | fontName "Consolas" | ||
12268 | alignment "left" | ||
12269 | anchor "tl" | ||
12270 | borderDistance 6 | ||
12271 | ] | ||
12272 | ] | ||
12273 | edge | ||
12274 | [ | ||
12275 | source 10 | ||
12276 | target 8 | ||
12277 | graphics | ||
12278 | [ | ||
12279 | fill "#000000" | ||
12280 | targetArrow "standard" | ||
12281 | ] | ||
12282 | LabelGraphics | ||
12283 | [ | ||
12284 | text "data reference FAMTerminator" | ||
12285 | fontSize 14 | ||
12286 | fontName "Consolas" | ||
12287 | configuration "AutoFlippingLabel" | ||
12288 | model "six_pos" | ||
12289 | position "thead" | ||
12290 | ] | ||
12291 | ] | ||
12292 | edge | ||
12293 | [ | ||
12294 | source 11 | ||
12295 | target 7 | ||
12296 | graphics | ||
12297 | [ | ||
12298 | fill "#000000" | ||
12299 | targetArrow "standard" | ||
12300 | ] | ||
12301 | LabelGraphics | ||
12302 | [ | ||
12303 | text "data reference FAMTerminator" | ||
12304 | fontSize 14 | ||
12305 | fontName "Consolas" | ||
12306 | configuration "AutoFlippingLabel" | ||
12307 | model "six_pos" | ||
12308 | position "thead" | ||
12309 | ] | ||
12310 | ] | ||
12311 | edge | ||
12312 | [ | ||
12313 | source 9 | ||
12314 | target 8 | ||
12315 | graphics | ||
12316 | [ | ||
12317 | fill "#000000" | ||
12318 | targetArrow "standard" | ||
12319 | ] | ||
12320 | LabelGraphics | ||
12321 | [ | ||
12322 | text "from reference InformationLink" | ||
12323 | fontSize 14 | ||
12324 | fontName "Consolas" | ||
12325 | configuration "AutoFlippingLabel" | ||
12326 | model "six_pos" | ||
12327 | position "thead" | ||
12328 | ] | ||
12329 | ] | ||
12330 | edge | ||
12331 | [ | ||
12332 | source 9 | ||
12333 | target 6 | ||
12334 | graphics | ||
12335 | [ | ||
12336 | fill "#000000" | ||
12337 | targetArrow "standard" | ||
12338 | ] | ||
12339 | LabelGraphics | ||
12340 | [ | ||
12341 | text "to reference InformationLink" | ||
12342 | fontSize 14 | ||
12343 | fontName "Consolas" | ||
12344 | configuration "AutoFlippingLabel" | ||
12345 | model "six_pos" | ||
12346 | position "thead" | ||
12347 | ] | ||
12348 | ] | ||
12349 | edge | ||
12350 | [ | ||
12351 | source 5 | ||
12352 | target 6 | ||
12353 | graphics | ||
12354 | [ | ||
12355 | fill "#000000" | ||
12356 | width 3 | ||
12357 | targetArrow "standard" | ||
12358 | ] | ||
12359 | LabelGraphics | ||
12360 | [ | ||
12361 | text "data reference FunctionalInterface" | ||
12362 | fontSize 14 | ||
12363 | fontName "Consolas" | ||
12364 | configuration "AutoFlippingLabel" | ||
12365 | model "six_pos" | ||
12366 | position "thead" | ||
12367 | ] | ||
12368 | ] | ||
12369 | edge | ||
12370 | [ | ||
12371 | source 5 | ||
12372 | target 7 | ||
12373 | graphics | ||
12374 | [ | ||
12375 | fill "#000000" | ||
12376 | width 3 | ||
12377 | targetArrow "standard" | ||
12378 | ] | ||
12379 | LabelGraphics | ||
12380 | [ | ||
12381 | text "data reference FunctionalInterface" | ||
12382 | fontSize 14 | ||
12383 | fontName "Consolas" | ||
12384 | configuration "AutoFlippingLabel" | ||
12385 | model "six_pos" | ||
12386 | position "thead" | ||
12387 | ] | ||
12388 | ] | ||
12389 | edge | ||
12390 | [ | ||
12391 | source 5 | ||
12392 | target 8 | ||
12393 | graphics | ||
12394 | [ | ||
12395 | fill "#000000" | ||
12396 | width 3 | ||
12397 | targetArrow "standard" | ||
12398 | ] | ||
12399 | LabelGraphics | ||
12400 | [ | ||
12401 | text "data reference FunctionalInterface" | ||
12402 | fontSize 14 | ||
12403 | fontName "Consolas" | ||
12404 | configuration "AutoFlippingLabel" | ||
12405 | model "six_pos" | ||
12406 | position "thead" | ||
12407 | ] | ||
12408 | ] | ||
12409 | edge | ||
12410 | [ | ||
12411 | source 6 | ||
12412 | target 9 | ||
12413 | graphics | ||
12414 | [ | ||
12415 | fill "#000000" | ||
12416 | targetArrow "standard" | ||
12417 | ] | ||
12418 | LabelGraphics | ||
12419 | [ | ||
12420 | text "IncomingLinks reference FunctionalInput" | ||
12421 | fontSize 14 | ||
12422 | fontName "Consolas" | ||
12423 | configuration "AutoFlippingLabel" | ||
12424 | model "six_pos" | ||
12425 | position "thead" | ||
12426 | ] | ||
12427 | ] | ||
12428 | edge | ||
12429 | [ | ||
12430 | source 8 | ||
12431 | target 9 | ||
12432 | graphics | ||
12433 | [ | ||
12434 | fill "#000000" | ||
12435 | width 3 | ||
12436 | targetArrow "standard" | ||
12437 | ] | ||
12438 | LabelGraphics | ||
12439 | [ | ||
12440 | text "outgoingLinks reference FunctionalOutput" | ||
12441 | fontSize 14 | ||
12442 | fontName "Consolas" | ||
12443 | configuration "AutoFlippingLabel" | ||
12444 | model "six_pos" | ||
12445 | position "thead" | ||
12446 | ] | ||
12447 | ] | ||
12448 | edge | ||
12449 | [ | ||
12450 | source 8 | ||
12451 | target 10 | ||
12452 | graphics | ||
12453 | [ | ||
12454 | fill "#000000" | ||
12455 | width 3 | ||
12456 | targetArrow "standard" | ||
12457 | ] | ||
12458 | LabelGraphics | ||
12459 | [ | ||
12460 | text "terminator reference FunctionalData" | ||
12461 | fontSize 14 | ||
12462 | fontName "Consolas" | ||
12463 | configuration "AutoFlippingLabel" | ||
12464 | model "six_pos" | ||
12465 | position "thead" | ||
12466 | ] | ||
12467 | ] | ||
12468 | edge | ||
12469 | [ | ||
12470 | source 7 | ||
12471 | target 11 | ||
12472 | graphics | ||
12473 | [ | ||
12474 | fill "#000000" | ||
12475 | width 3 | ||
12476 | targetArrow "standard" | ||
12477 | ] | ||
12478 | LabelGraphics | ||
12479 | [ | ||
12480 | text "terminator reference FunctionalData" | ||
12481 | fontSize 14 | ||
12482 | fontName "Consolas" | ||
12483 | configuration "AutoFlippingLabel" | ||
12484 | model "six_pos" | ||
12485 | position "thead" | ||
12486 | ] | ||
12487 | ] | ||
12488 | edge | ||
12489 | [ | ||
12490 | source 6 | ||
12491 | target 5 | ||
12492 | graphics | ||
12493 | [ | ||
12494 | fill "#000000" | ||
12495 | targetArrow "standard" | ||
12496 | ] | ||
12497 | LabelGraphics | ||
12498 | [ | ||
12499 | text "interface reference FunctionalData" | ||
12500 | fontSize 14 | ||
12501 | fontName "Consolas" | ||
12502 | configuration "AutoFlippingLabel" | ||
12503 | model "six_pos" | ||
12504 | position "thead" | ||
12505 | ] | ||
12506 | ] | ||
12507 | edge | ||
12508 | [ | ||
12509 | source 7 | ||
12510 | target 5 | ||
12511 | graphics | ||
12512 | [ | ||
12513 | fill "#000000" | ||
12514 | targetArrow "standard" | ||
12515 | ] | ||
12516 | LabelGraphics | ||
12517 | [ | ||
12518 | text "interface reference FunctionalData" | ||
12519 | fontSize 14 | ||
12520 | fontName "Consolas" | ||
12521 | configuration "AutoFlippingLabel" | ||
12522 | model "six_pos" | ||
12523 | position "thead" | ||
12524 | ] | ||
12525 | ] | ||
12526 | edge | ||
12527 | [ | ||
12528 | source 8 | ||
12529 | target 5 | ||
12530 | graphics | ||
12531 | [ | ||
12532 | fill "#000000" | ||
12533 | targetArrow "standard" | ||
12534 | ] | ||
12535 | LabelGraphics | ||
12536 | [ | ||
12537 | text "interface reference FunctionalData" | ||
12538 | fontSize 14 | ||
12539 | fontName "Consolas" | ||
12540 | configuration "AutoFlippingLabel" | ||
12541 | model "six_pos" | ||
12542 | position "thead" | ||
12543 | ] | ||
12544 | ] | ||
12545 | ] | ||
12546 | graph | ||
12547 | [ | ||
12548 | node | ||
12549 | [ | ||
12550 | id 0 | ||
12551 | graphics | ||
12552 | [ | ||
12553 | w 226.60000000000002 | ||
12554 | h 40 | ||
12555 | type "rectangle" | ||
12556 | fill "#FFFFFF" | ||
12557 | fill2 "#FFFFFF" | ||
12558 | outline "#000000" | ||
12559 | ] | ||
12560 | LabelGraphics | ||
12561 | [ | ||
12562 | text "Root literal FunctionType" | ||
12563 | outline "#000000" | ||
12564 | fill "#FFFFFF" | ||
12565 | fontSize 16 | ||
12566 | fontName "Monospace" | ||
12567 | autoSizePolicy "node_width" | ||
12568 | anchor "t" | ||
12569 | borderDistance 0.0 | ||
12570 | ] | ||
12571 | LabelGraphics | ||
12572 | [ | ||
12573 | text " | ||
12574 | FunctionType enum | ||
12575 | " | ||
12576 | fontSize 14 | ||
12577 | fontName "Consolas" | ||
12578 | alignment "left" | ||
12579 | anchor "tl" | ||
12580 | borderDistance 6 | ||
12581 | ] | ||
12582 | ] | ||
12583 | |||
12584 | node | ||
12585 | [ | ||
12586 | id 1 | ||
12587 | graphics | ||
12588 | [ | ||
12589 | w 297.0 | ||
12590 | h 40 | ||
12591 | type "rectangle" | ||
12592 | fill "#FFFFFF" | ||
12593 | fill2 "#FFFFFF" | ||
12594 | outline "#000000" | ||
12595 | ] | ||
12596 | LabelGraphics | ||
12597 | [ | ||
12598 | text "Intermediate literal FunctionType" | ||
12599 | outline "#000000" | ||
12600 | fill "#FFFFFF" | ||
12601 | fontSize 16 | ||
12602 | fontName "Monospace" | ||
12603 | autoSizePolicy "node_width" | ||
12604 | anchor "t" | ||
12605 | borderDistance 0.0 | ||
12606 | ] | ||
12607 | LabelGraphics | ||
12608 | [ | ||
12609 | text " | ||
12610 | FunctionType enum | ||
12611 | " | ||
12612 | fontSize 14 | ||
12613 | fontName "Consolas" | ||
12614 | alignment "left" | ||
12615 | anchor "tl" | ||
12616 | borderDistance 6 | ||
12617 | ] | ||
12618 | ] | ||
12619 | |||
12620 | node | ||
12621 | [ | ||
12622 | id 2 | ||
12623 | graphics | ||
12624 | [ | ||
12625 | w 226.60000000000002 | ||
12626 | h 40 | ||
12627 | type "rectangle" | ||
12628 | fill "#FFFFFF" | ||
12629 | fill2 "#FFFFFF" | ||
12630 | outline "#000000" | ||
12631 | ] | ||
12632 | LabelGraphics | ||
12633 | [ | ||
12634 | text "Leaf literal FunctionType" | ||
12635 | outline "#000000" | ||
12636 | fill "#FFFFFF" | ||
12637 | fontSize 16 | ||
12638 | fontName "Monospace" | ||
12639 | autoSizePolicy "node_width" | ||
12640 | anchor "t" | ||
12641 | borderDistance 0.0 | ||
12642 | ] | ||
12643 | LabelGraphics | ||
12644 | [ | ||
12645 | text " | ||
12646 | FunctionType enum | ||
12647 | " | ||
12648 | fontSize 14 | ||
12649 | fontName "Consolas" | ||
12650 | alignment "left" | ||
12651 | anchor "tl" | ||
12652 | borderDistance 6 | ||
12653 | ] | ||
12654 | ] | ||
12655 | |||
12656 | node | ||
12657 | [ | ||
12658 | id 3 | ||
12659 | graphics | ||
12660 | [ | ||
12661 | w 41.800000000000004 | ||
12662 | h 26 | ||
12663 | type "rectangle" | ||
12664 | fill "#FFFFFF" | ||
12665 | fill2 "#FFFFFF" | ||
12666 | outline "#000000" | ||
12667 | ] | ||
12668 | LabelGraphics | ||
12669 | [ | ||
12670 | text "true" | ||
12671 | outline "#000000" | ||
12672 | fill "#FFFFFF" | ||
12673 | fontSize 16 | ||
12674 | fontName "Monospace" | ||
12675 | autoSizePolicy "node_width" | ||
12676 | anchor "t" | ||
12677 | borderDistance 0.0 | ||
12678 | ] | ||
12679 | LabelGraphics | ||
12680 | [ | ||
12681 | text " | ||
12682 | " | ||
12683 | fontSize 14 | ||
12684 | fontName "Consolas" | ||
12685 | alignment "left" | ||
12686 | anchor "tl" | ||
12687 | borderDistance 6 | ||
12688 | ] | ||
12689 | ] | ||
12690 | |||
12691 | node | ||
12692 | [ | ||
12693 | id 4 | ||
12694 | graphics | ||
12695 | [ | ||
12696 | w 50.6 | ||
12697 | h 26 | ||
12698 | type "rectangle" | ||
12699 | fill "#FFFFFF" | ||
12700 | fill2 "#FFFFFF" | ||
12701 | outline "#000000" | ||
12702 | ] | ||
12703 | LabelGraphics | ||
12704 | [ | ||
12705 | text "false" | ||
12706 | outline "#000000" | ||
12707 | fill "#FFFFFF" | ||
12708 | fontSize 16 | ||
12709 | fontName "Monospace" | ||
12710 | autoSizePolicy "node_width" | ||
12711 | anchor "t" | ||
12712 | borderDistance 0.0 | ||
12713 | ] | ||
12714 | LabelGraphics | ||
12715 | [ | ||
12716 | text " | ||
12717 | " | ||
12718 | fontSize 14 | ||
12719 | fontName "Consolas" | ||
12720 | alignment "left" | ||
12721 | anchor "tl" | ||
12722 | borderDistance 6 | ||
12723 | ] | ||
12724 | ] | ||
12725 | |||
12726 | node | ||
12727 | [ | ||
12728 | id 5 | ||
12729 | graphics | ||
12730 | [ | ||
12731 | w 207.9 | ||
12732 | h 40 | ||
12733 | type "rectangle" | ||
12734 | fill "#FFFFFF" | ||
12735 | fill2 "#FFFFFF" | ||
12736 | outline "#000000" | ||
12737 | ] | ||
12738 | LabelGraphics | ||
12739 | [ | ||
12740 | text "null" | ||
12741 | outline "#000000" | ||
12742 | fill "#FFFFFF" | ||
12743 | fontSize 16 | ||
12744 | fontName "Monospace" | ||
12745 | autoSizePolicy "node_width" | ||
12746 | anchor "t" | ||
12747 | borderDistance 0.0 | ||
12748 | ] | ||
12749 | LabelGraphics | ||
12750 | [ | ||
12751 | text " | ||
12752 | FunctionalInterface class | ||
12753 | " | ||
12754 | fontSize 14 | ||
12755 | fontName "Consolas" | ||
12756 | alignment "left" | ||
12757 | anchor "tl" | ||
12758 | borderDistance 6 | ||
12759 | ] | ||
12760 | ] | ||
12761 | |||
12762 | node | ||
12763 | [ | ||
12764 | id 6 | ||
12765 | graphics | ||
12766 | [ | ||
12767 | w 184.8 | ||
12768 | h 54 | ||
12769 | type "rectangle" | ||
12770 | fill "#FFFFFF" | ||
12771 | fill2 "#FFFFFF" | ||
12772 | outline "#000000" | ||
12773 | ] | ||
12774 | LabelGraphics | ||
12775 | [ | ||
12776 | text "null" | ||
12777 | outline "#000000" | ||
12778 | fill "#FFFFFF" | ||
12779 | fontSize 16 | ||
12780 | fontName "Monospace" | ||
12781 | autoSizePolicy "node_width" | ||
12782 | anchor "t" | ||
12783 | borderDistance 0.0 | ||
12784 | ] | ||
12785 | LabelGraphics | ||
12786 | [ | ||
12787 | text " | ||
12788 | FunctionalOutput class | ||
12789 | FunctionalData class | ||
12790 | " | ||
12791 | fontSize 14 | ||
12792 | fontName "Consolas" | ||
12793 | alignment "left" | ||
12794 | anchor "tl" | ||
12795 | borderDistance 6 | ||
12796 | ] | ||
12797 | ] | ||
12798 | |||
12799 | node | ||
12800 | [ | ||
12801 | id 7 | ||
12802 | graphics | ||
12803 | [ | ||
12804 | w 184.8 | ||
12805 | h 54 | ||
12806 | type "rectangle" | ||
12807 | fill "#FFFFFF" | ||
12808 | fill2 "#FFFFFF" | ||
12809 | outline "#000000" | ||
12810 | ] | ||
12811 | LabelGraphics | ||
12812 | [ | ||
12813 | text "null" | ||
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 | FunctionalOutput class | ||
12826 | FunctionalData class | ||
12827 | " | ||
12828 | fontSize 14 | ||
12829 | fontName "Consolas" | ||
12830 | alignment "left" | ||
12831 | anchor "tl" | ||
12832 | borderDistance 6 | ||
12833 | ] | ||
12834 | ] | ||
12835 | |||
12836 | node | ||
12837 | [ | ||
12838 | id 8 | ||
12839 | graphics | ||
12840 | [ | ||
12841 | w 177.10000000000002 | ||
12842 | h 40 | ||
12843 | type "rectangle" | ||
12844 | fill "#FFFFFF" | ||
12845 | fill2 "#FFFFFF" | ||
12846 | outline "#000000" | ||
12847 | ] | ||
12848 | LabelGraphics | ||
12849 | [ | ||
12850 | text "null" | ||
12851 | outline "#000000" | ||
12852 | fill "#FFFFFF" | ||
12853 | fontSize 16 | ||
12854 | fontName "Monospace" | ||
12855 | autoSizePolicy "node_width" | ||
12856 | anchor "t" | ||
12857 | borderDistance 0.0 | ||
12858 | ] | ||
12859 | LabelGraphics | ||
12860 | [ | ||
12861 | text " | ||
12862 | InformationLink class | ||
12863 | " | ||
12864 | fontSize 14 | ||
12865 | fontName "Consolas" | ||
12866 | alignment "left" | ||
12867 | anchor "tl" | ||
12868 | borderDistance 6 | ||
12869 | ] | ||
12870 | ] | ||
12871 | |||
12872 | node | ||
12873 | [ | ||
12874 | id 9 | ||
12875 | graphics | ||
12876 | [ | ||
12877 | w 177.10000000000002 | ||
12878 | h 40 | ||
12879 | type "rectangle" | ||
12880 | fill "#FFFFFF" | ||
12881 | fill2 "#FFFFFF" | ||
12882 | outline "#000000" | ||
12883 | ] | ||
12884 | LabelGraphics | ||
12885 | [ | ||
12886 | text "null" | ||
12887 | outline "#000000" | ||
12888 | fill "#FFFFFF" | ||
12889 | fontSize 16 | ||
12890 | fontName "Monospace" | ||
12891 | autoSizePolicy "node_width" | ||
12892 | anchor "t" | ||
12893 | borderDistance 0.0 | ||
12894 | ] | ||
12895 | LabelGraphics | ||
12896 | [ | ||
12897 | text " | ||
12898 | InformationLink class | ||
12899 | " | ||
12900 | fontSize 14 | ||
12901 | fontName "Consolas" | ||
12902 | alignment "left" | ||
12903 | anchor "tl" | ||
12904 | borderDistance 6 | ||
12905 | ] | ||
12906 | ] | ||
12907 | |||
12908 | node | ||
12909 | [ | ||
12910 | id 10 | ||
12911 | graphics | ||
12912 | [ | ||
12913 | w 177.10000000000002 | ||
12914 | h 54 | ||
12915 | type "rectangle" | ||
12916 | fill "#FFFFFF" | ||
12917 | fill2 "#FFFFFF" | ||
12918 | outline "#000000" | ||
12919 | ] | ||
12920 | LabelGraphics | ||
12921 | [ | ||
12922 | text "null" | ||
12923 | outline "#000000" | ||
12924 | fill "#FFFFFF" | ||
12925 | fontSize 16 | ||
12926 | fontName "Monospace" | ||
12927 | autoSizePolicy "node_width" | ||
12928 | anchor "t" | ||
12929 | borderDistance 0.0 | ||
12930 | ] | ||
12931 | LabelGraphics | ||
12932 | [ | ||
12933 | text " | ||
12934 | FunctionalInput class | ||
12935 | FunctionalData class | ||
12936 | " | ||
12937 | fontSize 14 | ||
12938 | fontName "Consolas" | ||
12939 | alignment "left" | ||
12940 | anchor "tl" | ||
12941 | borderDistance 6 | ||
12942 | ] | ||
12943 | ] | ||
12944 | |||
12945 | node | ||
12946 | [ | ||
12947 | id 11 | ||
12948 | graphics | ||
12949 | [ | ||
12950 | w 177.10000000000002 | ||
12951 | h 40 | ||
12952 | type "rectangle" | ||
12953 | fill "#FFFFFF" | ||
12954 | fill2 "#FFFFFF" | ||
12955 | outline "#000000" | ||
12956 | ] | ||
12957 | LabelGraphics | ||
12958 | [ | ||
12959 | text "null" | ||
12960 | outline "#000000" | ||
12961 | fill "#FFFFFF" | ||
12962 | fontSize 16 | ||
12963 | fontName "Monospace" | ||
12964 | autoSizePolicy "node_width" | ||
12965 | anchor "t" | ||
12966 | borderDistance 0.0 | ||
12967 | ] | ||
12968 | LabelGraphics | ||
12969 | [ | ||
12970 | text " | ||
12971 | InformationLink class | ||
12972 | " | ||
12973 | fontSize 14 | ||
12974 | fontName "Consolas" | ||
12975 | alignment "left" | ||
12976 | anchor "tl" | ||
12977 | borderDistance 6 | ||
12978 | ] | ||
12979 | ] | ||
12980 | |||
12981 | node | ||
12982 | [ | ||
12983 | id 12 | ||
12984 | graphics | ||
12985 | [ | ||
12986 | w 112.2 | ||
12987 | h 26 | ||
12988 | type "rectangle" | ||
12989 | fill "#FFFFFF" | ||
12990 | fill2 "#FFFFFF" | ||
12991 | outline "#000000" | ||
12992 | ] | ||
12993 | LabelGraphics | ||
12994 | [ | ||
12995 | text "New Integers" | ||
12996 | outline "#000000" | ||
12997 | fill "#FFFFFF" | ||
12998 | fontSize 16 | ||
12999 | fontName "Monospace" | ||
13000 | autoSizePolicy "node_width" | ||
13001 | anchor "t" | ||
13002 | borderDistance 0.0 | ||
13003 | ] | ||
13004 | LabelGraphics | ||
13005 | [ | ||
13006 | text " | ||
13007 | " | ||
13008 | fontSize 14 | ||
13009 | fontName "Consolas" | ||
13010 | alignment "left" | ||
13011 | anchor "tl" | ||
13012 | borderDistance 6 | ||
13013 | ] | ||
13014 | ] | ||
13015 | |||
13016 | node | ||
13017 | [ | ||
13018 | id 13 | ||
13019 | graphics | ||
13020 | [ | ||
13021 | w 85.80000000000001 | ||
13022 | h 26 | ||
13023 | type "rectangle" | ||
13024 | fill "#FFFFFF" | ||
13025 | fill2 "#FFFFFF" | ||
13026 | outline "#000000" | ||
13027 | ] | ||
13028 | LabelGraphics | ||
13029 | [ | ||
13030 | text "New Reals" | ||
13031 | outline "#000000" | ||
13032 | fill "#FFFFFF" | ||
13033 | fontSize 16 | ||
13034 | fontName "Monospace" | ||
13035 | autoSizePolicy "node_width" | ||
13036 | anchor "t" | ||
13037 | borderDistance 0.0 | ||
13038 | ] | ||
13039 | LabelGraphics | ||
13040 | [ | ||
13041 | text " | ||
13042 | " | ||
13043 | fontSize 14 | ||
13044 | fontName "Consolas" | ||
13045 | alignment "left" | ||
13046 | anchor "tl" | ||
13047 | borderDistance 6 | ||
13048 | ] | ||
13049 | ] | ||
13050 | |||
13051 | node | ||
13052 | [ | ||
13053 | id 14 | ||
13054 | graphics | ||
13055 | [ | ||
13056 | w 103.4 | ||
13057 | h 26 | ||
13058 | type "rectangle" | ||
13059 | fill "#FFFFFF" | ||
13060 | fill2 "#FFFFFF" | ||
13061 | outline "#000000" | ||
13062 | ] | ||
13063 | LabelGraphics | ||
13064 | [ | ||
13065 | text "New Strings" | ||
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 | " | ||
13078 | fontSize 14 | ||
13079 | fontName "Consolas" | ||
13080 | alignment "left" | ||
13081 | anchor "tl" | ||
13082 | borderDistance 6 | ||
13083 | ] | ||
13084 | ] | ||
13085 | |||
13086 | node | ||
13087 | [ | ||
13088 | id 15 | ||
13089 | graphics | ||
13090 | [ | ||
13091 | w 103.4 | ||
13092 | h 26 | ||
13093 | type "rectangle" | ||
13094 | fill "#FFFFFF" | ||
13095 | fill2 "#FFFFFF" | ||
13096 | outline "#000000" | ||
13097 | ] | ||
13098 | LabelGraphics | ||
13099 | [ | ||
13100 | text "New Objects" | ||
13101 | outline "#000000" | ||
13102 | fill "#FFFFFF" | ||
13103 | fontSize 16 | ||
13104 | fontName "Monospace" | ||
13105 | autoSizePolicy "node_width" | ||
13106 | anchor "t" | ||
13107 | borderDistance 0.0 | ||
13108 | ] | ||
13109 | LabelGraphics | ||
13110 | [ | ||
13111 | text " | ||
13112 | " | ||
13113 | fontSize 14 | ||
13114 | fontName "Consolas" | ||
13115 | alignment "left" | ||
13116 | anchor "tl" | ||
13117 | borderDistance 6 | ||
13118 | ] | ||
13119 | ] | ||
13120 | edge | ||
13121 | [ | ||
13122 | source 8 | ||
13123 | target 7 | ||
13124 | graphics | ||
13125 | [ | ||
13126 | fill "#000000" | ||
13127 | targetArrow "standard" | ||
13128 | ] | ||
13129 | LabelGraphics | ||
13130 | [ | ||
13131 | text "from reference InformationLink" | ||
13132 | fontSize 14 | ||
13133 | fontName "Consolas" | ||
13134 | configuration "AutoFlippingLabel" | ||
13135 | model "six_pos" | ||
13136 | position "thead" | ||
13137 | ] | ||
13138 | ] | ||
13139 | edge | ||
13140 | [ | ||
13141 | source 9 | ||
13142 | target 7 | ||
13143 | graphics | ||
13144 | [ | ||
13145 | fill "#000000" | ||
13146 | targetArrow "standard" | ||
13147 | ] | ||
13148 | LabelGraphics | ||
13149 | [ | ||
13150 | text "from reference InformationLink" | ||
13151 | fontSize 14 | ||
13152 | fontName "Consolas" | ||
13153 | configuration "AutoFlippingLabel" | ||
13154 | model "six_pos" | ||
13155 | position "thead" | ||
13156 | ] | ||
13157 | ] | ||
13158 | edge | ||
13159 | [ | ||
13160 | source 11 | ||
13161 | target 7 | ||
13162 | graphics | ||
13163 | [ | ||
13164 | fill "#000000" | ||
13165 | targetArrow "standard" | ||
13166 | ] | ||
13167 | LabelGraphics | ||
13168 | [ | ||
13169 | text "from reference InformationLink" | ||
13170 | fontSize 14 | ||
13171 | fontName "Consolas" | ||
13172 | configuration "AutoFlippingLabel" | ||
13173 | model "six_pos" | ||
13174 | position "thead" | ||
13175 | ] | ||
13176 | ] | ||
13177 | edge | ||
13178 | [ | ||
13179 | source 8 | ||
13180 | target 10 | ||
13181 | graphics | ||
13182 | [ | ||
13183 | fill "#000000" | ||
13184 | targetArrow "standard" | ||
13185 | ] | ||
13186 | LabelGraphics | ||
13187 | [ | ||
13188 | text "to reference InformationLink" | ||
13189 | fontSize 14 | ||
13190 | fontName "Consolas" | ||
13191 | configuration "AutoFlippingLabel" | ||
13192 | model "six_pos" | ||
13193 | position "thead" | ||
13194 | ] | ||
13195 | ] | ||
13196 | edge | ||
13197 | [ | ||
13198 | source 11 | ||
13199 | target 10 | ||
13200 | graphics | ||
13201 | [ | ||
13202 | fill "#000000" | ||
13203 | targetArrow "standard" | ||
13204 | ] | ||
13205 | LabelGraphics | ||
13206 | [ | ||
13207 | text "to reference InformationLink" | ||
13208 | fontSize 14 | ||
13209 | fontName "Consolas" | ||
13210 | configuration "AutoFlippingLabel" | ||
13211 | model "six_pos" | ||
13212 | position "thead" | ||
13213 | ] | ||
13214 | ] | ||
13215 | edge | ||
13216 | [ | ||
13217 | source 9 | ||
13218 | target 10 | ||
13219 | graphics | ||
13220 | [ | ||
13221 | fill "#000000" | ||
13222 | targetArrow "standard" | ||
13223 | ] | ||
13224 | LabelGraphics | ||
13225 | [ | ||
13226 | text "to reference InformationLink" | ||
13227 | fontSize 14 | ||
13228 | fontName "Consolas" | ||
13229 | configuration "AutoFlippingLabel" | ||
13230 | model "six_pos" | ||
13231 | position "thead" | ||
13232 | ] | ||
13233 | ] | ||
13234 | edge | ||
13235 | [ | ||
13236 | source 5 | ||
13237 | target 6 | ||
13238 | graphics | ||
13239 | [ | ||
13240 | fill "#000000" | ||
13241 | width 3 | ||
13242 | targetArrow "standard" | ||
13243 | ] | ||
13244 | LabelGraphics | ||
13245 | [ | ||
13246 | text "data reference FunctionalInterface" | ||
13247 | fontSize 14 | ||
13248 | fontName "Consolas" | ||
13249 | configuration "AutoFlippingLabel" | ||
13250 | model "six_pos" | ||
13251 | position "thead" | ||
13252 | ] | ||
13253 | ] | ||
13254 | edge | ||
13255 | [ | ||
13256 | source 5 | ||
13257 | target 7 | ||
13258 | graphics | ||
13259 | [ | ||
13260 | fill "#000000" | ||
13261 | width 3 | ||
13262 | targetArrow "standard" | ||
13263 | ] | ||
13264 | LabelGraphics | ||
13265 | [ | ||
13266 | text "data reference FunctionalInterface" | ||
13267 | fontSize 14 | ||
13268 | fontName "Consolas" | ||
13269 | configuration "AutoFlippingLabel" | ||
13270 | model "six_pos" | ||
13271 | position "thead" | ||
13272 | ] | ||
13273 | ] | ||
13274 | edge | ||
13275 | [ | ||
13276 | source 5 | ||
13277 | target 10 | ||
13278 | graphics | ||
13279 | [ | ||
13280 | fill "#000000" | ||
13281 | width 3 | ||
13282 | targetArrow "standard" | ||
13283 | ] | ||
13284 | LabelGraphics | ||
13285 | [ | ||
13286 | text "data reference FunctionalInterface" | ||
13287 | fontSize 14 | ||
13288 | fontName "Consolas" | ||
13289 | configuration "AutoFlippingLabel" | ||
13290 | model "six_pos" | ||
13291 | position "thead" | ||
13292 | ] | ||
13293 | ] | ||
13294 | edge | ||
13295 | [ | ||
13296 | source 10 | ||
13297 | target 8 | ||
13298 | graphics | ||
13299 | [ | ||
13300 | fill "#000000" | ||
13301 | targetArrow "standard" | ||
13302 | ] | ||
13303 | LabelGraphics | ||
13304 | [ | ||
13305 | text "IncomingLinks reference FunctionalInput" | ||
13306 | fontSize 14 | ||
13307 | fontName "Consolas" | ||
13308 | configuration "AutoFlippingLabel" | ||
13309 | model "six_pos" | ||
13310 | position "thead" | ||
13311 | ] | ||
13312 | ] | ||
13313 | edge | ||
13314 | [ | ||
13315 | source 10 | ||
13316 | target 11 | ||
13317 | graphics | ||
13318 | [ | ||
13319 | fill "#000000" | ||
13320 | targetArrow "standard" | ||
13321 | ] | ||
13322 | LabelGraphics | ||
13323 | [ | ||
13324 | text "IncomingLinks reference FunctionalInput" | ||
13325 | fontSize 14 | ||
13326 | fontName "Consolas" | ||
13327 | configuration "AutoFlippingLabel" | ||
13328 | model "six_pos" | ||
13329 | position "thead" | ||
13330 | ] | ||
13331 | ] | ||
13332 | edge | ||
13333 | [ | ||
13334 | source 10 | ||
13335 | target 9 | ||
13336 | graphics | ||
13337 | [ | ||
13338 | fill "#000000" | ||
13339 | targetArrow "standard" | ||
13340 | ] | ||
13341 | LabelGraphics | ||
13342 | [ | ||
13343 | text "IncomingLinks reference FunctionalInput" | ||
13344 | fontSize 14 | ||
13345 | fontName "Consolas" | ||
13346 | configuration "AutoFlippingLabel" | ||
13347 | model "six_pos" | ||
13348 | position "thead" | ||
13349 | ] | ||
13350 | ] | ||
13351 | edge | ||
13352 | [ | ||
13353 | source 7 | ||
13354 | target 8 | ||
13355 | graphics | ||
13356 | [ | ||
13357 | fill "#000000" | ||
13358 | width 3 | ||
13359 | targetArrow "standard" | ||
13360 | ] | ||
13361 | LabelGraphics | ||
13362 | [ | ||
13363 | text "outgoingLinks reference FunctionalOutput" | ||
13364 | fontSize 14 | ||
13365 | fontName "Consolas" | ||
13366 | configuration "AutoFlippingLabel" | ||
13367 | model "six_pos" | ||
13368 | position "thead" | ||
13369 | ] | ||
13370 | ] | ||
13371 | edge | ||
13372 | [ | ||
13373 | source 7 | ||
13374 | target 9 | ||
13375 | graphics | ||
13376 | [ | ||
13377 | fill "#000000" | ||
13378 | width 3 | ||
13379 | targetArrow "standard" | ||
13380 | ] | ||
13381 | LabelGraphics | ||
13382 | [ | ||
13383 | text "outgoingLinks reference FunctionalOutput" | ||
13384 | fontSize 14 | ||
13385 | fontName "Consolas" | ||
13386 | configuration "AutoFlippingLabel" | ||
13387 | model "six_pos" | ||
13388 | position "thead" | ||
13389 | ] | ||
13390 | ] | ||
13391 | edge | ||
13392 | [ | ||
13393 | source 7 | ||
13394 | target 11 | ||
13395 | graphics | ||
13396 | [ | ||
13397 | fill "#000000" | ||
13398 | width 3 | ||
13399 | targetArrow "standard" | ||
13400 | ] | ||
13401 | LabelGraphics | ||
13402 | [ | ||
13403 | text "outgoingLinks reference FunctionalOutput" | ||
13404 | fontSize 14 | ||
13405 | fontName "Consolas" | ||
13406 | configuration "AutoFlippingLabel" | ||
13407 | model "six_pos" | ||
13408 | position "thead" | ||
13409 | ] | ||
13410 | ] | ||
13411 | edge | ||
13412 | [ | ||
13413 | source 6 | ||
13414 | target 5 | ||
13415 | graphics | ||
13416 | [ | ||
13417 | fill "#000000" | ||
13418 | targetArrow "standard" | ||
13419 | ] | ||
13420 | LabelGraphics | ||
13421 | [ | ||
13422 | text "interface reference FunctionalData" | ||
13423 | fontSize 14 | ||
13424 | fontName "Consolas" | ||
13425 | configuration "AutoFlippingLabel" | ||
13426 | model "six_pos" | ||
13427 | position "thead" | ||
13428 | ] | ||
13429 | ] | ||
13430 | edge | ||
13431 | [ | ||
13432 | source 7 | ||
13433 | target 5 | ||
13434 | graphics | ||
13435 | [ | ||
13436 | fill "#000000" | ||
13437 | targetArrow "standard" | ||
13438 | ] | ||
13439 | LabelGraphics | ||
13440 | [ | ||
13441 | text "interface reference FunctionalData" | ||
13442 | fontSize 14 | ||
13443 | fontName "Consolas" | ||
13444 | configuration "AutoFlippingLabel" | ||
13445 | model "six_pos" | ||
13446 | position "thead" | ||
13447 | ] | ||
13448 | ] | ||
13449 | edge | ||
13450 | [ | ||
13451 | source 10 | ||
13452 | target 5 | ||
13453 | graphics | ||
13454 | [ | ||
13455 | fill "#000000" | ||
13456 | targetArrow "standard" | ||
13457 | ] | ||
13458 | LabelGraphics | ||
13459 | [ | ||
13460 | text "interface reference FunctionalData" | ||
13461 | fontSize 14 | ||
13462 | fontName "Consolas" | ||
13463 | configuration "AutoFlippingLabel" | ||
13464 | model "six_pos" | ||
13465 | position "thead" | ||
13466 | ] | ||
13467 | ] | ||
13468 | ] | ||
13469 | graph | ||
13470 | [ | ||
13471 | node | ||
13472 | [ | ||
13473 | id 0 | ||
13474 | graphics | ||
13475 | [ | ||
13476 | w 226.60000000000002 | ||
13477 | h 40 | ||
13478 | type "rectangle" | ||
13479 | fill "#FFFFFF" | ||
13480 | fill2 "#FFFFFF" | ||
13481 | outline "#000000" | ||
13482 | ] | ||
13483 | LabelGraphics | ||
13484 | [ | ||
13485 | text "Root literal FunctionType" | ||
13486 | outline "#000000" | ||
13487 | fill "#FFFFFF" | ||
13488 | fontSize 16 | ||
13489 | fontName "Monospace" | ||
13490 | autoSizePolicy "node_width" | ||
13491 | anchor "t" | ||
13492 | borderDistance 0.0 | ||
13493 | ] | ||
13494 | LabelGraphics | ||
13495 | [ | ||
13496 | text " | ||
13497 | FunctionType enum | ||
13498 | " | ||
13499 | fontSize 14 | ||
13500 | fontName "Consolas" | ||
13501 | alignment "left" | ||
13502 | anchor "tl" | ||
13503 | borderDistance 6 | ||
13504 | ] | ||
13505 | ] | ||
13506 | |||
13507 | node | ||
13508 | [ | ||
13509 | id 1 | ||
13510 | graphics | ||
13511 | [ | ||
13512 | w 297.0 | ||
13513 | h 40 | ||
13514 | type "rectangle" | ||
13515 | fill "#FFFFFF" | ||
13516 | fill2 "#FFFFFF" | ||
13517 | outline "#000000" | ||
13518 | ] | ||
13519 | LabelGraphics | ||
13520 | [ | ||
13521 | text "Intermediate literal FunctionType" | ||
13522 | outline "#000000" | ||
13523 | fill "#FFFFFF" | ||
13524 | fontSize 16 | ||
13525 | fontName "Monospace" | ||
13526 | autoSizePolicy "node_width" | ||
13527 | anchor "t" | ||
13528 | borderDistance 0.0 | ||
13529 | ] | ||
13530 | LabelGraphics | ||
13531 | [ | ||
13532 | text " | ||
13533 | FunctionType enum | ||
13534 | " | ||
13535 | fontSize 14 | ||
13536 | fontName "Consolas" | ||
13537 | alignment "left" | ||
13538 | anchor "tl" | ||
13539 | borderDistance 6 | ||
13540 | ] | ||
13541 | ] | ||
13542 | |||
13543 | node | ||
13544 | [ | ||
13545 | id 2 | ||
13546 | graphics | ||
13547 | [ | ||
13548 | w 226.60000000000002 | ||
13549 | h 40 | ||
13550 | type "rectangle" | ||
13551 | fill "#FFFFFF" | ||
13552 | fill2 "#FFFFFF" | ||
13553 | outline "#000000" | ||
13554 | ] | ||
13555 | LabelGraphics | ||
13556 | [ | ||
13557 | text "Leaf literal FunctionType" | ||
13558 | outline "#000000" | ||
13559 | fill "#FFFFFF" | ||
13560 | fontSize 16 | ||
13561 | fontName "Monospace" | ||
13562 | autoSizePolicy "node_width" | ||
13563 | anchor "t" | ||
13564 | borderDistance 0.0 | ||
13565 | ] | ||
13566 | LabelGraphics | ||
13567 | [ | ||
13568 | text " | ||
13569 | FunctionType enum | ||
13570 | " | ||
13571 | fontSize 14 | ||
13572 | fontName "Consolas" | ||
13573 | alignment "left" | ||
13574 | anchor "tl" | ||
13575 | borderDistance 6 | ||
13576 | ] | ||
13577 | ] | ||
13578 | |||
13579 | node | ||
13580 | [ | ||
13581 | id 3 | ||
13582 | graphics | ||
13583 | [ | ||
13584 | w 41.800000000000004 | ||
13585 | h 26 | ||
13586 | type "rectangle" | ||
13587 | fill "#FFFFFF" | ||
13588 | fill2 "#FFFFFF" | ||
13589 | outline "#000000" | ||
13590 | ] | ||
13591 | LabelGraphics | ||
13592 | [ | ||
13593 | text "true" | ||
13594 | outline "#000000" | ||
13595 | fill "#FFFFFF" | ||
13596 | fontSize 16 | ||
13597 | fontName "Monospace" | ||
13598 | autoSizePolicy "node_width" | ||
13599 | anchor "t" | ||
13600 | borderDistance 0.0 | ||
13601 | ] | ||
13602 | LabelGraphics | ||
13603 | [ | ||
13604 | text " | ||
13605 | " | ||
13606 | fontSize 14 | ||
13607 | fontName "Consolas" | ||
13608 | alignment "left" | ||
13609 | anchor "tl" | ||
13610 | borderDistance 6 | ||
13611 | ] | ||
13612 | ] | ||
13613 | |||
13614 | node | ||
13615 | [ | ||
13616 | id 4 | ||
13617 | graphics | ||
13618 | [ | ||
13619 | w 50.6 | ||
13620 | h 26 | ||
13621 | type "rectangle" | ||
13622 | fill "#FFFFFF" | ||
13623 | fill2 "#FFFFFF" | ||
13624 | outline "#000000" | ||
13625 | ] | ||
13626 | LabelGraphics | ||
13627 | [ | ||
13628 | text "false" | ||
13629 | outline "#000000" | ||
13630 | fill "#FFFFFF" | ||
13631 | fontSize 16 | ||
13632 | fontName "Monospace" | ||
13633 | autoSizePolicy "node_width" | ||
13634 | anchor "t" | ||
13635 | borderDistance 0.0 | ||
13636 | ] | ||
13637 | LabelGraphics | ||
13638 | [ | ||
13639 | text " | ||
13640 | " | ||
13641 | fontSize 14 | ||
13642 | fontName "Consolas" | ||
13643 | alignment "left" | ||
13644 | anchor "tl" | ||
13645 | borderDistance 6 | ||
13646 | ] | ||
13647 | ] | ||
13648 | |||
13649 | node | ||
13650 | [ | ||
13651 | id 5 | ||
13652 | graphics | ||
13653 | [ | ||
13654 | w 207.9 | ||
13655 | h 40 | ||
13656 | type "rectangle" | ||
13657 | fill "#FFFFFF" | ||
13658 | fill2 "#FFFFFF" | ||
13659 | outline "#000000" | ||
13660 | ] | ||
13661 | LabelGraphics | ||
13662 | [ | ||
13663 | text "null" | ||
13664 | outline "#000000" | ||
13665 | fill "#FFFFFF" | ||
13666 | fontSize 16 | ||
13667 | fontName "Monospace" | ||
13668 | autoSizePolicy "node_width" | ||
13669 | anchor "t" | ||
13670 | borderDistance 0.0 | ||
13671 | ] | ||
13672 | LabelGraphics | ||
13673 | [ | ||
13674 | text " | ||
13675 | FunctionalInterface class | ||
13676 | " | ||
13677 | fontSize 14 | ||
13678 | fontName "Consolas" | ||
13679 | alignment "left" | ||
13680 | anchor "tl" | ||
13681 | borderDistance 6 | ||
13682 | ] | ||
13683 | ] | ||
13684 | |||
13685 | node | ||
13686 | [ | ||
13687 | id 6 | ||
13688 | graphics | ||
13689 | [ | ||
13690 | w 177.10000000000002 | ||
13691 | h 54 | ||
13692 | type "rectangle" | ||
13693 | fill "#FFFFFF" | ||
13694 | fill2 "#FFFFFF" | ||
13695 | outline "#000000" | ||
13696 | ] | ||
13697 | LabelGraphics | ||
13698 | [ | ||
13699 | text "null" | ||
13700 | outline "#000000" | ||
13701 | fill "#FFFFFF" | ||
13702 | fontSize 16 | ||
13703 | fontName "Monospace" | ||
13704 | autoSizePolicy "node_width" | ||
13705 | anchor "t" | ||
13706 | borderDistance 0.0 | ||
13707 | ] | ||
13708 | LabelGraphics | ||
13709 | [ | ||
13710 | text " | ||
13711 | FunctionalInput class | ||
13712 | FunctionalData class | ||
13713 | " | ||
13714 | fontSize 14 | ||
13715 | fontName "Consolas" | ||
13716 | alignment "left" | ||
13717 | anchor "tl" | ||
13718 | borderDistance 6 | ||
13719 | ] | ||
13720 | ] | ||
13721 | |||
13722 | node | ||
13723 | [ | ||
13724 | id 7 | ||
13725 | graphics | ||
13726 | [ | ||
13727 | w 177.10000000000002 | ||
13728 | h 54 | ||
13729 | type "rectangle" | ||
13730 | fill "#FFFFFF" | ||
13731 | fill2 "#FFFFFF" | ||
13732 | outline "#000000" | ||
13733 | ] | ||
13734 | LabelGraphics | ||
13735 | [ | ||
13736 | text "null" | ||
13737 | outline "#000000" | ||
13738 | fill "#FFFFFF" | ||
13739 | fontSize 16 | ||
13740 | fontName "Monospace" | ||
13741 | autoSizePolicy "node_width" | ||
13742 | anchor "t" | ||
13743 | borderDistance 0.0 | ||
13744 | ] | ||
13745 | LabelGraphics | ||
13746 | [ | ||
13747 | text " | ||
13748 | FunctionalInput class | ||
13749 | FunctionalData class | ||
13750 | " | ||
13751 | fontSize 14 | ||
13752 | fontName "Consolas" | ||
13753 | alignment "left" | ||
13754 | anchor "tl" | ||
13755 | borderDistance 6 | ||
13756 | ] | ||
13757 | ] | ||
13758 | |||
13759 | node | ||
13760 | [ | ||
13761 | id 8 | ||
13762 | graphics | ||
13763 | [ | ||
13764 | w 161.70000000000002 | ||
13765 | h 40 | ||
13766 | type "rectangle" | ||
13767 | fill "#FFFFFF" | ||
13768 | fill2 "#FFFFFF" | ||
13769 | outline "#000000" | ||
13770 | ] | ||
13771 | LabelGraphics | ||
13772 | [ | ||
13773 | text "null" | ||
13774 | outline "#000000" | ||
13775 | fill "#FFFFFF" | ||
13776 | fontSize 16 | ||
13777 | fontName "Monospace" | ||
13778 | autoSizePolicy "node_width" | ||
13779 | anchor "t" | ||
13780 | borderDistance 0.0 | ||
13781 | ] | ||
13782 | LabelGraphics | ||
13783 | [ | ||
13784 | text " | ||
13785 | FAMTerminator class | ||
13786 | " | ||
13787 | fontSize 14 | ||
13788 | fontName "Consolas" | ||
13789 | alignment "left" | ||
13790 | anchor "tl" | ||
13791 | borderDistance 6 | ||
13792 | ] | ||
13793 | ] | ||
13794 | |||
13795 | node | ||
13796 | [ | ||
13797 | id 9 | ||
13798 | graphics | ||
13799 | [ | ||
13800 | w 177.10000000000002 | ||
13801 | h 54 | ||
13802 | type "rectangle" | ||
13803 | fill "#FFFFFF" | ||
13804 | fill2 "#FFFFFF" | ||
13805 | outline "#000000" | ||
13806 | ] | ||
13807 | LabelGraphics | ||
13808 | [ | ||
13809 | text "null" | ||
13810 | outline "#000000" | ||
13811 | fill "#FFFFFF" | ||
13812 | fontSize 16 | ||
13813 | fontName "Monospace" | ||
13814 | autoSizePolicy "node_width" | ||
13815 | anchor "t" | ||
13816 | borderDistance 0.0 | ||
13817 | ] | ||
13818 | LabelGraphics | ||
13819 | [ | ||
13820 | text " | ||
13821 | FunctionalInput class | ||
13822 | FunctionalData class | ||
13823 | " | ||
13824 | fontSize 14 | ||
13825 | fontName "Consolas" | ||
13826 | alignment "left" | ||
13827 | anchor "tl" | ||
13828 | borderDistance 6 | ||
13829 | ] | ||
13830 | ] | ||
13831 | |||
13832 | node | ||
13833 | [ | ||
13834 | id 10 | ||
13835 | graphics | ||
13836 | [ | ||
13837 | w 177.10000000000002 | ||
13838 | h 54 | ||
13839 | type "rectangle" | ||
13840 | fill "#FFFFFF" | ||
13841 | fill2 "#FFFFFF" | ||
13842 | outline "#000000" | ||
13843 | ] | ||
13844 | LabelGraphics | ||
13845 | [ | ||
13846 | text "null" | ||
13847 | outline "#000000" | ||
13848 | fill "#FFFFFF" | ||
13849 | fontSize 16 | ||
13850 | fontName "Monospace" | ||
13851 | autoSizePolicy "node_width" | ||
13852 | anchor "t" | ||
13853 | borderDistance 0.0 | ||
13854 | ] | ||
13855 | LabelGraphics | ||
13856 | [ | ||
13857 | text " | ||
13858 | FunctionalInput class | ||
13859 | FunctionalData class | ||
13860 | " | ||
13861 | fontSize 14 | ||
13862 | fontName "Consolas" | ||
13863 | alignment "left" | ||
13864 | anchor "tl" | ||
13865 | borderDistance 6 | ||
13866 | ] | ||
13867 | ] | ||
13868 | |||
13869 | node | ||
13870 | [ | ||
13871 | id 11 | ||
13872 | graphics | ||
13873 | [ | ||
13874 | w 184.8 | ||
13875 | h 54 | ||
13876 | type "rectangle" | ||
13877 | fill "#FFFFFF" | ||
13878 | fill2 "#FFFFFF" | ||
13879 | outline "#000000" | ||
13880 | ] | ||
13881 | LabelGraphics | ||
13882 | [ | ||
13883 | text "null" | ||
13884 | outline "#000000" | ||
13885 | fill "#FFFFFF" | ||
13886 | fontSize 16 | ||
13887 | fontName "Monospace" | ||
13888 | autoSizePolicy "node_width" | ||
13889 | anchor "t" | ||
13890 | borderDistance 0.0 | ||
13891 | ] | ||
13892 | LabelGraphics | ||
13893 | [ | ||
13894 | text " | ||
13895 | FunctionalOutput class | ||
13896 | FunctionalData class | ||
13897 | " | ||
13898 | fontSize 14 | ||
13899 | fontName "Consolas" | ||
13900 | alignment "left" | ||
13901 | anchor "tl" | ||
13902 | borderDistance 6 | ||
13903 | ] | ||
13904 | ] | ||
13905 | |||
13906 | node | ||
13907 | [ | ||
13908 | id 12 | ||
13909 | graphics | ||
13910 | [ | ||
13911 | w 112.2 | ||
13912 | h 26 | ||
13913 | type "rectangle" | ||
13914 | fill "#FFFFFF" | ||
13915 | fill2 "#FFFFFF" | ||
13916 | outline "#000000" | ||
13917 | ] | ||
13918 | LabelGraphics | ||
13919 | [ | ||
13920 | text "New Integers" | ||
13921 | outline "#000000" | ||
13922 | fill "#FFFFFF" | ||
13923 | fontSize 16 | ||
13924 | fontName "Monospace" | ||
13925 | autoSizePolicy "node_width" | ||
13926 | anchor "t" | ||
13927 | borderDistance 0.0 | ||
13928 | ] | ||
13929 | LabelGraphics | ||
13930 | [ | ||
13931 | text " | ||
13932 | " | ||
13933 | fontSize 14 | ||
13934 | fontName "Consolas" | ||
13935 | alignment "left" | ||
13936 | anchor "tl" | ||
13937 | borderDistance 6 | ||
13938 | ] | ||
13939 | ] | ||
13940 | |||
13941 | node | ||
13942 | [ | ||
13943 | id 13 | ||
13944 | graphics | ||
13945 | [ | ||
13946 | w 85.80000000000001 | ||
13947 | h 26 | ||
13948 | type "rectangle" | ||
13949 | fill "#FFFFFF" | ||
13950 | fill2 "#FFFFFF" | ||
13951 | outline "#000000" | ||
13952 | ] | ||
13953 | LabelGraphics | ||
13954 | [ | ||
13955 | text "New Reals" | ||
13956 | outline "#000000" | ||
13957 | fill "#FFFFFF" | ||
13958 | fontSize 16 | ||
13959 | fontName "Monospace" | ||
13960 | autoSizePolicy "node_width" | ||
13961 | anchor "t" | ||
13962 | borderDistance 0.0 | ||
13963 | ] | ||
13964 | LabelGraphics | ||
13965 | [ | ||
13966 | text " | ||
13967 | " | ||
13968 | fontSize 14 | ||
13969 | fontName "Consolas" | ||
13970 | alignment "left" | ||
13971 | anchor "tl" | ||
13972 | borderDistance 6 | ||
13973 | ] | ||
13974 | ] | ||
13975 | |||
13976 | node | ||
13977 | [ | ||
13978 | id 14 | ||
13979 | graphics | ||
13980 | [ | ||
13981 | w 103.4 | ||
13982 | h 26 | ||
13983 | type "rectangle" | ||
13984 | fill "#FFFFFF" | ||
13985 | fill2 "#FFFFFF" | ||
13986 | outline "#000000" | ||
13987 | ] | ||
13988 | LabelGraphics | ||
13989 | [ | ||
13990 | text "New Strings" | ||
13991 | outline "#000000" | ||
13992 | fill "#FFFFFF" | ||
13993 | fontSize 16 | ||
13994 | fontName "Monospace" | ||
13995 | autoSizePolicy "node_width" | ||
13996 | anchor "t" | ||
13997 | borderDistance 0.0 | ||
13998 | ] | ||
13999 | LabelGraphics | ||
14000 | [ | ||
14001 | text " | ||
14002 | " | ||
14003 | fontSize 14 | ||
14004 | fontName "Consolas" | ||
14005 | alignment "left" | ||
14006 | anchor "tl" | ||
14007 | borderDistance 6 | ||
14008 | ] | ||
14009 | ] | ||
14010 | |||
14011 | node | ||
14012 | [ | ||
14013 | id 15 | ||
14014 | graphics | ||
14015 | [ | ||
14016 | w 103.4 | ||
14017 | h 26 | ||
14018 | type "rectangle" | ||
14019 | fill "#FFFFFF" | ||
14020 | fill2 "#FFFFFF" | ||
14021 | outline "#000000" | ||
14022 | ] | ||
14023 | LabelGraphics | ||
14024 | [ | ||
14025 | text "New Objects" | ||
14026 | outline "#000000" | ||
14027 | fill "#FFFFFF" | ||
14028 | fontSize 16 | ||
14029 | fontName "Monospace" | ||
14030 | autoSizePolicy "node_width" | ||
14031 | anchor "t" | ||
14032 | borderDistance 0.0 | ||
14033 | ] | ||
14034 | LabelGraphics | ||
14035 | [ | ||
14036 | text " | ||
14037 | " | ||
14038 | fontSize 14 | ||
14039 | fontName "Consolas" | ||
14040 | alignment "left" | ||
14041 | anchor "tl" | ||
14042 | borderDistance 6 | ||
14043 | ] | ||
14044 | ] | ||
14045 | edge | ||
14046 | [ | ||
14047 | source 8 | ||
14048 | target 6 | ||
14049 | graphics | ||
14050 | [ | ||
14051 | fill "#000000" | ||
14052 | targetArrow "standard" | ||
14053 | ] | ||
14054 | LabelGraphics | ||
14055 | [ | ||
14056 | text "data reference FAMTerminator" | ||
14057 | fontSize 14 | ||
14058 | fontName "Consolas" | ||
14059 | configuration "AutoFlippingLabel" | ||
14060 | model "six_pos" | ||
14061 | position "thead" | ||
14062 | ] | ||
14063 | ] | ||
14064 | edge | ||
14065 | [ | ||
14066 | source 5 | ||
14067 | target 6 | ||
14068 | graphics | ||
14069 | [ | ||
14070 | fill "#000000" | ||
14071 | width 3 | ||
14072 | targetArrow "standard" | ||
14073 | ] | ||
14074 | LabelGraphics | ||
14075 | [ | ||
14076 | text "data reference FunctionalInterface" | ||
14077 | fontSize 14 | ||
14078 | fontName "Consolas" | ||
14079 | configuration "AutoFlippingLabel" | ||
14080 | model "six_pos" | ||
14081 | position "thead" | ||
14082 | ] | ||
14083 | ] | ||
14084 | edge | ||
14085 | [ | ||
14086 | source 5 | ||
14087 | target 7 | ||
14088 | graphics | ||
14089 | [ | ||
14090 | fill "#000000" | ||
14091 | width 3 | ||
14092 | targetArrow "standard" | ||
14093 | ] | ||
14094 | LabelGraphics | ||
14095 | [ | ||
14096 | text "data reference FunctionalInterface" | ||
14097 | fontSize 14 | ||
14098 | fontName "Consolas" | ||
14099 | configuration "AutoFlippingLabel" | ||
14100 | model "six_pos" | ||
14101 | position "thead" | ||
14102 | ] | ||
14103 | ] | ||
14104 | edge | ||
14105 | [ | ||
14106 | source 5 | ||
14107 | target 9 | ||
14108 | graphics | ||
14109 | [ | ||
14110 | fill "#000000" | ||
14111 | width 3 | ||
14112 | targetArrow "standard" | ||
14113 | ] | ||
14114 | LabelGraphics | ||
14115 | [ | ||
14116 | text "data reference FunctionalInterface" | ||
14117 | fontSize 14 | ||
14118 | fontName "Consolas" | ||
14119 | configuration "AutoFlippingLabel" | ||
14120 | model "six_pos" | ||
14121 | position "thead" | ||
14122 | ] | ||
14123 | ] | ||
14124 | edge | ||
14125 | [ | ||
14126 | source 5 | ||
14127 | target 10 | ||
14128 | graphics | ||
14129 | [ | ||
14130 | fill "#000000" | ||
14131 | width 3 | ||
14132 | targetArrow "standard" | ||
14133 | ] | ||
14134 | LabelGraphics | ||
14135 | [ | ||
14136 | text "data reference FunctionalInterface" | ||
14137 | fontSize 14 | ||
14138 | fontName "Consolas" | ||
14139 | configuration "AutoFlippingLabel" | ||
14140 | model "six_pos" | ||
14141 | position "thead" | ||
14142 | ] | ||
14143 | ] | ||
14144 | edge | ||
14145 | [ | ||
14146 | source 5 | ||
14147 | target 11 | ||
14148 | graphics | ||
14149 | [ | ||
14150 | fill "#000000" | ||
14151 | width 3 | ||
14152 | targetArrow "standard" | ||
14153 | ] | ||
14154 | LabelGraphics | ||
14155 | [ | ||
14156 | text "data reference FunctionalInterface" | ||
14157 | fontSize 14 | ||
14158 | fontName "Consolas" | ||
14159 | configuration "AutoFlippingLabel" | ||
14160 | model "six_pos" | ||
14161 | position "thead" | ||
14162 | ] | ||
14163 | ] | ||
14164 | edge | ||
14165 | [ | ||
14166 | source 6 | ||
14167 | target 8 | ||
14168 | graphics | ||
14169 | [ | ||
14170 | fill "#000000" | ||
14171 | width 3 | ||
14172 | targetArrow "standard" | ||
14173 | ] | ||
14174 | LabelGraphics | ||
14175 | [ | ||
14176 | text "terminator reference FunctionalData" | ||
14177 | fontSize 14 | ||
14178 | fontName "Consolas" | ||
14179 | configuration "AutoFlippingLabel" | ||
14180 | model "six_pos" | ||
14181 | position "thead" | ||
14182 | ] | ||
14183 | ] | ||
14184 | edge | ||
14185 | [ | ||
14186 | source 6 | ||
14187 | target 5 | ||
14188 | graphics | ||
14189 | [ | ||
14190 | fill "#000000" | ||
14191 | targetArrow "standard" | ||
14192 | ] | ||
14193 | LabelGraphics | ||
14194 | [ | ||
14195 | text "interface reference FunctionalData" | ||
14196 | fontSize 14 | ||
14197 | fontName "Consolas" | ||
14198 | configuration "AutoFlippingLabel" | ||
14199 | model "six_pos" | ||
14200 | position "thead" | ||
14201 | ] | ||
14202 | ] | ||
14203 | edge | ||
14204 | [ | ||
14205 | source 7 | ||
14206 | target 5 | ||
14207 | graphics | ||
14208 | [ | ||
14209 | fill "#000000" | ||
14210 | targetArrow "standard" | ||
14211 | ] | ||
14212 | LabelGraphics | ||
14213 | [ | ||
14214 | text "interface reference FunctionalData" | ||
14215 | fontSize 14 | ||
14216 | fontName "Consolas" | ||
14217 | configuration "AutoFlippingLabel" | ||
14218 | model "six_pos" | ||
14219 | position "thead" | ||
14220 | ] | ||
14221 | ] | ||
14222 | edge | ||
14223 | [ | ||
14224 | source 9 | ||
14225 | target 5 | ||
14226 | graphics | ||
14227 | [ | ||
14228 | fill "#000000" | ||
14229 | targetArrow "standard" | ||
14230 | ] | ||
14231 | LabelGraphics | ||
14232 | [ | ||
14233 | text "interface reference FunctionalData" | ||
14234 | fontSize 14 | ||
14235 | fontName "Consolas" | ||
14236 | configuration "AutoFlippingLabel" | ||
14237 | model "six_pos" | ||
14238 | position "thead" | ||
14239 | ] | ||
14240 | ] | ||
14241 | edge | ||
14242 | [ | ||
14243 | source 10 | ||
14244 | target 5 | ||
14245 | graphics | ||
14246 | [ | ||
14247 | fill "#000000" | ||
14248 | targetArrow "standard" | ||
14249 | ] | ||
14250 | LabelGraphics | ||
14251 | [ | ||
14252 | text "interface reference FunctionalData" | ||
14253 | fontSize 14 | ||
14254 | fontName "Consolas" | ||
14255 | configuration "AutoFlippingLabel" | ||
14256 | model "six_pos" | ||
14257 | position "thead" | ||
14258 | ] | ||
14259 | ] | ||
14260 | edge | ||
14261 | [ | ||
14262 | source 11 | ||
14263 | target 5 | ||
14264 | graphics | ||
14265 | [ | ||
14266 | fill "#000000" | ||
14267 | targetArrow "standard" | ||
14268 | ] | ||
14269 | LabelGraphics | ||
14270 | [ | ||
14271 | text "interface reference FunctionalData" | ||
14272 | fontSize 14 | ||
14273 | fontName "Consolas" | ||
14274 | configuration "AutoFlippingLabel" | ||
14275 | model "six_pos" | ||
14276 | position "thead" | ||
14277 | ] | ||
14278 | ] | ||
14279 | ] | ||
14280 | graph | ||
14281 | [ | ||
14282 | node | ||
14283 | [ | ||
14284 | id 0 | ||
14285 | graphics | ||
14286 | [ | ||
14287 | w 226.60000000000002 | ||
14288 | h 40 | ||
14289 | type "rectangle" | ||
14290 | fill "#FFFFFF" | ||
14291 | fill2 "#FFFFFF" | ||
14292 | outline "#000000" | ||
14293 | ] | ||
14294 | LabelGraphics | ||
14295 | [ | ||
14296 | text "Root literal FunctionType" | ||
14297 | outline "#000000" | ||
14298 | fill "#FFFFFF" | ||
14299 | fontSize 16 | ||
14300 | fontName "Monospace" | ||
14301 | autoSizePolicy "node_width" | ||
14302 | anchor "t" | ||
14303 | borderDistance 0.0 | ||
14304 | ] | ||
14305 | LabelGraphics | ||
14306 | [ | ||
14307 | text " | ||
14308 | FunctionType enum | ||
14309 | " | ||
14310 | fontSize 14 | ||
14311 | fontName "Consolas" | ||
14312 | alignment "left" | ||
14313 | anchor "tl" | ||
14314 | borderDistance 6 | ||
14315 | ] | ||
14316 | ] | ||
14317 | |||
14318 | node | ||
14319 | [ | ||
14320 | id 1 | ||
14321 | graphics | ||
14322 | [ | ||
14323 | w 297.0 | ||
14324 | h 40 | ||
14325 | type "rectangle" | ||
14326 | fill "#FFFFFF" | ||
14327 | fill2 "#FFFFFF" | ||
14328 | outline "#000000" | ||
14329 | ] | ||
14330 | LabelGraphics | ||
14331 | [ | ||
14332 | text "Intermediate literal FunctionType" | ||
14333 | outline "#000000" | ||
14334 | fill "#FFFFFF" | ||
14335 | fontSize 16 | ||
14336 | fontName "Monospace" | ||
14337 | autoSizePolicy "node_width" | ||
14338 | anchor "t" | ||
14339 | borderDistance 0.0 | ||
14340 | ] | ||
14341 | LabelGraphics | ||
14342 | [ | ||
14343 | text " | ||
14344 | FunctionType enum | ||
14345 | " | ||
14346 | fontSize 14 | ||
14347 | fontName "Consolas" | ||
14348 | alignment "left" | ||
14349 | anchor "tl" | ||
14350 | borderDistance 6 | ||
14351 | ] | ||
14352 | ] | ||
14353 | |||
14354 | node | ||
14355 | [ | ||
14356 | id 2 | ||
14357 | graphics | ||
14358 | [ | ||
14359 | w 226.60000000000002 | ||
14360 | h 40 | ||
14361 | type "rectangle" | ||
14362 | fill "#FFFFFF" | ||
14363 | fill2 "#FFFFFF" | ||
14364 | outline "#000000" | ||
14365 | ] | ||
14366 | LabelGraphics | ||
14367 | [ | ||
14368 | text "Leaf literal FunctionType" | ||
14369 | outline "#000000" | ||
14370 | fill "#FFFFFF" | ||
14371 | fontSize 16 | ||
14372 | fontName "Monospace" | ||
14373 | autoSizePolicy "node_width" | ||
14374 | anchor "t" | ||
14375 | borderDistance 0.0 | ||
14376 | ] | ||
14377 | LabelGraphics | ||
14378 | [ | ||
14379 | text " | ||
14380 | FunctionType enum | ||
14381 | " | ||
14382 | fontSize 14 | ||
14383 | fontName "Consolas" | ||
14384 | alignment "left" | ||
14385 | anchor "tl" | ||
14386 | borderDistance 6 | ||
14387 | ] | ||
14388 | ] | ||
14389 | |||
14390 | node | ||
14391 | [ | ||
14392 | id 3 | ||
14393 | graphics | ||
14394 | [ | ||
14395 | w 41.800000000000004 | ||
14396 | h 26 | ||
14397 | type "rectangle" | ||
14398 | fill "#FFFFFF" | ||
14399 | fill2 "#FFFFFF" | ||
14400 | outline "#000000" | ||
14401 | ] | ||
14402 | LabelGraphics | ||
14403 | [ | ||
14404 | text "true" | ||
14405 | outline "#000000" | ||
14406 | fill "#FFFFFF" | ||
14407 | fontSize 16 | ||
14408 | fontName "Monospace" | ||
14409 | autoSizePolicy "node_width" | ||
14410 | anchor "t" | ||
14411 | borderDistance 0.0 | ||
14412 | ] | ||
14413 | LabelGraphics | ||
14414 | [ | ||
14415 | text " | ||
14416 | " | ||
14417 | fontSize 14 | ||
14418 | fontName "Consolas" | ||
14419 | alignment "left" | ||
14420 | anchor "tl" | ||
14421 | borderDistance 6 | ||
14422 | ] | ||
14423 | ] | ||
14424 | |||
14425 | node | ||
14426 | [ | ||
14427 | id 4 | ||
14428 | graphics | ||
14429 | [ | ||
14430 | w 50.6 | ||
14431 | h 26 | ||
14432 | type "rectangle" | ||
14433 | fill "#FFFFFF" | ||
14434 | fill2 "#FFFFFF" | ||
14435 | outline "#000000" | ||
14436 | ] | ||
14437 | LabelGraphics | ||
14438 | [ | ||
14439 | text "false" | ||
14440 | outline "#000000" | ||
14441 | fill "#FFFFFF" | ||
14442 | fontSize 16 | ||
14443 | fontName "Monospace" | ||
14444 | autoSizePolicy "node_width" | ||
14445 | anchor "t" | ||
14446 | borderDistance 0.0 | ||
14447 | ] | ||
14448 | LabelGraphics | ||
14449 | [ | ||
14450 | text " | ||
14451 | " | ||
14452 | fontSize 14 | ||
14453 | fontName "Consolas" | ||
14454 | alignment "left" | ||
14455 | anchor "tl" | ||
14456 | borderDistance 6 | ||
14457 | ] | ||
14458 | ] | ||
14459 | |||
14460 | node | ||
14461 | [ | ||
14462 | id 5 | ||
14463 | graphics | ||
14464 | [ | ||
14465 | w 207.9 | ||
14466 | h 40 | ||
14467 | type "rectangle" | ||
14468 | fill "#FFFFFF" | ||
14469 | fill2 "#FFFFFF" | ||
14470 | outline "#000000" | ||
14471 | ] | ||
14472 | LabelGraphics | ||
14473 | [ | ||
14474 | text "null" | ||
14475 | outline "#000000" | ||
14476 | fill "#FFFFFF" | ||
14477 | fontSize 16 | ||
14478 | fontName "Monospace" | ||
14479 | autoSizePolicy "node_width" | ||
14480 | anchor "t" | ||
14481 | borderDistance 0.0 | ||
14482 | ] | ||
14483 | LabelGraphics | ||
14484 | [ | ||
14485 | text " | ||
14486 | FunctionalInterface class | ||
14487 | " | ||
14488 | fontSize 14 | ||
14489 | fontName "Consolas" | ||
14490 | alignment "left" | ||
14491 | anchor "tl" | ||
14492 | borderDistance 6 | ||
14493 | ] | ||
14494 | ] | ||
14495 | |||
14496 | node | ||
14497 | [ | ||
14498 | id 6 | ||
14499 | graphics | ||
14500 | [ | ||
14501 | w 177.10000000000002 | ||
14502 | h 54 | ||
14503 | type "rectangle" | ||
14504 | fill "#FFFFFF" | ||
14505 | fill2 "#FFFFFF" | ||
14506 | outline "#000000" | ||
14507 | ] | ||
14508 | LabelGraphics | ||
14509 | [ | ||
14510 | text "null" | ||
14511 | outline "#000000" | ||
14512 | fill "#FFFFFF" | ||
14513 | fontSize 16 | ||
14514 | fontName "Monospace" | ||
14515 | autoSizePolicy "node_width" | ||
14516 | anchor "t" | ||
14517 | borderDistance 0.0 | ||
14518 | ] | ||
14519 | LabelGraphics | ||
14520 | [ | ||
14521 | text " | ||
14522 | FunctionalInput class | ||
14523 | FunctionalData class | ||
14524 | " | ||
14525 | fontSize 14 | ||
14526 | fontName "Consolas" | ||
14527 | alignment "left" | ||
14528 | anchor "tl" | ||
14529 | borderDistance 6 | ||
14530 | ] | ||
14531 | ] | ||
14532 | |||
14533 | node | ||
14534 | [ | ||
14535 | id 7 | ||
14536 | graphics | ||
14537 | [ | ||
14538 | w 161.70000000000002 | ||
14539 | h 40 | ||
14540 | type "rectangle" | ||
14541 | fill "#FFFFFF" | ||
14542 | fill2 "#FFFFFF" | ||
14543 | outline "#000000" | ||
14544 | ] | ||
14545 | LabelGraphics | ||
14546 | [ | ||
14547 | text "null" | ||
14548 | outline "#000000" | ||
14549 | fill "#FFFFFF" | ||
14550 | fontSize 16 | ||
14551 | fontName "Monospace" | ||
14552 | autoSizePolicy "node_width" | ||
14553 | anchor "t" | ||
14554 | borderDistance 0.0 | ||
14555 | ] | ||
14556 | LabelGraphics | ||
14557 | [ | ||
14558 | text " | ||
14559 | FAMTerminator class | ||
14560 | " | ||
14561 | fontSize 14 | ||
14562 | fontName "Consolas" | ||
14563 | alignment "left" | ||
14564 | anchor "tl" | ||
14565 | borderDistance 6 | ||
14566 | ] | ||
14567 | ] | ||
14568 | |||
14569 | node | ||
14570 | [ | ||
14571 | id 8 | ||
14572 | graphics | ||
14573 | [ | ||
14574 | w 177.10000000000002 | ||
14575 | h 54 | ||
14576 | type "rectangle" | ||
14577 | fill "#FFFFFF" | ||
14578 | fill2 "#FFFFFF" | ||
14579 | outline "#000000" | ||
14580 | ] | ||
14581 | LabelGraphics | ||
14582 | [ | ||
14583 | text "null" | ||
14584 | outline "#000000" | ||
14585 | fill "#FFFFFF" | ||
14586 | fontSize 16 | ||
14587 | fontName "Monospace" | ||
14588 | autoSizePolicy "node_width" | ||
14589 | anchor "t" | ||
14590 | borderDistance 0.0 | ||
14591 | ] | ||
14592 | LabelGraphics | ||
14593 | [ | ||
14594 | text " | ||
14595 | FunctionalInput class | ||
14596 | FunctionalData class | ||
14597 | " | ||
14598 | fontSize 14 | ||
14599 | fontName "Consolas" | ||
14600 | alignment "left" | ||
14601 | anchor "tl" | ||
14602 | borderDistance 6 | ||
14603 | ] | ||
14604 | ] | ||
14605 | |||
14606 | node | ||
14607 | [ | ||
14608 | id 9 | ||
14609 | graphics | ||
14610 | [ | ||
14611 | w 184.8 | ||
14612 | h 54 | ||
14613 | type "rectangle" | ||
14614 | fill "#FFFFFF" | ||
14615 | fill2 "#FFFFFF" | ||
14616 | outline "#000000" | ||
14617 | ] | ||
14618 | LabelGraphics | ||
14619 | [ | ||
14620 | text "null" | ||
14621 | outline "#000000" | ||
14622 | fill "#FFFFFF" | ||
14623 | fontSize 16 | ||
14624 | fontName "Monospace" | ||
14625 | autoSizePolicy "node_width" | ||
14626 | anchor "t" | ||
14627 | borderDistance 0.0 | ||
14628 | ] | ||
14629 | LabelGraphics | ||
14630 | [ | ||
14631 | text " | ||
14632 | FunctionalOutput class | ||
14633 | FunctionalData class | ||
14634 | " | ||
14635 | fontSize 14 | ||
14636 | fontName "Consolas" | ||
14637 | alignment "left" | ||
14638 | anchor "tl" | ||
14639 | borderDistance 6 | ||
14640 | ] | ||
14641 | ] | ||
14642 | |||
14643 | node | ||
14644 | [ | ||
14645 | id 10 | ||
14646 | graphics | ||
14647 | [ | ||
14648 | w 177.10000000000002 | ||
14649 | h 40 | ||
14650 | type "rectangle" | ||
14651 | fill "#FFFFFF" | ||
14652 | fill2 "#FFFFFF" | ||
14653 | outline "#000000" | ||
14654 | ] | ||
14655 | LabelGraphics | ||
14656 | [ | ||
14657 | text "null" | ||
14658 | outline "#000000" | ||
14659 | fill "#FFFFFF" | ||
14660 | fontSize 16 | ||
14661 | fontName "Monospace" | ||
14662 | autoSizePolicy "node_width" | ||
14663 | anchor "t" | ||
14664 | borderDistance 0.0 | ||
14665 | ] | ||
14666 | LabelGraphics | ||
14667 | [ | ||
14668 | text " | ||
14669 | InformationLink class | ||
14670 | " | ||
14671 | fontSize 14 | ||
14672 | fontName "Consolas" | ||
14673 | alignment "left" | ||
14674 | anchor "tl" | ||
14675 | borderDistance 6 | ||
14676 | ] | ||
14677 | ] | ||
14678 | |||
14679 | node | ||
14680 | [ | ||
14681 | id 11 | ||
14682 | graphics | ||
14683 | [ | ||
14684 | w 184.8 | ||
14685 | h 54 | ||
14686 | type "rectangle" | ||
14687 | fill "#FFFFFF" | ||
14688 | fill2 "#FFFFFF" | ||
14689 | outline "#000000" | ||
14690 | ] | ||
14691 | LabelGraphics | ||
14692 | [ | ||
14693 | text "null" | ||
14694 | outline "#000000" | ||
14695 | fill "#FFFFFF" | ||
14696 | fontSize 16 | ||
14697 | fontName "Monospace" | ||
14698 | autoSizePolicy "node_width" | ||
14699 | anchor "t" | ||
14700 | borderDistance 0.0 | ||
14701 | ] | ||
14702 | LabelGraphics | ||
14703 | [ | ||
14704 | text " | ||
14705 | FunctionalOutput class | ||
14706 | FunctionalData class | ||
14707 | " | ||
14708 | fontSize 14 | ||
14709 | fontName "Consolas" | ||
14710 | alignment "left" | ||
14711 | anchor "tl" | ||
14712 | borderDistance 6 | ||
14713 | ] | ||
14714 | ] | ||
14715 | |||
14716 | node | ||
14717 | [ | ||
14718 | id 12 | ||
14719 | graphics | ||
14720 | [ | ||
14721 | w 112.2 | ||
14722 | h 26 | ||
14723 | type "rectangle" | ||
14724 | fill "#FFFFFF" | ||
14725 | fill2 "#FFFFFF" | ||
14726 | outline "#000000" | ||
14727 | ] | ||
14728 | LabelGraphics | ||
14729 | [ | ||
14730 | text "New Integers" | ||
14731 | outline "#000000" | ||
14732 | fill "#FFFFFF" | ||
14733 | fontSize 16 | ||
14734 | fontName "Monospace" | ||
14735 | autoSizePolicy "node_width" | ||
14736 | anchor "t" | ||
14737 | borderDistance 0.0 | ||
14738 | ] | ||
14739 | LabelGraphics | ||
14740 | [ | ||
14741 | text " | ||
14742 | " | ||
14743 | fontSize 14 | ||
14744 | fontName "Consolas" | ||
14745 | alignment "left" | ||
14746 | anchor "tl" | ||
14747 | borderDistance 6 | ||
14748 | ] | ||
14749 | ] | ||
14750 | |||
14751 | node | ||
14752 | [ | ||
14753 | id 13 | ||
14754 | graphics | ||
14755 | [ | ||
14756 | w 85.80000000000001 | ||
14757 | h 26 | ||
14758 | type "rectangle" | ||
14759 | fill "#FFFFFF" | ||
14760 | fill2 "#FFFFFF" | ||
14761 | outline "#000000" | ||
14762 | ] | ||
14763 | LabelGraphics | ||
14764 | [ | ||
14765 | text "New Reals" | ||
14766 | outline "#000000" | ||
14767 | fill "#FFFFFF" | ||
14768 | fontSize 16 | ||
14769 | fontName "Monospace" | ||
14770 | autoSizePolicy "node_width" | ||
14771 | anchor "t" | ||
14772 | borderDistance 0.0 | ||
14773 | ] | ||
14774 | LabelGraphics | ||
14775 | [ | ||
14776 | text " | ||
14777 | " | ||
14778 | fontSize 14 | ||
14779 | fontName "Consolas" | ||
14780 | alignment "left" | ||
14781 | anchor "tl" | ||
14782 | borderDistance 6 | ||
14783 | ] | ||
14784 | ] | ||
14785 | |||
14786 | node | ||
14787 | [ | ||
14788 | id 14 | ||
14789 | graphics | ||
14790 | [ | ||
14791 | w 103.4 | ||
14792 | h 26 | ||
14793 | type "rectangle" | ||
14794 | fill "#FFFFFF" | ||
14795 | fill2 "#FFFFFF" | ||
14796 | outline "#000000" | ||
14797 | ] | ||
14798 | LabelGraphics | ||
14799 | [ | ||
14800 | text "New Strings" | ||
14801 | outline "#000000" | ||
14802 | fill "#FFFFFF" | ||
14803 | fontSize 16 | ||
14804 | fontName "Monospace" | ||
14805 | autoSizePolicy "node_width" | ||
14806 | anchor "t" | ||
14807 | borderDistance 0.0 | ||
14808 | ] | ||
14809 | LabelGraphics | ||
14810 | [ | ||
14811 | text " | ||
14812 | " | ||
14813 | fontSize 14 | ||
14814 | fontName "Consolas" | ||
14815 | alignment "left" | ||
14816 | anchor "tl" | ||
14817 | borderDistance 6 | ||
14818 | ] | ||
14819 | ] | ||
14820 | |||
14821 | node | ||
14822 | [ | ||
14823 | id 15 | ||
14824 | graphics | ||
14825 | [ | ||
14826 | w 103.4 | ||
14827 | h 26 | ||
14828 | type "rectangle" | ||
14829 | fill "#FFFFFF" | ||
14830 | fill2 "#FFFFFF" | ||
14831 | outline "#000000" | ||
14832 | ] | ||
14833 | LabelGraphics | ||
14834 | [ | ||
14835 | text "New Objects" | ||
14836 | outline "#000000" | ||
14837 | fill "#FFFFFF" | ||
14838 | fontSize 16 | ||
14839 | fontName "Monospace" | ||
14840 | autoSizePolicy "node_width" | ||
14841 | anchor "t" | ||
14842 | borderDistance 0.0 | ||
14843 | ] | ||
14844 | LabelGraphics | ||
14845 | [ | ||
14846 | text " | ||
14847 | " | ||
14848 | fontSize 14 | ||
14849 | fontName "Consolas" | ||
14850 | alignment "left" | ||
14851 | anchor "tl" | ||
14852 | borderDistance 6 | ||
14853 | ] | ||
14854 | ] | ||
14855 | edge | ||
14856 | [ | ||
14857 | source 7 | ||
14858 | target 6 | ||
14859 | graphics | ||
14860 | [ | ||
14861 | fill "#000000" | ||
14862 | targetArrow "standard" | ||
14863 | ] | ||
14864 | LabelGraphics | ||
14865 | [ | ||
14866 | text "data reference FAMTerminator" | ||
14867 | fontSize 14 | ||
14868 | fontName "Consolas" | ||
14869 | configuration "AutoFlippingLabel" | ||
14870 | model "six_pos" | ||
14871 | position "thead" | ||
14872 | ] | ||
14873 | ] | ||
14874 | edge | ||
14875 | [ | ||
14876 | source 10 | ||
14877 | target 9 | ||
14878 | graphics | ||
14879 | [ | ||
14880 | fill "#000000" | ||
14881 | targetArrow "standard" | ||
14882 | ] | ||
14883 | LabelGraphics | ||
14884 | [ | ||
14885 | text "from reference InformationLink" | ||
14886 | fontSize 14 | ||
14887 | fontName "Consolas" | ||
14888 | configuration "AutoFlippingLabel" | ||
14889 | model "six_pos" | ||
14890 | position "thead" | ||
14891 | ] | ||
14892 | ] | ||
14893 | edge | ||
14894 | [ | ||
14895 | source 10 | ||
14896 | target 8 | ||
14897 | graphics | ||
14898 | [ | ||
14899 | fill "#000000" | ||
14900 | targetArrow "standard" | ||
14901 | ] | ||
14902 | LabelGraphics | ||
14903 | [ | ||
14904 | text "to reference InformationLink" | ||
14905 | fontSize 14 | ||
14906 | fontName "Consolas" | ||
14907 | configuration "AutoFlippingLabel" | ||
14908 | model "six_pos" | ||
14909 | position "thead" | ||
14910 | ] | ||
14911 | ] | ||
14912 | edge | ||
14913 | [ | ||
14914 | source 5 | ||
14915 | target 6 | ||
14916 | graphics | ||
14917 | [ | ||
14918 | fill "#000000" | ||
14919 | width 3 | ||
14920 | targetArrow "standard" | ||
14921 | ] | ||
14922 | LabelGraphics | ||
14923 | [ | ||
14924 | text "data reference FunctionalInterface" | ||
14925 | fontSize 14 | ||
14926 | fontName "Consolas" | ||
14927 | configuration "AutoFlippingLabel" | ||
14928 | model "six_pos" | ||
14929 | position "thead" | ||
14930 | ] | ||
14931 | ] | ||
14932 | edge | ||
14933 | [ | ||
14934 | source 5 | ||
14935 | target 8 | ||
14936 | graphics | ||
14937 | [ | ||
14938 | fill "#000000" | ||
14939 | width 3 | ||
14940 | targetArrow "standard" | ||
14941 | ] | ||
14942 | LabelGraphics | ||
14943 | [ | ||
14944 | text "data reference FunctionalInterface" | ||
14945 | fontSize 14 | ||
14946 | fontName "Consolas" | ||
14947 | configuration "AutoFlippingLabel" | ||
14948 | model "six_pos" | ||
14949 | position "thead" | ||
14950 | ] | ||
14951 | ] | ||
14952 | edge | ||
14953 | [ | ||
14954 | source 5 | ||
14955 | target 9 | ||
14956 | graphics | ||
14957 | [ | ||
14958 | fill "#000000" | ||
14959 | width 3 | ||
14960 | targetArrow "standard" | ||
14961 | ] | ||
14962 | LabelGraphics | ||
14963 | [ | ||
14964 | text "data reference FunctionalInterface" | ||
14965 | fontSize 14 | ||
14966 | fontName "Consolas" | ||
14967 | configuration "AutoFlippingLabel" | ||
14968 | model "six_pos" | ||
14969 | position "thead" | ||
14970 | ] | ||
14971 | ] | ||
14972 | edge | ||
14973 | [ | ||
14974 | source 5 | ||
14975 | target 11 | ||
14976 | graphics | ||
14977 | [ | ||
14978 | fill "#000000" | ||
14979 | width 3 | ||
14980 | targetArrow "standard" | ||
14981 | ] | ||
14982 | LabelGraphics | ||
14983 | [ | ||
14984 | text "data reference FunctionalInterface" | ||
14985 | fontSize 14 | ||
14986 | fontName "Consolas" | ||
14987 | configuration "AutoFlippingLabel" | ||
14988 | model "six_pos" | ||
14989 | position "thead" | ||
14990 | ] | ||
14991 | ] | ||
14992 | edge | ||
14993 | [ | ||
14994 | source 8 | ||
14995 | target 10 | ||
14996 | graphics | ||
14997 | [ | ||
14998 | fill "#000000" | ||
14999 | targetArrow "standard" | ||
15000 | ] | ||
15001 | LabelGraphics | ||
15002 | [ | ||
15003 | text "IncomingLinks reference FunctionalInput" | ||
15004 | fontSize 14 | ||
15005 | fontName "Consolas" | ||
15006 | configuration "AutoFlippingLabel" | ||
15007 | model "six_pos" | ||
15008 | position "thead" | ||
15009 | ] | ||
15010 | ] | ||
15011 | edge | ||
15012 | [ | ||
15013 | source 9 | ||
15014 | target 10 | ||
15015 | graphics | ||
15016 | [ | ||
15017 | fill "#000000" | ||
15018 | width 3 | ||
15019 | targetArrow "standard" | ||
15020 | ] | ||
15021 | LabelGraphics | ||
15022 | [ | ||
15023 | text "outgoingLinks reference FunctionalOutput" | ||
15024 | fontSize 14 | ||
15025 | fontName "Consolas" | ||
15026 | configuration "AutoFlippingLabel" | ||
15027 | model "six_pos" | ||
15028 | position "thead" | ||
15029 | ] | ||
15030 | ] | ||
15031 | edge | ||
15032 | [ | ||
15033 | source 6 | ||
15034 | target 7 | ||
15035 | graphics | ||
15036 | [ | ||
15037 | fill "#000000" | ||
15038 | width 3 | ||
15039 | targetArrow "standard" | ||
15040 | ] | ||
15041 | LabelGraphics | ||
15042 | [ | ||
15043 | text "terminator reference FunctionalData" | ||
15044 | fontSize 14 | ||
15045 | fontName "Consolas" | ||
15046 | configuration "AutoFlippingLabel" | ||
15047 | model "six_pos" | ||
15048 | position "thead" | ||
15049 | ] | ||
15050 | ] | ||
15051 | edge | ||
15052 | [ | ||
15053 | source 6 | ||
15054 | target 5 | ||
15055 | graphics | ||
15056 | [ | ||
15057 | fill "#000000" | ||
15058 | targetArrow "standard" | ||
15059 | ] | ||
15060 | LabelGraphics | ||
15061 | [ | ||
15062 | text "interface reference FunctionalData" | ||
15063 | fontSize 14 | ||
15064 | fontName "Consolas" | ||
15065 | configuration "AutoFlippingLabel" | ||
15066 | model "six_pos" | ||
15067 | position "thead" | ||
15068 | ] | ||
15069 | ] | ||
15070 | edge | ||
15071 | [ | ||
15072 | source 8 | ||
15073 | target 5 | ||
15074 | graphics | ||
15075 | [ | ||
15076 | fill "#000000" | ||
15077 | targetArrow "standard" | ||
15078 | ] | ||
15079 | LabelGraphics | ||
15080 | [ | ||
15081 | text "interface reference FunctionalData" | ||
15082 | fontSize 14 | ||
15083 | fontName "Consolas" | ||
15084 | configuration "AutoFlippingLabel" | ||
15085 | model "six_pos" | ||
15086 | position "thead" | ||
15087 | ] | ||
15088 | ] | ||
15089 | edge | ||
15090 | [ | ||
15091 | source 9 | ||
15092 | target 5 | ||
15093 | graphics | ||
15094 | [ | ||
15095 | fill "#000000" | ||
15096 | targetArrow "standard" | ||
15097 | ] | ||
15098 | LabelGraphics | ||
15099 | [ | ||
15100 | text "interface reference FunctionalData" | ||
15101 | fontSize 14 | ||
15102 | fontName "Consolas" | ||
15103 | configuration "AutoFlippingLabel" | ||
15104 | model "six_pos" | ||
15105 | position "thead" | ||
15106 | ] | ||
15107 | ] | ||
15108 | edge | ||
15109 | [ | ||
15110 | source 11 | ||
15111 | target 5 | ||
15112 | graphics | ||
15113 | [ | ||
15114 | fill "#000000" | ||
15115 | targetArrow "standard" | ||
15116 | ] | ||
15117 | LabelGraphics | ||
15118 | [ | ||
15119 | text "interface reference FunctionalData" | ||
15120 | fontSize 14 | ||
15121 | fontName "Consolas" | ||
15122 | configuration "AutoFlippingLabel" | ||
15123 | model "six_pos" | ||
15124 | position "thead" | ||
15125 | ] | ||
15126 | ] | ||
15127 | ] | ||