Skip to main content

Module conformance

Module conformance 

Source
Expand description

Conformance markers for DDS-XML 1.0 §2.4 + §7.2.0.

§ 2.4 — Atomic building-block selection. The spec requires that the implementation can atomically state per building block: “selected” or “not selected”. We mark that via SUPPORTED_BUILDING_BLOCKS — the list of the building blocks productively supported by the crate. An assert!-based test table (tests::supported_blocks_match_repo) verifies that the list matches the actually exposed modules.

§ 7.2.0 — 1-to-1 mapping of IDL data types. The spec says: “The XML representation of resources that correspond to data-types defined in the DDS IDL PSM is obtained by performing a 1-to-1 mapping of the corresponding IDL data type.” We encode this mapping table as IDL_TO_XML_MAPPING — per IDL data type category a reference to the producing function or module, so that reviewers/testers can see the completeness of the coverage in one place.

Constants§

IDL_TO_XML_MAPPING
1-to-1 mapping IDL data type -> XML constructor + producing API function. Spec §7.2.0.
SUPPORTED_BUILDING_BLOCKS
List of the building blocks from DDS-XML 1.0 §7.3.1.1 that are productively supported in this crate.