blob: 22f55468d72e2dbac740d6030a50fec9d1a634a3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
|
digraph chapter04 {
/*
return 1+arg+2; #showGraph;
*/
rankdir=BT;
subgraph cluster_Nodes {
Start1 [ shape=plaintext label=<
<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0" CELLPADDING="4">
<TR><TD BGCOLOR="yellow">Start</TD></TR>
<TR><TD>
<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
<TR><TD PORT="p0" BGCOLOR="yellow">$ctrl</TD><TD PORT="p1">arg</TD></TR>
</TABLE>
</TD></TR>
</TABLE>>
];
Con_9 [ label="#3" ];
Add10 [ label="Add" ];
Return11 [ shape=box style=filled fillcolor=yellow label="Return" ];
}
node [shape=plaintext];
subgraph cluster_0 {
scope0 [label=<
<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
<TR><TD BGCOLOR="cyan">0</TD><TD PORT="scope0_$ctrl">$ctrl</TD><TD PORT="scope0_arg">arg</TD></TR>
</TABLE>>];
subgraph cluster_1 {
scope1 [label=<
<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
<TR><TD BGCOLOR="cyan">1</TD></TR>
</TABLE>>];
}
}
Add10 -> Start1:p1;
Add10 -> Con_9;
Return11 -> Start1:p0 [color=red];
Return11 -> Add10;
edge [style=dashed color=cornflowerblue];
scope0:"scope0_$ctrl" -> Start1:p0;
scope0:"scope0_arg" -> Start1:p1;
}
|
