documentation/graphs/fsm_sii.dot
author Florian Pose <fp@igh-essen.com>
Wed, 01 Oct 2008 08:45:16 +0000
changeset 1238 02711963a059
parent 1203 acb649738601
child 1804 742607c464c4
permissions -rw-r--r--
Added missing header.

/* $Id$ */

digraph sii {

	start_reading [fontname="Helvetica"]
	start_reading -> read_check [weight=5]

	read_check [fontname="Helvetica"]
	read_check -> error
	read_check -> read_fetch [weight=5]

	read_fetch [fontname="Helvetica"]
	read_fetch -> error
	read_fetch -> end [weight=5]
	read_fetch -> read_fetch

	start_writing [fontname="Helvetica"]
	start_writing -> write_check [weight=5]

	write_check [fontname="Helvetica"]
	write_check -> error
	write_check -> write_check2 [weight=5]

	write_check2 [fontname="Helvetica"]
	write_check2 -> error
	write_check2 -> end [weight=5]
	write_check2 -> write_check2

	end [fontname="Helvetica"]

	error [fontname="Helvetica"]
}