The evaluation of an aggregate yields a value of a composite type. The value is specified by giving the value of each of the components. Either positional association or named association may be used to indicate which value is associated with which component. The evaluation of an allocator creates an object and returns a new access value which designates the object. Each index must be a value of a discrete type and must lie in the correct index range.
Assignment is the operation that replaces the current value of a variable by a new value.
An assignment statement specifies a variable on the left, and on the right, an expression whose value is to be the new value of the variable. A block statement is a single statement that may contain a sequence of statements. A body defines the execution of a subprogram, package, or task. A body stub is a form of body that indicates that this execution is defined in a separately compiled subunit. A collection is the entire set of objects created by evaluation of allocators for an access type.