documentation/graphs/fsm_sii.dot
author Florian Pose <fp@igh-essen.com>
Thu, 27 Aug 2009 21:03:43 +0200
changeset 1537 0f8fc0bc2454
parent 1203 acb649738601
child 1804 742607c464c4
permissions -rw-r--r--
TODO.
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 {
acb649738601 Some more documentation...
Florian Pose <fp@igh-essen.com>
parents:
diff changeset
     5
acb649738601 Some more documentation...
Florian Pose <fp@igh-essen.com>
parents:
diff changeset
     6
	start_reading [fontname="Helvetica"]
acb649738601 Some more documentation...
Florian Pose <fp@igh-essen.com>
parents:
diff changeset
     7
	start_reading -> read_check [weight=5]
acb649738601 Some more documentation...
Florian Pose <fp@igh-essen.com>
parents:
diff changeset
     8
acb649738601 Some more documentation...
Florian Pose <fp@igh-essen.com>
parents:
diff changeset
     9
	read_check [fontname="Helvetica"]
acb649738601 Some more documentation...
Florian Pose <fp@igh-essen.com>
parents:
diff changeset
    10
	read_check -> error
acb649738601 Some more documentation...
Florian Pose <fp@igh-essen.com>
parents:
diff changeset
    11
	read_check -> read_fetch [weight=5]
acb649738601 Some more documentation...
Florian Pose <fp@igh-essen.com>
parents:
diff changeset
    12
acb649738601 Some more documentation...
Florian Pose <fp@igh-essen.com>
parents:
diff changeset
    13
	read_fetch [fontname="Helvetica"]
acb649738601 Some more documentation...
Florian Pose <fp@igh-essen.com>
parents:
diff changeset
    14
	read_fetch -> error
acb649738601 Some more documentation...
Florian Pose <fp@igh-essen.com>
parents:
diff changeset
    15
	read_fetch -> end [weight=5]
acb649738601 Some more documentation...
Florian Pose <fp@igh-essen.com>
parents:
diff changeset
    16
	read_fetch -> read_fetch
acb649738601 Some more documentation...
Florian Pose <fp@igh-essen.com>
parents:
diff changeset
    17
acb649738601 Some more documentation...
Florian Pose <fp@igh-essen.com>
parents:
diff changeset
    18
	start_writing [fontname="Helvetica"]
acb649738601 Some more documentation...
Florian Pose <fp@igh-essen.com>
parents:
diff changeset
    19
	start_writing -> write_check [weight=5]
acb649738601 Some more documentation...
Florian Pose <fp@igh-essen.com>
parents:
diff changeset
    20
acb649738601 Some more documentation...
Florian Pose <fp@igh-essen.com>
parents:
diff changeset
    21
	write_check [fontname="Helvetica"]
acb649738601 Some more documentation...
Florian Pose <fp@igh-essen.com>
parents:
diff changeset
    22
	write_check -> error
acb649738601 Some more documentation...
Florian Pose <fp@igh-essen.com>
parents:
diff changeset
    23
	write_check -> write_check2 [weight=5]
acb649738601 Some more documentation...
Florian Pose <fp@igh-essen.com>
parents:
diff changeset
    24
acb649738601 Some more documentation...
Florian Pose <fp@igh-essen.com>
parents:
diff changeset
    25
	write_check2 [fontname="Helvetica"]
acb649738601 Some more documentation...
Florian Pose <fp@igh-essen.com>
parents:
diff changeset
    26
	write_check2 -> error
acb649738601 Some more documentation...
Florian Pose <fp@igh-essen.com>
parents:
diff changeset
    27
	write_check2 -> end [weight=5]
acb649738601 Some more documentation...
Florian Pose <fp@igh-essen.com>
parents:
diff changeset
    28
	write_check2 -> write_check2
acb649738601 Some more documentation...
Florian Pose <fp@igh-essen.com>
parents:
diff changeset
    29
acb649738601 Some more documentation...
Florian Pose <fp@igh-essen.com>
parents:
diff changeset
    30
	end [fontname="Helvetica"]
acb649738601 Some more documentation...
Florian Pose <fp@igh-essen.com>
parents:
diff changeset
    31
acb649738601 Some more documentation...
Florian Pose <fp@igh-essen.com>
parents:
diff changeset
    32
	error [fontname="Helvetica"]
acb649738601 Some more documentation...
Florian Pose <fp@igh-essen.com>
parents:
diff changeset
    33
}