DocAda^(tm) is a productivity tool of KSCE

| | | |
About DocAda Light: Preface / Preliminary / Help / TOC / Copyright
DocAda Online at the Ada Home: Complete RM95 / Updates / News

4.3 Aggregates

An aggregate combines component values into a composite value of an array type, record type, or record extension.

Syntax

   
       aggregate ::= record_aggregate | extension_aggregate | array_aggregate

Name Resolution Rules

The expected type for an aggregate shall be a single nonlimited array type, record type, or record extension.

Legality Rules

An aggregate shall not be of a class-wide type.

Dynamic Semantics

For the evaluation of an aggregate, an anonymous object is created and values for the components or ancestor part are obtained (as described in the subsequent subclause for each kind of the aggregate) and assigned into the corresponding components or ancestor part of the anonymous object. Obtaining the values and the assignments occur in an arbitrary order. The value of the aggregate is the value of this object.

If an aggregate is of a tagged type, a check is made that its value belongs to the first subtype of the type. Constraint_Error is raised if this check fails.

Subclauses

1. Record Aggregates
2. Extension Aggregates
3. Array Aggregates

About DocAda Light: Preface / Preliminary / Help / TOC / Copyright
DocAda Online at the Ada Home: Complete RM95 / Updates / News
| | | |