1 |
1 |
2 /* $Id$ */ |
2 /* $Id$ */ |
3 |
3 |
4 digraph pdo_entry_conf { |
4 digraph pdo_entry_conf { |
|
5 node [fontname="Helvetica"] |
|
6 edge [fontname="Helvetica", fontsize="12"] |
5 |
7 |
6 start [fontname="Helvetica"] |
8 start |
7 start -> zero_entry_count [weight=10] |
9 start -> zero_entry_count [weight=10] |
8 |
10 |
9 zero_entry_count [fontname="Helvetica"] |
11 zero_entry_count |
10 zero_entry_count -> end [fontname="Helvetica",label="No Entries"] |
12 zero_entry_count -> end [label="No Entries"] |
11 zero_entry_count -> action_map [fontname="Helvetica",label="Add first entry", weight=10] |
13 zero_entry_count -> action_map [label="Add first entry", weight=10] |
12 |
14 |
13 action_map [shape=point,label=""] |
15 action_map [shape=point,label=""] |
14 action_map -> map_entry [weight=10] |
16 action_map -> map_entry [weight=10] |
15 |
17 |
16 map_entry [fontname="Helvetica"] |
18 map_entry |
17 map_entry -> action_map [fontname="Helvetica",label="Next entry"] |
19 map_entry -> action_map [label="Next entry"] |
18 map_entry -> set_entry_count [fontname="Helvetica",label="No more Entries", weight=10] |
20 map_entry -> set_entry_count [label="No more Entries", weight=10] |
19 |
21 |
20 set_entry_count [fontname="Helvetica"] |
22 set_entry_count |
21 set_entry_count -> end [weight=10] |
23 set_entry_count -> end [weight=10] |
22 |
24 |
23 end [fontname="Helvetica"] |
25 end |
24 end |
26 end |
25 } |
27 } |