X-Git-Url: http://git.sourceforge.jp/view?a=blobdiff_plain;f=gcc%2Fada%2Fimpunit.adb;h=0f3ad5793ec5b743a351e1a84c9418e0c81e366d;hb=17052c8f8f63239deccec6d06ff1d9a9ebfc4640;hp=189ee917691ea075e2dee3d5e4ec308b0991011d;hpb=44d43e97acb586d2eb6efaee9f3092e069a1642f;p=pf3gnuchains%2Fgcc-fork.git diff --git a/gcc/ada/impunit.adb b/gcc/ada/impunit.adb index 189ee917691..0f3ad5793ec 100644 --- a/gcc/ada/impunit.adb +++ b/gcc/ada/impunit.adb @@ -6,45 +6,57 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 2000-2004 Free Software Foundation, Inc. -- +-- Copyright (C) 2000-2009, 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- -- +-- 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 COPYING. If not, write -- --- to the Free Software Foundation, 59 Temple Place - Suite 330, Boston, -- --- MA 02111-1307, USA. -- +-- 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. -- -- -- ------------------------------------------------------------------------------ -with Lib; use Lib; -with Namet; use Namet; -with Opt; use Opt; +with Atree; use Atree; +with Errout; use Errout; +with Sinfo; use Sinfo; +with Fname.UF; use Fname.UF; +with Lib; use Lib; +with Namet; use Namet; +with Uname; use Uname; + +-- Note: this package body is used by GPS and GNATBench to supply a list of +-- entries for help on available library routines. 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. + ------------------ + -- Ada 95 Units -- + ------------------ + + -- The following is a giant string list containing the names of all non- + -- implementation internal files, i.e. the complete list of files for + -- internal units which a program may legitimately WITH when operating in + -- either Ada 95 or Ada 05 mode. - -- Note that this list should match the list of units documented in - -- the "GNAT Library" section of the GNAT Reference Manual. + -- Note that this list should match the list of units documented in the + -- "GNAT Library" section of the GNAT Reference Manual. A unit listed here + -- must either be documented in that section or described in the Ada RM. - Non_Imp_File_Names : constant File_List := ( + Non_Imp_File_Names_95 : constant File_List := ( - ----------------------------------------------- - -- Ada Hierarchy Units from Reference Manual -- - ----------------------------------------------- + ------------------------------------------------------ + -- Ada Hierarchy Units from Ada-83 Reference Manual -- + ------------------------------------------------------ "a-astaco", -- Ada.Asynchronous_Task_Control "a-calend", -- Ada.Calendar @@ -53,7 +65,6 @@ package body Impunit is "a-chlat1", -- Ada.Characters.Latin_1 "a-comlin", -- Ada.Command_Line "a-decima", -- Ada.Decimal - "a-direct", -- Ada.Directories "a-direio", -- Ada.Direct_IO "a-dynpri", -- Ada.Dynamic_Priorities "a-except", -- Ada.Exceptions @@ -137,34 +148,42 @@ package body Impunit is -- GNAT Defined Additions to Ada -- ----------------------------------- + "a-calcon", -- Ada.Calendar.Conversions "a-chlat9", -- Ada.Characters.Latin_9 + "a-clrefi", -- Ada.Command_Line.Response_File "a-colien", -- Ada.Command_Line.Environment "a-colire", -- Ada.Command_Line.Remove "a-cwila1", -- Ada.Characters.Wide_Latin_1 "a-cwila9", -- Ada.Characters.Wide_Latin_9 "a-diocst", -- Ada.Direct_IO.C_Streams "a-einuoc", -- Ada.Exceptions.Is_Null_Occurrence + "a-elchha", -- Ada.Exceptions.Last_Chance_Handler "a-exctra", -- Ada.Exceptions.Traceback "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 + -- Note: strictly the next two should be Ada 2005 units, but it seems + -- harmless (and useful) to make then available in Ada 95 mode, since + -- they only deal with Wide_Character, not Wide_Wide_Character. + + "a-wichun", -- Ada.Wide_Characters.Unicode + "a-widcha", -- Ada.Wide_Characters + --------------------------- -- 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). + -- 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 unnecessary, given that we generate a clear error message). "a-tideio", -- Ada.Text_IO.Decimal_IO "a-tienio", -- Ada.Text_IO.Enumeration_IO @@ -184,6 +203,11 @@ package body Impunit is -- GNAT Library Units -- ------------------------ + "g-altive", -- GNAT.Altivec + "g-altcon", -- GNAT.Altivec.Conversions + "g-alveop", -- GNAT.Altivec.Vector_Operations + "g-alvety", -- GNAT.Altivec.Vector_Types + "g-alvevi", -- GNAT.Altivec.Vector_Views "g-arrspl", -- GNAT.Array_Split "g-awk ", -- GNAT.AWK "g-boubuf", -- GNAT.Bounded_Buffers @@ -191,9 +215,11 @@ package body Impunit is "g-bubsor", -- GNAT.Bubble_Sort "g-busora", -- GNAT.Bubble_Sort_A "g-busorg", -- GNAT.Bubble_Sort_G + "g-byorma", -- GNAT.Byte_Order_Mark + "g-bytswa", -- GNAT.Byte_Swapping "g-calend", -- GNAT.Calendar - "g-casuti", -- GNAT.Case_Util "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 @@ -204,10 +230,14 @@ package body Impunit is "g-curexc", -- GNAT.Current_Exception "g-debpoo", -- GNAT.Debug_Pools "g-debuti", -- GNAT.Debug_Utilities - "g-diopit", -- GNAT.Directory_Operations.Iteration + "g-decstr", -- GNAT.Decode_String + "g-deutst", -- GNAT.Decode_UTF8_String "g-dirope", -- GNAT.Directory_Operations + "g-diopit", -- GNAT.Directory_Operations.Iteration "g-dynhta", -- GNAT.Dynamic_HTables "g-dyntab", -- GNAT.Dynamic_Tables + "g-encstr", -- GNAT.Encode_String + "g-enutst", -- GNAT.Encode_UTF8_String "g-excact", -- GNAT.Exception_Actions "g-except", -- GNAT.Exceptions "g-exctra", -- GNAT.Exception_Traces @@ -225,27 +255,41 @@ package body Impunit is "g-moreex", -- GNAT.Most_Recent_Exception "g-os_lib", -- GNAT.Os_Lib "g-pehage", -- GNAT.Perfect_Hash_Generators + "g-rannum", -- GNAT.Random_Numbers "g-regexp", -- GNAT.Regexp "g-regist", -- GNAT.Registry "g-regpat", -- GNAT.Regpat "g-semaph", -- GNAT.Semaphores + "g-sercom", -- GNAT.Serial_Communications "g-sestin", -- GNAT.Secondary_Stack_Info + "g-sha1 ", -- GNAT.SHA1 + "g-sha224", -- GNAT.SHA224 + "g-sha256", -- GNAT.SHA256 + "g-sha384", -- GNAT.SHA384 + "g-sha512", -- GNAT.SHA512 "g-signal", -- GNAT.Signals "g-socket", -- GNAT.Sockets "g-souinf", -- GNAT.Source_Info "g-speche", -- GNAT.Spell_Checker - "g-spipat", -- GNAT.Spitbol.Patterns + "g-spchge", -- GNAT.Spell_Checker_Generic "g-spitbo", -- GNAT.Spitbol + "g-spipat", -- GNAT.Spitbol.Patterns "g-sptabo", -- GNAT.Spitbol.Table_Boolean "g-sptain", -- GNAT.Spitbol.Table_Integer "g-sptavs", -- GNAT.Spitbol.Table_Vstring "g-string", -- GNAT.Strings "g-strspl", -- GNAT.String_Split + "g-sse ", -- GNAT.SSE + "g-ssvety", -- GNAT.SSE.Vector_Types "g-table ", -- GNAT.Table "g-tasloc", -- GNAT.Task_Lock "g-thread", -- GNAT.Threads + "g-timsta", -- GNAT.Time_Stamp "g-traceb", -- GNAT.Traceback "g-trasym", -- GNAT.Traceback.Symbolic + "g-utf_32", -- GNAT.UTF_32 + "g-u3spch", -- GNAT.UTF_32_Spelling_Checker + "g-wispch", -- GNAT.Wide_Spelling_Checker "g-wistsp", -- GNAT.Wide_String_Split ----------------------------------------------------- @@ -263,19 +307,13 @@ package body Impunit is ------------------------------------------ "i-cexten", -- Interfaces.C.Extensions + "i-cil ", -- Interfaces.CIL + "i-cilobj", -- Interfaces.CIL.Object "i-cpp ", -- Interfaces.CPP "i-cstrea", -- Interfaces.C.Streams - "i-jalaob", -- Interfaces.Java.Lang.Object - "i-jalasy", -- Interfaces.Java.Lang.System - "i-jalath", -- Interfaces.Java.Lang.Thread "i-java ", -- Interfaces.Java - "i-javlan", -- Interfaces.Java.Lang - "i-os2err", -- Interfaces.Os2lib.Errors - "i-os2lib", -- Interfaces.Os2lib - "i-os2syn", -- Interfaces.Os2lib.Synchronization - "i-os2thr", -- Interfaces.Os2lib.Threads + "i-javjni", -- Interfaces.Java.JNI "i-pacdec", -- Interfaces.Packed_Decimal - "i-vthrea", -- Interfaces.Vthreads "i-vxwoio", -- Interfaces.VxWorks.IO "i-vxwork", -- Interfaces.VxWorks @@ -297,38 +335,207 @@ package body Impunit is "s-assert", -- System.Assertions "s-memory", -- System.Memory "s-parint", -- System.Partition_Interface + "s-pooglo", -- System.Pool_Global + "s-pooloc", -- System.Pool_Local "s-restri", -- System.Restrictions "s-rident", -- System.Rident + "s-ststop", -- System.Strings.Stream_Ops "s-tasinf", -- System.Task_Info "s-wchcnv", -- System.Wch_Cnv "s-wchcon"); -- System.Wch_Con - ------------------------- - -- Implementation_Unit -- - ------------------------- + -------------------- + -- Ada 2005 Units -- + -------------------- + + -- The following units should be used only in Ada 05 mode + + Non_Imp_File_Names_05 : constant File_List := ( + + -------------------------------------------------------- + -- Ada Hierarchy Units from Ada 2005 Reference Manual -- + -------------------------------------------------------- + + "a-assert", -- Ada.Assertions + "a-calari", -- Ada.Calendar.Arithmetic + "a-calfor", -- Ada.Calendar.Formatting + "a-catizo", -- Ada.Calendar.Time_Zones + "a-cdlili", -- Ada.Containers.Doubly_Linked_Lists + "a-cgarso", -- Ada.Containers.Generic_Array_Sort + "a-cgcaso", -- Ada.Containers.Generic_Constrained_Array_Sort + "a-chacon", -- Ada.Characters.Conversions + "a-cidlli", -- Ada.Containers.Indefinite_Doubly_Linked_Lists + "a-cihama", -- Ada.Containers.Indefinite_Hashed_Maps + "a-cihase", -- Ada.Containers.Indefinite_Hashed_Sets + "a-ciorma", -- Ada.Containers.Indefinite_Ordered_Maps + "a-ciorse", -- Ada.Containers.Indefinite_Ordered_Sets + "a-cohama", -- Ada.Containers.Hashed_Maps + "a-cohase", -- Ada.Containers.Hashed_Sets + "a-coinve", -- Ada.Containers.Indefinite_Vectors + "a-contai", -- Ada.Containers + "a-convec", -- Ada.Containers.Vectors + "a-coorma", -- Ada.Containers.Ordered_Maps + "a-coorse", -- Ada.Containers.Ordered_Sets + "a-coteio", -- Ada.Complex_Text_IO + "a-direct", -- Ada.Directories + "a-diroro", -- Ada.Dispatching.Round_Robin + "a-disedf", -- Ada.Dispatching.EDF + "a-dispat", -- Ada.Dispatching + "a-envvar", -- Ada.Environment_Variables + "a-exetim", -- Ada.Execution_Time + "a-extiti", -- Ada.Execution_Time.Timers + "a-rttiev", -- Ada.Real_Time.Timing_Events + "a-ngcoar", -- Ada.Numerics.Generic_Complex_Arrays + "a-ngrear", -- Ada.Numerics.Generic_Real_Arrays + "a-nucoar", -- Ada.Numerics.Complex_Arrays + "a-nurear", -- Ada.Numerics.Real_Arrays + "a-stboha", -- Ada.Strings.Bounded.Hash + "a-stfiha", -- Ada.Strings.Fixed.Hash + "a-strhas", -- Ada.Strings.Hash + "a-stunha", -- Ada.Strings.Unbounded.Hash + "a-stwiha", -- Ada.Strings.Wide_Hash + "a-stzbou", -- Ada.Strings.Wide_Wide_Bounded + "a-stzfix", -- Ada.Strings.Wide_Wide_Fixed + "a-stzhas", -- Ada.Strings.Wide_Wide_Hash + "a-stzmap", -- Ada.Strings.Wide_Wide_Maps + "a-stzunb", -- Ada.Strings.Wide_Wide_Unbounded + "a-swbwha", -- Ada.Strings.Wide_Bounded.Wide_Hash + "a-swfwha", -- Ada.Strings.Wide_Fixed.Wide_Hash + "a-swuwha", -- Ada.Strings.Wide_Unbounded.Wide_Hash + "a-szbzha", -- Ada.Strings.Wide_Wide_Bounded.Wide_Wide_Hash + "a-szfzha", -- Ada.Strings.Wide_Wide_Fixed.Wide_Wide_Hash + "a-szmzco", -- Ada.Strings.Wide_Wide_Maps.Wide_Wide_Constants + "a-szuzha", -- Ada.Strings.Wide_Wide_Unbounded.Wide_Wide_Hash + "a-taster", -- Ada.Task_Termination + "a-tgdico", -- Ada.Tags.Generic_Dispatching_Constructor + "a-tiboio", -- Ada.Text_IO.Bounded_IO + "a-tiunio", -- Ada.Text_IO.Unbounded_IO + "a-wichun", -- Ada.Wide_Characters.Unicode + "a-wwboio", -- Ada.Wide_Text_IO.Wide_Bounded_IO + "a-wwunio", -- Ada.Wide_Text_IO.Wide_Unbounded_IO + "a-zchara", -- Ada.Wide_Wide_Characters + "a-ztcoio", -- Ada.Wide_Wide_Text_IO.Complex_IO + "a-ztedit", -- Ada.Wide_Wide_Text_IO.Editing + "a-zttest", -- Ada.Wide_Wide_Text_IO.Text_Streams + "a-ztexio", -- Ada.Wide_Wide_Text_IO + "a-zzboio", -- Ada.Wide_Wide_Text_IO.Wide_Wide_Bounded_IO + "a-zzunio", -- Ada.Wide_Wide_Text_IO.Wide_Wide_Unbounded_IO + + ------------------------------------------------------ + -- RM Required Additions to Ada 2005 for GNAT Types -- + ------------------------------------------------------ + + "a-lcteio", -- Ada.Long_Complex_Text_IO + "a-lfztio", -- Ada.Long_Float_Wide_Wide_Text_IO + "a-liztio", -- Ada.Long_Integer_Wide_Wide_Text_IO + "a-llctio", -- Ada.Long_Long_Complex_Text_IO + "a-llfzti", -- Ada.Long_Long_Float_Wide_Wide_Text_IO + "a-llizti", -- Ada.Long_Long_Integer_Wide_Wide_Text_IO + "a-nlcoar", -- Ada.Numerics.Long_Complex_Arrays + "a-nllcar", -- Ada.Numerics.Long_Long_Complex_Arrays + "a-nllrar", -- Ada.Numerics.Long_Long_Real_Arrays + "a-nlrear", -- Ada.Numerics.Long_Real_Arrays + "a-scteio", -- Ada.Short_Complex_Text_IO + "a-sfztio", -- Ada.Short_Float_Wide_Wide_Text_IO + "a-siztio", -- Ada.Short_Integer_Wide_Wide_Text_IO + "a-ssizti", -- Ada.Short_Short_Integer_Wide_Wide_Text_IO + "a-ztcstr", -- Ada.Wide_Wide_Text_IO.C_Streams + + ---------------------------------------- + -- GNAT Defined Additions to Ada 2005 -- + ---------------------------------------- + + "a-cgaaso", -- Ada.Containers.Generic_Anonymous_Array_Sort + "a-chzla1", -- Ada.Characters.Wide_Wide_Latin_1 + "a-chzla9", -- Ada.Characters.Wide_Wide_Latin_9 + "a-ciormu", -- Ada.Containers.Indefinite_Ordered_Multisets + "a-coormu", -- Ada.Containers.Ordered_Multisets + "a-crdlli", -- Ada.Containers.Restricted_Doubly_Linked_Lists + "a-secain", -- Ada.Strings.Equal_Case_Insensitive + "a-shcain", -- Ada.Strings.Hash_Case_Insensitive + "a-slcain", -- Ada.Strings.Less_Case_Insensitive + "a-szuzti", -- Ada.Strings.Wide_Wide_Unbounded.Wide_Wide_Text_IO + "a-zchuni", -- Ada.Wide_Wide_Characters.Unicode + + --------------------------- + -- GNAT Special IO Units -- + --------------------------- + + -- See Ada 95 section for further information. These packages are for the + -- implementation of the Wide_Wide_Text_IO generic packages. + + "a-ztdeio", -- Ada.Wide_Wide_Text_IO.Decimal_IO + "a-ztenio", -- Ada.Wide_Wide_Text_IO.Enumeration_IO + "a-ztfiio", -- Ada.Wide_Wide_Text_IO.Fixed_IO + "a-ztflio", -- Ada.Wide_Wide_Text_IO.Float_IO + "a-ztinio", -- Ada.Wide_Wide_Text_IO.Integer_IO + "a-ztmoio", -- Ada.Wide_Wide_Text_IO.Modular_IO - function Implementation_Unit (U : Unit_Number_Type) return Boolean is + ------------------------ + -- GNAT Library Units -- + ------------------------ + + "g-zspche", -- GNAT.Wide_Wide_Spelling_Checker + "g-zstspl"); -- GNAT.Wide_Wide_String_Split + + ----------------------- + -- Alternative Units -- + ----------------------- + + -- For some implementation units, there is a unit in the GNAT library + -- that has identical functionality that is usable. If we have such a + -- case we record the appropriate Unit name in Error_Msg_String. + + type Aunit_Record is record + Fname : String (1 .. 6); + Aname : String_Ptr; + end record; + + -- Array of alternative unit names + + Scasuti : aliased String := "GNAT.Case_Util"; + Sos_lib : aliased String := "GNAT.OS_Lib"; + Sregexp : aliased String := "GNAT.Regexp"; + Sregpat : aliased String := "GNAT.Regpat"; + Sstring : aliased String := "GNAT.Strings"; + Sstusta : aliased String := "GNAT.Task_Stack_Usage"; + Stasloc : aliased String := "GNAT.Task_Lock"; + Sutf_32 : aliased String := "GNAT.UTF_32"; + + -- Array giving mapping + + Map_Array : constant array (1 .. 8) of Aunit_Record := ( + ("casuti", Scasuti'Access), + ("os_lib", Sos_lib'Access), + ("regexp", Sregexp'Access), + ("regpat", Sregpat'Access), + ("string", Sstring'Access), + ("stusta", Sstusta'Access), + ("tasloc", Stasloc'Access), + ("utf_32", Sutf_32'Access)); + + ---------------------- + -- Get_Kind_Of_Unit -- + ---------------------- + + function Get_Kind_Of_Unit (U : Unit_Number_Type) return Kind_Of_Unit is Fname : constant File_Name_Type := Unit_File_Name (U); begin - -- All units are OK in GNAT mode + Error_Msg_Strlen := 0; - if GNAT_Mode then - return False; - end if; - - -- If length of file name is greater than 12, definitely OK! + -- If length of file name is greater than 12, not predefined. -- The value 12 here is an 8 char name with extension .ads. if Length_Of_Name (Fname) > 12 then - return False; + return Not_Predefined_Unit; end if; -- Otherwise test file name Get_Name_String (Fname); - -- Definitely OK if file name does not start with a- g- s- i- + -- Not predefined if file name does not start with a- g- s- i- if Name_Len < 3 or else Name_Buffer (2) /= '-' @@ -340,14 +547,14 @@ package body Impunit is and then Name_Buffer (1) /= 's') then - return False; + return Not_Predefined_Unit; end if; - -- Definitely OK if file name does not end in .ads. This can + -- Not predefined 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; + return Not_Predefined_Unit; end if; -- Otherwise normalize file name to 8 characters @@ -358,42 +565,135 @@ package body Impunit is Name_Buffer (Name_Len) := ' '; end loop; - -- Definitely OK if name is in list + -- See if name is in 95 list + + for J in Non_Imp_File_Names_95'Range loop + if Name_Buffer (1 .. 8) = Non_Imp_File_Names_95 (J) then + return Ada_95_Unit; + end if; + end loop; + + -- See if name is in 05 list - for J in Non_Imp_File_Names'Range loop - if Name_Buffer (1 .. 8) = Non_Imp_File_Names (J) then - return False; + for J in Non_Imp_File_Names_05'Range loop + if Name_Buffer (1 .. 8) = Non_Imp_File_Names_05 (J) then + return Ada_05_Unit; end if; end loop; - -- Only remaining special possibilities are children of - -- System.RPC and System.Garlic and special files of the - -- form System.Aux... + -- 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; + return Ada_95_Unit; end if; if Name_Len > 15 and then Name_Buffer (1 .. 14) = "system.garlic." then - return False; + return Ada_95_Unit; end if; if Name_Len > 11 and then Name_Buffer (1 .. 10) = "system.aux" then + return Ada_95_Unit; + end if; + + -- All tests failed, this is definitely an implementation unit. See if + -- we have an alternative name. + + Get_Name_String (Fname); + + if Name_Len = 12 + and then Name_Buffer (1 .. 2) = "s-" + and then Name_Buffer (9 .. 12) = ".ads" + then + for J in Map_Array'Range loop + if Name_Buffer (3 .. 8) = Map_Array (J).Fname then + Error_Msg_Strlen := Map_Array (J).Aname'Length; + Error_Msg_String (1 .. Error_Msg_Strlen) := + Map_Array (J).Aname.all; + end if; + end loop; + end if; + + return Implementation_Unit; + end Get_Kind_Of_Unit; + + ------------------- + -- Is_Known_Unit -- + ------------------- + + function Is_Known_Unit (Nam : Node_Id) return Boolean is + Unam : Unit_Name_Type; + Fnam : File_Name_Type; + + begin + -- If selector is not an identifier (e.g. it is a character literal or + -- some junk from a previous error), then definitely not a known unit. + + if Nkind (Selector_Name (Nam)) /= N_Identifier then + return False; + end if; + + -- Otherwise get corresponding file name + + Unam := Get_Unit_Name (Nam); + Fnam := Get_File_Name (Unam, Subunit => False); + Get_Name_String (Fnam); + + -- Remove extension from file name + + if Name_Buffer (Name_Len - 3 .. Name_Len) = ".adb" then + Name_Len := Name_Len - 4; + else + return False; + end if; + + -- Pad name to 8 characters + + while Name_Len < 8 loop + Name_Len := Name_Len + 1; + Name_Buffer (Name_Len) := ' '; + end loop; + + -- If length more than 8, definitely not a match + + if Name_Len /= 8 then return False; end if; - -- All tests failed, this is definitely an implementation unit + -- If length is 8, search our tables - return True; + for J in Non_Imp_File_Names_95'Range loop + if Name_Buffer (1 .. 8) = Non_Imp_File_Names_95 (J) then + return True; + end if; + end loop; + + for J in Non_Imp_File_Names_05'Range loop + if Name_Buffer (1 .. 8) = Non_Imp_File_Names_05 (J) then + return True; + end if; + end loop; - end Implementation_Unit; + -- If not found, not known + + return False; + + -- A safety guard, if we get an exception during this processing then it + -- is most likely the result of a previous error, or a peculiar case we + -- have not thought of. Since this routine is only used for error message + -- refinement, we will just return False. + + exception + when others => + return False; + end Is_Known_Unit; end Impunit;