42 lines
1.3 KiB
Text
42 lines
1.3 KiB
Text
|
digraph g {
|
||
|
|
enter [];
|
||
|
|
mxin [label = "x = x_in", ];
|
||
|
|
try [];
|
||
|
|
x_in [label = "x_in = x", ];
|
||
|
|
f [label = "f()", ];
|
||
|
|
nr [label = "normal return"];
|
||
|
|
x_out_nr [label = "x = x_out"];
|
||
|
|
er [label = "error return"];
|
||
|
|
catch [label = "catch (Exception e)"];
|
||
|
|
x_out_catch [label = "x = x_out"];
|
||
|
|
log [label = "log(\"error\")"];
|
||
|
|
x_0 [label = "x = 0", style = invis];
|
||
|
|
x_in2 [label = "x_in = x", style = filled, fillcolor = lightgreen];
|
||
|
|
f2 [label = "f()", style = filled, fillcolor = lightgreen];
|
||
|
|
nr2 [label = "normal return", style = filled, fillcolor = lightgreen];
|
||
|
|
er2 [label = "error return", style = filled, fillcolor = lightgreen];
|
||
|
|
ee [label = "error exit"];
|
||
|
|
x_out_nr2 [label = "x = x_out", style = filled, fillcolor = lightgreen];
|
||
|
|
x_out_ee [label = "x = x_out", style = filled, fillcolor = lightgreen];
|
||
|
|
|
||
|
|
enter -> {mxin try};
|
||
|
|
enter -> x_0 [style = invis];
|
||
|
|
try -> f -> {x_in nr er}
|
||
|
|
nr -> x_out_nr
|
||
|
|
er -> catch -> {x_out_catch log}
|
||
|
|
enter -> {f2}
|
||
|
|
f2 -> {x_in2 nr2 er2}
|
||
|
|
nr2 -> x_out_nr2
|
||
|
|
er2 -> ee -> x_out_ee;
|
||
|
|
|
||
|
|
{edge [color = red, constraint = false];
|
||
|
|
mxin -> x_in;
|
||
|
|
{x_out_catch x_out_nr} -> x_in2;
|
||
|
|
x_0 -> x_in2 [style = invis];
|
||
|
|
}
|
||
|
|
|
||
|
|
{edge [color = blue, constraint = false];
|
||
|
|
x_in -> {x_out_nr x_out_catch}
|
||
|
|
x_in2 -> {x_out_nr2 x_out_ee}
|
||
|
|
}
|
||
|
|
}
|