get the local or peer address the socket is connected to \param[in] name_of_function is the function to call (string passed to SystemCall()) \param[in

\brief Create an FSM in CLOSE_WAIT \details SYNs have been traded, and then the machine received and ACK'd FIN. \param[in] tx_isn is the ISN of the FS

\brief Create an FSM in CLOSING \details SYNs have been traded, then the TCP sent FIN, then received FIN No payload was exchanged. \param[in] tx_isn i

\brief Create an FSM with an established connection \details The mahine has sent and received a SYN, and both SYNs have been ACK'd \param[in] tx_isn i

\brief Create an FSM in FIN_WAIT \details SYNs have been traded, then the TCP sent FIN. No payload was exchanged. \param[in] tx_isn is the ISN of the

\brief Create an FSM in FIN_WAIT_2 \details SYNs have been traded, then the TCP sent FIN, which was ACK'd No payload was exchanged. \param[in] tx_isn

\brief Create an FSM in LAST_ACK \details SYNs have been traded, then the machine received and ACK'd FIN, and then it sent its own FIN. \param[in] tx_

Create a FSM in the "LISTEN" state.

\brief Create an FSM which has sent a SYN. \details The SYN has been consumed, but not ACK'd by the test harness \param[in] tx_isn is the ISN of the F

\brief Create an FSM in TIME_WAIT \details SYNs have been traded, then the TCP sent FIN, then received FIN/ACK, and ACK'd. No payload was exchanged. \

accessors

\brief Get the listening flag \returns whether the FdAdapter is listening for a new connection

\returns the local Address of the socket