Module icmp

Module icmp 

Source
Expand description

The Internet Control Message Protocol (ICMP).

Modules§

testutil
ICMP test utilities.

Structs§

IcmpRxCounters
ICMP rx path counters.
IcmpState
The IP layer’s ICMP state.
IcmpTxCounters
ICMP tx path counters.
Icmpv4DestUnreachableCounters
ICMPv4 counters for Dest Unreachable messages.
Icmpv4ParameterProblemCounters
ICMPv4 Counters for the Parameter Problem messages.
Icmpv4StateBuilder
A builder for ICMPv4 state.
Icmpv4TimeExceededCounters
ICMPv4 counters for the Time Exceeded messages.
Icmpv6DestUnreachableCounters
ICMPv6 counters for Dest Unreachable messages.
Icmpv6ParameterProblemCounters
ICMPv6 Counters for the Parameter Problem messages.
Icmpv6TimeExceededCounters
ICMPv6 counters for the Time Exceeded messages.
NdpCounters
Counters for NDP messages.
NdpRxCounters
Receive NDP counters.
NdpTxCounters
Transmit NDP counters.

Enums§

IcmpIpTransportContext
An implementation of IpTransportContext for ICMP.
NdpMessage
A type to allow implementing the required filtering traits on a concrete subset of message types.

Constants§

REQUIRED_NDP_IP_PACKET_HOP_LIMIT
The IP packet hop limit for all NDP packets.

Traits§

EchoTransportContextMarker
A marker trait to prevent integration from creating a recursive loop when handling Echo sockets.
IcmpBindingsContext
A marker for all the contexts provided by bindings require by the ICMP module.
IcmpBindingsTypes
A marker trait for all bindings types required by the ICMP module.
IcmpCountersIpExt
An IP Extension trait for ICMP Counters.
IcmpStateContext
Empty trait to work around coherence issues.
InnerIcmpContext
The execution context shared by ICMP(v4) and ICMPv6 for the internal operations of the IP stack.
InnerIcmpv4Context
The execution context for ICMPv4.

Functions§

send_icmpv4_host_unreachable
Send an ICMP(v4) message in response to receiving a packet destined for an unreachable address.
send_icmpv6_address_unreachable
Send an ICMPv6 message in response to receiving a packet destined for an unreachable address.
send_ndp_packet
Sends an NDP packet from device_id with the provided parameters.