Struct MutableStructEncoder 

pub struct MutableStructEncoder<'a> { /* private fields */ }

Encoder for a @mutable struct that validates non-optional member completeness (XTypes 1.3 §7.4.1.2.3).

Before each member encode, member_id is recorded as “emitted”; at finish, every member ID listed in required_ids must have been emitted, otherwise EncodeError::MissingNonOptionalMember is returned.

Spec background: an EXTENSIBLE (final/appendable/mutable) encode MUST contain all non-optional members. This validator closes the encoder gap for @mutable, because with MUTABLE the EMHEADER order is not fixed and encoder bugs would otherwise pass silently.

Implementations

impl<'a> MutableStructEncoder<'a>

pub fn new(writer: &'a mut BufferWriter, required_ids: Vec<u32>) -> Self

New encoder. required_ids is the list of member IDs that, per spec, MUST all be emitted (= all non-optional members of the struct).

pub fn encode_member<F>( &mut self, member_id: u32, must_understand: bool, body: F, ) -> Result<(), EncodeError>

where F: FnOnce(&mut BufferWriter) -> Result<(), EncodeError>,

Encode a member. Behaves like encode_mutable_member, plus tracking of the emitted ID.

Errors

Same as encode_mutable_member.

pub fn encode_member_lc<F>( &mut self, member_id: u32, must_understand: bool, lc: LengthCode, body: F, ) -> Result<(), EncodeError>

where F: FnOnce(&mut BufferWriter) -> Result<(), EncodeError>,

Member with an explicit length code.

Errors

Same as encode_mutable_member_lc.

pub fn finish(self) -> Result<(), EncodeError>

Finishes the mutable sequence and checks that every member ID listed in required_ids was emitted.

Errors

MissingNonOptionalMember { member_id } with the first missing ID (deterministic in the order of the required_ids list).