Module data 

DynamicData (XTypes 1.3 §7.5.6).

DynamicData ist eine Daten-Instanz eines DynamicType. Die API ist Spec-frozen (Methoden-Namen + Signaturen). Gegenueber der Spec werden zwei Vereinfachungen gemacht:

1. Alle 12 typed Getters/Setters kommen ueber ein DynamicValue- Discriminator-Enum, ueber den die set_<T>_value/get_<T>_value Methoden ihren Type-Check machen. Type-Mismatch → BadParameter.
2. Loans werden ueber einen Reference-counted DataLoan modelliert (Spec §7.5.6.1 — vollstaendige Loan-API folgt mit C4.7).

Structs

DataLoan

Gibt eine geliehene DynamicData-Sicht auf einen Member zurueck. Lifecycle: loan_value → return_loaned_value (Spec §7.5.6.1).

DynamicData

XTypes 1.3 §7.5.6 DynamicData.

Enums

DynamicValue

Sum-Type fuer alle in DynamicData speicherbaren Werte. Spec §7.5.6 spricht von 12 Primitive-Types + Composite + Sequence — diese Enum kapselt das Storage.