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