diff options
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 | ] | ||