2019-12-04 16:53:32 +01:00
|
|
|
digraph cfg {
|
|
|
|
|
start -> while [label = T];
|
2019-12-09 21:47:09 +01:00
|
|
|
while -> "if (Y)";
|
2019-12-04 16:53:32 +01:00
|
|
|
while -> D [label = "F"];
|
|
|
|
|
D -> end;
|
|
|
|
|
"if (Y)" -> "if (Z)" [label=T];
|
|
|
|
|
"if (Y)" -> C [label=F];
|
|
|
|
|
"if (Z)" -> A [label=T];
|
|
|
|
|
"if (Z)" -> B [label=F];
|
|
|
|
|
//node [color="red"];
|
|
|
|
|
A -> break1;
|
|
|
|
|
B -> break2;
|
|
|
|
|
break1 -> D [label = T];
|
|
|
|
|
break2 -> D [label = T];
|
|
|
|
|
while [label="while (X)"];
|
|
|
|
|
break1 [label = "break"];
|
|
|
|
|
break2 [label = "break"];
|
|
|
|
|
break1 -> B [style=dashed, label = F];
|
|
|
|
|
break2 -> C [style=dashed, label = F];
|
|
|
|
|
C -> while;
|
|
|
|
|
}
|
