| author | Florian Pose <fp@igh-essen.com> |
| Mon, 07 Apr 2008 13:19:44 +0000 | |
| changeset 887 | f9a576cb3bb8 |
| parent 879 | 9b395c5646ab |
| child 888 | f0db19108bba |
| permissions | -rw-r--r-- |
|
803
c9e147567924
Updated properties and keywords for dot files.
Florian Pose <fp@igh-essen.com>
parents:
799
diff
changeset
|
1 |
|
|
c9e147567924
Updated properties and keywords for dot files.
Florian Pose <fp@igh-essen.com>
parents:
799
diff
changeset
|
2 |
/* $Id$ */ |
|
c9e147567924
Updated properties and keywords for dot files.
Florian Pose <fp@igh-essen.com>
parents:
799
diff
changeset
|
3 |
|
|
614
1e74a0212418
Added DOT graph for slave configuration FSM.
Florian Pose <fp@igh-essen.com>
parents:
diff
changeset
|
4 |
digraph slaveconf {
|
|
1e74a0212418
Added DOT graph for slave configuration FSM.
Florian Pose <fp@igh-essen.com>
parents:
diff
changeset
|
5 |
size="7,9" |
|
1e74a0212418
Added DOT graph for slave configuration FSM.
Florian Pose <fp@igh-essen.com>
parents:
diff
changeset
|
6 |
center=1 |
|
887
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
7 |
ratio=fill |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
8 |
|
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
9 |
start [fontname="Helvetica"] |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
10 |
start -> init [weight=10] |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
11 |
|
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
12 |
init [fontname="Helvetica"] |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
13 |
//init -> init |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
14 |
//init -> error |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
15 |
init -> enter_mbox_sync [fontname="Helvetica",label ="No FMMUs"] |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
16 |
init -> clear_fmmus [weight=10] |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
17 |
|
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
18 |
clear_fmmus [fontname="Helvetica"] |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
19 |
//clear_fmmus -> clear_fmmus |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
20 |
//clear_fmmus -> error |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
21 |
clear_fmmus -> enter_mbox_sync [weight=10] |
|
614
1e74a0212418
Added DOT graph for slave configuration FSM.
Florian Pose <fp@igh-essen.com>
parents:
diff
changeset
|
22 |
|
|
622
63bcbb274b2f
Changed order of slave conf FSM in graph.
Florian Pose <fp@igh-essen.com>
parents:
621
diff
changeset
|
23 |
enter_mbox_sync [shape=point,label=""] |
|
887
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
24 |
enter_mbox_sync -> end [fontname="Helvetica",label="INIT\nrequested"] |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
25 |
enter_mbox_sync -> preop [fontname="Helvetica",label="No mailboxes"] |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
26 |
enter_mbox_sync -> mbox_sync [weight=10] |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
27 |
|
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
28 |
mbox_sync [fontname="Helvetica"] |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
29 |
//mbox_sync -> mbox_sync |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
30 |
//mbox_sync -> error |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
31 |
mbox_sync -> preop [weight=10] |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
32 |
|
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
33 |
preop [fontname="Helvetica"] |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
34 |
//preop -> preop |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
35 |
//preop -> error |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
36 |
preop -> end [fontname="Helvetica",label="PREOP\nrequested"] |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
37 |
preop -> enter_sdo_conf [weight=10] |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
38 |
|
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
39 |
enter_sdo_conf [shape=point,label=""] |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
40 |
enter_sdo_conf -> enter_safeop [fontname="Helvetica",label="No slave\nconfig attached"] |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
41 |
enter_sdo_conf -> enter_pdo_assign [fontname="Helvetica",label="No Sdo\nconfigurations"] |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
42 |
enter_sdo_conf -> sdo_conf [weight=10] |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
43 |
|
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
44 |
sdo_conf [fontname="Helvetica"] |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
45 |
//sdo_conf -> sdo_conf |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
46 |
//sdo_conf -> error |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
47 |
sdo_conf -> enter_pdo_assign [weight=10] |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
48 |
|
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
49 |
enter_pdo_assign [shape=point,label=""] |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
50 |
enter_pdo_assign -> pdo_assign [weight=10] |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
51 |
|
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
52 |
pdo_assign [fontname="Helvetica"] |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
53 |
//pdo_assign -> pdo_assign |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
54 |
//pdo_assign -> error |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
55 |
pdo_assign -> pdo_mapping [weight=10] |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
56 |
|
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
57 |
pdo_mapping [fontname="Helvetica"] |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
58 |
//pdo_mapping -> pdo_mapping |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
59 |
//pdo_mapping -> error |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
60 |
pdo_mapping -> enter_pdo_sync [weight=10] |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
61 |
|
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
62 |
enter_pdo_sync [shape=point,label=""] |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
63 |
enter_pdo_sync -> pdo_sync [weight=10] |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
64 |
enter_pdo_sync -> enter_fmmu [fontname="Helvetica",label="No Pdos"] |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
65 |
|
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
66 |
pdo_sync [fontname="Helvetica"] |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
67 |
//pdo_sync -> pdo_sync |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
68 |
//pdo_sync -> error |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
69 |
pdo_sync -> enter_fmmu [weight=10] |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
70 |
|
|
614
1e74a0212418
Added DOT graph for slave configuration FSM.
Florian Pose <fp@igh-essen.com>
parents:
diff
changeset
|
71 |
enter_fmmu [shape=point,label=""] |
|
887
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
72 |
enter_fmmu -> enter_safeop [fontname="Helvetica",label="No FMMUs\nto configure"] |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
73 |
enter_fmmu -> fmmu [weight=10] |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
74 |
|
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
75 |
fmmu [fontname="Helvetica"] |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
76 |
//fmmu -> fmmu |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
77 |
//fmmu -> error |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
78 |
fmmu -> enter_safeop [weight=10] |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
79 |
|
|
813
bfc3f1ab52de
Fixed typo SAVEOP -> SAFEOP.
Florian Pose <fp@igh-essen.com>
parents:
803
diff
changeset
|
80 |
enter_safeop [shape=point,label=""] |
|
887
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
81 |
enter_safeop -> safeop [weight=10] |
|
614
1e74a0212418
Added DOT graph for slave configuration FSM.
Florian Pose <fp@igh-essen.com>
parents:
diff
changeset
|
82 |
|
|
887
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
83 |
safeop [fontname="Helvetica"] |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
84 |
//safeop -> safeop |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
85 |
//safeop -> error |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
86 |
safeop -> end [fontname="Helvetica",label="SAFEOP\nrequested"] |
|
813
bfc3f1ab52de
Fixed typo SAVEOP -> SAFEOP.
Florian Pose <fp@igh-essen.com>
parents:
803
diff
changeset
|
87 |
safeop -> op [weight=10] |
|
887
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
88 |
|
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
89 |
op [fontname="Helvetica"] |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
90 |
//op -> op |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
91 |
//op -> error |
|
621
4bd4df131ea8
Improved slave configuration FSM graph.
Florian Pose <fp@igh-essen.com>
parents:
616
diff
changeset
|
92 |
op -> end [weight=10] |
|
887
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
93 |
|
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
94 |
end [fontname="Helvetica"] |
|
614
1e74a0212418
Added DOT graph for slave configuration FSM.
Florian Pose <fp@igh-essen.com>
parents:
diff
changeset
|
95 |
} |