documentation/graphs/fsm_sii.dot
branchstable-1.4
changeset 1630 ffa89570d84f
child 1804 742607c464c4
equal deleted inserted replaced
1629:70040a399528 1630:ffa89570d84f
       
     1 
       
     2 /* $Id$ */
       
     3 
       
     4 digraph sii {
       
     5 
       
     6 	start_reading [fontname="Helvetica"]
       
     7 	start_reading -> read_check [weight=5]
       
     8 
       
     9 	read_check [fontname="Helvetica"]
       
    10 	read_check -> error
       
    11 	read_check -> read_fetch [weight=5]
       
    12 
       
    13 	read_fetch [fontname="Helvetica"]
       
    14 	read_fetch -> error
       
    15 	read_fetch -> end [weight=5]
       
    16 	read_fetch -> read_fetch
       
    17 
       
    18 	start_writing [fontname="Helvetica"]
       
    19 	start_writing -> write_check [weight=5]
       
    20 
       
    21 	write_check [fontname="Helvetica"]
       
    22 	write_check -> error
       
    23 	write_check -> write_check2 [weight=5]
       
    24 
       
    25 	write_check2 [fontname="Helvetica"]
       
    26 	write_check2 -> error
       
    27 	write_check2 -> end [weight=5]
       
    28 	write_check2 -> write_check2
       
    29 
       
    30 	end [fontname="Helvetica"]
       
    31 
       
    32 	error [fontname="Helvetica"]
       
    33 }