documentation/graphs/fsm_sii.dot
author Florian Pose <fp@igh-essen.com>
Wed, 05 Nov 2014 18:42:12 +0100
changeset 2591 23b360e4a530
parent 2589 2b9c78543663
permissions -rw-r--r--
Centrally defined mailbox types.
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 {
2589
2b9c78543663 Reverted default branch to stable-1.5.
Florian Pose <fp@igh-essen.com>
parents: 1804
diff changeset
     5
    node [fontname="Helvetica"]
2b9c78543663 Reverted default branch to stable-1.5.
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
2589
2b9c78543663 Reverted default branch to stable-1.5.
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
2589
2b9c78543663 Reverted default branch to stable-1.5.
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
2589
2b9c78543663 Reverted default branch to stable-1.5.
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
2589
2b9c78543663 Reverted default branch to stable-1.5.
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
2589
2b9c78543663 Reverted default branch to stable-1.5.
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
2589
2b9c78543663 Reverted default branch to stable-1.5.
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
2589
2b9c78543663 Reverted default branch to stable-1.5.
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
2589
2b9c78543663 Reverted default branch to stable-1.5.
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
}