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" ]
|
}
|
