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