Руководство по Ada 2012

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.