61 lines
1.7 KiB
Plaintext
61 lines
1.7 KiB
Plaintext
digraph CFG {
|
|
node [fontname="Helvetica"];
|
|
n799 [label="START", shape=ellipse, style=filled, color=gray];
|
|
n799 -> n830;
|
|
n830 [label="3", shape=box];
|
|
n830 -> n831;
|
|
n831 [label="CALL f", shape=box, style=filled, color=orange];
|
|
n831 -> n801;
|
|
n831 -> n833;
|
|
n801 [label="START f(x)", shape=ellipse, style=filled, color=green];
|
|
n801 -> n804;
|
|
n804 [label="2", shape=box];
|
|
n804 -> n805;
|
|
n805 [label="x", shape=box];
|
|
n805 -> n806;
|
|
n806 [label="2 * x", shape=box];
|
|
n806 -> n807;
|
|
n807 [label="x = (2 * x)", shape=box];
|
|
n807 -> n808;
|
|
n808 [label="x", shape=box];
|
|
n808 -> n809;
|
|
n809 [label="0", shape=box];
|
|
n809 -> n810;
|
|
n810 [label="x > 0", shape=box];
|
|
n810 -> n811;
|
|
n811 [label="<?>", shape=diamond];
|
|
n811 -> n815 [label="T"];
|
|
n811 -> n819 [label="F"];
|
|
n815 [label="x", shape=box];
|
|
n815 -> n816;
|
|
n816 [label="1", shape=box];
|
|
n816 -> n817;
|
|
n817 [label="x - 1", shape=box];
|
|
n817 -> n818;
|
|
n818 [label="x = (x - 1)", shape=box];
|
|
n818 -> n820;
|
|
n820 [label="x", shape=box];
|
|
n820 -> n821;
|
|
n821 [label="0", shape=box];
|
|
n821 -> n822;
|
|
n822 [label="x > 0", shape=box];
|
|
n822 -> n823;
|
|
n823 [label="<?>", shape=diamond];
|
|
n823 -> n802 [label="T"];
|
|
n823 -> n825 [label="F"];
|
|
n802 [label="END f(x)", shape=ellipse, style=filled, color=green];
|
|
n802 -> n833;
|
|
n833 [label="RET f", shape=box, style=filled, color=orange];
|
|
n833 -> n800;
|
|
n800 [label="END", shape=ellipse, style=filled, color=gray];
|
|
n825 [label="x", shape=box];
|
|
n825 -> n826;
|
|
n826 [label="1", shape=box];
|
|
n826 -> n827;
|
|
n827 [label="x - 1", shape=box];
|
|
n827 -> n828;
|
|
n828 [label="x = (x - 1)", shape=box];
|
|
n828 -> n820;
|
|
n819 [label="x", shape=box];
|
|
n819 -> n820;
|
|
} |