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