Struct ClientStateMachine

pub struct ClientStateMachine<I, R: Rng> { /* private fields */ }

The DHCPv6 core state machine.

This struct maintains the state machine for a DHCPv6 client, and expects an imperative shell to drive it by taking necessary actions (e.g. send packets, schedule timers, etc.) and dispatch events (e.g. packets received, timer expired, etc.). All the functions provided by this struct are pure-functional. All state transition functions return a list of actions that the imperative shell should take to complete the transition.

Implementations

impl<I: Instant, R: Rng> ClientStateMachine<I, R>

pub fn start_stateless( transaction_id: [u8; 3], options_to_request: Vec<OptionCode>, rng: R, now: I, ) -> (Self, Actions<I>)

Starts the client in Stateless mode, as defined in RFC 8415, Section 6.1. The client exchanges messages with servers to obtain the configuration information specified in options_to_request.

pub fn start_stateful( transaction_id: [u8; 3], client_id: ClientDuid, configured_non_temporary_addresses: HashMap<IAID, HashSet<Ipv6Addr>>, configured_delegated_prefixes: HashMap<IAID, HashSet<Subnet<Ipv6Addr>>>, options_to_request: Vec<OptionCode>, rng: R, now: I, ) -> (Self, Actions<I>)

Starts the client in Stateful mode, as defined in RFC 8415, Section 6.2 and RFC 8415, Section 6.3.

The client exchanges messages with server(s) to obtain non-temporary addresses in configured_non_temporary_addresses, delegated prefixes in configured_delegated_prefixes and the configuration information in options_to_request.

pub fn get_dns_servers(&self) -> Vec<Ipv6Addr>

pub fn handle_timeout( &mut self, timeout_type: ClientTimerType, now: I, ) -> Actions<I>

Handles a timeout event, dispatches based on timeout type.

Panics

handle_timeout panics if current state is None.

pub fn handle_message_receive<B: SplitByteSlice>( &mut self, msg: Message<'_, B>, now: I, ) -> Actions<I>

Handles a received DHCPv6 message.

Panics

handle_reply panics if current state is None.

Trait Implementations

impl<I: Debug, R: Debug + Rng> Debug for ClientStateMachine<I, R>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.