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