------------------------------
procedure Resolve_Aspect_Aggregate
- (Typ : Entity_Id;
+ (Typ : Entity_Id;
Expr : Node_Id)
is
+ function Valid_Empty (E : Entity_Id) return Boolean;
+ function Valid_Add_Named (E : Entity_Id) return Boolean;
+ function Valid_Add_Unnamed (E : Entity_Id) return Boolean;
+ function Valid_New_Indexed (E : Entity_Id) return Boolean;
+ function Valid_Assign_Indexed (E : Entity_Id) return Boolean;
-- Predicates that establish the legality of each possible operation in
-- an Aggregate aspect.
- function Valid_Empty (E : Entity_Id) return Boolean;
- function Valid_Add_Named (E : Entity_Id) return Boolean;
- function Valid_Add_Unnamed (E : Entity_Id) return Boolean;
- function Valid_New_Indexed (E : Entity_Id) return Boolean;
- function Valid_Assign_Indexed (E : Entity_Id) return Boolean;
-
generic
with function Pred (Id : Node_Id) return Boolean;
procedure Resolve_Operation (Subp_Id : Node_Id);
end Valid_Assign_Indexed;
-----------------
- -- Valid_Emoty --
+ -- Valid_Empty --
-----------------
function Valid_Empty (E : Entity_Id) return Boolean is
-- Valid_Add_Named --
---------------------
- function Valid_Add_Named (E : Entity_Id) return Boolean is
+ function Valid_Add_Named (E : Entity_Id) return Boolean is
F2, F3 : Entity_Id;
begin
if Ekind (E) = E_Procedure
procedure Resolve_Assign_Indexed
is new Resolve_Operation
(Valid_Assign_Indexed);
+
+ -- Start of processing for Resolve_Aspect_Aggregate
+
begin
Assoc := First (Component_Associations (Expr));