record_component_association {, record_component_association}
| null record
[ component_choice_list => ] expression
component_selector_name {| component_selector_name}
| others
(Month => July, Day => 4, Year => 1776)
(Unit => Disk, Status => Closed, Cylinder => 9, Track => 1)
Literal'(Value => 0.0)
Painted_Point'(0.0, Pi/2.0, Paint => Red)
(ancestor_part with record_component_association_list)
(Point'(P) with Paint => Black)
Addition'(Binop with null record)
-- presuming Binop is of type Binary_Operation
positional_array_aggregate | named_array_aggregate
(expression, expression {, expression})
| (expression {, expression}, others => expression)
(array_component_association {, array_component_association})
discrete_choice_list => expression
Table'(5, 8, 4, 1, others => 0) -- see 3.6
(1 .. N => new Cell) -- N new cells, in particular for N = 0
Schedule'(Mon .. Fri => True, others => False) -- see 3.6
Schedule'(Wed | Sun => False, others => True)
Vector'(1 => 2.5) -- single-component vector
(1 => (1.1, 1.2, 1.3), 2 => (2.1, 2.2, 2.3))
(1 => (1 => 1.1, 2 => 1.2, 3 => 1.3), 2 => (1 => 2.1, 2 => 2.2, 3 => 2.3))
B : Table := (2 | 4 | 10 => 1, others => 0); -- B(1)=0, B(10)=1
C : constant Matrix := (1 .. 5 => (1 .. 8 => 0.0)); -- C'Last(1)=5, C'Last(2)=8
E : Bit_Vector(M .. N) := (others => True);
F : String(1 .. 1) := (1 => 'F'); -- a one component aggregate: same as "F"