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