documentation/graphs/fsm_sii.dot
author Edouard Tisserant <edouard.tisserant@gmail.com>
Sun, 08 Jul 2018 13:33:09 +0200
branchstable-1.5
changeset 2699 ed6b9e0d7c05
parent 2513 e60c68f33e4f
permissions -rw-r--r--
Added --with-xenomai-config to override xenomai config command, also allowing special environment variables to be passed.

Example : --with-xenomai-config="DESTDIR=/path/to/staging /path/to/xeno-config"
1203
acb649738601 Some more documentation...
Florian Pose <fp@igh-essen.com>
parents:
diff changeset
     1
acb649738601 Some more documentation...
Florian Pose <fp@igh-essen.com>
parents:
diff changeset
     2
/* $Id$ */
acb649738601 Some more documentation...
Florian Pose <fp@igh-essen.com>
parents:
diff changeset
     3
acb649738601 Some more documentation...
Florian Pose <fp@igh-essen.com>
parents:
diff changeset
     4
digraph sii {
2513
e60c68f33e4f Improved fon specifications in DOT graphs.
Florian Pose <fp@igh-essen.com>
parents: 1804
diff changeset
     5
    node [fontname="Helvetica"]
e60c68f33e4f Improved fon specifications in DOT graphs.
Florian Pose <fp@igh-essen.com>
parents: 1804
diff changeset
     6
    edge [fontname="Helvetica", fontsize="12"]
1203
acb649738601 Some more documentation...
Florian Pose <fp@igh-essen.com>
parents:
diff changeset
     7
2513
e60c68f33e4f Improved fon specifications in DOT graphs.
Florian Pose <fp@igh-essen.com>
parents: 1804
diff changeset
     8
    start_reading
1804
742607c464c4 Removed tabulators.
Florian Pose <fp@igh-essen.com>
parents: 1203
diff changeset
     9
    start_reading -> read_check [weight=5]
1203
acb649738601 Some more documentation...
Florian Pose <fp@igh-essen.com>
parents:
diff changeset
    10
2513
e60c68f33e4f Improved fon specifications in DOT graphs.
Florian Pose <fp@igh-essen.com>
parents: 1804
diff changeset
    11
    read_check
1804
742607c464c4 Removed tabulators.
Florian Pose <fp@igh-essen.com>
parents: 1203
diff changeset
    12
    read_check -> error
742607c464c4 Removed tabulators.
Florian Pose <fp@igh-essen.com>
parents: 1203
diff changeset
    13
    read_check -> read_fetch [weight=5]
1203
acb649738601 Some more documentation...
Florian Pose <fp@igh-essen.com>
parents:
diff changeset
    14
2513
e60c68f33e4f Improved fon specifications in DOT graphs.
Florian Pose <fp@igh-essen.com>
parents: 1804
diff changeset
    15
    read_fetch
1804
742607c464c4 Removed tabulators.
Florian Pose <fp@igh-essen.com>
parents: 1203
diff changeset
    16
    read_fetch -> error
742607c464c4 Removed tabulators.
Florian Pose <fp@igh-essen.com>
parents: 1203
diff changeset
    17
    read_fetch -> end [weight=5]
742607c464c4 Removed tabulators.
Florian Pose <fp@igh-essen.com>
parents: 1203
diff changeset
    18
    read_fetch -> read_fetch
1203
acb649738601 Some more documentation...
Florian Pose <fp@igh-essen.com>
parents:
diff changeset
    19
2513
e60c68f33e4f Improved fon specifications in DOT graphs.
Florian Pose <fp@igh-essen.com>
parents: 1804
diff changeset
    20
    start_writing
1804
742607c464c4 Removed tabulators.
Florian Pose <fp@igh-essen.com>
parents: 1203
diff changeset
    21
    start_writing -> write_check [weight=5]
1203
acb649738601 Some more documentation...
Florian Pose <fp@igh-essen.com>
parents:
diff changeset
    22
2513
e60c68f33e4f Improved fon specifications in DOT graphs.
Florian Pose <fp@igh-essen.com>
parents: 1804
diff changeset
    23
    write_check
1804
742607c464c4 Removed tabulators.
Florian Pose <fp@igh-essen.com>
parents: 1203
diff changeset
    24
    write_check -> error
742607c464c4 Removed tabulators.
Florian Pose <fp@igh-essen.com>
parents: 1203
diff changeset
    25
    write_check -> write_check2 [weight=5]
1203
acb649738601 Some more documentation...
Florian Pose <fp@igh-essen.com>
parents:
diff changeset
    26
2513
e60c68f33e4f Improved fon specifications in DOT graphs.
Florian Pose <fp@igh-essen.com>
parents: 1804
diff changeset
    27
    write_check2
1804
742607c464c4 Removed tabulators.
Florian Pose <fp@igh-essen.com>
parents: 1203
diff changeset
    28
    write_check2 -> error
742607c464c4 Removed tabulators.
Florian Pose <fp@igh-essen.com>
parents: 1203
diff changeset
    29
    write_check2 -> end [weight=5]
742607c464c4 Removed tabulators.
Florian Pose <fp@igh-essen.com>
parents: 1203
diff changeset
    30
    write_check2 -> write_check2
1203
acb649738601 Some more documentation...
Florian Pose <fp@igh-essen.com>
parents:
diff changeset
    31
2513
e60c68f33e4f Improved fon specifications in DOT graphs.
Florian Pose <fp@igh-essen.com>
parents: 1804
diff changeset
    32
    end
1203
acb649738601 Some more documentation...
Florian Pose <fp@igh-essen.com>
parents:
diff changeset
    33
2513
e60c68f33e4f Improved fon specifications in DOT graphs.
Florian Pose <fp@igh-essen.com>
parents: 1804
diff changeset
    34
    error
1203
acb649738601 Some more documentation...
Florian Pose <fp@igh-essen.com>
parents:
diff changeset
    35
}