tfm-report/img/try-catch-example.dot

41 lines
1.2 KiB
Plaintext

digraph G {
subgraph a {
enter [shape=rect];
exit [shape=rect];
enter -> try;
try -> X -> f;
f [label = <x_in = x<br/>y_in = y<br/>f()>];
f -> { NR; catch; };
NR [label = <normal return<br/>x = x_out>];
catch [label = <catch<br/>y = y_out>];
NR -> Y -> Z;
catch -> "print(error)" -> Z -> "normal exit" -> exit;
{ edge [style = dashed, constraint = false];
try -> Z;
catch -> Z;
NR -> Z;
}
}
subgraph b {
method [label="Start", shape=rect];
t [label = "try"];
x [label = "X"];
x_in [label = "x_in = x", style = dashed];
y_in [label = "y_in = y", style = dashed];
call [label = "f()"];
nr [style=dashed, label = "normal return"];
data [style=dashed, label = "x = x_out"];
y [label = "Y"];
c [label = "catch"];
data_catch [style=dashed,label="y = y_out"];
print [label = "print(error)"];
z [label = "Z"];
ne [style=dashed, label = "normal exit"];
method -> {t z ne};
t -> {x call}
call -> {x_in y_in nr c}
nr -> {data y}
c -> {data_catch print}
}
}