assertAcknowledgmentPresent(self, tcp):
assertSynPresent(self, tcp):
assertSequencePresent(self, tcp):
assertExpectedSequence(self, tcb, tcp, from_, to):
assertExpectedAcknowledgment(self, tcb, tcp, from_, to):
assertSequenceAcknowledgmentOK(self, tcb, tcp, from_, to):
assertReset(self, tcb, tcp, from_, to, tcp_sent):
assertFin(self, tcp):
createsyn(self, tcb, from_, to):
createrstfromreceivedtcp(self, tcb, from_, to, tcp_received):
createfakerstfromtcb(self, tcb, from_, to):
createoutofwindowack(self, tcb, from_, to):
createfin(self, tcb, from_, to):
createip(self, tcb, from_, to):
createtcp(self, tcb, ip, from_, to):
receive(self, tcb, from_, to):
createethernet(self, tcb, from_, to):
createwritepacket(self, tcb, ip, tcp, from_, to):
tcp_cksum(self, ip, data = “”):
ip_cksum(ip):
threewayhandshakenoopt(self, tcb, from_, to):
closeconnection(self, tcb, from_, to):
passivecloseconnection(self, tcb, from_, to):