19 lines
		
	
	
		
			833 B
		
	
	
	
		
			Plaintext
		
	
	
	
	
	
			
		
		
	
	
			19 lines
		
	
	
		
			833 B
		
	
	
	
		
			Plaintext
		
	
	
	
	
	
| digraph conn_states {
 | |
| 	StandAllone  -> WFConnection   [ label = "ioctl_set_net()" ]
 | |
| 	WFConnection -> Unconnected    [ label = "unable to bind()" ]
 | |
| 	WFConnection -> WFReportParams [ label = "in connect() after accept" ]
 | |
| 	WFReportParams -> StandAllone  [ label = "checks in receive_param()" ]
 | |
| 	WFReportParams -> Connected    [ label = "in receive_param()" ]
 | |
| 	WFReportParams -> WFBitMapS    [ label = "sync_handshake()" ]
 | |
| 	WFReportParams -> WFBitMapT    [ label = "sync_handshake()" ]
 | |
| 	WFBitMapS -> SyncSource        [ label = "receive_bitmap()" ]
 | |
| 	WFBitMapT -> SyncTarget        [ label = "receive_bitmap()" ]
 | |
| 	SyncSource -> Connected
 | |
| 	SyncTarget -> Connected
 | |
| 	SyncSource -> PausedSyncS
 | |
| 	SyncTarget -> PausedSyncT
 | |
| 	PausedSyncS -> SyncSource
 | |
| 	PausedSyncT -> SyncTarget
 | |
| 	Connected   -> WFConnection    [ label = "* on network error" ]
 | |
| }
 |