|
158 |
aT[LAST_ACK][SEQ_RECV] = SA (LAST_ACK, NEW_SEQ_RX); |
158 |
aT[LAST_ACK][SEQ_RECV] = SA (LAST_ACK, NEW_SEQ_RX); |
159 |
aT[LAST_ACK][APP_CLOSE] = SA (CLOSED, NO_ACT); |
159 |
aT[LAST_ACK][APP_CLOSE] = SA (CLOSED, NO_ACT); |
160 |
aT[LAST_ACK][TIMEOUT] = SA (CLOSED, NO_ACT); |
160 |
aT[LAST_ACK][TIMEOUT] = SA (CLOSED, NO_ACT); |
161 |
aT[LAST_ACK][ACK_RX] = SA (CLOSED, APP_CLOSED); |
161 |
aT[LAST_ACK][ACK_RX] = SA (LAST_ACK, NO_ACT); |
|
|
162 |
aT[LAST_ACK][FIN_ACKED] = SA (CLOSED, APP_CLOSED); |
162 |
aT[LAST_ACK][SYN_RX] = SA (CLOSED, RST_TX); |
163 |
aT[LAST_ACK][SYN_RX] = SA (CLOSED, RST_TX); |
163 |
aT[LAST_ACK][SYN_ACK_RX] = SA (CLOSED, RST_TX); |
164 |
aT[LAST_ACK][SYN_ACK_RX] = SA (CLOSED, RST_TX); |
164 |
aT[LAST_ACK][FIN_RX] = SA (LAST_ACK, FIN_ACK_TX); |
165 |
aT[LAST_ACK][FIN_RX] = SA (LAST_ACK, FIN_ACK_TX); |
|
173 |
aT[FIN_WAIT_1][SEQ_RECV] = SA (FIN_WAIT_1, NEW_SEQ_RX); |
174 |
aT[FIN_WAIT_1][SEQ_RECV] = SA (FIN_WAIT_1, NEW_SEQ_RX); |
174 |
aT[FIN_WAIT_1][APP_CLOSE] = SA (FIN_WAIT_1, NO_ACT); |
175 |
aT[FIN_WAIT_1][APP_CLOSE] = SA (FIN_WAIT_1, NO_ACT); |
175 |
aT[FIN_WAIT_1][TIMEOUT] = SA (FIN_WAIT_1, NO_ACT); |
176 |
aT[FIN_WAIT_1][TIMEOUT] = SA (FIN_WAIT_1, NO_ACT); |
176 |
aT[FIN_WAIT_1][ACK_RX] = SA (FIN_WAIT_2, NEW_ACK); |
177 |
aT[FIN_WAIT_1][ACK_RX] = SA (FIN_WAIT_1, NEW_ACK); |
|
|
178 |
aT[FIN_WAIT_1][FIN_ACKED] = SA (FIN_WAIT_2, NEW_ACK); |
177 |
aT[FIN_WAIT_1][SYN_RX] = SA (CLOSED, RST_TX); |
179 |
aT[FIN_WAIT_1][SYN_RX] = SA (CLOSED, RST_TX); |
178 |
aT[FIN_WAIT_1][SYN_ACK_RX] = SA (CLOSED, RST_TX); |
180 |
aT[FIN_WAIT_1][SYN_ACK_RX] = SA (CLOSED, RST_TX); |
179 |
aT[FIN_WAIT_1][FIN_RX] = SA (CLOSING, ACK_TX); |
181 |
aT[FIN_WAIT_1][FIN_RX] = SA (CLOSING, ACK_TX); |
|
203 |
aT[CLOSING][SEQ_RECV] = SA (CLOSED, RST_TX); |
205 |
aT[CLOSING][SEQ_RECV] = SA (CLOSED, RST_TX); |
204 |
aT[CLOSING][APP_CLOSE] = SA (CLOSED, RST_TX); |
206 |
aT[CLOSING][APP_CLOSE] = SA (CLOSED, RST_TX); |
205 |
aT[CLOSING][TIMEOUT] = SA (CLOSING, NO_ACT); |
207 |
aT[CLOSING][TIMEOUT] = SA (CLOSING, NO_ACT); |
206 |
aT[CLOSING][ACK_RX] = SA (TIMED_WAIT, NO_ACT); |
208 |
aT[CLOSING][ACK_RX] = SA (CLOSING, NO_ACT); |
|
|
209 |
aT[CLOSING][FIN_ACKED] = SA (TIMED_WAIT, NO_ACT); |
207 |
aT[CLOSING][SYN_RX] = SA (CLOSED, RST_TX); |
210 |
aT[CLOSING][SYN_RX] = SA (CLOSED, RST_TX); |
208 |
aT[CLOSING][SYN_ACK_RX] = SA (CLOSED, RST_TX); |
211 |
aT[CLOSING][SYN_ACK_RX] = SA (CLOSED, RST_TX); |
209 |
aT[CLOSING][FIN_RX] = SA (CLOSED, ACK_TX); |
212 |
aT[CLOSING][FIN_RX] = SA (CLOSED, ACK_TX); |