+++ /dev/null
-------------------------------------------------------------------------------
--- --
--- GNAT COMPILER COMPONENTS --
--- --
--- I M P U N I T --
--- --
--- B o d y --
--- --
--- $Revision: 1.3.10.1 $
--- --
--- Copyright (C) 2000-2001 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 2, 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 COPYING. If not, write --
--- to the Free Software Foundation, 59 Temple Place - Suite 330, Boston, --
--- MA 02111-1307, USA. --
--- --
--- GNAT was originally developed by the GNAT team at New York University. --
--- Extensive contributions were provided by Ada Core Technologies Inc. --
--- --
-------------------------------------------------------------------------------
-
-with Lib; use Lib;
-with Namet; use Namet;
-with Opt; use Opt;
-
-package body Impunit is
-
- subtype File_Name_8 is String (1 .. 8);
- type File_List is array (Nat range <>) of File_Name_8;
-
- -- The following is a giant string containing the concenated names
- -- of all non-implementation internal files, i.e. the complete list
- -- of files for internal units which a program may legitimately WITH.
-
- -- Note that this list should match the list of units documented in
- -- the "GNAT Library" section of the GNAT Reference Manual.
-
- Non_Imp_File_Names : File_List := (
-
- -----------------------------------------------
- -- Ada Hierarchy Units from Reference Manual --
- -----------------------------------------------
-
- "a-astaco", -- Ada.Asynchronous_Task_Control
- "a-calend", -- Ada.Calendar
- "a-chahan", -- Ada.Characters.Handling
- "a-charac", -- Ada.Characters
- "a-chlat1", -- Ada.Characters.Latin_1
- "a-comlin", -- Ada.Command_Line
- "a-decima", -- Ada.Decimal
- "a-direio", -- Ada.Direct_IO
- "a-dynpri", -- Ada.Dynamic_Priorities
- "a-except", -- Ada.Exceptions
- "a-finali", -- Ada.Finalization
- "a-flteio", -- Ada.Float_Text_IO
- "a-fwteio", -- Ada.Float_Wide_Text_IO
- "a-inteio", -- Ada.Integer_Text_IO
- "a-interr", -- Ada.Interrupts
- "a-intnam", -- Ada.Interrupts.Names
- "a-ioexce", -- Ada.IO_Exceptions
- "a-iwteio", -- Ada.Integer_Wide_Text_IO
- "a-ncelfu", -- Ada.Numerics.Complex_Elementary_Functions
- "a-ngcefu", -- Ada.Numerics.Generic_Complex_Elementary_Functions
- "a-ngcoty", -- Ada.Numerics.Generic_Complex_Types
- "a-ngelfu", -- Ada.Numerics.Generic_Elementary_Functions
- "a-nucoty", -- Ada.Numerics.Complex_Types
- "a-nudira", -- Ada.Numerics.Discrete_Random
- "a-nuelfu", -- Ada.Numerics.Elementary_Functions
- "a-nuflra", -- Ada.Numerics.Float_Random
- "a-numeri", -- Ada.Numerics
- "a-reatim", -- Ada.Real_Time
- "a-sequio", -- Ada.Sequential_IO
- "a-stmaco", -- Ada.Strings.Maps.Constants
- "a-storio", -- Ada.Storage_IO
- "a-strbou", -- Ada.Strings.Bounded
- "a-stream", -- Ada.Streams
- "a-strfix", -- Ada.Strings.Fixed
- "a-string", -- Ada.Strings
- "a-strmap", -- Ada.Strings.Maps
- "a-strunb", -- Ada.Strings.Unbounded
- "a-ststio", -- Ada.Streams.Stream_IO
- "a-stwibo", -- Ada.Strings.Wide_Bounded
- "a-stwifi", -- Ada.Strings.Wide_Fixed
- "a-stwima", -- Ada.Strings.Wide_Maps
- "a-stwiun", -- Ada.Strings.Wide_Unbounded
- "a-swmwco", -- Ada.Strings.Wide_Maps.Wide_Constants
- "a-sytaco", -- Ada.Synchronous_Task_Control
- "a-tags ", -- Ada.Tags
- "a-tasatt", -- Ada.Task_Attributes
- "a-taside", -- Ada.Task_Identification
- "a-teioed", -- Ada.Text_IO.Editing
- "a-textio", -- Ada.Text_IO
- "a-ticoio", -- Ada.Text_IO.Complex_IO
- "a-titest", -- Ada.Text_IO.Text_Streams
- "a-unccon", -- Ada.Unchecked_Conversion
- "a-uncdea", -- Ada.Unchecked_Deallocation
- "a-witeio", -- Ada.Wide_Text_IO
- "a-wtcoio", -- Ada.Wide_Text_IO.Complex_IO
- "a-wtedit", -- Ada.Wide_Text_IO.Editing
- "a-wttest", -- Ada.Wide_Text_IO.Text_Streams
-
- -------------------------------------------------
- -- RM Required Additions to Ada for GNAT Types --
- -------------------------------------------------
-
- "a-lfteio", -- Ada.Long_Float_Text_IO
- "a-lfwtio", -- Ada.Long_Float_Wide_Text_IO
- "a-liteio", -- Ada.Long_Integer_Text_IO
- "a-liwtio", -- Ada.Long_Integer_Wide_Text_IO
- "a-llftio", -- Ada.Long_Long_Float_Text_IO
- "a-llfwti", -- Ada.Long_Long_Float_Wide_Text_IO
- "a-llitio", -- Ada.Long_Long_Integer_Text_IO
- "a-lliwti", -- Ada.Long_Long_Integer_Wide_Text_IO
- "a-nlcefu", -- Ada.Long_Complex_Elementary_Functions
- "a-nlcoty", -- Ada.Numerics.Long_Complex_Types
- "a-nlelfu", -- Ada.Numerics.Long_Elementary_Functions
- "a-nllcef", -- Ada.Long_Long_Complex_Elementary_Functions
- "a-nllefu", -- Ada.Numerics.Long_Long_Elementary_Functions
- "a-nltcty", -- Ada.Numerics.Long_Long_Complex_Types
- "a-nscefu", -- Ada.Short_Complex_Elementary_Functions
- "a-nscoty", -- Ada.Numerics.Short_Complex_Types
- "a-nselfu", -- Ada.Numerics.Short_Elementary_Functions
- "a-sfteio", -- Ada.Short_Float_Text_IO
- "a-sfwtio", -- Ada.Short_Float_Wide_Text_IO
- "a-siteio", -- Ada.Short_Integer_Text_IO
- "a-siwtio", -- Ada.Short_Integer_Wide_Text_IO
- "a-ssitio", -- Ada.Short_Short_Integer_Text_IO
- "a-ssiwti", -- Ada.Short_Short_Integer_Wide_Text_IO
-
- -----------------------------------
- -- GNAT Defined Additions to Ada --
- -----------------------------------
-
- "a-colire", -- Ada.Command_Line.Remove
- "a-cwila1", -- Ada.Characters.Wide_Latin_1
- "a-diocst", -- Ada.Direct_IO.C_Streams
- "a-einuoc", -- Ada.Exceptions.Is_Null_Occurrence
- "a-siocst", -- Ada.Sequential_IO.C_Streams
- "a-ssicst", -- Ada.Streams.Stream_IO.C_Streams
- "a-suteio", -- Ada.Strings.Unbounded.Text_IO
- "a-swuwti", -- Ada.Strings.Wide_Unbounded.Wide_Text_IO
- "a-taidim", -- Ada.Task_Identification.Image
- "a-tiocst", -- Ada.Text_IO.C_Streams
- "a-wtcstr", -- Ada.Wide_Text_IO.C_Streams
-
- ---------------------------
- -- GNAT Special IO Units --
- ---------------------------
-
- -- As further explained elsewhere (see Sem_Ch10), the internal
- -- packages of Text_IO and Wide_Text_IO are actually implemented
- -- as separate children, but this fact is intended to be hidden
- -- from the user completely. Any attempt to WITH one of these
- -- units will be diagnosed as an error later on, but for now we
- -- do not consider these internal implementation units (if we did,
- -- then we would get a junk warning which would be confusing and
- -- unecessary, given that we generate a clear error message).
-
- "a-tideio", -- Ada.Text_IO.Decimal_IO
- "a-tienio", -- Ada.Text_IO.Enumeration_IO
- "a-tifiio", -- Ada.Text_IO.Fixed_IO
- "a-tiflio", -- Ada.Text_IO.Float_IO
- "a-tiinio", -- Ada.Text_IO.Integer_IO
- "a-tiinio", -- Ada.Text_IO.Integer_IO
- "a-timoio", -- Ada.Text_IO.Modular_IO
- "a-wtdeio", -- Ada.Wide_Text_IO.Decimal_IO
- "a-wtenio", -- Ada.Wide_Text_IO.Enumeration_IO
- "a-wtfiio", -- Ada.Wide_Text_IO.Fixed_IO
- "a-wtflio", -- Ada.Wide_Text_IO.Float_IO
- "a-wtinio", -- Ada.Wide_Text_IO.Integer_IO
- "a-wtmoio", -- Ada.Wide_Text_IO.Modular_IO
-
- ------------------------
- -- GNAT Library Units --
- ------------------------
-
- "g-awk ", -- GNAT.AWK
- "g-busora", -- GNAT.Bubble_Sort_A
- "g-busorg", -- GNAT.Bubble_Sort_G
- "g-calend", -- GNAT.Calendar
- "g-catiio", -- GNAT.Calendar.Time_IO
- "g-casuti", -- GNAT.Case_Util
- "g-cgi ", -- GNAT.CGI
- "g-cgicoo", -- GNAT.CGI.Cookie
- "g-cgideb", -- GNAT.CGI.Debug
- "g-comlin", -- GNAT.Command_Line
- "g-crc32 ", -- GNAT.CRC32
- "g-curexc", -- GNAT.Current_Exception
- "g-debpoo", -- GNAT.Debug_Pools
- "g-debuti", -- GNAT.Debug_Utilities
- "g-diopit", -- GNAT.Directory_Operations.Iteration
- "g-dirope", -- GNAT.Directory_Operations
- "g-dyntab", -- GNAT.Dynamic_Tables
- "g-exctra", -- GNAT.Exception_Traces
- "g-expect", -- GNAT.Expect
- "g-flocon", -- GNAT.Float_Control
- "g-htable", -- GNAT.Htable
- "g-hesora", -- GNAT.Heap_Sort_A
- "g-hesorg", -- GNAT.Heap_Sort_G
- "g-io ", -- GNAT.IO
- "g-io_aux", -- GNAT.IO_Aux
- "g-locfil", -- GNAT.Lock_Files
- "g-moreex", -- GNAT.Most_Recent_Exception
- "g-os_lib", -- GNAT.Os_Lib
- "g-regexp", -- GNAT.Regexp
- "g-regist", -- GNAT.Registry
- "g-regpat", -- GNAT.Regpat
- "g-socket", -- GNAT.Sockets
- "g-sptabo", -- GNAT.Spitbol.Table_Boolean
- "g-sptain", -- GNAT.Spitbol.Table_Integer
- "g-sptavs", -- GNAT.Spitbol.Table_Vstring
- "g-souinf", -- GNAT.Source_Info
- "g-speche", -- GNAT.Spell_Checker
- "g-spitbo", -- GNAT.Spitbol
- "g-spipat", -- GNAT.Spitbol.Patterns
- "g-table ", -- GNAT.Table
- "g-tasloc", -- GNAT.Task_Lock
- "g-thread", -- GNAT.Threads
- "g-traceb", -- GNAT.Traceback
- "g-trasym", -- GNAT.Traceback.Symbolic
-
- -----------------------------------------------------
- -- Interface Hierarchy Units from Reference Manual --
- -----------------------------------------------------
-
- "i-c ", -- Interfaces.C
- "i-cobol ", -- Interfaces.Cobol
- "i-cpoint", -- Interfaces.C.Pointers
- "i-cstrin", -- Interfaces.C.Strings
- "i-fortra", -- Interfaces.Fortran
-
- ------------------------------------------
- -- GNAT Defined Additions to Interfaces --
- ------------------------------------------
-
- "i-cexten", -- Interfaces.C.Extensions
- "i-csthre", -- Interfaces.C.Sthreads
- "i-cstrea", -- Interfaces.C.Streams
- "i-cpp ", -- Interfaces.CPP
- "i-java ", -- Interfaces.Java
- "i-javlan", -- Interfaces.Java.Lang
- "i-jalaob", -- Interfaces.Java.Lang.Object
- "i-jalasy", -- Interfaces.Java.Lang.System
- "i-jalath", -- Interfaces.Java.Lang.Thread
- "i-os2err", -- Interfaces.Os2lib.Errors
- "i-os2lib", -- Interfaces.Os2lib
- "i-os2syn", -- Interfaces.Os2lib.Synchronization
- "i-os2thr", -- Interfaces.Os2lib.Threads
- "i-pacdec", -- Interfaces.Packed_Decimal
- "i-vxwork", -- Interfaces.Vxworks
-
- --------------------------------------------------
- -- System Hierarchy Units from Reference Manual --
- --------------------------------------------------
-
- "s-atacco", -- System.Address_To_Access_Conversions
- "s-maccod", -- System.Machine_Code
- "s-rpc ", -- System.Rpc
- "s-stoele", -- System.Storage_Elements
- "s-stopoo", -- System.Storage_Pools
-
- --------------------------------------
- -- GNAT Defined Additions to System --
- --------------------------------------
-
- "s-addima", -- System.Address_Image
- "s-assert", -- System.Assertions
- "s-parint", -- System.Partition_Interface
- "s-tasinf", -- System.Task_Info
- "s-wchcnv", -- System.Wch_Cnv
- "s-wchcon"); -- System.Wch_Con
-
- -------------------------
- -- Implementation_Unit --
- -------------------------
-
- function Implementation_Unit (U : Unit_Number_Type) return Boolean is
- Fname : constant File_Name_Type := Unit_File_Name (U);
-
- begin
- -- All units are OK in GNAT mode
-
- if GNAT_Mode then
- return False;
- end if;
-
- -- If length of file name is greater than 12, definitely OK!
- -- The value 12 here is an 8 char name with extension .ads.
-
- if Length_Of_Name (Fname) > 12 then
- return False;
- end if;
-
- -- Otherwise test file name
-
- Get_Name_String (Fname);
-
- -- Definitely OK if file name does not start with a- g- s- i-
-
- if Name_Len < 3
- or else Name_Buffer (2) /= '-'
- or else (Name_Buffer (1) /= 'a'
- and then
- Name_Buffer (1) /= 'g'
- and then
- Name_Buffer (1) /= 'i'
- and then
- Name_Buffer (1) /= 's')
- then
- return False;
- end if;
-
- -- Definitely OK if file name does not end in .ads. This can
- -- happen when non-standard file names are being used.
-
- if Name_Buffer (Name_Len - 3 .. Name_Len) /= ".ads" then
- return False;
- end if;
-
- -- Otherwise normalize file name to 8 characters
-
- Name_Len := Name_Len - 4;
- while Name_Len < 8 loop
- Name_Len := Name_Len + 1;
- Name_Buffer (Name_Len) := ' ';
- end loop;
-
- -- Definitely OK if name is in list
-
- for J in Non_Imp_File_Names'Range loop
- if Name_Buffer (1 .. 8) = Non_Imp_File_Names (J) then
- return False;
- end if;
- end loop;
-
- -- Only remaining special possibilities are children of
- -- System.RPC and System.Garlic and special files of the
- -- form System.Aux...
-
- Get_Name_String (Unit_Name (U));
-
- if Name_Len > 12
- and then Name_Buffer (1 .. 11) = "system.rpc."
- then
- return False;
- end if;
-
- if Name_Len > 15
- and then Name_Buffer (1 .. 14) = "system.garlic."
- then
- return False;
- end if;
-
- if Name_Len > 11
- and then Name_Buffer (1 .. 10) = "system.aux"
- then
- return False;
- end if;
-
- -- All tests failed, this is definitely an implementation unit
-
- return True;
-
- end Implementation_Unit;
-
-end Impunit;
projects / msp430-gcc.git / blobdiff