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
|
digraph rfc5424 {
rankdir=LR;
node [ shape = point ];
ENTRY;
eof_1;
eof_2;
eof_3;
eof_4;
node [ shape = circle, height = 0.2 ];
err_1 [ label=""];
err_3 [ label=""];
err_4 [ label=""];
node [ fixedsize = true, height = 0.65, shape = doublecircle ];
2;
3;
4;
node [ shape = circle ];
1 -> 2 [ label = "'1'..'9' / mark" ];
1 -> err_1 [ label = "DEF / err_version" ];
2 -> 3 [ label = "'0'..'9' / set_version" ];
3 -> 4 [ label = "'0'..'9' / set_version" ];
3 -> err_3 [ label = "DEF / set_version, err_version" ];
4 -> err_4 [ label = "DEF / set_version, err_version" ];
ENTRY -> 1 [ label = "IN" ];
1 -> eof_1 [ label = "EOF / err_version" ];
2 -> eof_2 [ label = "EOF / set_version" ];
3 -> eof_3 [ label = "EOF / set_version" ];
4 -> eof_4 [ label = "EOF / set_version" ];
}
|
