523 lines
18 KiB
Plaintext
523 lines
18 KiB
Plaintext
================================================================================
|
|
null record
|
|
================================================================================
|
|
|
|
package P is
|
|
type R is null record;
|
|
end;
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
(compilation
|
|
(compilation_unit
|
|
(package_specification
|
|
(name
|
|
(identifier))
|
|
(type_declaration
|
|
(full_type_declaration
|
|
(identifier)
|
|
(type_definition
|
|
(record_type_definition
|
|
(record_definition))))))))
|
|
|
|
================================================================================
|
|
records
|
|
================================================================================
|
|
|
|
package P is
|
|
type R2 is record
|
|
A : aliased Integer;
|
|
B : Integer range 0 .. 2;
|
|
C, D : not null access Integer;
|
|
end record;
|
|
|
|
for R2 use record
|
|
A at 0 range 0 .. 31;
|
|
end record;
|
|
end;
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
(compilation
|
|
(compilation_unit
|
|
(package_specification
|
|
(name
|
|
(identifier))
|
|
(type_declaration
|
|
(full_type_declaration
|
|
(identifier)
|
|
(type_definition
|
|
(record_type_definition
|
|
(record_definition
|
|
(component_list
|
|
(component_item
|
|
(component_declaration
|
|
(defining_identifier_list
|
|
(identifier))
|
|
(component_definition
|
|
(subtype_indication
|
|
(name
|
|
(identifier))))))
|
|
(component_item
|
|
(component_declaration
|
|
(defining_identifier_list
|
|
(identifier))
|
|
(component_definition
|
|
(subtype_indication
|
|
(name
|
|
(identifier))
|
|
(constraint
|
|
(scalar_constraint
|
|
(range_constraint
|
|
(range_g
|
|
(simple_expression
|
|
(term
|
|
(factor
|
|
(primary
|
|
(numeric_literal)))))
|
|
(simple_expression
|
|
(term
|
|
(factor
|
|
(primary
|
|
(numeric_literal)))))))))))))
|
|
(component_item
|
|
(component_declaration
|
|
(defining_identifier_list
|
|
(identifier)
|
|
(identifier))
|
|
(component_definition
|
|
(access_definition
|
|
(null_exclusion)
|
|
(name
|
|
(identifier))))))))))))
|
|
(aspect_clause
|
|
(record_representation_clause
|
|
(name
|
|
(identifier))
|
|
(component_clause
|
|
(name
|
|
(identifier))
|
|
(expression
|
|
(relation
|
|
(simple_expression
|
|
(term
|
|
(factor
|
|
(primary
|
|
(numeric_literal)))))))
|
|
(simple_expression
|
|
(term
|
|
(factor
|
|
(primary
|
|
(numeric_literal)))))
|
|
(simple_expression
|
|
(term
|
|
(factor
|
|
(primary
|
|
(numeric_literal)))))))))))
|
|
|
|
================================================================================
|
|
Multiple fields on one line
|
|
================================================================================
|
|
|
|
package P is
|
|
type R is record
|
|
A, B : Integer;
|
|
end record;
|
|
end;
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
(compilation
|
|
(compilation_unit
|
|
(package_specification
|
|
(name
|
|
(identifier))
|
|
(type_declaration
|
|
(full_type_declaration
|
|
(identifier)
|
|
(type_definition
|
|
(record_type_definition
|
|
(record_definition
|
|
(component_list
|
|
(component_item
|
|
(component_declaration
|
|
(defining_identifier_list
|
|
(identifier)
|
|
(identifier))
|
|
(component_definition
|
|
(subtype_indication
|
|
(name
|
|
(identifier)))))))))))))))
|
|
|
|
================================================================================
|
|
Discriminated
|
|
================================================================================
|
|
|
|
package P is
|
|
type R (A : Integer; B : Integer) is record
|
|
F : Float;
|
|
end record;
|
|
end;
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
(compilation
|
|
(compilation_unit
|
|
(package_specification
|
|
(name
|
|
(identifier))
|
|
(type_declaration
|
|
(full_type_declaration
|
|
(identifier)
|
|
(known_discriminant_part
|
|
(discriminant_specification_list
|
|
(discriminant_specification
|
|
(defining_identifier_list
|
|
(identifier))
|
|
(name
|
|
(identifier)))
|
|
(discriminant_specification
|
|
(defining_identifier_list
|
|
(identifier))
|
|
(name
|
|
(identifier)))))
|
|
(type_definition
|
|
(record_type_definition
|
|
(record_definition
|
|
(component_list
|
|
(component_item
|
|
(component_declaration
|
|
(defining_identifier_list
|
|
(identifier))
|
|
(component_definition
|
|
(subtype_indication
|
|
(name
|
|
(identifier)))))))))))))))
|
|
|
|
================================================================================
|
|
tagged
|
|
================================================================================
|
|
|
|
package P is
|
|
type T is abstract tagged limited null record;
|
|
type T2 is new T with record
|
|
F : Integer;
|
|
end record;
|
|
end;
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
(compilation
|
|
(compilation_unit
|
|
(package_specification
|
|
(name
|
|
(identifier))
|
|
(type_declaration
|
|
(full_type_declaration
|
|
(identifier)
|
|
(type_definition
|
|
(record_type_definition
|
|
(record_definition)))))
|
|
(type_declaration
|
|
(full_type_declaration
|
|
(identifier)
|
|
(type_definition
|
|
(derived_type_definition
|
|
(subtype_indication
|
|
(name
|
|
(identifier)))
|
|
(record_extension_part
|
|
(record_definition
|
|
(component_list
|
|
(component_item
|
|
(component_declaration
|
|
(defining_identifier_list
|
|
(identifier))
|
|
(component_definition
|
|
(subtype_indication
|
|
(name
|
|
(identifier))))))))))))))))
|
|
|
|
================================================================================
|
|
Variant
|
|
================================================================================
|
|
|
|
package P is
|
|
type R (A : Integer) is record
|
|
case A is
|
|
when 0 | 1 .. 2 =>
|
|
B : Integer;
|
|
when others =>
|
|
null;
|
|
end case;
|
|
end record;
|
|
end;
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
(compilation
|
|
(compilation_unit
|
|
(package_specification
|
|
(name
|
|
(identifier))
|
|
(type_declaration
|
|
(full_type_declaration
|
|
(identifier)
|
|
(known_discriminant_part
|
|
(discriminant_specification_list
|
|
(discriminant_specification
|
|
(defining_identifier_list
|
|
(identifier))
|
|
(name
|
|
(identifier)))))
|
|
(type_definition
|
|
(record_type_definition
|
|
(record_definition
|
|
(component_list
|
|
(variant_part
|
|
(identifier)
|
|
(variant_list
|
|
(variant
|
|
(discrete_choice_list
|
|
(discrete_choice
|
|
(expression
|
|
(relation
|
|
(simple_expression
|
|
(term
|
|
(factor
|
|
(primary
|
|
(numeric_literal))))))))
|
|
(discrete_choice
|
|
(range_g
|
|
(simple_expression
|
|
(term
|
|
(factor
|
|
(primary
|
|
(numeric_literal)))))
|
|
(simple_expression
|
|
(term
|
|
(factor
|
|
(primary
|
|
(numeric_literal))))))))
|
|
(component_list
|
|
(component_item
|
|
(component_declaration
|
|
(defining_identifier_list
|
|
(identifier))
|
|
(component_definition
|
|
(subtype_indication
|
|
(name
|
|
(identifier))))))))
|
|
(variant
|
|
(discrete_choice_list
|
|
(discrete_choice))
|
|
(component_list)))))))))))))
|
|
|
|
================================================================================
|
|
interface
|
|
================================================================================
|
|
|
|
package P is
|
|
type R is interface;
|
|
type R2 is interface and Intf1;
|
|
type R3 is new Root and R with null record;
|
|
end;
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
(compilation
|
|
(compilation_unit
|
|
(package_specification
|
|
(name
|
|
(identifier))
|
|
(type_declaration
|
|
(full_type_declaration
|
|
(identifier)
|
|
(type_definition
|
|
(interface_type_definition))))
|
|
(type_declaration
|
|
(full_type_declaration
|
|
(identifier)
|
|
(type_definition
|
|
(interface_type_definition
|
|
(interface_list
|
|
(name
|
|
(identifier)))))))
|
|
(type_declaration
|
|
(full_type_declaration
|
|
(identifier)
|
|
(type_definition
|
|
(derived_type_definition
|
|
(subtype_indication
|
|
(name
|
|
(identifier)))
|
|
(interface_list
|
|
(name
|
|
(identifier)))
|
|
(record_extension_part
|
|
(record_definition)))))))))
|
|
|
|
================================================================================
|
|
record aggregates
|
|
================================================================================
|
|
|
|
procedure P is
|
|
begin
|
|
A := (F1 => 1, F2 => 2);
|
|
end;
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
(compilation
|
|
(compilation_unit
|
|
(proper_body
|
|
(subprogram_body
|
|
(subprogram_specification
|
|
(procedure_specification
|
|
(name
|
|
(identifier))))
|
|
(handled_sequence_of_statements
|
|
(sequence_of_statements
|
|
(statement
|
|
(simple_statement
|
|
(assignment_statement
|
|
(name
|
|
(identifier))
|
|
(assign_value
|
|
(expression
|
|
(relation
|
|
(simple_expression
|
|
(term
|
|
(factor
|
|
(primary
|
|
(aggregate
|
|
(record_aggregate
|
|
(record_component_association_list
|
|
(component_choice_list
|
|
(identifier))
|
|
(expression
|
|
(relation
|
|
(simple_expression
|
|
(term
|
|
(factor
|
|
(primary
|
|
(numeric_literal)))))))
|
|
(component_choice_list
|
|
(identifier))
|
|
(expression
|
|
(relation
|
|
(simple_expression
|
|
(term
|
|
(factor
|
|
(primary
|
|
(numeric_literal))))))))))))))))))))))))))
|
|
|
|
================================================================================
|
|
record aggregate extension
|
|
================================================================================
|
|
|
|
procedure P is
|
|
begin
|
|
A := (B with F3 => 2);
|
|
end;
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
(compilation
|
|
(compilation_unit
|
|
(proper_body
|
|
(subprogram_body
|
|
(subprogram_specification
|
|
(procedure_specification
|
|
(name
|
|
(identifier))))
|
|
(handled_sequence_of_statements
|
|
(sequence_of_statements
|
|
(statement
|
|
(simple_statement
|
|
(assignment_statement
|
|
(name
|
|
(identifier))
|
|
(assign_value
|
|
(expression
|
|
(relation
|
|
(simple_expression
|
|
(term
|
|
(factor
|
|
(primary
|
|
(aggregate
|
|
(extension_aggregate
|
|
(expression
|
|
(relation
|
|
(simple_expression
|
|
(term
|
|
(factor
|
|
(primary
|
|
(name
|
|
(identifier))))))))
|
|
(record_component_association_list
|
|
(component_choice_list
|
|
(identifier))
|
|
(expression
|
|
(relation
|
|
(simple_expression
|
|
(term
|
|
(factor
|
|
(primary
|
|
(numeric_literal))))))))))))))))))))))))))
|
|
|
|
================================================================================
|
|
record delta aggregate
|
|
================================================================================
|
|
|
|
procedure P is
|
|
begin
|
|
A := (B with delta F3 => 2);
|
|
end;
|
|
|
|
--------------------------------------------------------------------------------
|
|
|
|
(compilation
|
|
(compilation_unit
|
|
(proper_body
|
|
(subprogram_body
|
|
(subprogram_specification
|
|
(procedure_specification
|
|
(name
|
|
(identifier))))
|
|
(handled_sequence_of_statements
|
|
(sequence_of_statements
|
|
(statement
|
|
(simple_statement
|
|
(assignment_statement
|
|
(name
|
|
(identifier))
|
|
(assign_value
|
|
(expression
|
|
(relation
|
|
(simple_expression
|
|
(term
|
|
(factor
|
|
(primary
|
|
(aggregate
|
|
(delta_aggregate
|
|
(record_delta_aggregate
|
|
(expression
|
|
(relation
|
|
(simple_expression
|
|
(term
|
|
(factor
|
|
(primary
|
|
(name
|
|
(identifier))))))))
|
|
(record_component_association_list
|
|
(component_choice_list
|
|
(identifier))
|
|
(expression
|
|
(relation
|
|
(simple_expression
|
|
(term
|
|
(factor
|
|
(primary
|
|
(numeric_literal)))))))))))))))))))))))))))
|