author | Florian Pose <fp@igh-essen.com> |
Thu, 02 Oct 2008 07:16:17 +0000 | |
branch | stable-1.4 |
changeset 1645 | bbdaddf33131 |
parent 1630 | ffa89570d84f |
child 1318 | 76b4014391bd |
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 { |
1630
ffa89570d84f
merge -r1424:1428 trunk: TODO, docs.
Florian Pose <fp@igh-essen.com>
parents:
1180
diff
changeset
|
5 |
size="3,5" |
887
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
6 |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
7 |
start [fontname="Helvetica"] |
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
8 |
start -> init [weight=10] |
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
9 |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
10 |
init [fontname="Helvetica"] |
1180
846907b8cc4b
Configure Pdos before configuring the Pdo sync managers,
Florian Pose <fp@igh-essen.com>
parents:
1174
diff
changeset
|
11 |
init -> enter_mbox_sync [fontname="Helvetica", label="No FMMUs"] |
887
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
12 |
init -> clear_fmmus [weight=10] |
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
13 |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
14 |
clear_fmmus [fontname="Helvetica"] |
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
15 |
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
|
16 |
|
1180
846907b8cc4b
Configure Pdos before configuring the Pdo sync managers,
Florian Pose <fp@igh-essen.com>
parents:
1174
diff
changeset
|
17 |
enter_mbox_sync [shape=point, label=""] |
846907b8cc4b
Configure Pdos before configuring the Pdo sync managers,
Florian Pose <fp@igh-essen.com>
parents:
1174
diff
changeset
|
18 |
enter_mbox_sync -> end [fontname="Helvetica", label="INIT\nrequested"] |
846907b8cc4b
Configure Pdos before configuring the Pdo sync managers,
Florian Pose <fp@igh-essen.com>
parents:
1174
diff
changeset
|
19 |
enter_mbox_sync -> preop [fontname="Helvetica", label="No mailboxes"] |
887
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
20 |
enter_mbox_sync -> mbox_sync [weight=10] |
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
21 |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
22 |
mbox_sync [fontname="Helvetica"] |
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
23 |
mbox_sync -> preop [weight=10] |
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
24 |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
25 |
preop [fontname="Helvetica"] |
1180
846907b8cc4b
Configure Pdos before configuring the Pdo sync managers,
Florian Pose <fp@igh-essen.com>
parents:
1174
diff
changeset
|
26 |
preop -> end [fontname="Helvetica", label="PREOP\nrequested"] |
846907b8cc4b
Configure Pdos before configuring the Pdo sync managers,
Florian Pose <fp@igh-essen.com>
parents:
1174
diff
changeset
|
27 |
preop -> enter_safeop [fontname="Helvetica", label="No slave\nconfig attached"] |
887
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
28 |
preop -> enter_sdo_conf [weight=10] |
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
29 |
|
1180
846907b8cc4b
Configure Pdos before configuring the Pdo sync managers,
Florian Pose <fp@igh-essen.com>
parents:
1174
diff
changeset
|
30 |
enter_sdo_conf [shape=point, label=""] |
846907b8cc4b
Configure Pdos before configuring the Pdo sync managers,
Florian Pose <fp@igh-essen.com>
parents:
1174
diff
changeset
|
31 |
enter_sdo_conf -> enter_pdo_conf [fontname="Helvetica", label="No Sdos\nconfigured"] |
887
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
32 |
enter_sdo_conf -> sdo_conf [weight=10] |
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
33 |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
34 |
sdo_conf [fontname="Helvetica"] |
1180
846907b8cc4b
Configure Pdos before configuring the Pdo sync managers,
Florian Pose <fp@igh-essen.com>
parents:
1174
diff
changeset
|
35 |
sdo_conf -> enter_pdo_conf [weight=10] |
887
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
36 |
|
1180
846907b8cc4b
Configure Pdos before configuring the Pdo sync managers,
Florian Pose <fp@igh-essen.com>
parents:
1174
diff
changeset
|
37 |
enter_pdo_conf [shape=point, label=""] |
846907b8cc4b
Configure Pdos before configuring the Pdo sync managers,
Florian Pose <fp@igh-essen.com>
parents:
1174
diff
changeset
|
38 |
enter_pdo_conf -> pdo_conf [weight=10] |
846907b8cc4b
Configure Pdos before configuring the Pdo sync managers,
Florian Pose <fp@igh-essen.com>
parents:
1174
diff
changeset
|
39 |
|
846907b8cc4b
Configure Pdos before configuring the Pdo sync managers,
Florian Pose <fp@igh-essen.com>
parents:
1174
diff
changeset
|
40 |
pdo_conf [fontname="Helvetica"] |
846907b8cc4b
Configure Pdos before configuring the Pdo sync managers,
Florian Pose <fp@igh-essen.com>
parents:
1174
diff
changeset
|
41 |
pdo_conf -> enter_pdo_sync [weight=10] |
846907b8cc4b
Configure Pdos before configuring the Pdo sync managers,
Florian Pose <fp@igh-essen.com>
parents:
1174
diff
changeset
|
42 |
|
846907b8cc4b
Configure Pdos before configuring the Pdo sync managers,
Florian Pose <fp@igh-essen.com>
parents:
1174
diff
changeset
|
43 |
enter_pdo_sync [shape=point, label=""] |
846907b8cc4b
Configure Pdos before configuring the Pdo sync managers,
Florian Pose <fp@igh-essen.com>
parents:
1174
diff
changeset
|
44 |
enter_pdo_sync -> enter_fmmu [fontname="Helvetica", label="No Pdo SMs"] |
888
f0db19108bba
Moved Pdo sync manager configuration before Pdo assignment in slave
Florian Pose <fp@igh-essen.com>
parents:
887
diff
changeset
|
45 |
enter_pdo_sync -> pdo_sync [weight=10] |
f0db19108bba
Moved Pdo sync manager configuration before Pdo assignment in slave
Florian Pose <fp@igh-essen.com>
parents:
887
diff
changeset
|
46 |
|
f0db19108bba
Moved Pdo sync manager configuration before Pdo assignment in slave
Florian Pose <fp@igh-essen.com>
parents:
887
diff
changeset
|
47 |
pdo_sync [fontname="Helvetica"] |
1180
846907b8cc4b
Configure Pdos before configuring the Pdo sync managers,
Florian Pose <fp@igh-essen.com>
parents:
1174
diff
changeset
|
48 |
pdo_sync -> enter_fmmu [weight=10] |
887
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
49 |
|
614
1e74a0212418
Added DOT graph for slave configuration FSM.
Florian Pose <fp@igh-essen.com>
parents:
diff
changeset
|
50 |
enter_fmmu [shape=point,label=""] |
1180
846907b8cc4b
Configure Pdos before configuring the Pdo sync managers,
Florian Pose <fp@igh-essen.com>
parents:
1174
diff
changeset
|
51 |
enter_fmmu -> enter_safeop [fontname="Helvetica", label="No FMMUs\nconfigured"] |
887
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
52 |
enter_fmmu -> fmmu [weight=10] |
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
53 |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
54 |
fmmu [fontname="Helvetica"] |
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
55 |
fmmu -> enter_safeop [weight=10] |
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
56 |
|
813
bfc3f1ab52de
Fixed typo SAVEOP -> SAFEOP.
Florian Pose <fp@igh-essen.com>
parents:
803
diff
changeset
|
57 |
enter_safeop [shape=point,label=""] |
887
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
58 |
enter_safeop -> safeop [weight=10] |
614
1e74a0212418
Added DOT graph for slave configuration FSM.
Florian Pose <fp@igh-essen.com>
parents:
diff
changeset
|
59 |
|
887
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
60 |
safeop [fontname="Helvetica"] |
1180
846907b8cc4b
Configure Pdos before configuring the Pdo sync managers,
Florian Pose <fp@igh-essen.com>
parents:
1174
diff
changeset
|
61 |
safeop -> end [fontname="Helvetica", label="SAFEOP\nrequested"] |
813
bfc3f1ab52de
Fixed typo SAVEOP -> SAFEOP.
Florian Pose <fp@igh-essen.com>
parents:
803
diff
changeset
|
62 |
safeop -> op [weight=10] |
887
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
63 |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
64 |
op [fontname="Helvetica"] |
1180
846907b8cc4b
Configure Pdos before configuring the Pdo sync managers,
Florian Pose <fp@igh-essen.com>
parents:
1174
diff
changeset
|
65 |
op -> end// [weight=10] |
887
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
66 |
|
f9a576cb3bb8
Cleaned up graph and added fontname.
Florian Pose <fp@igh-essen.com>
parents:
879
diff
changeset
|
67 |
end [fontname="Helvetica"] |
614
1e74a0212418
Added DOT graph for slave configuration FSM.
Florian Pose <fp@igh-essen.com>
parents:
diff
changeset
|
68 |
} |