1 ------------------------------------------------------------------------------
3 -- GNAT COMPILER COMPONENTS --
9 -- Copyright (C) 1992-2023, Free Software Foundation, Inc. --
11 -- GNAT is free software; you can redistribute it and/or modify it under --
12 -- terms of the GNU General Public License as published by the Free Soft- --
13 -- ware Foundation; either version 3, or (at your option) any later ver- --
14 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
15 -- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
16 -- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License --
17 -- for more details. You should have received a copy of the GNU General --
18 -- Public License distributed with GNAT; see file COPYING3. If not, go to --
19 -- http://www.gnu.org/licenses for a complete copy of the license. --
21 -- GNAT was originally developed by the GNAT team at New York University. --
22 -- Extensive contributions were provided by Ada Core Technologies Inc. --
24 ------------------------------------------------------------------------------
26 -- This package contains the resolution code for aggregates. It is logically
27 -- part of Sem_Res, but is split off since the aggregate code is so complex.
29 with Types
; use Types
;
33 procedure Resolve_Delta_Aggregate
(N
: Node_Id
; Typ
: Entity_Id
);
34 procedure Resolve_Aggregate
(N
: Node_Id
; Typ
: Entity_Id
);
35 procedure Resolve_Extension_Aggregate
(N
: Node_Id
; Typ
: Entity_Id
);
36 procedure Resolve_Container_Aggregate
(N
: Node_Id
; Typ
: Entity_Id
);
38 function Is_Others_Aggregate
(Aggr
: Node_Id
) return Boolean;
39 -- Returns True is aggregate Aggr consists of a single OTHERS choice
41 function Is_Single_Aggregate
(Aggr
: Node_Id
) return Boolean;
42 -- Returns True if aggregate Aggr consists of a single choice
44 -- WARNING: There is a matching C declaration of this subprogram in fe.h
46 function Is_Null_Aggregate
(N
: Node_Id
) return Boolean;
47 -- Returns True for a "[]" aggregate (an Ada 2022 feature), even after
48 -- it has been transformed by expansion. Returns False otherwise.
50 function Is_Null_Array_Aggregate_High_Bound
(N
: Node_Id
) return Boolean;
51 -- Returns True for the high bound of a null array aggregate.