blob: 8f28207c42ce6122024b5fc2275456d2213353d0 (
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
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
|
digraph chapter05 {
/*
int a=1;
if( arg==1 )
if( arg==2 )
a=2;
else
a=3;
else if( arg==3 )
a=4;
else
a=5;
return a;
*/
rankdir=BT;
ordering="in";
concentrate="true";
subgraph cluster_Nodes {
Start2 [ 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>>
];
Stop3 [ shape=box style=filled fillcolor=yellow label="Stop" ];
Con_7 [ label="#1" ];
EQNode8 [ label="==" ];
If9 [ shape=plaintext label=<
<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0" CELLPADDING="4">
<TR><TD BGCOLOR="yellow">If</TD></TR>
<TR><TD>
<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
<TR><TD PORT="p0" BGCOLOR="yellow">True</TD><TD PORT="p1" BGCOLOR="yellow">False</TD></TR>
</TABLE>
</TD></TR>
</TABLE>>
];
Con_13 [ label="#2" ];
EQNode14 [ label="==" ];
If15 [ shape=plaintext label=<
<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0" CELLPADDING="4">
<TR><TD BGCOLOR="yellow">If</TD></TR>
<TR><TD>
<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
<TR><TD PORT="p0" BGCOLOR="yellow">True</TD><TD PORT="p1" BGCOLOR="yellow">False</TD></TR>
</TABLE>
</TD></TR>
</TABLE>>
];
Con_19 [ label="#2" ];
Con_20 [ label="#3" ];
Region21 [ shape=box style=filled fillcolor=yellow label="Region" ];
Phi_a22 [ style=filled fillcolor=lightyellow label="φ_a" ];
Con_23 [ label="#3" ];
EQNode24 [ label="==" ];
If25 [ shape=plaintext label=<
<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0" CELLPADDING="4">
<TR><TD BGCOLOR="yellow">If</TD></TR>
<TR><TD>
<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
<TR><TD PORT="p0" BGCOLOR="yellow">True</TD><TD PORT="p1" BGCOLOR="yellow">False</TD></TR>
</TABLE>
</TD></TR>
</TABLE>>
];
Con_29 [ label="#4" ];
Con_30 [ label="#5" ];
Region31 [ shape=box style=filled fillcolor=yellow label="Region" ];
Phi_a32 [ style=filled fillcolor=lightyellow label="φ_a" ];
Region33 [ shape=box style=filled fillcolor=yellow label="Region" ];
Phi_a34 [ style=filled fillcolor=lightyellow label="φ_a" ];
Return35 [ shape=box style=filled fillcolor=yellow label="Return" ];
{ rank=same; Region21;Phi_a22;}
{ rank=same; Region31;Phi_a32;}
{ rank=same; Region33;Phi_a34;}
}
node [shape=plaintext];
subgraph cluster_Scope1_0 {
Scope1_0 [label=<
<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
<TR><TD BGCOLOR="cyan">0</TD><TD PORT="Scope1_0_$ctrl">$ctrl</TD><TD PORT="Scope1_0_arg">arg</TD></TR>
</TABLE>>];
subgraph cluster_Scope1_1 {
Scope1_1 [label=<
<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
<TR><TD BGCOLOR="cyan">1</TD><TD PORT="Scope1_1_a">a</TD></TR>
</TABLE>>];
}
}
edge [ fontname=Helvetica, fontsize=8 ];
Stop3 -> Return35[taillabel=0 color=red];
EQNode8 -> Start2:p1[taillabel=1];
EQNode8 -> Con_7[taillabel=2];
If9 -> Start2:p0[taillabel=0 color=red];
If9 -> EQNode8[taillabel=1];
EQNode14 -> Start2:p1[taillabel=1];
EQNode14 -> Con_13[taillabel=2];
If15 -> If9:p0[taillabel=0 color=red];
If15 -> EQNode14[taillabel=1];
Region21 -> If15:p0[taillabel=1 color=red];
Region21 -> If15:p1[taillabel=2 color=red];
Phi_a22 -> Region21 [style=dotted taillabel=0];
Phi_a22 -> Con_19[taillabel=1];
Phi_a22 -> Con_20[taillabel=2];
EQNode24 -> Start2:p1[taillabel=1];
EQNode24 -> Con_23[taillabel=2];
If25 -> If9:p1[taillabel=0 color=red];
If25 -> EQNode24[taillabel=1];
Region31 -> If25:p0[taillabel=1 color=red];
Region31 -> If25:p1[taillabel=2 color=red];
Phi_a32 -> Region31 [style=dotted taillabel=0];
Phi_a32 -> Con_29[taillabel=1];
Phi_a32 -> Con_30[taillabel=2];
Region33 -> Region21[taillabel=1 color=red];
Region33 -> Region31[taillabel=2 color=red];
Phi_a34 -> Region33 [style=dotted taillabel=0];
Phi_a34 -> Phi_a22[taillabel=1];
Phi_a34 -> Phi_a32[taillabel=2];
Return35 -> Region33[taillabel=0 color=red];
Return35 -> Phi_a34[taillabel=1];
edge [style=dashed color=cornflowerblue];
Scope1_0:"Scope1_0_arg" -> Start2:p1;
Scope1_1:"Scope1_1_a" -> Phi_a34;
}
|
