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