Module platform_mask 

Helpers for resolving IgvmPlatformType <-> compatibility-mask mappings declared in an IGVM file’s platform headers, and for deriving human-readable / file-name-safe short names for each supported platform.

Functions

format_platform_mask

Format a compatibility mask as a human-readable platform list using the platform headers from the IGVM file.

isolation_label

Always-safe label for a platform, used to generate sibling file names and human-readable platform tags. Falls back to platform_<Debug> for variants without a canonical short name, ensuring two distinct platforms never collide on the same label.

isolation_short_name

Short lowercase name for a measurable platform, suitable for file names and CLI suffixes (e.g. "snp", "tdx", "vbs").

lookup_compatibility_mask

Look up the compatibility mask for a given platform type by reading the platform headers from the IGVM file.

platform_name_for_mask

Map a compatibility mask to a lowercase platform name suitable for use in file names. Returns the platform’s canonical short name ("vbs", "snp", "tdx") when the mask matches a known platform header; otherwise platform_<Debug> for a matching header whose platform type has no canonical short name, or mask_0x<hex> if the mask matches no platform header at all.