1 ------------------------------------------------------------------------------
3 -- GNAT COMPILER COMPONENTS --
9 -- Copyright (C) 1992-2007, 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 with Types
; use Types
;
28 procedure Analyze_Compilation_Unit
(N
: Node_Id
);
29 procedure Analyze_With_Clause
(N
: Node_Id
);
30 procedure Analyze_Subprogram_Body_Stub
(N
: Node_Id
);
31 procedure Analyze_Package_Body_Stub
(N
: Node_Id
);
32 procedure Analyze_Task_Body_Stub
(N
: Node_Id
);
33 procedure Analyze_Protected_Body_Stub
(N
: Node_Id
);
34 procedure Analyze_Subunit
(N
: Node_Id
);
36 procedure Install_Context
(N
: Node_Id
);
37 -- Installs the entities from the context clause of the given compilation
38 -- unit into the visibility chains. This is done before analyzing a unit.
39 -- For a child unit, install context of parents as well.
41 procedure Install_Private_With_Clauses
(P
: Entity_Id
);
42 -- Install the private with_clauses of a compilation unit, when compiling
43 -- its private part, compiling a private child unit, or compiling the
44 -- private declarations of a public child unit.
46 procedure Remove_Context
(N
: Node_Id
);
47 -- Removes the entities from the context clause of the given compilation
48 -- unit from the visibility chains. This is done on exit from a unit as
49 -- part of cleaning up the visibility chains for the caller. A special
50 -- case is that the call from the Main_Unit can be ignored, since at the
51 -- end of the main unit the visibility table won't be needed in any case.
52 -- For a child unit, remove parents and their context as well.
54 procedure Remove_Private_With_Clauses
(Comp_Unit
: Node_Id
);
55 -- The private_with_clauses of a compilation unit are visible in the
56 -- private part of a nested package, even if this package appears in
57 -- the visible part of the enclosing compilation unit. This Ada 2005
58 -- rule imposes extra steps in order to install/remove the private_with
59 -- clauses of the an enclosing unit.
61 procedure Load_Needed_Body
(N
: Node_Id
; OK
: out Boolean);
62 -- Load and analyze the body of a context unit that is generic, or
63 -- that contains generic units or inlined units. The body becomes
64 -- part of the semantic dependency set of the unit that needs it.
65 -- The returned result in OK is True if the load is successful,
66 -- and False if the requested file cannot be found.