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