1 |
706 |
jeremybenn |
------------------------------------------------------------------------------
|
2 |
|
|
-- --
|
3 |
|
|
-- GNAT COMPILER COMPONENTS --
|
4 |
|
|
-- --
|
5 |
|
|
-- E X P _ C H 2 --
|
6 |
|
|
-- --
|
7 |
|
|
-- S p e c --
|
8 |
|
|
-- --
|
9 |
|
|
-- Copyright (C) 1992-2007, Free Software Foundation, Inc. --
|
10 |
|
|
-- --
|
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. --
|
20 |
|
|
-- --
|
21 |
|
|
-- GNAT was originally developed by the GNAT team at New York University. --
|
22 |
|
|
-- Extensive contributions were provided by Ada Core Technologies Inc. --
|
23 |
|
|
-- --
|
24 |
|
|
------------------------------------------------------------------------------
|
25 |
|
|
|
26 |
|
|
-- Expand routines for chapter 2 constructs
|
27 |
|
|
|
28 |
|
|
with Types; use Types;
|
29 |
|
|
package Exp_Ch2 is
|
30 |
|
|
|
31 |
|
|
procedure Expand_N_Expanded_Name (N : Node_Id);
|
32 |
|
|
procedure Expand_N_Identifier (N : Node_Id);
|
33 |
|
|
procedure Expand_N_Real_Literal (N : Node_Id);
|
34 |
|
|
|
35 |
|
|
function Param_Entity (N : Node_Id) return Entity_Id;
|
36 |
|
|
-- Given an expression N, determines if the expression is a reference
|
37 |
|
|
-- to a formal (of a subprogram or entry), and if so returns the Id
|
38 |
|
|
-- of the corresponding formal entity, otherwise returns Empty. The
|
39 |
|
|
-- reason that this is in Exp_Ch2 is that it has to deal with the case
|
40 |
|
|
-- where the reference is to an entry formal, and has been expanded
|
41 |
|
|
-- already. Since Exp_Ch2 is in charge of the expansion, it is best
|
42 |
|
|
-- suited to knowing how to detect this case. Also handles the case
|
43 |
|
|
-- of references to renamings of formals.
|
44 |
|
|
|
45 |
|
|
end Exp_Ch2;
|