Enum TypeIdentifier 

#[non_exhaustive]
pub enum TypeIdentifier {
    None,
    Primitive(PrimitiveKind),
    String8Small {
        bound: u8,
    },
    String8Large {
        bound: u32,
    },
    String16Small {
        bound: u8,
    },
    String16Large {
        bound: u32,
    },
    PlainSequenceSmall {
        header: PlainCollectionHeader,
        bound: u8,
        element: Box<TypeIdentifier>,
    },
    PlainSequenceLarge {
        header: PlainCollectionHeader,
        bound: u32,
        element: Box<TypeIdentifier>,
    },
    PlainArraySmall {
        header: PlainCollectionHeader,
        array_bounds: Vec<u8>,
        element: Box<TypeIdentifier>,
    },
    PlainArrayLarge {
        header: PlainCollectionHeader,
        array_bounds: Vec<u32>,
        element: Box<TypeIdentifier>,
    },
    PlainMapSmall {
        header: PlainCollectionHeader,
        bound: u8,
        element: Box<TypeIdentifier>,
        key_flags: CollectionElementFlag,
        key: Box<TypeIdentifier>,
    },
    PlainMapLarge {
        header: PlainCollectionHeader,
        bound: u32,
        element: Box<TypeIdentifier>,
        key_flags: CollectionElementFlag,
        key: Box<TypeIdentifier>,
    },
    StronglyConnectedComponent(StronglyConnectedComponentId),
    EquivalenceHashMinimal(EquivalenceHash),
    EquivalenceHashComplete(EquivalenceHash),
    Unknown(u8),
}

TypeIdentifier — XTypes §7.3.4.2.

Direkt identifiziert primitive und plain-Typen, indirekt (ueber 14-byte Hash) composite Types (struct, union, etc.). Plain collections koennen rekursiv TypeIdentifier enthalten, deshalb Box fuer die nested Varianten.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

None

TK_NONE — Spec-Sentinel für “kein TypeIdentifier bekannt”.

Primitive(PrimitiveKind)

Primitive ohne Body — discriminator trägt alle Infos.

String8Small

string<Bound> mit 8-bit Zeichen, Bound <= 255 bytes.

Fields

bound: u8

Max-Laenge (0 = unbounded).

String8Large

string<Bound> mit Bound > 255.

Fields

bound: u32

Max-Laenge.

String16Small

wstring<Bound> mit Bound <= 255 chars.

Fields

bound: u8

Max-Laenge.

String16Large

wstring<Bound>.

Fields

bound: u32

Max-Laenge.

PlainSequenceSmall

sequence<T, N> mit N <= 255.

Fields

header: PlainCollectionHeader

Header (EquivKind des Elements + Flags).

bound: u8

Maximum-Bound (0 = unbounded).

element: Box<TypeIdentifier>

Element-TypeIdentifier.

PlainSequenceLarge

sequence<T, N> mit N > 255.

Fields

header: PlainCollectionHeader

Header.

bound: u32

Max-Bound.

element: Box<TypeIdentifier>

Element-TypeIdentifier.

PlainArraySmall

T[D1, D2, ...] mit allen Dimensionen <= 255.

Fields

header: PlainCollectionHeader

Header.

array_bounds: Vec<u8>

Array-Dimensionen (max 2^20 Gesamt laut §7.3.4.7).

element: Box<TypeIdentifier>

Element-TypeIdentifier.

PlainArrayLarge

T[D1, D2, ...] mit mindestens einer Dimension > 255.

Fields

header: PlainCollectionHeader

Header.

array_bounds: Vec<u32>

Array-Dimensionen.

element: Box<TypeIdentifier>

Element-TypeIdentifier.

PlainMapSmall

map<K, V, N> mit N <= 255.

Fields

header: PlainCollectionHeader

Header.

bound: u8

Max-Groesse.

element: Box<TypeIdentifier>

Value-TypeIdentifier.

key_flags: CollectionElementFlag

Key-Flags.

key: Box<TypeIdentifier>

Key-TypeIdentifier.

PlainMapLarge

map<K, V, N> mit N > 255.

Fields

header: PlainCollectionHeader

Header.

bound: u32

Max-Groesse.

element: Box<TypeIdentifier>

Value-TypeIdentifier.

key_flags: CollectionElementFlag

Key-Flags.

key: Box<TypeIdentifier>

Key-TypeIdentifier.

StronglyConnectedComponent(StronglyConnectedComponentId)

Stark-zusammenhaengende Komponente (rekursive Typen) — §7.3.4.9.

EquivalenceHashMinimal(EquivalenceHash)

14-byte Hash des MinimalTypeObject.

EquivalenceHashComplete(EquivalenceHash)

14-byte Hash des CompleteTypeObject.

Unknown(u8)

Unbekannter/unsupportierter Discriminator (Forward-Compat).

Implementations

impl TypeIdentifier

pub const MAX_DECODE_DEPTH: usize = 16

Maximum-Rekursionstiefe beim Wire-Decode eines verschachtelten TypeIdentifier (Plain-Collections koennen rekursiv referenzieren). Schuetzt vor Stack-Overflow bei pathologischen Datagrammen.

pub fn encode_into(&self, w: &mut BufferWriter) -> Result<(), EncodeError>

Encoded als XCDR2-little-endian Bytes (TypeIdentifier ohne Encapsulation-Header — der wird vom Caller (z.B. TYPE_INFORMATION PID oder TypeLookup-RPC) geliefert).

Errors

EncodeError bei Buffer-Overflow (sehr unwahrscheinlich fuer normale Typen; 2^32-Grenze bei large-Kinds).

pub fn decode_from(r: &mut BufferReader<'_>) -> Result<Self, DecodeError>

Decode aus XCDR2-little-endian Bytes. Der Reader muss auf den Discriminator positioniert sein. Interne Rekursion ist gecapt (siehe Self::MAX_DECODE_DEPTH).

Errors

DecodeError bei Buffer-Underflow, inkonsistentem Length-Feld oder wenn die maximale Rekursionstiefe ueberschritten wird.

pub const fn discriminator(&self) -> u8

Der Discriminator-Byte fuer diesen TypeIdentifier.

pub fn to_bytes_le(&self) -> Result<Vec<u8>, EncodeError>

Kurzform: encode in neuen BufferWriter, LE.

Errors

EncodeError bei Overflow.

pub fn from_bytes_le(bytes: &[u8]) -> Result<Self, DecodeError>

Kurzform: decode aus LE-Bytes.

Errors

DecodeError.

Trait Implementations

impl Clone for TypeIdentifier

fn clone(&self) -> TypeIdentifier

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for TypeIdentifier

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

Formats the value using the given formatter.

impl Default for TypeIdentifier

fn default() -> TypeIdentifier

Returns the “default value” for a type.

impl PartialEq for TypeIdentifier

fn eq(&self, other: &TypeIdentifier) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for TypeIdentifier

impl StructuralPartialEq for TypeIdentifier