diff options
Diffstat (limited to 'gcc-4.9/gcc/ada/fmap.ads')
| -rw-r--r-- | gcc-4.9/gcc/ada/fmap.ads | 81 |
1 files changed, 81 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/ada/fmap.ads b/gcc-4.9/gcc/ada/fmap.ads new file mode 100644 index 000000000..19aa0693e --- /dev/null +++ b/gcc-4.9/gcc/ada/fmap.ads @@ -0,0 +1,81 @@ +------------------------------------------------------------------------------ +-- -- +-- GNAT COMPILER COMPONENTS -- +-- -- +-- F M A P -- +-- -- +-- S p e c -- +-- -- +-- Copyright (C) 2001-2012, 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 package keeps two mappings: from unit names to file names, +-- and from file names to path names. +-- +-- This mapping is used to communicate between the builder (gnatmake or +-- gprbuild) and the compiler. The format of this mapping file is the +-- following: +-- For each source file, there are three lines in the mapping file: +-- Unit name with %b or %s added depending on whether it is a body or a spec +-- This line is omitted for file-based languages +-- File name +-- Path name (set to '/' if the file should be ignored in fact, ie for +-- a Locally_Removed_File in a project) + +with Namet; use Namet; + +package Fmap is + + procedure Initialize (File_Name : String); + -- Initialize the mappings from the mapping file File_Name. + -- If the mapping file is incorrect (non existent file, truncated file, + -- duplicate entries), output a warning and do not initialize the mappings. + -- Record the state of the mapping tables in case Update is called + -- later on. + + function Mapped_Path_Name (File : File_Name_Type) return File_Name_Type; + -- Return the path name mapped to the file name File. + -- Return No_File if File is not mapped. + + function Mapped_File_Name (Unit : Unit_Name_Type) return File_Name_Type; + -- Return the file name mapped to the unit name Unit. + -- Return No_File if Unit is not mapped. + -- Return Error_Name if it is forbidden. + + procedure Add_To_File_Map + (Unit_Name : Unit_Name_Type; + File_Name : File_Name_Type; + Path_Name : File_Name_Type); + -- Add mapping of Unit_Name to File_Name and of File_Name to Path_Name + + procedure Update_Mapping_File (File_Name : String); + -- If Add_To_File_Map has been called (after Initialize or any time + -- if Initialize has not been called), append the new entries to the + -- mapping file whose file name is File_Name. + + procedure Reset_Tables; + -- Initialize all the internal data structures. This procedure is used + -- when several compilations are performed by the same process (by GNSA + -- for ASIS, for example) to remove any existing mappings from a previous + -- compilation. + + procedure Add_Forbidden_File_Name (Name : File_Name_Type); + -- Indicate that a source file name is forbidden. This is used when there + -- are excluded sources in projects (attributes Excluded_Source_Files or + -- Locally_Removed_Files). + +end Fmap; |