Руководство по Ada (Ada 2022)
J.15.6 Предикат Unchecked_Union
Синтаксис
Форма предиката pragma Unchecked_Union, являющегося предикатом представления (см. 13.1), имеет следующий вид:
pragma Unchecked_Union (first_subtype_local_name);
Правила легальности
Идентификатор first_subtype_local_name предиката pragma Unchecked_Union должен обозначать неявный дискриминированный тип-запись, содержащий variant_part.
Статические семантики
Предикат pragma Unchecked_Union указывает, что аспект Unchecked_Union (см. B.3.3) для типа, обозначенного идентификатором first_subtype_local_name, имеет значение True.
