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 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 -- This child package contains the routines used to actually load a source
28 -- file and create entries in the source file table. It also contains the
29 -- routines to create virtual entries for instantiations. This is separated
30 -- off into a child package to avoid a dependence of Sinput on Osint which
31 -- would cause trouble in the tree read/write routines.
35 ------------------------------------------
36 -- Subprograms for Loading Source Files --
37 ------------------------------------------
39 function Load_Source_File (N : File_Name_Type) return Source_File_Index;
40 -- Given a source file name, returns the index of the corresponding entry
41 -- in the source file table. If the file is not currently loaded, then
42 -- this is the call that causes the source file to be read and an entry
43 -- made in the table. A new entry in the table has the file name and time
44 -- stamp entries set and the Casing entries set to Unknown. Version is set
45 -- to all blanks, and the lines table is initialized but only the first
46 -- entry is set (and Last_Line is set to 1). If the given source file
47 -- cannot be opened, then the value returned is No_Source_File.
49 function Load_Config_File (N : File_Name_Type) return Source_File_Index;
50 -- Similar to Load_Source_File, except that the file name is always
51 -- interpreted in the context of the current working directory.
52 -- The file is never preprocessed.
54 function Load_Definition_File
55 (N : File_Name_Type) return Source_File_Index;
56 -- Loads preprocessing definition file. Similar to Load_Source_File
57 -- except that this file is not itself preprocessed.
59 function Load_Preprocessing_Data_File
60 (N : File_Name_Type) return Source_File_Index;
61 -- Loads preprocessing data file. Similar to Load_Source_File except
62 -- that this file is not itself preprocessed.
64 procedure Complete_Source_File_Entry;
65 -- Called on completing the parsing of a source file. This call completes
66 -- the source file table entry for the current source file.
68 function Source_File_Is_No_Body (X : Source_File_Index) return Boolean;
69 -- Returns true if the designated source file contains pragma No_Body;
70 -- and no other tokens. If the source file contains anything other than
71 -- this sequence of three tokens, then False is returned.
73 function Source_File_Is_Subunit (X : Source_File_Index) return Boolean;
74 -- This function determines if a source file represents a subunit. It
75 -- works by scanning for the first compilation unit token, and returning
76 -- True if it is the token SEPARATE. It will return False otherwise,
77 -- meaning that the file cannot possibly be a legal subunit. This
78 -- function does NOT do a complete parse of the file, or build a
79 -- tree. It is used in the main driver in the check for bad bodies.
81 -------------------------------------------------
82 -- Subprograms for Dealing With Instantiations --
83 -------------------------------------------------
85 type Sloc_Adjustment is private;
86 -- Type returned by Create_Instantiation_Source for use in subsequent
87 -- calls to Adjust_Instantiation_Sloc.
89 procedure Create_Instantiation_Source
90 (Inst_Node : Entity_Id;
91 Template_Id : Entity_Id;
92 Inlined_Body : Boolean;
93 A : out Sloc_Adjustment);
94 -- This procedure creates the source table entry for an instantiation.
95 -- Inst_Node is the instantiation node, and Template_Id is the defining
96 -- identifier of the generic declaration or body unit as appropriate.
97 -- A is set to an adjustment factor to be used in subsequent calls to
98 -- Adjust_Instantiation_Sloc. The instantiation mechnaism is also used
99 -- for inlined function and procedure calls. The parameter Inlined_Body
100 -- is set to True in such cases, and False for a generic instantiation.
101 -- This is used for generating error messages that distinguish these
102 -- two cases, otherwise the two cases are handled identically.
104 procedure Adjust_Instantiation_Sloc (N : Node_Id; A : Sloc_Adjustment);
105 -- The instantiation tree is created by copying the tree of the generic
106 -- template (including the original Sloc values), and then applying
107 -- Adjust_Instantiation_Sloc to each copied node to adjust the Sloc
108 -- to reference the source entry for the instantiation.
112 type Sloc_Adjustment is record
114 -- Adjustment factor. To be added to source location values in the
115 -- source table entry for the template to get corresponding sloc
116 -- values for the instantiation image of the template. This is not
117 -- really a Source_Ptr value, but rather an offset, but it is more
118 -- convenient to represent it as a Source_Ptr value and this is a
119 -- private type anyway.
122 -- Lo and hi values to which adjustment factor can legitimately
123 -- be applied, used to ensure that no incorrect adjustments are
124 -- made. Really it is a bug if anyone ever tries to adjust outside
125 -- this range, but since we are only doing this anyway for getting
126 -- better error messages, it is not critical