documentation/graphs/fsm_sii.dot
author Florian Pose
Fri, 05 Oct 2018 10:24:11 +0200
branchstable-1.5
changeset 2724 b4a109b9e2a8
parent 2513 e60c68f33e4f
permissions -rw-r--r--
Set --enable-sii-assign by default.
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
}