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