|
1203
|
1 |
|
|
|
2 |
/* $Id$ */
|
|
|
3 |
|
|
|
4 |
digraph sii {
|
|
|
5 |
|
|
1804
|
6 |
start_reading [fontname="Helvetica"]
|
|
|
7 |
start_reading -> read_check [weight=5]
|
|
1203
|
8 |
|
|
1804
|
9 |
read_check [fontname="Helvetica"]
|
|
|
10 |
read_check -> error
|
|
|
11 |
read_check -> read_fetch [weight=5]
|
|
1203
|
12 |
|
|
1804
|
13 |
read_fetch [fontname="Helvetica"]
|
|
|
14 |
read_fetch -> error
|
|
|
15 |
read_fetch -> end [weight=5]
|
|
|
16 |
read_fetch -> read_fetch
|
|
1203
|
17 |
|
|
1804
|
18 |
start_writing [fontname="Helvetica"]
|
|
|
19 |
start_writing -> write_check [weight=5]
|
|
1203
|
20 |
|
|
1804
|
21 |
write_check [fontname="Helvetica"]
|
|
|
22 |
write_check -> error
|
|
|
23 |
write_check -> write_check2 [weight=5]
|
|
1203
|
24 |
|
|
1804
|
25 |
write_check2 [fontname="Helvetica"]
|
|
|
26 |
write_check2 -> error
|
|
|
27 |
write_check2 -> end [weight=5]
|
|
|
28 |
write_check2 -> write_check2
|
|
1203
|
29 |
|
|
1804
|
30 |
end [fontname="Helvetica"]
|
|
1203
|
31 |
|
|
1804
|
32 |
error [fontname="Helvetica"]
|
|
1203
|
33 |
}
|