Next: , Previous: Temporal Types, Up: Values



3.8 Port Type

The port type corresponds to transport-level port numbers. Besides TCP or UDP ports, these can also be ICMP “ports”, where the source port is the ICMP message type and the destination port the ICMP message code. Furthermore, the transport-level protocol of a port can remain unspecified. In any case, a value of type port represents exactly one of those four transport protocol choices.