equal
deleted
inserted
replaced
1 |
1 |
2 /* $Id$ */ |
2 /* $Id$ */ |
3 |
3 |
4 digraph pdo_entry_read { |
4 digraph pdo_entry_read { |
5 |
5 |
6 start [fontname="Helvetica"] |
6 start [fontname="Helvetica"] |
7 start -> count [weight=5] |
7 start -> count [weight=5] |
8 |
8 |
9 count [fontname="Helvetica"] |
9 count [fontname="Helvetica"] |
10 count -> action_next [weight=5] |
10 count -> action_next [weight=5] |
11 |
11 |
12 action_next [shape=point,label=""] |
12 action_next [shape=point,label=""] |
13 action_next -> pdo_entry [fontname="Helvetica", label="Next entry", weight=5] |
13 action_next -> pdo_entry [fontname="Helvetica", label="Next entry", weight=5] |
14 action_next -> end [fontname="Helvetica", label="No more entries"] |
14 action_next -> end [fontname="Helvetica", label="No more entries"] |
15 |
15 |
16 pdo_entry [fontname="Helvetica"] |
16 pdo_entry [fontname="Helvetica"] |
17 pdo_entry -> action_next |
17 pdo_entry -> action_next |
18 |
18 |
19 end [fontname="Helvetica"] |
19 end [fontname="Helvetica"] |
20 } |
20 } |