0001 digraph conn_states {
0002 StandAllone -> WFConnection [ label = "ioctl_set_net()" ]
0003 WFConnection -> Unconnected [ label = "unable to bind()" ]
0004 WFConnection -> WFReportParams [ label = "in connect() after accept" ]
0005 WFReportParams -> StandAllone [ label = "checks in receive_param()" ]
0006 WFReportParams -> Connected [ label = "in receive_param()" ]
0007 WFReportParams -> WFBitMapS [ label = "sync_handshake()" ]
0008 WFReportParams -> WFBitMapT [ label = "sync_handshake()" ]
0009 WFBitMapS -> SyncSource [ label = "receive_bitmap()" ]
0010 WFBitMapT -> SyncTarget [ label = "receive_bitmap()" ]
0011 SyncSource -> Connected
0012 SyncTarget -> Connected
0013 SyncSource -> PausedSyncS
0014 SyncTarget -> PausedSyncT
0015 PausedSyncS -> SyncSource
0016 PausedSyncT -> SyncTarget
0017 Connected -> WFConnection [ label = "* on network error" ]
0018 }
