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 Einfo
.Entities
; use Einfo
.Entities
;
30 with Types
; use Types
;
34 procedure Resolve_Delta_Aggregate
(N
: Node_Id
; Typ
: Entity_Id
);
35 procedure Resolve_Aggregate
(N
: Node_Id
; Typ
: Entity_Id
);
36 procedure Resolve_Extension_Aggregate
(N
: Node_Id
; Typ
: Entity_Id
);
37 procedure Resolve_Container_Aggregate
(N
: Node_Id
; Typ
: Entity_Id
);
39 function Is_Others_Aggregate
(Aggr
: Node_Id
) return Boolean;
40 -- Returns True is aggregate Aggr consists of a single OTHERS choice
42 function Is_Single_Aggregate
(Aggr
: Node_Id
) return Boolean;
43 -- Returns True if aggregate Aggr consists of a single choice
45 -- WARNING: There is a matching C declaration of this subprogram in fe.h
47 function Is_Null_Aggregate
(N
: Node_Id
) return Boolean;
48 -- Returns True for a "[]" aggregate (an Ada 2022 feature), even after
49 -- it has been transformed by expansion. Returns False otherwise.
51 function Is_Null_Array_Aggregate_High_Bound
(N
: Node_Id
) return Boolean;
52 -- Returns True for the high bound of a null array aggregate.
54 function Is_Deep_Choice
56 Aggr_Type
: Type_Kind_Id
) return Boolean;
57 -- Returns whether Choice from a delta aggregate of type Aggr_Type is a
60 function Is_Root_Prefix_Of_Deep_Choice
(Pref
: Node_Id
) return Boolean;
61 -- Returns whether prefix Pref of a deep choice is its root prefix. Except
62 -- for its use in Is_Deep_Choice, this function should only be called on
63 -- prefixes of a deep choice as identified by Is_Deep_Choice.