Справочник по Ada 2005

4.3 Агрегаты

Агрегат объединяет значения компонентов в составное значение типа массива, записи или расширения записи.

Синтаксис

aggregate ::= record_aggregate | extension_aggregate | array_aggregate

Правила разрешения имен

Ожидаемый тип для агрегата должен быть одиночным типом массива, записи или расширения записи.

Правила допустимости

Агрегат не должен быть типа класса.

Динамические семантика

Для вычисления агрегата создается анонимный объект, и значения для компонентов или части предка получаются (как описано в последующих подпунктах для каждого вида агрегата) и присваиваются соответствующим компонентам или части предка анонимного объекта. Получение значений и присваивания происходят в произвольном порядке. Значение агрегата — это значение этого объекта.

Если агрегат имеет тип с меткой, выполняется проверка, принадлежит ли его значение первому подтипу типа. Если эта проверка не пройдена, генерируется исключение Constraint_Error.