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