4.3.2 Расширяющие агрегаты

Расширяющий агрегат (extension_aggregate) задает значение для типа-расширения записи, указав значение или подтип предка типа, а затем — связи для любых компонентов, не определенных частью предка (ancestor_part).

Ожидаемый тип для расширяющего агрегата (extension_aggregate) должен быть единственным типом, являющимся расширением записи. Если часть предка (ancestor_part) является выражением, то ожидается, что она относится к любому типу с меткой.

Если часть предка (ancestor_part) является меткой подтипа (subtype_mark), она должна обозначать конкретный помеченный подтип. Если часть предка (ancestor_part) является выражением, она не должна быть динамически помеченной. Тип расширяющего агрегата (extension_aggregate) должен быть получен из типа части предка (ancestor_part) через одно или несколько расширений записи (и без расширений с приватным доступом).

Для списка связей компонентов записи (record_component_association_list) расширяющего агрегата (extension_aggregate) необходимы только те компоненты составного значения, определенного агрегатом, которые не унаследованы от типа части предка (ancestor_part), плюс любые унаследованные дискриминанты, если часть предка (ancestor_part) является меткой подтипа, обозначающей свободный подтип.

При вычислении расширяющего агрегата (extension_aggregate) вычисляется список связей компонентов записи (record_component_association_list). Если часть предка (ancestor_part) является выражением, оно также вычисляется; если часть предка (ancestor_part) является меткой подтипа, компоненты значения агрегата, не указанные в списке связей компонентов записи (record_component_association_list), инициализируются по умолчанию так же, как для объекта предкового типа. Любые неявные инициализации или вычисления выполняются в произвольном порядке, за исключением того, что выражение для дискриминанта вычисляется до любого другого вычисления или инициализации, зависящего от него.

Если тип части предка (ancestor_part) имеет дискриминанты, которые не унаследованы типом расширяющего агрегата (extension_aggregate), тогда, если часть предка (ancestor_part) не является меткой подтипа, обозначающей свободный подтип, проверяется, что каждый дискриминант предка имеет значение, указанное для соответствующего дискриминанта, либо в списке связей компонентов записи (record_component_association_list), либо в определении типа производного (derived_type_definition) для какого-либо предка типа расширяющего агрегата (extension_aggregate). В случае неудачи возбуждается исключение Constraint_Error.

Примеры расширяющих агрегатов (для типов, определённых в 3.9.1):