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