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