130 lines
7.0 KiB
Ada
130 lines
7.0 KiB
Ada
------------------------------------------------------------------------------
|
|
-- --
|
|
-- GNAT COMPILER COMPONENTS --
|
|
-- --
|
|
-- S I N P U T . L --
|
|
-- --
|
|
-- S p e c --
|
|
-- --
|
|
-- Copyright (C) 1992-2008, Free Software Foundation, Inc. --
|
|
-- --
|
|
-- GNAT is free software; you can redistribute it and/or modify it under --
|
|
-- terms of the GNU General Public License as published by the Free Soft- --
|
|
-- ware Foundation; either version 3, or (at your option) any later ver- --
|
|
-- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
|
|
-- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
|
|
-- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License --
|
|
-- for more details. You should have received a copy of the GNU General --
|
|
-- Public License distributed with GNAT; see file COPYING3. If not, go to --
|
|
-- http://www.gnu.org/licenses for a complete copy of the license. --
|
|
-- --
|
|
-- GNAT was originally developed by the GNAT team at New York University. --
|
|
-- Extensive contributions were provided by Ada Core Technologies Inc. --
|
|
-- --
|
|
------------------------------------------------------------------------------
|
|
|
|
-- This child package contains the routines used to actually load a source
|
|
-- file and create entries in the source file table. It also contains the
|
|
-- routines to create virtual entries for instantiations. This is separated
|
|
-- off into a child package to avoid a dependence of Sinput on Osint which
|
|
-- would cause trouble in the tree read/write routines.
|
|
|
|
package Sinput.L is
|
|
|
|
------------------------------------------
|
|
-- Subprograms for Loading Source Files --
|
|
------------------------------------------
|
|
|
|
function Load_Source_File (N : File_Name_Type) return Source_File_Index;
|
|
-- Given a source file name, returns the index of the corresponding entry
|
|
-- in the source file table. If the file is not currently loaded, then
|
|
-- this is the call that causes the source file to be read and an entry
|
|
-- made in the table. A new entry in the table has the file name and time
|
|
-- stamp entries set and the Casing entries set to Unknown. Version is set
|
|
-- to all blanks, and the lines table is initialized but only the first
|
|
-- entry is set (and Last_Line is set to 1). If the given source file
|
|
-- cannot be opened, then the value returned is No_Source_File.
|
|
|
|
function Load_Config_File (N : File_Name_Type) return Source_File_Index;
|
|
-- Similar to Load_Source_File, except that the file name is always
|
|
-- interpreted in the context of the current working directory.
|
|
-- The file is never preprocessed.
|
|
|
|
function Load_Definition_File
|
|
(N : File_Name_Type) return Source_File_Index;
|
|
-- Loads preprocessing definition file. Similar to Load_Source_File
|
|
-- except that this file is not itself preprocessed.
|
|
|
|
function Load_Preprocessing_Data_File
|
|
(N : File_Name_Type) return Source_File_Index;
|
|
-- Loads preprocessing data file. Similar to Load_Source_File except
|
|
-- that this file is not itself preprocessed.
|
|
|
|
procedure Complete_Source_File_Entry;
|
|
-- Called on completing the parsing of a source file. This call completes
|
|
-- the source file table entry for the current source file.
|
|
|
|
function Source_File_Is_No_Body (X : Source_File_Index) return Boolean;
|
|
-- Returns true if the designated source file contains pragma No_Body;
|
|
-- and no other tokens. If the source file contains anything other than
|
|
-- this sequence of three tokens, then False is returned.
|
|
|
|
function Source_File_Is_Subunit (X : Source_File_Index) return Boolean;
|
|
-- This function determines if a source file represents a subunit. It
|
|
-- works by scanning for the first compilation unit token, and returning
|
|
-- True if it is the token SEPARATE. It will return False otherwise,
|
|
-- meaning that the file cannot possibly be a legal subunit. This
|
|
-- function does NOT do a complete parse of the file, or build a
|
|
-- tree. It is used in the main driver in the check for bad bodies.
|
|
|
|
-------------------------------------------------
|
|
-- Subprograms for Dealing With Instantiations --
|
|
-------------------------------------------------
|
|
|
|
type Sloc_Adjustment is private;
|
|
-- Type returned by Create_Instantiation_Source for use in subsequent
|
|
-- calls to Adjust_Instantiation_Sloc.
|
|
|
|
procedure Create_Instantiation_Source
|
|
(Inst_Node : Entity_Id;
|
|
Template_Id : Entity_Id;
|
|
Inlined_Body : Boolean;
|
|
A : out Sloc_Adjustment);
|
|
-- This procedure creates the source table entry for an instantiation.
|
|
-- Inst_Node is the instantiation node, and Template_Id is the defining
|
|
-- identifier of the generic declaration or body unit as appropriate.
|
|
-- A is set to an adjustment factor to be used in subsequent calls to
|
|
-- Adjust_Instantiation_Sloc. The instantiation mechanism is also used
|
|
-- for inlined function and procedure calls. The parameter Inlined_Body
|
|
-- is set to True in such cases, and False for a generic instantiation.
|
|
-- This is used for generating error messages that distinguish these
|
|
-- two cases, otherwise the two cases are handled identically.
|
|
|
|
procedure Adjust_Instantiation_Sloc (N : Node_Id; A : Sloc_Adjustment);
|
|
-- The instantiation tree is created by copying the tree of the generic
|
|
-- template (including the original Sloc values), and then applying
|
|
-- Adjust_Instantiation_Sloc to each copied node to adjust the Sloc
|
|
-- to reference the source entry for the instantiation.
|
|
|
|
private
|
|
|
|
type Sloc_Adjustment is record
|
|
Adjust : Source_Ptr;
|
|
-- Adjustment factor. To be added to source location values in the
|
|
-- source table entry for the template to get corresponding sloc
|
|
-- values for the instantiation image of the template. This is not
|
|
-- really a Source_Ptr value, but rather an offset, but it is more
|
|
-- convenient to represent it as a Source_Ptr value and this is a
|
|
-- private type anyway.
|
|
|
|
Lo, Hi : Source_Ptr;
|
|
-- Lo and hi values to which adjustment factor can legitimately
|
|
-- be applied, used to ensure that no incorrect adjustments are
|
|
-- made. Really it is a bug if anyone ever tries to adjust outside
|
|
-- this range, but since we are only doing this anyway for getting
|
|
-- better error messages, it is not critical
|
|
|
|
end record;
|
|
|
|
end Sinput.L;
|