3.8 Типы записей

Объект записи — это составной объект, состоящий из именованных компонентов. Значение объекта записи — это составное значение, состоящее из значений компонентов.

Ожидаемый тип для default_expression, если таковой имеется, в component_declaration — это тип компонента.

Каждый component_declaration объявляет компонент типа записи. Помимо компонентов, объявленных component_declarations, компоненты типа записи включают любые компоненты, объявленные discriminant_specifications объявления типа записи. Идентификаторы всех компонентов типа записи должны быть различными.

Внутри type_declaration имя, обозначающее компонент, защищённую подпрограмму или вход типа, разрешено только в следующих случаях:

Если имя текущего экземпляра типа (см. 8.6) используется для определения ограничения компонента, то оно должно быть указано как direct_name, являющийся prefix attribute_reference, результат которого является типа доступа, и attribute_reference должен быть указан отдельно.

Если record_type_definition включает зарезервированное слово ограниченный, тип называется типом явной ограниченной записи.

component_definition component_declaration определяет (номинальный) подтип компонента. Если зарезервированное слово aliased присутствует в component_definition, то компонент является алиасом (см. 3.10).

Если component_list типа записи определяется зарезервированным словом null и нет дискриминантов, то тип записи не имеет компонентов, и все записи типа являются null записями. record_definition типа null record эквивалентен record null; end record.

Выполнение record_type_definition создаёт тип записи и его первый подтип, и состоит из выполнения record_definition. Выполнение record_definition состоит из выполнения его component_list, если таковой имеется.

Выполнение component_list состоит из выполнения component_items и variant_part, если таковые имеются, в порядке их появления. Выполнение component_declaration состоит из выполнения component_definition.

Внутри определения составного типа, если component_definition или discrete_subtype_definition (см. 9.5.2) включает имя, обозначающее дискриминант типа, или является attribute_reference, чьё prefix обозначает текущий экземпляр типа, то выражение, содержащее имя, называется выражением по объекту, а определяемое constraint или range называется ограничением по объекту. Для выполнения component_definition component_declaration или discrete_subtype_definition входа семейства входов (см. 9.5.2), если подтип компонента определяется access_definition, или если constraint или range subtype_indication или discrete_subtype_definition не является ограничением по объекту, тогда access_definition, subtype_indication или discrete_subtype_definition выполняются. С другой стороны, если constraint или range является ограничением по объекту, то выполнение состоит из вычисления любых включённых выражений, которые не являются частью выражения по объекту. Каждое такое выражение вычисляется один раз, если оно не является частью именованной ассоциации в ограничении дискриминанта, в этом случае оно вычисляется один раз для каждого связанного дискриминанта.

При выполнении ограничения по объекту (как части создания объекта) каждое выражение по объекту ограничения вычисляется. Для других выражений используются значения, определённые во время выполнения component_definition или entry_declaration. Любые проверки, связанные с окружающим subtype_indication или discrete_subtype_definition выполняются, включая проверку совместимости подтипов (см. 3.2.2), и соответствующий подтип создаётся.