diff options
| author |  ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-02-17 20:15:58 -0500 |
|---|---|---|
| committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-02-17 20:15:58 -0500 |
| commit | bcbd697001571ce50fd4f5299423b9bc9f77d366 (patch) | |
| tree | 10ea1c9d0c1df565ebec036e6a2a37476e1e32b7 /Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/models/5.gml | |
| parent | Merge remote-tracking branch 'origin/master' into Vampire-New (diff) | |
| download | VIATRA-Generator-bcbd697001571ce50fd4f5299423b9bc9f77d366.tar.gz VIATRA-Generator-bcbd697001571ce50fd4f5299423b9bc9f77d366.tar.zst VIATRA-Generator-bcbd697001571ce50fd4f5299423b9bc9f77d366.zip | |
complete vsconfig files #19
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/models/5.gml')
| -rw-r--r-- | Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/models/5.gml | 3338 |
1 files changed, 3338 insertions, 0 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/models/5.gml b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/models/5.gml index 3a9035a7..9bbf93f7 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/models/5.gml +++ b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/models/5.gml | |||
| @@ -8535,3 +8535,3341 @@ graph | |||
| 8535 | ] | 8535 | ] |
| 8536 | ] | 8536 | ] |
| 8537 | ] | 8537 | ] |
| 8538 | graph | ||
| 8539 | [ | ||
| 8540 | node | ||
| 8541 | [ | ||
| 8542 | id 0 | ||
| 8543 | graphics | ||
| 8544 | [ | ||
| 8545 | w 226.60000000000002 | ||
| 8546 | h 40 | ||
| 8547 | type "rectangle" | ||
| 8548 | fill "#FFFFFF" | ||
| 8549 | fill2 "#FFFFFF" | ||
| 8550 | outline "#000000" | ||
| 8551 | ] | ||
| 8552 | LabelGraphics | ||
| 8553 | [ | ||
| 8554 | text "Root literal FunctionType" | ||
| 8555 | outline "#000000" | ||
| 8556 | fill "#FFFFFF" | ||
| 8557 | fontSize 16 | ||
| 8558 | fontName "Monospace" | ||
| 8559 | autoSizePolicy "node_width" | ||
| 8560 | anchor "t" | ||
| 8561 | borderDistance 0.0 | ||
| 8562 | ] | ||
| 8563 | LabelGraphics | ||
| 8564 | [ | ||
| 8565 | text " | ||
| 8566 | FunctionType enum | ||
| 8567 | " | ||
| 8568 | fontSize 14 | ||
| 8569 | fontName "Consolas" | ||
| 8570 | alignment "left" | ||
| 8571 | anchor "tl" | ||
| 8572 | borderDistance 6 | ||
| 8573 | ] | ||
| 8574 | ] | ||
| 8575 | |||
| 8576 | node | ||
| 8577 | [ | ||
| 8578 | id 1 | ||
| 8579 | graphics | ||
| 8580 | [ | ||
| 8581 | w 297.0 | ||
| 8582 | h 40 | ||
| 8583 | type "rectangle" | ||
| 8584 | fill "#FFFFFF" | ||
| 8585 | fill2 "#FFFFFF" | ||
| 8586 | outline "#000000" | ||
| 8587 | ] | ||
| 8588 | LabelGraphics | ||
| 8589 | [ | ||
| 8590 | text "Intermediate literal FunctionType" | ||
| 8591 | outline "#000000" | ||
| 8592 | fill "#FFFFFF" | ||
| 8593 | fontSize 16 | ||
| 8594 | fontName "Monospace" | ||
| 8595 | autoSizePolicy "node_width" | ||
| 8596 | anchor "t" | ||
| 8597 | borderDistance 0.0 | ||
| 8598 | ] | ||
| 8599 | LabelGraphics | ||
| 8600 | [ | ||
| 8601 | text " | ||
| 8602 | FunctionType enum | ||
| 8603 | " | ||
| 8604 | fontSize 14 | ||
| 8605 | fontName "Consolas" | ||
| 8606 | alignment "left" | ||
| 8607 | anchor "tl" | ||
| 8608 | borderDistance 6 | ||
| 8609 | ] | ||
| 8610 | ] | ||
| 8611 | |||
| 8612 | node | ||
| 8613 | [ | ||
| 8614 | id 2 | ||
| 8615 | graphics | ||
| 8616 | [ | ||
| 8617 | w 226.60000000000002 | ||
| 8618 | h 40 | ||
| 8619 | type "rectangle" | ||
| 8620 | fill "#FFFFFF" | ||
| 8621 | fill2 "#FFFFFF" | ||
| 8622 | outline "#000000" | ||
| 8623 | ] | ||
| 8624 | LabelGraphics | ||
| 8625 | [ | ||
| 8626 | text "Leaf literal FunctionType" | ||
| 8627 | outline "#000000" | ||
| 8628 | fill "#FFFFFF" | ||
| 8629 | fontSize 16 | ||
| 8630 | fontName "Monospace" | ||
| 8631 | autoSizePolicy "node_width" | ||
| 8632 | anchor "t" | ||
| 8633 | borderDistance 0.0 | ||
| 8634 | ] | ||
| 8635 | LabelGraphics | ||
| 8636 | [ | ||
| 8637 | text " | ||
| 8638 | FunctionType enum | ||
| 8639 | " | ||
| 8640 | fontSize 14 | ||
| 8641 | fontName "Consolas" | ||
| 8642 | alignment "left" | ||
| 8643 | anchor "tl" | ||
| 8644 | borderDistance 6 | ||
| 8645 | ] | ||
| 8646 | ] | ||
| 8647 | |||
| 8648 | node | ||
| 8649 | [ | ||
| 8650 | id 3 | ||
| 8651 | graphics | ||
| 8652 | [ | ||
| 8653 | w 41.800000000000004 | ||
| 8654 | h 26 | ||
| 8655 | type "rectangle" | ||
| 8656 | fill "#FFFFFF" | ||
| 8657 | fill2 "#FFFFFF" | ||
| 8658 | outline "#000000" | ||
| 8659 | ] | ||
| 8660 | LabelGraphics | ||
| 8661 | [ | ||
| 8662 | text "true" | ||
| 8663 | outline "#000000" | ||
| 8664 | fill "#FFFFFF" | ||
| 8665 | fontSize 16 | ||
| 8666 | fontName "Monospace" | ||
| 8667 | autoSizePolicy "node_width" | ||
| 8668 | anchor "t" | ||
| 8669 | borderDistance 0.0 | ||
| 8670 | ] | ||
| 8671 | LabelGraphics | ||
| 8672 | [ | ||
| 8673 | text " | ||
| 8674 | " | ||
| 8675 | fontSize 14 | ||
| 8676 | fontName "Consolas" | ||
| 8677 | alignment "left" | ||
| 8678 | anchor "tl" | ||
| 8679 | borderDistance 6 | ||
| 8680 | ] | ||
| 8681 | ] | ||
| 8682 | |||
| 8683 | node | ||
| 8684 | [ | ||
| 8685 | id 4 | ||
| 8686 | graphics | ||
| 8687 | [ | ||
| 8688 | w 50.6 | ||
| 8689 | h 26 | ||
| 8690 | type "rectangle" | ||
| 8691 | fill "#FFFFFF" | ||
| 8692 | fill2 "#FFFFFF" | ||
| 8693 | outline "#000000" | ||
| 8694 | ] | ||
| 8695 | LabelGraphics | ||
| 8696 | [ | ||
| 8697 | text "false" | ||
| 8698 | outline "#000000" | ||
| 8699 | fill "#FFFFFF" | ||
| 8700 | fontSize 16 | ||
| 8701 | fontName "Monospace" | ||
| 8702 | autoSizePolicy "node_width" | ||
| 8703 | anchor "t" | ||
| 8704 | borderDistance 0.0 | ||
| 8705 | ] | ||
| 8706 | LabelGraphics | ||
| 8707 | [ | ||
| 8708 | text " | ||
| 8709 | " | ||
| 8710 | fontSize 14 | ||
| 8711 | fontName "Consolas" | ||
| 8712 | alignment "left" | ||
| 8713 | anchor "tl" | ||
| 8714 | borderDistance 6 | ||
| 8715 | ] | ||
| 8716 | ] | ||
| 8717 | |||
| 8718 | node | ||
| 8719 | [ | ||
| 8720 | id 5 | ||
| 8721 | graphics | ||
| 8722 | [ | ||
| 8723 | w 207.9 | ||
| 8724 | h 40 | ||
| 8725 | type "rectangle" | ||
| 8726 | fill "#FFFFFF" | ||
| 8727 | fill2 "#FFFFFF" | ||
| 8728 | outline "#000000" | ||
| 8729 | ] | ||
| 8730 | LabelGraphics | ||
| 8731 | [ | ||
| 8732 | text "null" | ||
| 8733 | outline "#000000" | ||
| 8734 | fill "#FFFFFF" | ||
| 8735 | fontSize 16 | ||
| 8736 | fontName "Monospace" | ||
| 8737 | autoSizePolicy "node_width" | ||
| 8738 | anchor "t" | ||
| 8739 | borderDistance 0.0 | ||
| 8740 | ] | ||
| 8741 | LabelGraphics | ||
| 8742 | [ | ||
| 8743 | text " | ||
| 8744 | FunctionalInterface class | ||
| 8745 | " | ||
| 8746 | fontSize 14 | ||
| 8747 | fontName "Consolas" | ||
| 8748 | alignment "left" | ||
| 8749 | anchor "tl" | ||
| 8750 | borderDistance 6 | ||
| 8751 | ] | ||
| 8752 | ] | ||
| 8753 | |||
| 8754 | node | ||
| 8755 | [ | ||
| 8756 | id 6 | ||
| 8757 | graphics | ||
| 8758 | [ | ||
| 8759 | w 184.8 | ||
| 8760 | h 54 | ||
| 8761 | type "rectangle" | ||
| 8762 | fill "#FFFFFF" | ||
| 8763 | fill2 "#FFFFFF" | ||
| 8764 | outline "#000000" | ||
| 8765 | ] | ||
| 8766 | LabelGraphics | ||
| 8767 | [ | ||
| 8768 | text "null" | ||
| 8769 | outline "#000000" | ||
| 8770 | fill "#FFFFFF" | ||
| 8771 | fontSize 16 | ||
| 8772 | fontName "Monospace" | ||
| 8773 | autoSizePolicy "node_width" | ||
| 8774 | anchor "t" | ||
| 8775 | borderDistance 0.0 | ||
| 8776 | ] | ||
| 8777 | LabelGraphics | ||
| 8778 | [ | ||
| 8779 | text " | ||
| 8780 | FunctionalOutput class | ||
| 8781 | FunctionalData class | ||
| 8782 | " | ||
| 8783 | fontSize 14 | ||
| 8784 | fontName "Consolas" | ||
| 8785 | alignment "left" | ||
| 8786 | anchor "tl" | ||
| 8787 | borderDistance 6 | ||
| 8788 | ] | ||
| 8789 | ] | ||
| 8790 | |||
| 8791 | node | ||
| 8792 | [ | ||
| 8793 | id 7 | ||
| 8794 | graphics | ||
| 8795 | [ | ||
| 8796 | w 177.10000000000002 | ||
| 8797 | h 54 | ||
| 8798 | type "rectangle" | ||
| 8799 | fill "#FFFFFF" | ||
| 8800 | fill2 "#FFFFFF" | ||
| 8801 | outline "#000000" | ||
| 8802 | ] | ||
| 8803 | LabelGraphics | ||
| 8804 | [ | ||
| 8805 | text "null" | ||
| 8806 | outline "#000000" | ||
| 8807 | fill "#FFFFFF" | ||
| 8808 | fontSize 16 | ||
| 8809 | fontName "Monospace" | ||
| 8810 | autoSizePolicy "node_width" | ||
| 8811 | anchor "t" | ||
| 8812 | borderDistance 0.0 | ||
| 8813 | ] | ||
| 8814 | LabelGraphics | ||
| 8815 | [ | ||
| 8816 | text " | ||
| 8817 | FunctionalInput class | ||
| 8818 | FunctionalData class | ||
| 8819 | " | ||
| 8820 | fontSize 14 | ||
| 8821 | fontName "Consolas" | ||
| 8822 | alignment "left" | ||
| 8823 | anchor "tl" | ||
| 8824 | borderDistance 6 | ||
| 8825 | ] | ||
| 8826 | ] | ||
| 8827 | |||
| 8828 | node | ||
| 8829 | [ | ||
| 8830 | id 8 | ||
| 8831 | graphics | ||
| 8832 | [ | ||
| 8833 | w 161.70000000000002 | ||
| 8834 | h 40 | ||
| 8835 | type "rectangle" | ||
| 8836 | fill "#FFFFFF" | ||
| 8837 | fill2 "#FFFFFF" | ||
| 8838 | outline "#000000" | ||
| 8839 | ] | ||
| 8840 | LabelGraphics | ||
| 8841 | [ | ||
| 8842 | text "null" | ||
| 8843 | outline "#000000" | ||
| 8844 | fill "#FFFFFF" | ||
| 8845 | fontSize 16 | ||
| 8846 | fontName "Monospace" | ||
| 8847 | autoSizePolicy "node_width" | ||
| 8848 | anchor "t" | ||
| 8849 | borderDistance 0.0 | ||
| 8850 | ] | ||
| 8851 | LabelGraphics | ||
| 8852 | [ | ||
| 8853 | text " | ||
| 8854 | FAMTerminator class | ||
| 8855 | " | ||
| 8856 | fontSize 14 | ||
| 8857 | fontName "Consolas" | ||
| 8858 | alignment "left" | ||
| 8859 | anchor "tl" | ||
| 8860 | borderDistance 6 | ||
| 8861 | ] | ||
| 8862 | ] | ||
| 8863 | |||
| 8864 | node | ||
| 8865 | [ | ||
| 8866 | id 9 | ||
| 8867 | graphics | ||
| 8868 | [ | ||
| 8869 | w 184.8 | ||
| 8870 | h 54 | ||
| 8871 | type "rectangle" | ||
| 8872 | fill "#FFFFFF" | ||
| 8873 | fill2 "#FFFFFF" | ||
| 8874 | outline "#000000" | ||
| 8875 | ] | ||
| 8876 | LabelGraphics | ||
| 8877 | [ | ||
| 8878 | text "null" | ||
| 8879 | outline "#000000" | ||
| 8880 | fill "#FFFFFF" | ||
| 8881 | fontSize 16 | ||
| 8882 | fontName "Monospace" | ||
| 8883 | autoSizePolicy "node_width" | ||
| 8884 | anchor "t" | ||
| 8885 | borderDistance 0.0 | ||
| 8886 | ] | ||
| 8887 | LabelGraphics | ||
| 8888 | [ | ||
| 8889 | text " | ||
| 8890 | FunctionalOutput class | ||
| 8891 | FunctionalData class | ||
| 8892 | " | ||
| 8893 | fontSize 14 | ||
| 8894 | fontName "Consolas" | ||
| 8895 | alignment "left" | ||
| 8896 | anchor "tl" | ||
| 8897 | borderDistance 6 | ||
| 8898 | ] | ||
| 8899 | ] | ||
| 8900 | |||
| 8901 | node | ||
| 8902 | [ | ||
| 8903 | id 10 | ||
| 8904 | graphics | ||
| 8905 | [ | ||
| 8906 | w 184.8 | ||
| 8907 | h 54 | ||
| 8908 | type "rectangle" | ||
| 8909 | fill "#FFFFFF" | ||
| 8910 | fill2 "#FFFFFF" | ||
| 8911 | outline "#000000" | ||
| 8912 | ] | ||
| 8913 | LabelGraphics | ||
| 8914 | [ | ||
| 8915 | text "null" | ||
| 8916 | outline "#000000" | ||
| 8917 | fill "#FFFFFF" | ||
| 8918 | fontSize 16 | ||
| 8919 | fontName "Monospace" | ||
| 8920 | autoSizePolicy "node_width" | ||
| 8921 | anchor "t" | ||
| 8922 | borderDistance 0.0 | ||
| 8923 | ] | ||
| 8924 | LabelGraphics | ||
| 8925 | [ | ||
| 8926 | text " | ||
| 8927 | FunctionalOutput class | ||
| 8928 | FunctionalData class | ||
| 8929 | " | ||
| 8930 | fontSize 14 | ||
| 8931 | fontName "Consolas" | ||
| 8932 | alignment "left" | ||
| 8933 | anchor "tl" | ||
| 8934 | borderDistance 6 | ||
| 8935 | ] | ||
| 8936 | ] | ||
| 8937 | |||
| 8938 | node | ||
| 8939 | [ | ||
| 8940 | id 11 | ||
| 8941 | graphics | ||
| 8942 | [ | ||
| 8943 | w 184.8 | ||
| 8944 | h 54 | ||
| 8945 | type "rectangle" | ||
| 8946 | fill "#FFFFFF" | ||
| 8947 | fill2 "#FFFFFF" | ||
| 8948 | outline "#000000" | ||
| 8949 | ] | ||
| 8950 | LabelGraphics | ||
| 8951 | [ | ||
| 8952 | text "null" | ||
| 8953 | outline "#000000" | ||
| 8954 | fill "#FFFFFF" | ||
| 8955 | fontSize 16 | ||
| 8956 | fontName "Monospace" | ||
| 8957 | autoSizePolicy "node_width" | ||
| 8958 | anchor "t" | ||
| 8959 | borderDistance 0.0 | ||
| 8960 | ] | ||
| 8961 | LabelGraphics | ||
| 8962 | [ | ||
| 8963 | text " | ||
| 8964 | FunctionalOutput class | ||
| 8965 | FunctionalData class | ||
| 8966 | " | ||
| 8967 | fontSize 14 | ||
| 8968 | fontName "Consolas" | ||
| 8969 | alignment "left" | ||
| 8970 | anchor "tl" | ||
| 8971 | borderDistance 6 | ||
| 8972 | ] | ||
| 8973 | ] | ||
| 8974 | |||
| 8975 | node | ||
| 8976 | [ | ||
| 8977 | id 12 | ||
| 8978 | graphics | ||
| 8979 | [ | ||
| 8980 | w 112.2 | ||
| 8981 | h 26 | ||
| 8982 | type "rectangle" | ||
| 8983 | fill "#FFFFFF" | ||
| 8984 | fill2 "#FFFFFF" | ||
| 8985 | outline "#000000" | ||
| 8986 | ] | ||
| 8987 | LabelGraphics | ||
| 8988 | [ | ||
| 8989 | text "New Integers" | ||
| 8990 | outline "#000000" | ||
| 8991 | fill "#FFFFFF" | ||
| 8992 | fontSize 16 | ||
| 8993 | fontName "Monospace" | ||
| 8994 | autoSizePolicy "node_width" | ||
| 8995 | anchor "t" | ||
| 8996 | borderDistance 0.0 | ||
| 8997 | ] | ||
| 8998 | LabelGraphics | ||
| 8999 | [ | ||
| 9000 | text " | ||
| 9001 | " | ||
| 9002 | fontSize 14 | ||
| 9003 | fontName "Consolas" | ||
| 9004 | alignment "left" | ||
| 9005 | anchor "tl" | ||
| 9006 | borderDistance 6 | ||
| 9007 | ] | ||
| 9008 | ] | ||
| 9009 | |||
| 9010 | node | ||
| 9011 | [ | ||
| 9012 | id 13 | ||
| 9013 | graphics | ||
| 9014 | [ | ||
| 9015 | w 85.80000000000001 | ||
| 9016 | h 26 | ||
| 9017 | type "rectangle" | ||
| 9018 | fill "#FFFFFF" | ||
| 9019 | fill2 "#FFFFFF" | ||
| 9020 | outline "#000000" | ||
| 9021 | ] | ||
| 9022 | LabelGraphics | ||
| 9023 | [ | ||
| 9024 | text "New Reals" | ||
| 9025 | outline "#000000" | ||
| 9026 | fill "#FFFFFF" | ||
| 9027 | fontSize 16 | ||
| 9028 | fontName "Monospace" | ||
| 9029 | autoSizePolicy "node_width" | ||
| 9030 | anchor "t" | ||
| 9031 | borderDistance 0.0 | ||
| 9032 | ] | ||
| 9033 | LabelGraphics | ||
| 9034 | [ | ||
| 9035 | text " | ||
| 9036 | " | ||
| 9037 | fontSize 14 | ||
| 9038 | fontName "Consolas" | ||
| 9039 | alignment "left" | ||
| 9040 | anchor "tl" | ||
| 9041 | borderDistance 6 | ||
| 9042 | ] | ||
| 9043 | ] | ||
| 9044 | |||
| 9045 | node | ||
| 9046 | [ | ||
| 9047 | id 14 | ||
| 9048 | graphics | ||
| 9049 | [ | ||
| 9050 | w 103.4 | ||
| 9051 | h 26 | ||
| 9052 | type "rectangle" | ||
| 9053 | fill "#FFFFFF" | ||
| 9054 | fill2 "#FFFFFF" | ||
| 9055 | outline "#000000" | ||
| 9056 | ] | ||
| 9057 | LabelGraphics | ||
| 9058 | [ | ||
| 9059 | text "New Strings" | ||
| 9060 | outline "#000000" | ||
| 9061 | fill "#FFFFFF" | ||
| 9062 | fontSize 16 | ||
| 9063 | fontName "Monospace" | ||
| 9064 | autoSizePolicy "node_width" | ||
| 9065 | anchor "t" | ||
| 9066 | borderDistance 0.0 | ||
| 9067 | ] | ||
| 9068 | LabelGraphics | ||
| 9069 | [ | ||
| 9070 | text " | ||
| 9071 | " | ||
| 9072 | fontSize 14 | ||
| 9073 | fontName "Consolas" | ||
| 9074 | alignment "left" | ||
| 9075 | anchor "tl" | ||
| 9076 | borderDistance 6 | ||
| 9077 | ] | ||
| 9078 | ] | ||
| 9079 | |||
| 9080 | node | ||
| 9081 | [ | ||
| 9082 | id 15 | ||
| 9083 | graphics | ||
| 9084 | [ | ||
| 9085 | w 103.4 | ||
| 9086 | h 26 | ||
| 9087 | type "rectangle" | ||
| 9088 | fill "#FFFFFF" | ||
| 9089 | fill2 "#FFFFFF" | ||
| 9090 | outline "#000000" | ||
| 9091 | ] | ||
| 9092 | LabelGraphics | ||
| 9093 | [ | ||
| 9094 | text "New Objects" | ||
| 9095 | outline "#000000" | ||
| 9096 | fill "#FFFFFF" | ||
| 9097 | fontSize 16 | ||
| 9098 | fontName "Monospace" | ||
| 9099 | autoSizePolicy "node_width" | ||
| 9100 | anchor "t" | ||
| 9101 | borderDistance 0.0 | ||
| 9102 | ] | ||
| 9103 | LabelGraphics | ||
| 9104 | [ | ||
| 9105 | text " | ||
| 9106 | " | ||
| 9107 | fontSize 14 | ||
| 9108 | fontName "Consolas" | ||
| 9109 | alignment "left" | ||
| 9110 | anchor "tl" | ||
| 9111 | borderDistance 6 | ||
| 9112 | ] | ||
| 9113 | ] | ||
| 9114 | edge | ||
| 9115 | [ | ||
| 9116 | source 8 | ||
| 9117 | target 6 | ||
| 9118 | graphics | ||
| 9119 | [ | ||
| 9120 | fill "#000000" | ||
| 9121 | targetArrow "standard" | ||
| 9122 | ] | ||
| 9123 | LabelGraphics | ||
| 9124 | [ | ||
| 9125 | text "data reference FAMTerminator" | ||
| 9126 | fontSize 14 | ||
| 9127 | fontName "Consolas" | ||
| 9128 | configuration "AutoFlippingLabel" | ||
| 9129 | model "six_pos" | ||
| 9130 | position "thead" | ||
| 9131 | ] | ||
| 9132 | ] | ||
| 9133 | edge | ||
| 9134 | [ | ||
| 9135 | source 5 | ||
| 9136 | target 6 | ||
| 9137 | graphics | ||
| 9138 | [ | ||
| 9139 | fill "#000000" | ||
| 9140 | width 3 | ||
| 9141 | targetArrow "standard" | ||
| 9142 | ] | ||
| 9143 | LabelGraphics | ||
| 9144 | [ | ||
| 9145 | text "data reference FunctionalInterface" | ||
| 9146 | fontSize 14 | ||
| 9147 | fontName "Consolas" | ||
| 9148 | configuration "AutoFlippingLabel" | ||
| 9149 | model "six_pos" | ||
| 9150 | position "thead" | ||
| 9151 | ] | ||
| 9152 | ] | ||
| 9153 | edge | ||
| 9154 | [ | ||
| 9155 | source 5 | ||
| 9156 | target 7 | ||
| 9157 | graphics | ||
| 9158 | [ | ||
| 9159 | fill "#000000" | ||
| 9160 | width 3 | ||
| 9161 | targetArrow "standard" | ||
| 9162 | ] | ||
| 9163 | LabelGraphics | ||
| 9164 | [ | ||
| 9165 | text "data reference FunctionalInterface" | ||
| 9166 | fontSize 14 | ||
| 9167 | fontName "Consolas" | ||
| 9168 | configuration "AutoFlippingLabel" | ||
| 9169 | model "six_pos" | ||
| 9170 | position "thead" | ||
| 9171 | ] | ||
| 9172 | ] | ||
| 9173 | edge | ||
| 9174 | [ | ||
| 9175 | source 5 | ||
| 9176 | target 9 | ||
| 9177 | graphics | ||
| 9178 | [ | ||
| 9179 | fill "#000000" | ||
| 9180 | width 3 | ||
| 9181 | targetArrow "standard" | ||
| 9182 | ] | ||
| 9183 | LabelGraphics | ||
| 9184 | [ | ||
| 9185 | text "data reference FunctionalInterface" | ||
| 9186 | fontSize 14 | ||
| 9187 | fontName "Consolas" | ||
| 9188 | configuration "AutoFlippingLabel" | ||
| 9189 | model "six_pos" | ||
| 9190 | position "thead" | ||
| 9191 | ] | ||
| 9192 | ] | ||
| 9193 | edge | ||
| 9194 | [ | ||
| 9195 | source 5 | ||
| 9196 | target 10 | ||
| 9197 | graphics | ||
| 9198 | [ | ||
| 9199 | fill "#000000" | ||
| 9200 | width 3 | ||
| 9201 | targetArrow "standard" | ||
| 9202 | ] | ||
| 9203 | LabelGraphics | ||
| 9204 | [ | ||
| 9205 | text "data reference FunctionalInterface" | ||
| 9206 | fontSize 14 | ||
| 9207 | fontName "Consolas" | ||
| 9208 | configuration "AutoFlippingLabel" | ||
| 9209 | model "six_pos" | ||
| 9210 | position "thead" | ||
| 9211 | ] | ||
| 9212 | ] | ||
| 9213 | edge | ||
| 9214 | [ | ||
| 9215 | source 5 | ||
| 9216 | target 11 | ||
| 9217 | graphics | ||
| 9218 | [ | ||
| 9219 | fill "#000000" | ||
| 9220 | width 3 | ||
| 9221 | targetArrow "standard" | ||
| 9222 | ] | ||
| 9223 | LabelGraphics | ||
| 9224 | [ | ||
| 9225 | text "data reference FunctionalInterface" | ||
| 9226 | fontSize 14 | ||
| 9227 | fontName "Consolas" | ||
| 9228 | configuration "AutoFlippingLabel" | ||
| 9229 | model "six_pos" | ||
| 9230 | position "thead" | ||
| 9231 | ] | ||
| 9232 | ] | ||
| 9233 | edge | ||
| 9234 | [ | ||
| 9235 | source 6 | ||
| 9236 | target 8 | ||
| 9237 | graphics | ||
| 9238 | [ | ||
| 9239 | fill "#000000" | ||
| 9240 | width 3 | ||
| 9241 | targetArrow "standard" | ||
| 9242 | ] | ||
| 9243 | LabelGraphics | ||
| 9244 | [ | ||
| 9245 | text "terminator reference FunctionalData" | ||
| 9246 | fontSize 14 | ||
| 9247 | fontName "Consolas" | ||
| 9248 | configuration "AutoFlippingLabel" | ||
| 9249 | model "six_pos" | ||
| 9250 | position "thead" | ||
| 9251 | ] | ||
| 9252 | ] | ||
| 9253 | edge | ||
| 9254 | [ | ||
| 9255 | source 6 | ||
| 9256 | target 5 | ||
| 9257 | graphics | ||
| 9258 | [ | ||
| 9259 | fill "#000000" | ||
| 9260 | targetArrow "standard" | ||
| 9261 | ] | ||
| 9262 | LabelGraphics | ||
| 9263 | [ | ||
| 9264 | text "interface reference FunctionalData" | ||
| 9265 | fontSize 14 | ||
| 9266 | fontName "Consolas" | ||
| 9267 | configuration "AutoFlippingLabel" | ||
| 9268 | model "six_pos" | ||
| 9269 | position "thead" | ||
| 9270 | ] | ||
| 9271 | ] | ||
| 9272 | edge | ||
| 9273 | [ | ||
| 9274 | source 7 | ||
| 9275 | target 5 | ||
| 9276 | graphics | ||
| 9277 | [ | ||
| 9278 | fill "#000000" | ||
| 9279 | targetArrow "standard" | ||
| 9280 | ] | ||
| 9281 | LabelGraphics | ||
| 9282 | [ | ||
| 9283 | text "interface reference FunctionalData" | ||
| 9284 | fontSize 14 | ||
| 9285 | fontName "Consolas" | ||
| 9286 | configuration "AutoFlippingLabel" | ||
| 9287 | model "six_pos" | ||
| 9288 | position "thead" | ||
| 9289 | ] | ||
| 9290 | ] | ||
| 9291 | edge | ||
| 9292 | [ | ||
| 9293 | source 9 | ||
| 9294 | target 5 | ||
| 9295 | graphics | ||
| 9296 | [ | ||
| 9297 | fill "#000000" | ||
| 9298 | targetArrow "standard" | ||
| 9299 | ] | ||
| 9300 | LabelGraphics | ||
| 9301 | [ | ||
| 9302 | text "interface reference FunctionalData" | ||
| 9303 | fontSize 14 | ||
| 9304 | fontName "Consolas" | ||
| 9305 | configuration "AutoFlippingLabel" | ||
| 9306 | model "six_pos" | ||
| 9307 | position "thead" | ||
| 9308 | ] | ||
| 9309 | ] | ||
| 9310 | edge | ||
| 9311 | [ | ||
| 9312 | source 10 | ||
| 9313 | target 5 | ||
| 9314 | graphics | ||
| 9315 | [ | ||
| 9316 | fill "#000000" | ||
| 9317 | targetArrow "standard" | ||
| 9318 | ] | ||
| 9319 | LabelGraphics | ||
| 9320 | [ | ||
| 9321 | text "interface reference FunctionalData" | ||
| 9322 | fontSize 14 | ||
| 9323 | fontName "Consolas" | ||
| 9324 | configuration "AutoFlippingLabel" | ||
| 9325 | model "six_pos" | ||
| 9326 | position "thead" | ||
| 9327 | ] | ||
| 9328 | ] | ||
| 9329 | edge | ||
| 9330 | [ | ||
| 9331 | source 11 | ||
| 9332 | target 5 | ||
| 9333 | graphics | ||
| 9334 | [ | ||
| 9335 | fill "#000000" | ||
| 9336 | targetArrow "standard" | ||
| 9337 | ] | ||
| 9338 | LabelGraphics | ||
| 9339 | [ | ||
| 9340 | text "interface reference FunctionalData" | ||
| 9341 | fontSize 14 | ||
| 9342 | fontName "Consolas" | ||
| 9343 | configuration "AutoFlippingLabel" | ||
| 9344 | model "six_pos" | ||
| 9345 | position "thead" | ||
| 9346 | ] | ||
| 9347 | ] | ||
| 9348 | ] | ||
| 9349 | graph | ||
| 9350 | [ | ||
| 9351 | node | ||
| 9352 | [ | ||
| 9353 | id 0 | ||
| 9354 | graphics | ||
| 9355 | [ | ||
| 9356 | w 226.60000000000002 | ||
| 9357 | h 40 | ||
| 9358 | type "rectangle" | ||
| 9359 | fill "#FFFFFF" | ||
| 9360 | fill2 "#FFFFFF" | ||
| 9361 | outline "#000000" | ||
| 9362 | ] | ||
| 9363 | LabelGraphics | ||
| 9364 | [ | ||
| 9365 | text "Root literal FunctionType" | ||
| 9366 | outline "#000000" | ||
| 9367 | fill "#FFFFFF" | ||
| 9368 | fontSize 16 | ||
| 9369 | fontName "Monospace" | ||
| 9370 | autoSizePolicy "node_width" | ||
| 9371 | anchor "t" | ||
| 9372 | borderDistance 0.0 | ||
| 9373 | ] | ||
| 9374 | LabelGraphics | ||
| 9375 | [ | ||
| 9376 | text " | ||
| 9377 | FunctionType enum | ||
| 9378 | " | ||
| 9379 | fontSize 14 | ||
| 9380 | fontName "Consolas" | ||
| 9381 | alignment "left" | ||
| 9382 | anchor "tl" | ||
| 9383 | borderDistance 6 | ||
| 9384 | ] | ||
| 9385 | ] | ||
| 9386 | |||
| 9387 | node | ||
| 9388 | [ | ||
| 9389 | id 1 | ||
| 9390 | graphics | ||
| 9391 | [ | ||
| 9392 | w 297.0 | ||
| 9393 | h 40 | ||
| 9394 | type "rectangle" | ||
| 9395 | fill "#FFFFFF" | ||
| 9396 | fill2 "#FFFFFF" | ||
| 9397 | outline "#000000" | ||
| 9398 | ] | ||
| 9399 | LabelGraphics | ||
| 9400 | [ | ||
| 9401 | text "Intermediate literal FunctionType" | ||
| 9402 | outline "#000000" | ||
| 9403 | fill "#FFFFFF" | ||
| 9404 | fontSize 16 | ||
| 9405 | fontName "Monospace" | ||
| 9406 | autoSizePolicy "node_width" | ||
| 9407 | anchor "t" | ||
| 9408 | borderDistance 0.0 | ||
| 9409 | ] | ||
| 9410 | LabelGraphics | ||
| 9411 | [ | ||
| 9412 | text " | ||
| 9413 | FunctionType enum | ||
| 9414 | " | ||
| 9415 | fontSize 14 | ||
| 9416 | fontName "Consolas" | ||
| 9417 | alignment "left" | ||
| 9418 | anchor "tl" | ||
| 9419 | borderDistance 6 | ||
| 9420 | ] | ||
| 9421 | ] | ||
| 9422 | |||
| 9423 | node | ||
| 9424 | [ | ||
| 9425 | id 2 | ||
| 9426 | graphics | ||
| 9427 | [ | ||
| 9428 | w 226.60000000000002 | ||
| 9429 | h 40 | ||
| 9430 | type "rectangle" | ||
| 9431 | fill "#FFFFFF" | ||
| 9432 | fill2 "#FFFFFF" | ||
| 9433 | outline "#000000" | ||
| 9434 | ] | ||
| 9435 | LabelGraphics | ||
| 9436 | [ | ||
| 9437 | text "Leaf literal FunctionType" | ||
| 9438 | outline "#000000" | ||
| 9439 | fill "#FFFFFF" | ||
| 9440 | fontSize 16 | ||
| 9441 | fontName "Monospace" | ||
| 9442 | autoSizePolicy "node_width" | ||
| 9443 | anchor "t" | ||
| 9444 | borderDistance 0.0 | ||
| 9445 | ] | ||
| 9446 | LabelGraphics | ||
| 9447 | [ | ||
| 9448 | text " | ||
| 9449 | FunctionType enum | ||
| 9450 | " | ||
| 9451 | fontSize 14 | ||
| 9452 | fontName "Consolas" | ||
| 9453 | alignment "left" | ||
| 9454 | anchor "tl" | ||
| 9455 | borderDistance 6 | ||
| 9456 | ] | ||
| 9457 | ] | ||
| 9458 | |||
| 9459 | node | ||
| 9460 | [ | ||
| 9461 | id 3 | ||
| 9462 | graphics | ||
| 9463 | [ | ||
| 9464 | w 41.800000000000004 | ||
| 9465 | h 26 | ||
| 9466 | type "rectangle" | ||
| 9467 | fill "#FFFFFF" | ||
| 9468 | fill2 "#FFFFFF" | ||
| 9469 | outline "#000000" | ||
| 9470 | ] | ||
| 9471 | LabelGraphics | ||
| 9472 | [ | ||
| 9473 | text "true" | ||
| 9474 | outline "#000000" | ||
| 9475 | fill "#FFFFFF" | ||
| 9476 | fontSize 16 | ||
| 9477 | fontName "Monospace" | ||
| 9478 | autoSizePolicy "node_width" | ||
| 9479 | anchor "t" | ||
| 9480 | borderDistance 0.0 | ||
| 9481 | ] | ||
| 9482 | LabelGraphics | ||
| 9483 | [ | ||
| 9484 | text " | ||
| 9485 | " | ||
| 9486 | fontSize 14 | ||
| 9487 | fontName "Consolas" | ||
| 9488 | alignment "left" | ||
| 9489 | anchor "tl" | ||
| 9490 | borderDistance 6 | ||
| 9491 | ] | ||
| 9492 | ] | ||
| 9493 | |||
| 9494 | node | ||
| 9495 | [ | ||
| 9496 | id 4 | ||
| 9497 | graphics | ||
| 9498 | [ | ||
| 9499 | w 50.6 | ||
| 9500 | h 26 | ||
| 9501 | type "rectangle" | ||
| 9502 | fill "#FFFFFF" | ||
| 9503 | fill2 "#FFFFFF" | ||
| 9504 | outline "#000000" | ||
| 9505 | ] | ||
| 9506 | LabelGraphics | ||
| 9507 | [ | ||
| 9508 | text "false" | ||
| 9509 | outline "#000000" | ||
| 9510 | fill "#FFFFFF" | ||
| 9511 | fontSize 16 | ||
| 9512 | fontName "Monospace" | ||
| 9513 | autoSizePolicy "node_width" | ||
| 9514 | anchor "t" | ||
| 9515 | borderDistance 0.0 | ||
| 9516 | ] | ||
| 9517 | LabelGraphics | ||
| 9518 | [ | ||
| 9519 | text " | ||
| 9520 | " | ||
| 9521 | fontSize 14 | ||
| 9522 | fontName "Consolas" | ||
| 9523 | alignment "left" | ||
| 9524 | anchor "tl" | ||
| 9525 | borderDistance 6 | ||
| 9526 | ] | ||
| 9527 | ] | ||
| 9528 | |||
| 9529 | node | ||
| 9530 | [ | ||
| 9531 | id 5 | ||
| 9532 | graphics | ||
| 9533 | [ | ||
| 9534 | w 207.9 | ||
| 9535 | h 40 | ||
| 9536 | type "rectangle" | ||
| 9537 | fill "#FFFFFF" | ||
| 9538 | fill2 "#FFFFFF" | ||
| 9539 | outline "#000000" | ||
| 9540 | ] | ||
| 9541 | LabelGraphics | ||
| 9542 | [ | ||
| 9543 | text "null" | ||
| 9544 | outline "#000000" | ||
| 9545 | fill "#FFFFFF" | ||
| 9546 | fontSize 16 | ||
| 9547 | fontName "Monospace" | ||
| 9548 | autoSizePolicy "node_width" | ||
| 9549 | anchor "t" | ||
| 9550 | borderDistance 0.0 | ||
| 9551 | ] | ||
| 9552 | LabelGraphics | ||
| 9553 | [ | ||
| 9554 | text " | ||
| 9555 | FunctionalInterface class | ||
| 9556 | " | ||
| 9557 | fontSize 14 | ||
| 9558 | fontName "Consolas" | ||
| 9559 | alignment "left" | ||
| 9560 | anchor "tl" | ||
| 9561 | borderDistance 6 | ||
| 9562 | ] | ||
| 9563 | ] | ||
| 9564 | |||
| 9565 | node | ||
| 9566 | [ | ||
| 9567 | id 6 | ||
| 9568 | graphics | ||
| 9569 | [ | ||
| 9570 | w 177.10000000000002 | ||
| 9571 | h 54 | ||
| 9572 | type "rectangle" | ||
| 9573 | fill "#FFFFFF" | ||
| 9574 | fill2 "#FFFFFF" | ||
| 9575 | outline "#000000" | ||
| 9576 | ] | ||
| 9577 | LabelGraphics | ||
| 9578 | [ | ||
| 9579 | text "null" | ||
| 9580 | outline "#000000" | ||
| 9581 | fill "#FFFFFF" | ||
| 9582 | fontSize 16 | ||
| 9583 | fontName "Monospace" | ||
| 9584 | autoSizePolicy "node_width" | ||
| 9585 | anchor "t" | ||
| 9586 | borderDistance 0.0 | ||
| 9587 | ] | ||
| 9588 | LabelGraphics | ||
| 9589 | [ | ||
| 9590 | text " | ||
| 9591 | FunctionalInput class | ||
| 9592 | FunctionalData class | ||
| 9593 | " | ||
| 9594 | fontSize 14 | ||
| 9595 | fontName "Consolas" | ||
| 9596 | alignment "left" | ||
| 9597 | anchor "tl" | ||
| 9598 | borderDistance 6 | ||
| 9599 | ] | ||
| 9600 | ] | ||
| 9601 | |||
| 9602 | node | ||
| 9603 | [ | ||
| 9604 | id 7 | ||
| 9605 | graphics | ||
| 9606 | [ | ||
| 9607 | w 177.10000000000002 | ||
| 9608 | h 54 | ||
| 9609 | type "rectangle" | ||
| 9610 | fill "#FFFFFF" | ||
| 9611 | fill2 "#FFFFFF" | ||
| 9612 | outline "#000000" | ||
| 9613 | ] | ||
| 9614 | LabelGraphics | ||
| 9615 | [ | ||
| 9616 | text "null" | ||
| 9617 | outline "#000000" | ||
| 9618 | fill "#FFFFFF" | ||
| 9619 | fontSize 16 | ||
| 9620 | fontName "Monospace" | ||
| 9621 | autoSizePolicy "node_width" | ||
| 9622 | anchor "t" | ||
| 9623 | borderDistance 0.0 | ||
| 9624 | ] | ||
| 9625 | LabelGraphics | ||
| 9626 | [ | ||
| 9627 | text " | ||
| 9628 | FunctionalInput class | ||
| 9629 | FunctionalData class | ||
| 9630 | " | ||
| 9631 | fontSize 14 | ||
| 9632 | fontName "Consolas" | ||
| 9633 | alignment "left" | ||
| 9634 | anchor "tl" | ||
| 9635 | borderDistance 6 | ||
| 9636 | ] | ||
| 9637 | ] | ||
| 9638 | |||
| 9639 | node | ||
| 9640 | [ | ||
| 9641 | id 8 | ||
| 9642 | graphics | ||
| 9643 | [ | ||
| 9644 | w 177.10000000000002 | ||
| 9645 | h 54 | ||
| 9646 | type "rectangle" | ||
| 9647 | fill "#FFFFFF" | ||
| 9648 | fill2 "#FFFFFF" | ||
| 9649 | outline "#000000" | ||
| 9650 | ] | ||
| 9651 | LabelGraphics | ||
| 9652 | [ | ||
| 9653 | text "null" | ||
| 9654 | outline "#000000" | ||
| 9655 | fill "#FFFFFF" | ||
| 9656 | fontSize 16 | ||
| 9657 | fontName "Monospace" | ||
| 9658 | autoSizePolicy "node_width" | ||
| 9659 | anchor "t" | ||
| 9660 | borderDistance 0.0 | ||
| 9661 | ] | ||
| 9662 | LabelGraphics | ||
| 9663 | [ | ||
| 9664 | text " | ||
| 9665 | FunctionalInput class | ||
| 9666 | FunctionalData class | ||
| 9667 | " | ||
| 9668 | fontSize 14 | ||
| 9669 | fontName "Consolas" | ||
| 9670 | alignment "left" | ||
| 9671 | anchor "tl" | ||
| 9672 | borderDistance 6 | ||
| 9673 | ] | ||
| 9674 | ] | ||
| 9675 | |||
| 9676 | node | ||
| 9677 | [ | ||
| 9678 | id 9 | ||
| 9679 | graphics | ||
| 9680 | [ | ||
| 9681 | w 161.70000000000002 | ||
| 9682 | h 40 | ||
| 9683 | type "rectangle" | ||
| 9684 | fill "#FFFFFF" | ||
| 9685 | fill2 "#FFFFFF" | ||
| 9686 | outline "#000000" | ||
| 9687 | ] | ||
| 9688 | LabelGraphics | ||
| 9689 | [ | ||
| 9690 | text "null" | ||
| 9691 | outline "#000000" | ||
| 9692 | fill "#FFFFFF" | ||
| 9693 | fontSize 16 | ||
| 9694 | fontName "Monospace" | ||
| 9695 | autoSizePolicy "node_width" | ||
| 9696 | anchor "t" | ||
| 9697 | borderDistance 0.0 | ||
| 9698 | ] | ||
| 9699 | LabelGraphics | ||
| 9700 | [ | ||
| 9701 | text " | ||
| 9702 | FAMTerminator class | ||
| 9703 | " | ||
| 9704 | fontSize 14 | ||
| 9705 | fontName "Consolas" | ||
| 9706 | alignment "left" | ||
| 9707 | anchor "tl" | ||
| 9708 | borderDistance 6 | ||
| 9709 | ] | ||
| 9710 | ] | ||
| 9711 | |||
| 9712 | node | ||
| 9713 | [ | ||
| 9714 | id 10 | ||
| 9715 | graphics | ||
| 9716 | [ | ||
| 9717 | w 177.10000000000002 | ||
| 9718 | h 54 | ||
| 9719 | type "rectangle" | ||
| 9720 | fill "#FFFFFF" | ||
| 9721 | fill2 "#FFFFFF" | ||
| 9722 | outline "#000000" | ||
| 9723 | ] | ||
| 9724 | LabelGraphics | ||
| 9725 | [ | ||
| 9726 | text "null" | ||
| 9727 | outline "#000000" | ||
| 9728 | fill "#FFFFFF" | ||
| 9729 | fontSize 16 | ||
| 9730 | fontName "Monospace" | ||
| 9731 | autoSizePolicy "node_width" | ||
| 9732 | anchor "t" | ||
| 9733 | borderDistance 0.0 | ||
| 9734 | ] | ||
| 9735 | LabelGraphics | ||
| 9736 | [ | ||
| 9737 | text " | ||
| 9738 | FunctionalInput class | ||
| 9739 | FunctionalData class | ||
| 9740 | " | ||
| 9741 | fontSize 14 | ||
| 9742 | fontName "Consolas" | ||
| 9743 | alignment "left" | ||
| 9744 | anchor "tl" | ||
| 9745 | borderDistance 6 | ||
| 9746 | ] | ||
| 9747 | ] | ||
| 9748 | |||
| 9749 | node | ||
| 9750 | [ | ||
| 9751 | id 11 | ||
| 9752 | graphics | ||
| 9753 | [ | ||
| 9754 | w 184.8 | ||
| 9755 | h 54 | ||
| 9756 | type "rectangle" | ||
| 9757 | fill "#FFFFFF" | ||
| 9758 | fill2 "#FFFFFF" | ||
| 9759 | outline "#000000" | ||
| 9760 | ] | ||
| 9761 | LabelGraphics | ||
| 9762 | [ | ||
| 9763 | text "null" | ||
| 9764 | outline "#000000" | ||
| 9765 | fill "#FFFFFF" | ||
| 9766 | fontSize 16 | ||
| 9767 | fontName "Monospace" | ||
| 9768 | autoSizePolicy "node_width" | ||
| 9769 | anchor "t" | ||
| 9770 | borderDistance 0.0 | ||
| 9771 | ] | ||
| 9772 | LabelGraphics | ||
| 9773 | [ | ||
| 9774 | text " | ||
| 9775 | FunctionalOutput class | ||
| 9776 | FunctionalData class | ||
| 9777 | " | ||
| 9778 | fontSize 14 | ||
| 9779 | fontName "Consolas" | ||
| 9780 | alignment "left" | ||
| 9781 | anchor "tl" | ||
| 9782 | borderDistance 6 | ||
| 9783 | ] | ||
| 9784 | ] | ||
| 9785 | |||
| 9786 | node | ||
| 9787 | [ | ||
| 9788 | id 12 | ||
| 9789 | graphics | ||
| 9790 | [ | ||
| 9791 | w 112.2 | ||
| 9792 | h 26 | ||
| 9793 | type "rectangle" | ||
| 9794 | fill "#FFFFFF" | ||
| 9795 | fill2 "#FFFFFF" | ||
| 9796 | outline "#000000" | ||
| 9797 | ] | ||
| 9798 | LabelGraphics | ||
| 9799 | [ | ||
| 9800 | text "New Integers" | ||
| 9801 | outline "#000000" | ||
| 9802 | fill "#FFFFFF" | ||
| 9803 | fontSize 16 | ||
| 9804 | fontName "Monospace" | ||
| 9805 | autoSizePolicy "node_width" | ||
| 9806 | anchor "t" | ||
| 9807 | borderDistance 0.0 | ||
| 9808 | ] | ||
| 9809 | LabelGraphics | ||
| 9810 | [ | ||
| 9811 | text " | ||
| 9812 | " | ||
| 9813 | fontSize 14 | ||
| 9814 | fontName "Consolas" | ||
| 9815 | alignment "left" | ||
| 9816 | anchor "tl" | ||
| 9817 | borderDistance 6 | ||
| 9818 | ] | ||
| 9819 | ] | ||
| 9820 | |||
| 9821 | node | ||
| 9822 | [ | ||
| 9823 | id 13 | ||
| 9824 | graphics | ||
| 9825 | [ | ||
| 9826 | w 85.80000000000001 | ||
| 9827 | h 26 | ||
| 9828 | type "rectangle" | ||
| 9829 | fill "#FFFFFF" | ||
| 9830 | fill2 "#FFFFFF" | ||
| 9831 | outline "#000000" | ||
| 9832 | ] | ||
| 9833 | LabelGraphics | ||
| 9834 | [ | ||
| 9835 | text "New Reals" | ||
| 9836 | outline "#000000" | ||
| 9837 | fill "#FFFFFF" | ||
| 9838 | fontSize 16 | ||
| 9839 | fontName "Monospace" | ||
| 9840 | autoSizePolicy "node_width" | ||
| 9841 | anchor "t" | ||
| 9842 | borderDistance 0.0 | ||
| 9843 | ] | ||
| 9844 | LabelGraphics | ||
| 9845 | [ | ||
| 9846 | text " | ||
| 9847 | " | ||
| 9848 | fontSize 14 | ||
| 9849 | fontName "Consolas" | ||
| 9850 | alignment "left" | ||
| 9851 | anchor "tl" | ||
| 9852 | borderDistance 6 | ||
| 9853 | ] | ||
| 9854 | ] | ||
| 9855 | |||
| 9856 | node | ||
| 9857 | [ | ||
| 9858 | id 14 | ||
| 9859 | graphics | ||
| 9860 | [ | ||
| 9861 | w 103.4 | ||
| 9862 | h 26 | ||
| 9863 | type "rectangle" | ||
| 9864 | fill "#FFFFFF" | ||
| 9865 | fill2 "#FFFFFF" | ||
| 9866 | outline "#000000" | ||
| 9867 | ] | ||
| 9868 | LabelGraphics | ||
| 9869 | [ | ||
| 9870 | text "New Strings" | ||
| 9871 | outline "#000000" | ||
| 9872 | fill "#FFFFFF" | ||
| 9873 | fontSize 16 | ||
| 9874 | fontName "Monospace" | ||
| 9875 | autoSizePolicy "node_width" | ||
| 9876 | anchor "t" | ||
| 9877 | borderDistance 0.0 | ||
| 9878 | ] | ||
| 9879 | LabelGraphics | ||
| 9880 | [ | ||
| 9881 | text " | ||
| 9882 | " | ||
| 9883 | fontSize 14 | ||
| 9884 | fontName "Consolas" | ||
| 9885 | alignment "left" | ||
| 9886 | anchor "tl" | ||
| 9887 | borderDistance 6 | ||
| 9888 | ] | ||
| 9889 | ] | ||
| 9890 | |||
| 9891 | node | ||
| 9892 | [ | ||
| 9893 | id 15 | ||
| 9894 | graphics | ||
| 9895 | [ | ||
| 9896 | w 103.4 | ||
| 9897 | h 26 | ||
| 9898 | type "rectangle" | ||
| 9899 | fill "#FFFFFF" | ||
| 9900 | fill2 "#FFFFFF" | ||
| 9901 | outline "#000000" | ||
| 9902 | ] | ||
| 9903 | LabelGraphics | ||
| 9904 | [ | ||
| 9905 | text "New Objects" | ||
| 9906 | outline "#000000" | ||
| 9907 | fill "#FFFFFF" | ||
| 9908 | fontSize 16 | ||
| 9909 | fontName "Monospace" | ||
| 9910 | autoSizePolicy "node_width" | ||
| 9911 | anchor "t" | ||
| 9912 | borderDistance 0.0 | ||
| 9913 | ] | ||
| 9914 | LabelGraphics | ||
| 9915 | [ | ||
| 9916 | text " | ||
| 9917 | " | ||
| 9918 | fontSize 14 | ||
| 9919 | fontName "Consolas" | ||
| 9920 | alignment "left" | ||
| 9921 | anchor "tl" | ||
| 9922 | borderDistance 6 | ||
| 9923 | ] | ||
| 9924 | ] | ||
| 9925 | edge | ||
| 9926 | [ | ||
| 9927 | source 9 | ||
| 9928 | target 8 | ||
| 9929 | graphics | ||
| 9930 | [ | ||
| 9931 | fill "#000000" | ||
| 9932 | targetArrow "standard" | ||
| 9933 | ] | ||
| 9934 | LabelGraphics | ||
| 9935 | [ | ||
| 9936 | text "data reference FAMTerminator" | ||
| 9937 | fontSize 14 | ||
| 9938 | fontName "Consolas" | ||
| 9939 | configuration "AutoFlippingLabel" | ||
| 9940 | model "six_pos" | ||
| 9941 | position "thead" | ||
| 9942 | ] | ||
| 9943 | ] | ||
| 9944 | edge | ||
| 9945 | [ | ||
| 9946 | source 5 | ||
| 9947 | target 6 | ||
| 9948 | graphics | ||
| 9949 | [ | ||
| 9950 | fill "#000000" | ||
| 9951 | width 3 | ||
| 9952 | targetArrow "standard" | ||
| 9953 | ] | ||
| 9954 | LabelGraphics | ||
| 9955 | [ | ||
| 9956 | text "data reference FunctionalInterface" | ||
| 9957 | fontSize 14 | ||
| 9958 | fontName "Consolas" | ||
| 9959 | configuration "AutoFlippingLabel" | ||
| 9960 | model "six_pos" | ||
| 9961 | position "thead" | ||
| 9962 | ] | ||
| 9963 | ] | ||
| 9964 | edge | ||
| 9965 | [ | ||
| 9966 | source 5 | ||
| 9967 | target 7 | ||
| 9968 | graphics | ||
| 9969 | [ | ||
| 9970 | fill "#000000" | ||
| 9971 | width 3 | ||
| 9972 | targetArrow "standard" | ||
| 9973 | ] | ||
| 9974 | LabelGraphics | ||
| 9975 | [ | ||
| 9976 | text "data reference FunctionalInterface" | ||
| 9977 | fontSize 14 | ||
| 9978 | fontName "Consolas" | ||
| 9979 | configuration "AutoFlippingLabel" | ||
| 9980 | model "six_pos" | ||
| 9981 | position "thead" | ||
| 9982 | ] | ||
| 9983 | ] | ||
| 9984 | edge | ||
| 9985 | [ | ||
| 9986 | source 5 | ||
| 9987 | target 8 | ||
| 9988 | graphics | ||
| 9989 | [ | ||
| 9990 | fill "#000000" | ||
| 9991 | width 3 | ||
| 9992 | targetArrow "standard" | ||
| 9993 | ] | ||
| 9994 | LabelGraphics | ||
| 9995 | [ | ||
| 9996 | text "data reference FunctionalInterface" | ||
| 9997 | fontSize 14 | ||
| 9998 | fontName "Consolas" | ||
| 9999 | configuration "AutoFlippingLabel" | ||
| 10000 | model "six_pos" | ||
| 10001 | position "thead" | ||
| 10002 | ] | ||
| 10003 | ] | ||
| 10004 | edge | ||
| 10005 | [ | ||
| 10006 | source 5 | ||
| 10007 | target 10 | ||
| 10008 | graphics | ||
| 10009 | [ | ||
| 10010 | fill "#000000" | ||
| 10011 | width 3 | ||
| 10012 | targetArrow "standard" | ||
| 10013 | ] | ||
| 10014 | LabelGraphics | ||
| 10015 | [ | ||
| 10016 | text "data reference FunctionalInterface" | ||
| 10017 | fontSize 14 | ||
| 10018 | fontName "Consolas" | ||
| 10019 | configuration "AutoFlippingLabel" | ||
| 10020 | model "six_pos" | ||
| 10021 | position "thead" | ||
| 10022 | ] | ||
| 10023 | ] | ||
| 10024 | edge | ||
| 10025 | [ | ||
| 10026 | source 5 | ||
| 10027 | target 11 | ||
| 10028 | graphics | ||
| 10029 | [ | ||
| 10030 | fill "#000000" | ||
| 10031 | width 3 | ||
| 10032 | targetArrow "standard" | ||
| 10033 | ] | ||
| 10034 | LabelGraphics | ||
| 10035 | [ | ||
| 10036 | text "data reference FunctionalInterface" | ||
| 10037 | fontSize 14 | ||
| 10038 | fontName "Consolas" | ||
| 10039 | configuration "AutoFlippingLabel" | ||
| 10040 | model "six_pos" | ||
| 10041 | position "thead" | ||
| 10042 | ] | ||
| 10043 | ] | ||
| 10044 | edge | ||
| 10045 | [ | ||
| 10046 | source 8 | ||
| 10047 | target 9 | ||
| 10048 | graphics | ||
| 10049 | [ | ||
| 10050 | fill "#000000" | ||
| 10051 | width 3 | ||
| 10052 | targetArrow "standard" | ||
| 10053 | ] | ||
| 10054 | LabelGraphics | ||
| 10055 | [ | ||
| 10056 | text "terminator reference FunctionalData" | ||
| 10057 | fontSize 14 | ||
| 10058 | fontName "Consolas" | ||
| 10059 | configuration "AutoFlippingLabel" | ||
| 10060 | model "six_pos" | ||
| 10061 | position "thead" | ||
| 10062 | ] | ||
| 10063 | ] | ||
| 10064 | edge | ||
| 10065 | [ | ||
| 10066 | source 6 | ||
| 10067 | target 5 | ||
| 10068 | graphics | ||
| 10069 | [ | ||
| 10070 | fill "#000000" | ||
| 10071 | targetArrow "standard" | ||
| 10072 | ] | ||
| 10073 | LabelGraphics | ||
| 10074 | [ | ||
| 10075 | text "interface reference FunctionalData" | ||
| 10076 | fontSize 14 | ||
| 10077 | fontName "Consolas" | ||
| 10078 | configuration "AutoFlippingLabel" | ||
| 10079 | model "six_pos" | ||
| 10080 | position "thead" | ||
| 10081 | ] | ||
| 10082 | ] | ||
| 10083 | edge | ||
| 10084 | [ | ||
| 10085 | source 7 | ||
| 10086 | target 5 | ||
| 10087 | graphics | ||
| 10088 | [ | ||
| 10089 | fill "#000000" | ||
| 10090 | targetArrow "standard" | ||
| 10091 | ] | ||
| 10092 | LabelGraphics | ||
| 10093 | [ | ||
| 10094 | text "interface reference FunctionalData" | ||
| 10095 | fontSize 14 | ||
| 10096 | fontName "Consolas" | ||
| 10097 | configuration "AutoFlippingLabel" | ||
| 10098 | model "six_pos" | ||
| 10099 | position "thead" | ||
| 10100 | ] | ||
| 10101 | ] | ||
| 10102 | edge | ||
| 10103 | [ | ||
| 10104 | source 8 | ||
| 10105 | target 5 | ||
| 10106 | graphics | ||
| 10107 | [ | ||
| 10108 | fill "#000000" | ||
| 10109 | targetArrow "standard" | ||
| 10110 | ] | ||
| 10111 | LabelGraphics | ||
| 10112 | [ | ||
| 10113 | text "interface reference FunctionalData" | ||
| 10114 | fontSize 14 | ||
| 10115 | fontName "Consolas" | ||
| 10116 | configuration "AutoFlippingLabel" | ||
| 10117 | model "six_pos" | ||
| 10118 | position "thead" | ||
| 10119 | ] | ||
| 10120 | ] | ||
| 10121 | edge | ||
| 10122 | [ | ||
| 10123 | source 10 | ||
| 10124 | target 5 | ||
| 10125 | graphics | ||
| 10126 | [ | ||
| 10127 | fill "#000000" | ||
| 10128 | targetArrow "standard" | ||
| 10129 | ] | ||
| 10130 | LabelGraphics | ||
| 10131 | [ | ||
| 10132 | text "interface reference FunctionalData" | ||
| 10133 | fontSize 14 | ||
| 10134 | fontName "Consolas" | ||
| 10135 | configuration "AutoFlippingLabel" | ||
| 10136 | model "six_pos" | ||
| 10137 | position "thead" | ||
| 10138 | ] | ||
| 10139 | ] | ||
| 10140 | edge | ||
| 10141 | [ | ||
| 10142 | source 11 | ||
| 10143 | target 5 | ||
| 10144 | graphics | ||
| 10145 | [ | ||
| 10146 | fill "#000000" | ||
| 10147 | targetArrow "standard" | ||
| 10148 | ] | ||
| 10149 | LabelGraphics | ||
| 10150 | [ | ||
| 10151 | text "interface reference FunctionalData" | ||
| 10152 | fontSize 14 | ||
| 10153 | fontName "Consolas" | ||
| 10154 | configuration "AutoFlippingLabel" | ||
| 10155 | model "six_pos" | ||
| 10156 | position "thead" | ||
| 10157 | ] | ||
| 10158 | ] | ||
| 10159 | ] | ||
| 10160 | graph | ||
| 10161 | [ | ||
| 10162 | node | ||
| 10163 | [ | ||
| 10164 | id 0 | ||
| 10165 | graphics | ||
| 10166 | [ | ||
| 10167 | w 226.60000000000002 | ||
| 10168 | h 40 | ||
| 10169 | type "rectangle" | ||
| 10170 | fill "#FFFFFF" | ||
| 10171 | fill2 "#FFFFFF" | ||
| 10172 | outline "#000000" | ||
| 10173 | ] | ||
| 10174 | LabelGraphics | ||
| 10175 | [ | ||
| 10176 | text "Root literal FunctionType" | ||
| 10177 | outline "#000000" | ||
| 10178 | fill "#FFFFFF" | ||
| 10179 | fontSize 16 | ||
| 10180 | fontName "Monospace" | ||
| 10181 | autoSizePolicy "node_width" | ||
| 10182 | anchor "t" | ||
| 10183 | borderDistance 0.0 | ||
| 10184 | ] | ||
| 10185 | LabelGraphics | ||
| 10186 | [ | ||
| 10187 | text " | ||
| 10188 | FunctionType enum | ||
| 10189 | " | ||
| 10190 | fontSize 14 | ||
| 10191 | fontName "Consolas" | ||
| 10192 | alignment "left" | ||
| 10193 | anchor "tl" | ||
| 10194 | borderDistance 6 | ||
| 10195 | ] | ||
| 10196 | ] | ||
| 10197 | |||
| 10198 | node | ||
| 10199 | [ | ||
| 10200 | id 1 | ||
| 10201 | graphics | ||
| 10202 | [ | ||
| 10203 | w 297.0 | ||
| 10204 | h 40 | ||
| 10205 | type "rectangle" | ||
| 10206 | fill "#FFFFFF" | ||
| 10207 | fill2 "#FFFFFF" | ||
| 10208 | outline "#000000" | ||
| 10209 | ] | ||
| 10210 | LabelGraphics | ||
| 10211 | [ | ||
| 10212 | text "Intermediate literal FunctionType" | ||
| 10213 | outline "#000000" | ||
| 10214 | fill "#FFFFFF" | ||
| 10215 | fontSize 16 | ||
| 10216 | fontName "Monospace" | ||
| 10217 | autoSizePolicy "node_width" | ||
| 10218 | anchor "t" | ||
| 10219 | borderDistance 0.0 | ||
| 10220 | ] | ||
| 10221 | LabelGraphics | ||
| 10222 | [ | ||
| 10223 | text " | ||
| 10224 | FunctionType enum | ||
| 10225 | " | ||
| 10226 | fontSize 14 | ||
| 10227 | fontName "Consolas" | ||
| 10228 | alignment "left" | ||
| 10229 | anchor "tl" | ||
| 10230 | borderDistance 6 | ||
| 10231 | ] | ||
| 10232 | ] | ||
| 10233 | |||
| 10234 | node | ||
| 10235 | [ | ||
| 10236 | id 2 | ||
| 10237 | graphics | ||
| 10238 | [ | ||
| 10239 | w 226.60000000000002 | ||
| 10240 | h 40 | ||
| 10241 | type "rectangle" | ||
| 10242 | fill "#FFFFFF" | ||
| 10243 | fill2 "#FFFFFF" | ||
| 10244 | outline "#000000" | ||
| 10245 | ] | ||
| 10246 | LabelGraphics | ||
| 10247 | [ | ||
| 10248 | text "Leaf literal FunctionType" | ||
| 10249 | outline "#000000" | ||
| 10250 | fill "#FFFFFF" | ||
| 10251 | fontSize 16 | ||
| 10252 | fontName "Monospace" | ||
| 10253 | autoSizePolicy "node_width" | ||
| 10254 | anchor "t" | ||
| 10255 | borderDistance 0.0 | ||
| 10256 | ] | ||
| 10257 | LabelGraphics | ||
| 10258 | [ | ||
| 10259 | text " | ||
| 10260 | FunctionType enum | ||
| 10261 | " | ||
| 10262 | fontSize 14 | ||
| 10263 | fontName "Consolas" | ||
| 10264 | alignment "left" | ||
| 10265 | anchor "tl" | ||
| 10266 | borderDistance 6 | ||
| 10267 | ] | ||
| 10268 | ] | ||
| 10269 | |||
| 10270 | node | ||
| 10271 | [ | ||
| 10272 | id 3 | ||
| 10273 | graphics | ||
| 10274 | [ | ||
| 10275 | w 361.90000000000003 | ||
| 10276 | h 54 | ||
| 10277 | type "rectangle" | ||
| 10278 | fill "#FFFFFF" | ||
| 10279 | fill2 "#FFFFFF" | ||
| 10280 | outline "#000000" | ||
| 10281 | ] | ||
| 10282 | LabelGraphics | ||
| 10283 | [ | ||
| 10284 | text "o 1" | ||
| 10285 | outline "#000000" | ||
| 10286 | fill "#FFFFFF" | ||
| 10287 | fontSize 16 | ||
| 10288 | fontName "Monospace" | ||
| 10289 | autoSizePolicy "node_width" | ||
| 10290 | anchor "t" | ||
| 10291 | borderDistance 0.0 | ||
| 10292 | ] | ||
| 10293 | LabelGraphics | ||
| 10294 | [ | ||
| 10295 | text " | ||
| 10296 | FunctionalArchitectureModel class DefinedPart | ||
| 10297 | FunctionalArchitectureModel class | ||
| 10298 | " | ||
| 10299 | fontSize 14 | ||
| 10300 | fontName "Consolas" | ||
| 10301 | alignment "left" | ||
| 10302 | anchor "tl" | ||
| 10303 | borderDistance 6 | ||
| 10304 | ] | ||
| 10305 | ] | ||
| 10306 | |||
| 10307 | node | ||
| 10308 | [ | ||
| 10309 | id 4 | ||
| 10310 | graphics | ||
| 10311 | [ | ||
| 10312 | w 41.800000000000004 | ||
| 10313 | h 26 | ||
| 10314 | type "rectangle" | ||
| 10315 | fill "#FFFFFF" | ||
| 10316 | fill2 "#FFFFFF" | ||
| 10317 | outline "#000000" | ||
| 10318 | ] | ||
| 10319 | LabelGraphics | ||
| 10320 | [ | ||
| 10321 | text "true" | ||
| 10322 | outline "#000000" | ||
| 10323 | fill "#FFFFFF" | ||
| 10324 | fontSize 16 | ||
| 10325 | fontName "Monospace" | ||
| 10326 | autoSizePolicy "node_width" | ||
| 10327 | anchor "t" | ||
| 10328 | borderDistance 0.0 | ||
| 10329 | ] | ||
| 10330 | LabelGraphics | ||
| 10331 | [ | ||
| 10332 | text " | ||
| 10333 | " | ||
| 10334 | fontSize 14 | ||
| 10335 | fontName "Consolas" | ||
| 10336 | alignment "left" | ||
| 10337 | anchor "tl" | ||
| 10338 | borderDistance 6 | ||
| 10339 | ] | ||
| 10340 | ] | ||
| 10341 | |||
| 10342 | node | ||
| 10343 | [ | ||
| 10344 | id 5 | ||
| 10345 | graphics | ||
| 10346 | [ | ||
| 10347 | w 50.6 | ||
| 10348 | h 26 | ||
| 10349 | type "rectangle" | ||
| 10350 | fill "#FFFFFF" | ||
| 10351 | fill2 "#FFFFFF" | ||
| 10352 | outline "#000000" | ||
| 10353 | ] | ||
| 10354 | LabelGraphics | ||
| 10355 | [ | ||
| 10356 | text "false" | ||
| 10357 | outline "#000000" | ||
| 10358 | fill "#FFFFFF" | ||
| 10359 | fontSize 16 | ||
| 10360 | fontName "Monospace" | ||
| 10361 | autoSizePolicy "node_width" | ||
| 10362 | anchor "t" | ||
| 10363 | borderDistance 0.0 | ||
| 10364 | ] | ||
| 10365 | LabelGraphics | ||
| 10366 | [ | ||
| 10367 | text " | ||
| 10368 | " | ||
| 10369 | fontSize 14 | ||
| 10370 | fontName "Consolas" | ||
| 10371 | alignment "left" | ||
| 10372 | anchor "tl" | ||
| 10373 | borderDistance 6 | ||
| 10374 | ] | ||
| 10375 | ] | ||
| 10376 | |||
| 10377 | node | ||
| 10378 | [ | ||
| 10379 | id 6 | ||
| 10380 | graphics | ||
| 10381 | [ | ||
| 10382 | w 192.50000000000003 | ||
| 10383 | h 54 | ||
| 10384 | type "rectangle" | ||
| 10385 | fill "#FFFFFF" | ||
| 10386 | fill2 "#FFFFFF" | ||
| 10387 | outline "#000000" | ||
| 10388 | ] | ||
| 10389 | LabelGraphics | ||
| 10390 | [ | ||
| 10391 | text "null" | ||
| 10392 | outline "#000000" | ||
| 10393 | fill "#FFFFFF" | ||
| 10394 | fontSize 16 | ||
| 10395 | fontName "Monospace" | ||
| 10396 | autoSizePolicy "node_width" | ||
| 10397 | anchor "t" | ||
| 10398 | borderDistance 0.0 | ||
| 10399 | ] | ||
| 10400 | LabelGraphics | ||
| 10401 | [ | ||
| 10402 | text " | ||
| 10403 | FunctionalElement class | ||
| 10404 | Function class | ||
| 10405 | " | ||
| 10406 | fontSize 14 | ||
| 10407 | fontName "Consolas" | ||
| 10408 | alignment "left" | ||
| 10409 | anchor "tl" | ||
| 10410 | borderDistance 6 | ||
| 10411 | ] | ||
| 10412 | ] | ||
| 10413 | |||
| 10414 | node | ||
| 10415 | [ | ||
| 10416 | id 7 | ||
| 10417 | graphics | ||
| 10418 | [ | ||
| 10419 | w 207.9 | ||
| 10420 | h 40 | ||
| 10421 | type "rectangle" | ||
| 10422 | fill "#FFFFFF" | ||
| 10423 | fill2 "#FFFFFF" | ||
| 10424 | outline "#000000" | ||
| 10425 | ] | ||
| 10426 | LabelGraphics | ||
| 10427 | [ | ||
| 10428 | text "null" | ||
| 10429 | outline "#000000" | ||
| 10430 | fill "#FFFFFF" | ||
| 10431 | fontSize 16 | ||
| 10432 | fontName "Monospace" | ||
| 10433 | autoSizePolicy "node_width" | ||
| 10434 | anchor "t" | ||
| 10435 | borderDistance 0.0 | ||
| 10436 | ] | ||
| 10437 | LabelGraphics | ||
| 10438 | [ | ||
| 10439 | text " | ||
| 10440 | FunctionalInterface class | ||
| 10441 | " | ||
| 10442 | fontSize 14 | ||
| 10443 | fontName "Consolas" | ||
| 10444 | alignment "left" | ||
| 10445 | anchor "tl" | ||
| 10446 | borderDistance 6 | ||
| 10447 | ] | ||
| 10448 | ] | ||
| 10449 | |||
| 10450 | node | ||
| 10451 | [ | ||
| 10452 | id 8 | ||
| 10453 | graphics | ||
| 10454 | [ | ||
| 10455 | w 184.8 | ||
| 10456 | h 54 | ||
| 10457 | type "rectangle" | ||
| 10458 | fill "#FFFFFF" | ||
| 10459 | fill2 "#FFFFFF" | ||
| 10460 | outline "#000000" | ||
| 10461 | ] | ||
| 10462 | LabelGraphics | ||
| 10463 | [ | ||
| 10464 | text "null" | ||
| 10465 | outline "#000000" | ||
| 10466 | fill "#FFFFFF" | ||
| 10467 | fontSize 16 | ||
| 10468 | fontName "Monospace" | ||
| 10469 | autoSizePolicy "node_width" | ||
| 10470 | anchor "t" | ||
| 10471 | borderDistance 0.0 | ||
| 10472 | ] | ||
| 10473 | LabelGraphics | ||
| 10474 | [ | ||
| 10475 | text " | ||
| 10476 | FunctionalOutput class | ||
| 10477 | FunctionalData class | ||
| 10478 | " | ||
| 10479 | fontSize 14 | ||
| 10480 | fontName "Consolas" | ||
| 10481 | alignment "left" | ||
| 10482 | anchor "tl" | ||
| 10483 | borderDistance 6 | ||
| 10484 | ] | ||
| 10485 | ] | ||
| 10486 | |||
| 10487 | node | ||
| 10488 | [ | ||
| 10489 | id 9 | ||
| 10490 | graphics | ||
| 10491 | [ | ||
| 10492 | w 177.10000000000002 | ||
| 10493 | h 40 | ||
| 10494 | type "rectangle" | ||
| 10495 | fill "#FFFFFF" | ||
| 10496 | fill2 "#FFFFFF" | ||
| 10497 | outline "#000000" | ||
| 10498 | ] | ||
| 10499 | LabelGraphics | ||
| 10500 | [ | ||
| 10501 | text "null" | ||
| 10502 | outline "#000000" | ||
| 10503 | fill "#FFFFFF" | ||
| 10504 | fontSize 16 | ||
| 10505 | fontName "Monospace" | ||
| 10506 | autoSizePolicy "node_width" | ||
| 10507 | anchor "t" | ||
| 10508 | borderDistance 0.0 | ||
| 10509 | ] | ||
| 10510 | LabelGraphics | ||
| 10511 | [ | ||
| 10512 | text " | ||
| 10513 | InformationLink class | ||
| 10514 | " | ||
| 10515 | fontSize 14 | ||
| 10516 | fontName "Consolas" | ||
| 10517 | alignment "left" | ||
| 10518 | anchor "tl" | ||
| 10519 | borderDistance 6 | ||
| 10520 | ] | ||
| 10521 | ] | ||
| 10522 | |||
| 10523 | node | ||
| 10524 | [ | ||
| 10525 | id 10 | ||
| 10526 | graphics | ||
| 10527 | [ | ||
| 10528 | w 177.10000000000002 | ||
| 10529 | h 54 | ||
| 10530 | type "rectangle" | ||
| 10531 | fill "#FFFFFF" | ||
| 10532 | fill2 "#FFFFFF" | ||
| 10533 | outline "#000000" | ||
| 10534 | ] | ||
| 10535 | LabelGraphics | ||
| 10536 | [ | ||
| 10537 | text "null" | ||
| 10538 | outline "#000000" | ||
| 10539 | fill "#FFFFFF" | ||
| 10540 | fontSize 16 | ||
| 10541 | fontName "Monospace" | ||
| 10542 | autoSizePolicy "node_width" | ||
| 10543 | anchor "t" | ||
| 10544 | borderDistance 0.0 | ||
| 10545 | ] | ||
| 10546 | LabelGraphics | ||
| 10547 | [ | ||
| 10548 | text " | ||
| 10549 | FunctionalInput class | ||
| 10550 | FunctionalData class | ||
| 10551 | " | ||
| 10552 | fontSize 14 | ||
| 10553 | fontName "Consolas" | ||
| 10554 | alignment "left" | ||
| 10555 | anchor "tl" | ||
| 10556 | borderDistance 6 | ||
| 10557 | ] | ||
| 10558 | ] | ||
| 10559 | |||
| 10560 | node | ||
| 10561 | [ | ||
| 10562 | id 11 | ||
| 10563 | graphics | ||
| 10564 | [ | ||
| 10565 | w 161.70000000000002 | ||
| 10566 | h 40 | ||
| 10567 | type "rectangle" | ||
| 10568 | fill "#FFFFFF" | ||
| 10569 | fill2 "#FFFFFF" | ||
| 10570 | outline "#000000" | ||
| 10571 | ] | ||
| 10572 | LabelGraphics | ||
| 10573 | [ | ||
| 10574 | text "null" | ||
| 10575 | outline "#000000" | ||
| 10576 | fill "#FFFFFF" | ||
| 10577 | fontSize 16 | ||
| 10578 | fontName "Monospace" | ||
| 10579 | autoSizePolicy "node_width" | ||
| 10580 | anchor "t" | ||
| 10581 | borderDistance 0.0 | ||
| 10582 | ] | ||
| 10583 | LabelGraphics | ||
| 10584 | [ | ||
| 10585 | text " | ||
| 10586 | FAMTerminator class | ||
| 10587 | " | ||
| 10588 | fontSize 14 | ||
| 10589 | fontName "Consolas" | ||
| 10590 | alignment "left" | ||
| 10591 | anchor "tl" | ||
| 10592 | borderDistance 6 | ||
| 10593 | ] | ||
| 10594 | ] | ||
| 10595 | |||
| 10596 | node | ||
| 10597 | [ | ||
| 10598 | id 12 | ||
| 10599 | graphics | ||
| 10600 | [ | ||
| 10601 | w 112.2 | ||
| 10602 | h 26 | ||
| 10603 | type "rectangle" | ||
| 10604 | fill "#FFFFFF" | ||
| 10605 | fill2 "#FFFFFF" | ||
| 10606 | outline "#000000" | ||
| 10607 | ] | ||
| 10608 | LabelGraphics | ||
| 10609 | [ | ||
| 10610 | text "New Integers" | ||
| 10611 | outline "#000000" | ||
| 10612 | fill "#FFFFFF" | ||
| 10613 | fontSize 16 | ||
| 10614 | fontName "Monospace" | ||
| 10615 | autoSizePolicy "node_width" | ||
| 10616 | anchor "t" | ||
| 10617 | borderDistance 0.0 | ||
| 10618 | ] | ||
| 10619 | LabelGraphics | ||
| 10620 | [ | ||
| 10621 | text " | ||
| 10622 | " | ||
| 10623 | fontSize 14 | ||
| 10624 | fontName "Consolas" | ||
| 10625 | alignment "left" | ||
| 10626 | anchor "tl" | ||
| 10627 | borderDistance 6 | ||
| 10628 | ] | ||
| 10629 | ] | ||
| 10630 | |||
| 10631 | node | ||
| 10632 | [ | ||
| 10633 | id 13 | ||
| 10634 | graphics | ||
| 10635 | [ | ||
| 10636 | w 85.80000000000001 | ||
| 10637 | h 26 | ||
| 10638 | type "rectangle" | ||
| 10639 | fill "#FFFFFF" | ||
| 10640 | fill2 "#FFFFFF" | ||
| 10641 | outline "#000000" | ||
| 10642 | ] | ||
| 10643 | LabelGraphics | ||
| 10644 | [ | ||
| 10645 | text "New Reals" | ||
| 10646 | outline "#000000" | ||
| 10647 | fill "#FFFFFF" | ||
| 10648 | fontSize 16 | ||
| 10649 | fontName "Monospace" | ||
| 10650 | autoSizePolicy "node_width" | ||
| 10651 | anchor "t" | ||
| 10652 | borderDistance 0.0 | ||
| 10653 | ] | ||
| 10654 | LabelGraphics | ||
| 10655 | [ | ||
| 10656 | text " | ||
| 10657 | " | ||
| 10658 | fontSize 14 | ||
| 10659 | fontName "Consolas" | ||
| 10660 | alignment "left" | ||
| 10661 | anchor "tl" | ||
| 10662 | borderDistance 6 | ||
| 10663 | ] | ||
| 10664 | ] | ||
| 10665 | |||
| 10666 | node | ||
| 10667 | [ | ||
| 10668 | id 14 | ||
| 10669 | graphics | ||
| 10670 | [ | ||
| 10671 | w 103.4 | ||
| 10672 | h 26 | ||
| 10673 | type "rectangle" | ||
| 10674 | fill "#FFFFFF" | ||
| 10675 | fill2 "#FFFFFF" | ||
| 10676 | outline "#000000" | ||
| 10677 | ] | ||
| 10678 | LabelGraphics | ||
| 10679 | [ | ||
| 10680 | text "New Strings" | ||
| 10681 | outline "#000000" | ||
| 10682 | fill "#FFFFFF" | ||
| 10683 | fontSize 16 | ||
| 10684 | fontName "Monospace" | ||
| 10685 | autoSizePolicy "node_width" | ||
| 10686 | anchor "t" | ||
| 10687 | borderDistance 0.0 | ||
| 10688 | ] | ||
| 10689 | LabelGraphics | ||
| 10690 | [ | ||
| 10691 | text " | ||
| 10692 | " | ||
| 10693 | fontSize 14 | ||
| 10694 | fontName "Consolas" | ||
| 10695 | alignment "left" | ||
| 10696 | anchor "tl" | ||
| 10697 | borderDistance 6 | ||
| 10698 | ] | ||
| 10699 | ] | ||
| 10700 | |||
| 10701 | node | ||
| 10702 | [ | ||
| 10703 | id 15 | ||
| 10704 | graphics | ||
| 10705 | [ | ||
| 10706 | w 103.4 | ||
| 10707 | h 26 | ||
| 10708 | type "rectangle" | ||
| 10709 | fill "#FFFFFF" | ||
| 10710 | fill2 "#FFFFFF" | ||
| 10711 | outline "#000000" | ||
| 10712 | ] | ||
| 10713 | LabelGraphics | ||
| 10714 | [ | ||
| 10715 | text "New Objects" | ||
| 10716 | outline "#000000" | ||
| 10717 | fill "#FFFFFF" | ||
| 10718 | fontSize 16 | ||
| 10719 | fontName "Monospace" | ||
| 10720 | autoSizePolicy "node_width" | ||
| 10721 | anchor "t" | ||
| 10722 | borderDistance 0.0 | ||
| 10723 | ] | ||
| 10724 | LabelGraphics | ||
| 10725 | [ | ||
| 10726 | text " | ||
| 10727 | " | ||
| 10728 | fontSize 14 | ||
| 10729 | fontName "Consolas" | ||
| 10730 | alignment "left" | ||
| 10731 | anchor "tl" | ||
| 10732 | borderDistance 6 | ||
| 10733 | ] | ||
| 10734 | ] | ||
| 10735 | edge | ||
| 10736 | [ | ||
| 10737 | source 6 | ||
| 10738 | target 7 | ||
| 10739 | graphics | ||
| 10740 | [ | ||
| 10741 | fill "#000000" | ||
| 10742 | width 3 | ||
| 10743 | targetArrow "standard" | ||
| 10744 | ] | ||
| 10745 | LabelGraphics | ||
| 10746 | [ | ||
| 10747 | text "interface reference FunctionalElement" | ||
| 10748 | fontSize 14 | ||
| 10749 | fontName "Consolas" | ||
| 10750 | configuration "AutoFlippingLabel" | ||
| 10751 | model "six_pos" | ||
| 10752 | position "thead" | ||
| 10753 | ] | ||
| 10754 | ] | ||
| 10755 | edge | ||
| 10756 | [ | ||
| 10757 | source 6 | ||
| 10758 | target 3 | ||
| 10759 | graphics | ||
| 10760 | [ | ||
| 10761 | fill "#000000" | ||
| 10762 | targetArrow "standard" | ||
| 10763 | ] | ||
| 10764 | LabelGraphics | ||
| 10765 | [ | ||
| 10766 | text "model reference FunctionalElement" | ||
| 10767 | fontSize 14 | ||
| 10768 | fontName "Consolas" | ||
| 10769 | configuration "AutoFlippingLabel" | ||
| 10770 | model "six_pos" | ||
| 10771 | position "thead" | ||
| 10772 | ] | ||
| 10773 | ] | ||
| 10774 | edge | ||
| 10775 | [ | ||
| 10776 | source 3 | ||
| 10777 | target 6 | ||
| 10778 | graphics | ||
| 10779 | [ | ||
| 10780 | fill "#000000" | ||
| 10781 | width 3 | ||
| 10782 | targetArrow "standard" | ||
| 10783 | ] | ||
| 10784 | LabelGraphics | ||
| 10785 | [ | ||
| 10786 | text "rootElements reference FunctionalArchitectureModel" | ||
| 10787 | fontSize 14 | ||
| 10788 | fontName "Consolas" | ||
| 10789 | configuration "AutoFlippingLabel" | ||
| 10790 | model "six_pos" | ||
| 10791 | position "thead" | ||
| 10792 | ] | ||
| 10793 | ] | ||
| 10794 | edge | ||
| 10795 | [ | ||
| 10796 | source 11 | ||
| 10797 | target 8 | ||
| 10798 | graphics | ||
| 10799 | [ | ||
| 10800 | fill "#000000" | ||
| 10801 | targetArrow "standard" | ||
| 10802 | ] | ||
| 10803 | LabelGraphics | ||
| 10804 | [ | ||
| 10805 | text "data reference FAMTerminator" | ||
| 10806 | fontSize 14 | ||
| 10807 | fontName "Consolas" | ||
| 10808 | configuration "AutoFlippingLabel" | ||
| 10809 | model "six_pos" | ||
| 10810 | position "thead" | ||
| 10811 | ] | ||
| 10812 | ] | ||
| 10813 | edge | ||
| 10814 | [ | ||
| 10815 | source 9 | ||
| 10816 | target 8 | ||
| 10817 | graphics | ||
| 10818 | [ | ||
| 10819 | fill "#000000" | ||
| 10820 | targetArrow "standard" | ||
| 10821 | ] | ||
| 10822 | LabelGraphics | ||
| 10823 | [ | ||
| 10824 | text "from reference InformationLink" | ||
| 10825 | fontSize 14 | ||
| 10826 | fontName "Consolas" | ||
| 10827 | configuration "AutoFlippingLabel" | ||
| 10828 | model "six_pos" | ||
| 10829 | position "thead" | ||
| 10830 | ] | ||
| 10831 | ] | ||
| 10832 | edge | ||
| 10833 | [ | ||
| 10834 | source 9 | ||
| 10835 | target 10 | ||
| 10836 | graphics | ||
| 10837 | [ | ||
| 10838 | fill "#000000" | ||
| 10839 | targetArrow "standard" | ||
| 10840 | ] | ||
| 10841 | LabelGraphics | ||
| 10842 | [ | ||
| 10843 | text "to reference InformationLink" | ||
| 10844 | fontSize 14 | ||
| 10845 | fontName "Consolas" | ||
| 10846 | configuration "AutoFlippingLabel" | ||
| 10847 | model "six_pos" | ||
| 10848 | position "thead" | ||
| 10849 | ] | ||
| 10850 | ] | ||
| 10851 | edge | ||
| 10852 | [ | ||
| 10853 | source 7 | ||
| 10854 | target 8 | ||
| 10855 | graphics | ||
| 10856 | [ | ||
| 10857 | fill "#000000" | ||
| 10858 | width 3 | ||
| 10859 | targetArrow "standard" | ||
| 10860 | ] | ||
| 10861 | LabelGraphics | ||
| 10862 | [ | ||
| 10863 | text "data reference FunctionalInterface" | ||
| 10864 | fontSize 14 | ||
| 10865 | fontName "Consolas" | ||
| 10866 | configuration "AutoFlippingLabel" | ||
| 10867 | model "six_pos" | ||
| 10868 | position "thead" | ||
| 10869 | ] | ||
| 10870 | ] | ||
| 10871 | edge | ||
| 10872 | [ | ||
| 10873 | source 7 | ||
| 10874 | target 10 | ||
| 10875 | graphics | ||
| 10876 | [ | ||
| 10877 | fill "#000000" | ||
| 10878 | width 3 | ||
| 10879 | targetArrow "standard" | ||
| 10880 | ] | ||
| 10881 | LabelGraphics | ||
| 10882 | [ | ||
| 10883 | text "data reference FunctionalInterface" | ||
| 10884 | fontSize 14 | ||
| 10885 | fontName "Consolas" | ||
| 10886 | configuration "AutoFlippingLabel" | ||
| 10887 | model "six_pos" | ||
| 10888 | position "thead" | ||
| 10889 | ] | ||
| 10890 | ] | ||
| 10891 | edge | ||
| 10892 | [ | ||
| 10893 | source 7 | ||
| 10894 | target 6 | ||
| 10895 | graphics | ||
| 10896 | [ | ||
| 10897 | fill "#000000" | ||
| 10898 | targetArrow "standard" | ||
| 10899 | ] | ||
| 10900 | LabelGraphics | ||
| 10901 | [ | ||
| 10902 | text "element reference FunctionalInterface" | ||
| 10903 | fontSize 14 | ||
| 10904 | fontName "Consolas" | ||
| 10905 | configuration "AutoFlippingLabel" | ||
| 10906 | model "six_pos" | ||
| 10907 | position "thead" | ||
| 10908 | ] | ||
| 10909 | ] | ||
| 10910 | edge | ||
| 10911 | [ | ||
| 10912 | source 10 | ||
| 10913 | target 9 | ||
| 10914 | graphics | ||
| 10915 | [ | ||
| 10916 | fill "#000000" | ||
| 10917 | targetArrow "standard" | ||
| 10918 | ] | ||
| 10919 | LabelGraphics | ||
| 10920 | [ | ||
| 10921 | text "IncomingLinks reference FunctionalInput" | ||
| 10922 | fontSize 14 | ||
| 10923 | fontName "Consolas" | ||
| 10924 | configuration "AutoFlippingLabel" | ||
| 10925 | model "six_pos" | ||
| 10926 | position "thead" | ||
| 10927 | ] | ||
| 10928 | ] | ||
| 10929 | edge | ||
| 10930 | [ | ||
| 10931 | source 8 | ||
| 10932 | target 9 | ||
| 10933 | graphics | ||
| 10934 | [ | ||
| 10935 | fill "#000000" | ||
| 10936 | width 3 | ||
| 10937 | targetArrow "standard" | ||
| 10938 | ] | ||
| 10939 | LabelGraphics | ||
| 10940 | [ | ||
| 10941 | text "outgoingLinks reference FunctionalOutput" | ||
| 10942 | fontSize 14 | ||
| 10943 | fontName "Consolas" | ||
| 10944 | configuration "AutoFlippingLabel" | ||
| 10945 | model "six_pos" | ||
| 10946 | position "thead" | ||
| 10947 | ] | ||
| 10948 | ] | ||
| 10949 | edge | ||
| 10950 | [ | ||
| 10951 | source 8 | ||
| 10952 | target 11 | ||
| 10953 | graphics | ||
| 10954 | [ | ||
| 10955 | fill "#000000" | ||
| 10956 | width 3 | ||
| 10957 | targetArrow "standard" | ||
| 10958 | ] | ||
| 10959 | LabelGraphics | ||
| 10960 | [ | ||
| 10961 | text "terminator reference FunctionalData" | ||
| 10962 | fontSize 14 | ||
| 10963 | fontName "Consolas" | ||
| 10964 | configuration "AutoFlippingLabel" | ||
| 10965 | model "six_pos" | ||
| 10966 | position "thead" | ||
| 10967 | ] | ||
| 10968 | ] | ||
| 10969 | edge | ||
| 10970 | [ | ||
| 10971 | source 8 | ||
| 10972 | target 7 | ||
| 10973 | graphics | ||
| 10974 | [ | ||
| 10975 | fill "#000000" | ||
| 10976 | targetArrow "standard" | ||
| 10977 | ] | ||
| 10978 | LabelGraphics | ||
| 10979 | [ | ||
| 10980 | text "interface reference FunctionalData" | ||
| 10981 | fontSize 14 | ||
| 10982 | fontName "Consolas" | ||
| 10983 | configuration "AutoFlippingLabel" | ||
| 10984 | model "six_pos" | ||
| 10985 | position "thead" | ||
| 10986 | ] | ||
| 10987 | ] | ||
| 10988 | edge | ||
| 10989 | [ | ||
| 10990 | source 10 | ||
| 10991 | target 7 | ||
| 10992 | graphics | ||
| 10993 | [ | ||
| 10994 | fill "#000000" | ||
| 10995 | targetArrow "standard" | ||
| 10996 | ] | ||
| 10997 | LabelGraphics | ||
| 10998 | [ | ||
| 10999 | text "interface reference FunctionalData" | ||
| 11000 | fontSize 14 | ||
| 11001 | fontName "Consolas" | ||
| 11002 | configuration "AutoFlippingLabel" | ||
| 11003 | model "six_pos" | ||
| 11004 | position "thead" | ||
| 11005 | ] | ||
| 11006 | ] | ||
| 11007 | edge | ||
| 11008 | [ | ||
| 11009 | source 6 | ||
| 11010 | target 0 | ||
| 11011 | graphics | ||
| 11012 | [ | ||
| 11013 | fill "#000000" | ||
| 11014 | targetArrow "standard" | ||
| 11015 | ] | ||
| 11016 | LabelGraphics | ||
| 11017 | [ | ||
| 11018 | text "type attribute Function" | ||
| 11019 | fontSize 14 | ||
| 11020 | fontName "Consolas" | ||
| 11021 | configuration "AutoFlippingLabel" | ||
| 11022 | model "six_pos" | ||
| 11023 | position "thead" | ||
| 11024 | ] | ||
| 11025 | ] | ||
| 11026 | ] | ||
| 11027 | graph | ||
| 11028 | [ | ||
| 11029 | node | ||
| 11030 | [ | ||
| 11031 | id 0 | ||
| 11032 | graphics | ||
| 11033 | [ | ||
| 11034 | w 226.60000000000002 | ||
| 11035 | h 40 | ||
| 11036 | type "rectangle" | ||
| 11037 | fill "#FFFFFF" | ||
| 11038 | fill2 "#FFFFFF" | ||
| 11039 | outline "#000000" | ||
| 11040 | ] | ||
| 11041 | LabelGraphics | ||
| 11042 | [ | ||
| 11043 | text "Root literal FunctionType" | ||
| 11044 | outline "#000000" | ||
| 11045 | fill "#FFFFFF" | ||
| 11046 | fontSize 16 | ||
| 11047 | fontName "Monospace" | ||
| 11048 | autoSizePolicy "node_width" | ||
| 11049 | anchor "t" | ||
| 11050 | borderDistance 0.0 | ||
| 11051 | ] | ||
| 11052 | LabelGraphics | ||
| 11053 | [ | ||
| 11054 | text " | ||
| 11055 | FunctionType enum | ||
| 11056 | " | ||
| 11057 | fontSize 14 | ||
| 11058 | fontName "Consolas" | ||
| 11059 | alignment "left" | ||
| 11060 | anchor "tl" | ||
| 11061 | borderDistance 6 | ||
| 11062 | ] | ||
| 11063 | ] | ||
| 11064 | |||
| 11065 | node | ||
| 11066 | [ | ||
| 11067 | id 1 | ||
| 11068 | graphics | ||
| 11069 | [ | ||
| 11070 | w 297.0 | ||
| 11071 | h 40 | ||
| 11072 | type "rectangle" | ||
| 11073 | fill "#FFFFFF" | ||
| 11074 | fill2 "#FFFFFF" | ||
| 11075 | outline "#000000" | ||
| 11076 | ] | ||
| 11077 | LabelGraphics | ||
| 11078 | [ | ||
| 11079 | text "Intermediate literal FunctionType" | ||
| 11080 | outline "#000000" | ||
| 11081 | fill "#FFFFFF" | ||
| 11082 | fontSize 16 | ||
| 11083 | fontName "Monospace" | ||
| 11084 | autoSizePolicy "node_width" | ||
| 11085 | anchor "t" | ||
| 11086 | borderDistance 0.0 | ||
| 11087 | ] | ||
| 11088 | LabelGraphics | ||
| 11089 | [ | ||
| 11090 | text " | ||
| 11091 | FunctionType enum | ||
| 11092 | " | ||
| 11093 | fontSize 14 | ||
| 11094 | fontName "Consolas" | ||
| 11095 | alignment "left" | ||
| 11096 | anchor "tl" | ||
| 11097 | borderDistance 6 | ||
| 11098 | ] | ||
| 11099 | ] | ||
| 11100 | |||
| 11101 | node | ||
| 11102 | [ | ||
| 11103 | id 2 | ||
| 11104 | graphics | ||
| 11105 | [ | ||
| 11106 | w 226.60000000000002 | ||
| 11107 | h 40 | ||
| 11108 | type "rectangle" | ||
| 11109 | fill "#FFFFFF" | ||
| 11110 | fill2 "#FFFFFF" | ||
| 11111 | outline "#000000" | ||
| 11112 | ] | ||
| 11113 | LabelGraphics | ||
| 11114 | [ | ||
| 11115 | text "Leaf literal FunctionType" | ||
| 11116 | outline "#000000" | ||
| 11117 | fill "#FFFFFF" | ||
| 11118 | fontSize 16 | ||
| 11119 | fontName "Monospace" | ||
| 11120 | autoSizePolicy "node_width" | ||
| 11121 | anchor "t" | ||
| 11122 | borderDistance 0.0 | ||
| 11123 | ] | ||
| 11124 | LabelGraphics | ||
| 11125 | [ | ||
| 11126 | text " | ||
| 11127 | FunctionType enum | ||
| 11128 | " | ||
| 11129 | fontSize 14 | ||
| 11130 | fontName "Consolas" | ||
| 11131 | alignment "left" | ||
| 11132 | anchor "tl" | ||
| 11133 | borderDistance 6 | ||
| 11134 | ] | ||
| 11135 | ] | ||
| 11136 | |||
| 11137 | node | ||
| 11138 | [ | ||
| 11139 | id 3 | ||
| 11140 | graphics | ||
| 11141 | [ | ||
| 11142 | w 361.90000000000003 | ||
| 11143 | h 54 | ||
| 11144 | type "rectangle" | ||
| 11145 | fill "#FFFFFF" | ||
| 11146 | fill2 "#FFFFFF" | ||
| 11147 | outline "#000000" | ||
| 11148 | ] | ||
| 11149 | LabelGraphics | ||
| 11150 | [ | ||
| 11151 | text "o 1" | ||
| 11152 | outline "#000000" | ||
| 11153 | fill "#FFFFFF" | ||
| 11154 | fontSize 16 | ||
| 11155 | fontName "Monospace" | ||
| 11156 | autoSizePolicy "node_width" | ||
| 11157 | anchor "t" | ||
| 11158 | borderDistance 0.0 | ||
| 11159 | ] | ||
| 11160 | LabelGraphics | ||
| 11161 | [ | ||
| 11162 | text " | ||
| 11163 | FunctionalArchitectureModel class DefinedPart | ||
| 11164 | FunctionalArchitectureModel class | ||
| 11165 | " | ||
| 11166 | fontSize 14 | ||
| 11167 | fontName "Consolas" | ||
| 11168 | alignment "left" | ||
| 11169 | anchor "tl" | ||
| 11170 | borderDistance 6 | ||
| 11171 | ] | ||
| 11172 | ] | ||
| 11173 | |||
| 11174 | node | ||
| 11175 | [ | ||
| 11176 | id 4 | ||
| 11177 | graphics | ||
| 11178 | [ | ||
| 11179 | w 41.800000000000004 | ||
| 11180 | h 26 | ||
| 11181 | type "rectangle" | ||
| 11182 | fill "#FFFFFF" | ||
| 11183 | fill2 "#FFFFFF" | ||
| 11184 | outline "#000000" | ||
| 11185 | ] | ||
| 11186 | LabelGraphics | ||
| 11187 | [ | ||
| 11188 | text "true" | ||
| 11189 | outline "#000000" | ||
| 11190 | fill "#FFFFFF" | ||
| 11191 | fontSize 16 | ||
| 11192 | fontName "Monospace" | ||
| 11193 | autoSizePolicy "node_width" | ||
| 11194 | anchor "t" | ||
| 11195 | borderDistance 0.0 | ||
| 11196 | ] | ||
| 11197 | LabelGraphics | ||
| 11198 | [ | ||
| 11199 | text " | ||
| 11200 | " | ||
| 11201 | fontSize 14 | ||
| 11202 | fontName "Consolas" | ||
| 11203 | alignment "left" | ||
| 11204 | anchor "tl" | ||
| 11205 | borderDistance 6 | ||
| 11206 | ] | ||
| 11207 | ] | ||
| 11208 | |||
| 11209 | node | ||
| 11210 | [ | ||
| 11211 | id 5 | ||
| 11212 | graphics | ||
| 11213 | [ | ||
| 11214 | w 50.6 | ||
| 11215 | h 26 | ||
| 11216 | type "rectangle" | ||
| 11217 | fill "#FFFFFF" | ||
| 11218 | fill2 "#FFFFFF" | ||
| 11219 | outline "#000000" | ||
| 11220 | ] | ||
| 11221 | LabelGraphics | ||
| 11222 | [ | ||
| 11223 | text "false" | ||
| 11224 | outline "#000000" | ||
| 11225 | fill "#FFFFFF" | ||
| 11226 | fontSize 16 | ||
| 11227 | fontName "Monospace" | ||
| 11228 | autoSizePolicy "node_width" | ||
| 11229 | anchor "t" | ||
| 11230 | borderDistance 0.0 | ||
| 11231 | ] | ||
| 11232 | LabelGraphics | ||
| 11233 | [ | ||
| 11234 | text " | ||
| 11235 | " | ||
| 11236 | fontSize 14 | ||
| 11237 | fontName "Consolas" | ||
| 11238 | alignment "left" | ||
| 11239 | anchor "tl" | ||
| 11240 | borderDistance 6 | ||
| 11241 | ] | ||
| 11242 | ] | ||
| 11243 | |||
| 11244 | node | ||
| 11245 | [ | ||
| 11246 | id 6 | ||
| 11247 | graphics | ||
| 11248 | [ | ||
| 11249 | w 192.50000000000003 | ||
| 11250 | h 54 | ||
| 11251 | type "rectangle" | ||
| 11252 | fill "#FFFFFF" | ||
| 11253 | fill2 "#FFFFFF" | ||
| 11254 | outline "#000000" | ||
| 11255 | ] | ||
| 11256 | LabelGraphics | ||
| 11257 | [ | ||
| 11258 | text "null" | ||
| 11259 | outline "#000000" | ||
| 11260 | fill "#FFFFFF" | ||
| 11261 | fontSize 16 | ||
| 11262 | fontName "Monospace" | ||
| 11263 | autoSizePolicy "node_width" | ||
| 11264 | anchor "t" | ||
| 11265 | borderDistance 0.0 | ||
| 11266 | ] | ||
| 11267 | LabelGraphics | ||
| 11268 | [ | ||
| 11269 | text " | ||
| 11270 | FunctionalElement class | ||
| 11271 | Function class | ||
| 11272 | " | ||
| 11273 | fontSize 14 | ||
| 11274 | fontName "Consolas" | ||
| 11275 | alignment "left" | ||
| 11276 | anchor "tl" | ||
| 11277 | borderDistance 6 | ||
| 11278 | ] | ||
| 11279 | ] | ||
| 11280 | |||
| 11281 | node | ||
| 11282 | [ | ||
| 11283 | id 7 | ||
| 11284 | graphics | ||
| 11285 | [ | ||
| 11286 | w 207.9 | ||
| 11287 | h 40 | ||
| 11288 | type "rectangle" | ||
| 11289 | fill "#FFFFFF" | ||
| 11290 | fill2 "#FFFFFF" | ||
| 11291 | outline "#000000" | ||
| 11292 | ] | ||
| 11293 | LabelGraphics | ||
| 11294 | [ | ||
| 11295 | text "null" | ||
| 11296 | outline "#000000" | ||
| 11297 | fill "#FFFFFF" | ||
| 11298 | fontSize 16 | ||
| 11299 | fontName "Monospace" | ||
| 11300 | autoSizePolicy "node_width" | ||
| 11301 | anchor "t" | ||
| 11302 | borderDistance 0.0 | ||
| 11303 | ] | ||
| 11304 | LabelGraphics | ||
| 11305 | [ | ||
| 11306 | text " | ||
| 11307 | FunctionalInterface class | ||
| 11308 | " | ||
| 11309 | fontSize 14 | ||
| 11310 | fontName "Consolas" | ||
| 11311 | alignment "left" | ||
| 11312 | anchor "tl" | ||
| 11313 | borderDistance 6 | ||
| 11314 | ] | ||
| 11315 | ] | ||
| 11316 | |||
| 11317 | node | ||
| 11318 | [ | ||
| 11319 | id 8 | ||
| 11320 | graphics | ||
| 11321 | [ | ||
| 11322 | w 184.8 | ||
| 11323 | h 54 | ||
| 11324 | type "rectangle" | ||
| 11325 | fill "#FFFFFF" | ||
| 11326 | fill2 "#FFFFFF" | ||
| 11327 | outline "#000000" | ||
| 11328 | ] | ||
| 11329 | LabelGraphics | ||
| 11330 | [ | ||
| 11331 | text "null" | ||
| 11332 | outline "#000000" | ||
| 11333 | fill "#FFFFFF" | ||
| 11334 | fontSize 16 | ||
| 11335 | fontName "Monospace" | ||
| 11336 | autoSizePolicy "node_width" | ||
| 11337 | anchor "t" | ||
| 11338 | borderDistance 0.0 | ||
| 11339 | ] | ||
| 11340 | LabelGraphics | ||
| 11341 | [ | ||
| 11342 | text " | ||
| 11343 | FunctionalOutput class | ||
| 11344 | FunctionalData class | ||
| 11345 | " | ||
| 11346 | fontSize 14 | ||
| 11347 | fontName "Consolas" | ||
| 11348 | alignment "left" | ||
| 11349 | anchor "tl" | ||
| 11350 | borderDistance 6 | ||
| 11351 | ] | ||
| 11352 | ] | ||
| 11353 | |||
| 11354 | node | ||
| 11355 | [ | ||
| 11356 | id 9 | ||
| 11357 | graphics | ||
| 11358 | [ | ||
| 11359 | w 161.70000000000002 | ||
| 11360 | h 40 | ||
| 11361 | type "rectangle" | ||
| 11362 | fill "#FFFFFF" | ||
| 11363 | fill2 "#FFFFFF" | ||
| 11364 | outline "#000000" | ||
| 11365 | ] | ||
| 11366 | LabelGraphics | ||
| 11367 | [ | ||
| 11368 | text "null" | ||
| 11369 | outline "#000000" | ||
| 11370 | fill "#FFFFFF" | ||
| 11371 | fontSize 16 | ||
| 11372 | fontName "Monospace" | ||
| 11373 | autoSizePolicy "node_width" | ||
| 11374 | anchor "t" | ||
| 11375 | borderDistance 0.0 | ||
| 11376 | ] | ||
| 11377 | LabelGraphics | ||
| 11378 | [ | ||
| 11379 | text " | ||
| 11380 | FAMTerminator class | ||
| 11381 | " | ||
| 11382 | fontSize 14 | ||
| 11383 | fontName "Consolas" | ||
| 11384 | alignment "left" | ||
| 11385 | anchor "tl" | ||
| 11386 | borderDistance 6 | ||
| 11387 | ] | ||
| 11388 | ] | ||
| 11389 | |||
| 11390 | node | ||
| 11391 | [ | ||
| 11392 | id 10 | ||
| 11393 | graphics | ||
| 11394 | [ | ||
| 11395 | w 184.8 | ||
| 11396 | h 54 | ||
| 11397 | type "rectangle" | ||
| 11398 | fill "#FFFFFF" | ||
| 11399 | fill2 "#FFFFFF" | ||
| 11400 | outline "#000000" | ||
| 11401 | ] | ||
| 11402 | LabelGraphics | ||
| 11403 | [ | ||
| 11404 | text "null" | ||
| 11405 | outline "#000000" | ||
| 11406 | fill "#FFFFFF" | ||
| 11407 | fontSize 16 | ||
| 11408 | fontName "Monospace" | ||
| 11409 | autoSizePolicy "node_width" | ||
| 11410 | anchor "t" | ||
| 11411 | borderDistance 0.0 | ||
| 11412 | ] | ||
| 11413 | LabelGraphics | ||
| 11414 | [ | ||
| 11415 | text " | ||
| 11416 | FunctionalOutput class | ||
| 11417 | FunctionalData class | ||
| 11418 | " | ||
| 11419 | fontSize 14 | ||
| 11420 | fontName "Consolas" | ||
| 11421 | alignment "left" | ||
| 11422 | anchor "tl" | ||
| 11423 | borderDistance 6 | ||
| 11424 | ] | ||
| 11425 | ] | ||
| 11426 | |||
| 11427 | node | ||
| 11428 | [ | ||
| 11429 | id 11 | ||
| 11430 | graphics | ||
| 11431 | [ | ||
| 11432 | w 192.50000000000003 | ||
| 11433 | h 54 | ||
| 11434 | type "rectangle" | ||
| 11435 | fill "#FFFFFF" | ||
| 11436 | fill2 "#FFFFFF" | ||
| 11437 | outline "#000000" | ||
| 11438 | ] | ||
| 11439 | LabelGraphics | ||
| 11440 | [ | ||
| 11441 | text "null" | ||
| 11442 | outline "#000000" | ||
| 11443 | fill "#FFFFFF" | ||
| 11444 | fontSize 16 | ||
| 11445 | fontName "Monospace" | ||
| 11446 | autoSizePolicy "node_width" | ||
| 11447 | anchor "t" | ||
| 11448 | borderDistance 0.0 | ||
| 11449 | ] | ||
| 11450 | LabelGraphics | ||
| 11451 | [ | ||
| 11452 | text " | ||
| 11453 | FunctionalElement class | ||
| 11454 | Function class | ||
| 11455 | " | ||
| 11456 | fontSize 14 | ||
| 11457 | fontName "Consolas" | ||
| 11458 | alignment "left" | ||
| 11459 | anchor "tl" | ||
| 11460 | borderDistance 6 | ||
| 11461 | ] | ||
| 11462 | ] | ||
| 11463 | |||
| 11464 | node | ||
| 11465 | [ | ||
| 11466 | id 12 | ||
| 11467 | graphics | ||
| 11468 | [ | ||
| 11469 | w 112.2 | ||
| 11470 | h 26 | ||
| 11471 | type "rectangle" | ||
| 11472 | fill "#FFFFFF" | ||
| 11473 | fill2 "#FFFFFF" | ||
| 11474 | outline "#000000" | ||
| 11475 | ] | ||
| 11476 | LabelGraphics | ||
| 11477 | [ | ||
| 11478 | text "New Integers" | ||
| 11479 | outline "#000000" | ||
| 11480 | fill "#FFFFFF" | ||
| 11481 | fontSize 16 | ||
| 11482 | fontName "Monospace" | ||
| 11483 | autoSizePolicy "node_width" | ||
| 11484 | anchor "t" | ||
| 11485 | borderDistance 0.0 | ||
| 11486 | ] | ||
| 11487 | LabelGraphics | ||
| 11488 | [ | ||
| 11489 | text " | ||
| 11490 | " | ||
| 11491 | fontSize 14 | ||
| 11492 | fontName "Consolas" | ||
| 11493 | alignment "left" | ||
| 11494 | anchor "tl" | ||
| 11495 | borderDistance 6 | ||
| 11496 | ] | ||
| 11497 | ] | ||
| 11498 | |||
| 11499 | node | ||
| 11500 | [ | ||
| 11501 | id 13 | ||
| 11502 | graphics | ||
| 11503 | [ | ||
| 11504 | w 85.80000000000001 | ||
| 11505 | h 26 | ||
| 11506 | type "rectangle" | ||
| 11507 | fill "#FFFFFF" | ||
| 11508 | fill2 "#FFFFFF" | ||
| 11509 | outline "#000000" | ||
| 11510 | ] | ||
| 11511 | LabelGraphics | ||
| 11512 | [ | ||
| 11513 | text "New Reals" | ||
| 11514 | outline "#000000" | ||
| 11515 | fill "#FFFFFF" | ||
| 11516 | fontSize 16 | ||
| 11517 | fontName "Monospace" | ||
| 11518 | autoSizePolicy "node_width" | ||
| 11519 | anchor "t" | ||
| 11520 | borderDistance 0.0 | ||
| 11521 | ] | ||
| 11522 | LabelGraphics | ||
| 11523 | [ | ||
| 11524 | text " | ||
| 11525 | " | ||
| 11526 | fontSize 14 | ||
| 11527 | fontName "Consolas" | ||
| 11528 | alignment "left" | ||
| 11529 | anchor "tl" | ||
| 11530 | borderDistance 6 | ||
| 11531 | ] | ||
| 11532 | ] | ||
| 11533 | |||
| 11534 | node | ||
| 11535 | [ | ||
| 11536 | id 14 | ||
| 11537 | graphics | ||
| 11538 | [ | ||
| 11539 | w 103.4 | ||
| 11540 | h 26 | ||
| 11541 | type "rectangle" | ||
| 11542 | fill "#FFFFFF" | ||
| 11543 | fill2 "#FFFFFF" | ||
| 11544 | outline "#000000" | ||
| 11545 | ] | ||
| 11546 | LabelGraphics | ||
| 11547 | [ | ||
| 11548 | text "New Strings" | ||
| 11549 | outline "#000000" | ||
| 11550 | fill "#FFFFFF" | ||
| 11551 | fontSize 16 | ||
| 11552 | fontName "Monospace" | ||
| 11553 | autoSizePolicy "node_width" | ||
| 11554 | anchor "t" | ||
| 11555 | borderDistance 0.0 | ||
| 11556 | ] | ||
| 11557 | LabelGraphics | ||
| 11558 | [ | ||
| 11559 | text " | ||
| 11560 | " | ||
| 11561 | fontSize 14 | ||
| 11562 | fontName "Consolas" | ||
| 11563 | alignment "left" | ||
| 11564 | anchor "tl" | ||
| 11565 | borderDistance 6 | ||
| 11566 | ] | ||
| 11567 | ] | ||
| 11568 | |||
| 11569 | node | ||
| 11570 | [ | ||
| 11571 | id 15 | ||
| 11572 | graphics | ||
| 11573 | [ | ||
| 11574 | w 103.4 | ||
| 11575 | h 26 | ||
| 11576 | type "rectangle" | ||
| 11577 | fill "#FFFFFF" | ||
| 11578 | fill2 "#FFFFFF" | ||
| 11579 | outline "#000000" | ||
| 11580 | ] | ||
| 11581 | LabelGraphics | ||
| 11582 | [ | ||
| 11583 | text "New Objects" | ||
| 11584 | outline "#000000" | ||
| 11585 | fill "#FFFFFF" | ||
| 11586 | fontSize 16 | ||
| 11587 | fontName "Monospace" | ||
| 11588 | autoSizePolicy "node_width" | ||
| 11589 | anchor "t" | ||
| 11590 | borderDistance 0.0 | ||
| 11591 | ] | ||
| 11592 | LabelGraphics | ||
| 11593 | [ | ||
| 11594 | text " | ||
| 11595 | " | ||
| 11596 | fontSize 14 | ||
| 11597 | fontName "Consolas" | ||
| 11598 | alignment "left" | ||
| 11599 | anchor "tl" | ||
| 11600 | borderDistance 6 | ||
| 11601 | ] | ||
| 11602 | ] | ||
| 11603 | edge | ||
| 11604 | [ | ||
| 11605 | source 6 | ||
| 11606 | target 7 | ||
| 11607 | graphics | ||
| 11608 | [ | ||
| 11609 | fill "#000000" | ||
| 11610 | width 3 | ||
| 11611 | targetArrow "standard" | ||
| 11612 | ] | ||
| 11613 | LabelGraphics | ||
| 11614 | [ | ||
| 11615 | text "interface reference FunctionalElement" | ||
| 11616 | fontSize 14 | ||
| 11617 | fontName "Consolas" | ||
| 11618 | configuration "AutoFlippingLabel" | ||
| 11619 | model "six_pos" | ||
| 11620 | position "thead" | ||
| 11621 | ] | ||
| 11622 | ] | ||
| 11623 | edge | ||
| 11624 | [ | ||
| 11625 | source 6 | ||
| 11626 | target 3 | ||
| 11627 | graphics | ||
| 11628 | [ | ||
| 11629 | fill "#000000" | ||
| 11630 | targetArrow "standard" | ||
| 11631 | ] | ||
| 11632 | LabelGraphics | ||
| 11633 | [ | ||
| 11634 | text "model reference FunctionalElement" | ||
| 11635 | fontSize 14 | ||
| 11636 | fontName "Consolas" | ||
| 11637 | configuration "AutoFlippingLabel" | ||
| 11638 | model "six_pos" | ||
| 11639 | position "thead" | ||
| 11640 | ] | ||
| 11641 | ] | ||
| 11642 | edge | ||
| 11643 | [ | ||
| 11644 | source 11 | ||
| 11645 | target 3 | ||
| 11646 | graphics | ||
| 11647 | [ | ||
| 11648 | fill "#000000" | ||
| 11649 | targetArrow "standard" | ||
| 11650 | ] | ||
| 11651 | LabelGraphics | ||
| 11652 | [ | ||
| 11653 | text "model reference FunctionalElement" | ||
| 11654 | fontSize 14 | ||
| 11655 | fontName "Consolas" | ||
| 11656 | configuration "AutoFlippingLabel" | ||
| 11657 | model "six_pos" | ||
| 11658 | position "thead" | ||
| 11659 | ] | ||
| 11660 | ] | ||
| 11661 | edge | ||
| 11662 | [ | ||
| 11663 | source 3 | ||
| 11664 | target 6 | ||
| 11665 | graphics | ||
| 11666 | [ | ||
| 11667 | fill "#000000" | ||
| 11668 | width 3 | ||
| 11669 | targetArrow "standard" | ||
| 11670 | ] | ||
| 11671 | LabelGraphics | ||
| 11672 | [ | ||
| 11673 | text "rootElements reference FunctionalArchitectureModel" | ||
| 11674 | fontSize 14 | ||
| 11675 | fontName "Consolas" | ||
| 11676 | configuration "AutoFlippingLabel" | ||
| 11677 | model "six_pos" | ||
| 11678 | position "thead" | ||
| 11679 | ] | ||
| 11680 | ] | ||
| 11681 | edge | ||
| 11682 | [ | ||
| 11683 | source 3 | ||
| 11684 | target 11 | ||
| 11685 | graphics | ||
| 11686 | [ | ||
| 11687 | fill "#000000" | ||
| 11688 | width 3 | ||
| 11689 | targetArrow "standard" | ||
| 11690 | ] | ||
| 11691 | LabelGraphics | ||
| 11692 | [ | ||
| 11693 | text "rootElements reference FunctionalArchitectureModel" | ||
| 11694 | fontSize 14 | ||
| 11695 | fontName "Consolas" | ||
| 11696 | configuration "AutoFlippingLabel" | ||
| 11697 | model "six_pos" | ||
| 11698 | position "thead" | ||
| 11699 | ] | ||
| 11700 | ] | ||
| 11701 | edge | ||
| 11702 | [ | ||
| 11703 | source 9 | ||
| 11704 | target 8 | ||
| 11705 | graphics | ||
| 11706 | [ | ||
| 11707 | fill "#000000" | ||
| 11708 | targetArrow "standard" | ||
| 11709 | ] | ||
| 11710 | LabelGraphics | ||
| 11711 | [ | ||
| 11712 | text "data reference FAMTerminator" | ||
| 11713 | fontSize 14 | ||
| 11714 | fontName "Consolas" | ||
| 11715 | configuration "AutoFlippingLabel" | ||
| 11716 | model "six_pos" | ||
| 11717 | position "thead" | ||
| 11718 | ] | ||
| 11719 | ] | ||
| 11720 | edge | ||
| 11721 | [ | ||
| 11722 | source 7 | ||
| 11723 | target 8 | ||
| 11724 | graphics | ||
| 11725 | [ | ||
| 11726 | fill "#000000" | ||
| 11727 | width 3 | ||
| 11728 | targetArrow "standard" | ||
| 11729 | ] | ||
| 11730 | LabelGraphics | ||
| 11731 | [ | ||
| 11732 | text "data reference FunctionalInterface" | ||
| 11733 | fontSize 14 | ||
| 11734 | fontName "Consolas" | ||
| 11735 | configuration "AutoFlippingLabel" | ||
| 11736 | model "six_pos" | ||
| 11737 | position "thead" | ||
| 11738 | ] | ||
| 11739 | ] | ||
| 11740 | edge | ||
| 11741 | [ | ||
| 11742 | source 7 | ||
| 11743 | target 10 | ||
| 11744 | graphics | ||
| 11745 | [ | ||
| 11746 | fill "#000000" | ||
| 11747 | width 3 | ||
| 11748 | targetArrow "standard" | ||
| 11749 | ] | ||
| 11750 | LabelGraphics | ||
| 11751 | [ | ||
| 11752 | text "data reference FunctionalInterface" | ||
| 11753 | fontSize 14 | ||
| 11754 | fontName "Consolas" | ||
| 11755 | configuration "AutoFlippingLabel" | ||
| 11756 | model "six_pos" | ||
| 11757 | position "thead" | ||
| 11758 | ] | ||
| 11759 | ] | ||
| 11760 | edge | ||
| 11761 | [ | ||
| 11762 | source 7 | ||
| 11763 | target 6 | ||
| 11764 | graphics | ||
| 11765 | [ | ||
| 11766 | fill "#000000" | ||
| 11767 | targetArrow "standard" | ||
| 11768 | ] | ||
| 11769 | LabelGraphics | ||
| 11770 | [ | ||
| 11771 | text "element reference FunctionalInterface" | ||
| 11772 | fontSize 14 | ||
| 11773 | fontName "Consolas" | ||
| 11774 | configuration "AutoFlippingLabel" | ||
| 11775 | model "six_pos" | ||
| 11776 | position "thead" | ||
| 11777 | ] | ||
| 11778 | ] | ||
| 11779 | edge | ||
| 11780 | [ | ||
| 11781 | source 8 | ||
| 11782 | target 9 | ||
| 11783 | graphics | ||
| 11784 | [ | ||
| 11785 | fill "#000000" | ||
| 11786 | width 3 | ||
| 11787 | targetArrow "standard" | ||
| 11788 | ] | ||
| 11789 | LabelGraphics | ||
| 11790 | [ | ||
| 11791 | text "terminator reference FunctionalData" | ||
| 11792 | fontSize 14 | ||
| 11793 | fontName "Consolas" | ||
| 11794 | configuration "AutoFlippingLabel" | ||
| 11795 | model "six_pos" | ||
| 11796 | position "thead" | ||
| 11797 | ] | ||
| 11798 | ] | ||
| 11799 | edge | ||
| 11800 | [ | ||
| 11801 | source 8 | ||
| 11802 | target 7 | ||
| 11803 | graphics | ||
| 11804 | [ | ||
| 11805 | fill "#000000" | ||
| 11806 | targetArrow "standard" | ||
| 11807 | ] | ||
| 11808 | LabelGraphics | ||
| 11809 | [ | ||
| 11810 | text "interface reference FunctionalData" | ||
| 11811 | fontSize 14 | ||
| 11812 | fontName "Consolas" | ||
| 11813 | configuration "AutoFlippingLabel" | ||
| 11814 | model "six_pos" | ||
| 11815 | position "thead" | ||
| 11816 | ] | ||
| 11817 | ] | ||
| 11818 | edge | ||
| 11819 | [ | ||
| 11820 | source 10 | ||
| 11821 | target 7 | ||
| 11822 | graphics | ||
| 11823 | [ | ||
| 11824 | fill "#000000" | ||
| 11825 | targetArrow "standard" | ||
| 11826 | ] | ||
| 11827 | LabelGraphics | ||
| 11828 | [ | ||
| 11829 | text "interface reference FunctionalData" | ||
| 11830 | fontSize 14 | ||
| 11831 | fontName "Consolas" | ||
| 11832 | configuration "AutoFlippingLabel" | ||
| 11833 | model "six_pos" | ||
| 11834 | position "thead" | ||
| 11835 | ] | ||
| 11836 | ] | ||
| 11837 | edge | ||
| 11838 | [ | ||
| 11839 | source 6 | ||
| 11840 | target 0 | ||
| 11841 | graphics | ||
| 11842 | [ | ||
| 11843 | fill "#000000" | ||
| 11844 | targetArrow "standard" | ||
| 11845 | ] | ||
| 11846 | LabelGraphics | ||
| 11847 | [ | ||
| 11848 | text "type attribute Function" | ||
| 11849 | fontSize 14 | ||
| 11850 | fontName "Consolas" | ||
| 11851 | configuration "AutoFlippingLabel" | ||
| 11852 | model "six_pos" | ||
| 11853 | position "thead" | ||
| 11854 | ] | ||
| 11855 | ] | ||
| 11856 | edge | ||
| 11857 | [ | ||
| 11858 | source 11 | ||
| 11859 | target 2 | ||
| 11860 | graphics | ||
| 11861 | [ | ||
| 11862 | fill "#000000" | ||
| 11863 | targetArrow "standard" | ||
| 11864 | ] | ||
| 11865 | LabelGraphics | ||
| 11866 | [ | ||
| 11867 | text "type attribute Function" | ||
| 11868 | fontSize 14 | ||
| 11869 | fontName "Consolas" | ||
| 11870 | configuration "AutoFlippingLabel" | ||
| 11871 | model "six_pos" | ||
| 11872 | position "thead" | ||
| 11873 | ] | ||
| 11874 | ] | ||
| 11875 | ] | ||