1 ------------------------------------------------------------------------------
3 -- GNAT COMPILER COMPONENTS --
9 -- Copyright (C) 1992-2006 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 2, 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 COPYING. If not, write --
19 -- to the Free Software Foundation, 51 Franklin Street, Fifth Floor, --
20 -- Boston, MA 02110-1301, USA. --
22 -- GNAT was originally developed by the GNAT team at New York University. --
23 -- Extensive contributions were provided by Ada Core Technologies Inc. --
25 ------------------------------------------------------------------------------
27 with Types
; use Types
;
29 procedure Analyze_Compilation_Unit
(N
: Node_Id
);
30 procedure Analyze_With_Clause
(N
: Node_Id
);
31 procedure Analyze_With_Type_Clause
(N
: Node_Id
);
32 procedure Analyze_Subprogram_Body_Stub
(N
: Node_Id
);
33 procedure Analyze_Package_Body_Stub
(N
: Node_Id
);
34 procedure Analyze_Task_Body_Stub
(N
: Node_Id
);
35 procedure Analyze_Protected_Body_Stub
(N
: Node_Id
);
36 procedure Analyze_Subunit
(N
: Node_Id
);
38 procedure Install_Context
(N
: Node_Id
);
39 -- Installs the entities from the context clause of the given compilation
40 -- unit into the visibility chains. This is done before analyzing a unit.
41 -- For a child unit, install context of parents as well.
43 procedure Install_Private_With_Clauses
(P
: Entity_Id
);
44 -- Install the private with_clauses of a compilation unit, when compiling
45 -- its private part, compiling a private child unit, or compiling the
46 -- private declarations of a public child unit.
48 procedure Remove_Context
(N
: Node_Id
);
49 -- Removes the entities from the context clause of the given compilation
50 -- unit from the visibility chains. This is done on exit from a unit as
51 -- part of cleaning up the visibility chains for the caller. A special
52 -- case is that the call from the Main_Unit can be ignored, since at the
53 -- end of the main unit the visibility table won't be needed in any case.
54 -- For a child unit, remove parents and their context as well.
56 procedure Remove_Private_With_Clauses
(Comp_Unit
: Node_Id
);
57 -- The private_with_clauses of a compilation unit are visible in the
58 -- private part of a nested package, even if this package appears in
59 -- the visible part of the enclosing compilation unit. This Ada 2005
60 -- rule imposes extra steps in order to install/remove the private_with
61 -- clauses of the an enclosing unit.
63 procedure Load_Needed_Body
(N
: Node_Id
; OK
: out Boolean);
64 -- Load and analyze the body of a context unit that is generic, or
65 -- that contains generic units or inlined units. The body becomes
66 -- part of the semantic dependency set of the unit that needs it.
67 -- The returned result in OK is True if the load is successful,
68 -- and False if the requested file cannot be found.