gcc/ada/impunit.adb

   1 ------------------------------------------------------------------------------
   2 --                                                                          --
   3 --                         GNAT COMPILER COMPONENTS                         --
   4 --                                                                          --
   5 --                              I M P U N I T                               --
   6 --                                                                          --
   7 --                                 B o d y                                  --
   8 --                                                                          --
   9 --           Copyright (C) 2000-2011, Free Software Foundation, Inc.        --
  10 --                                                                          --
  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 3,  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 COPYING3.  If not, go to --
  19 -- http://www.gnu.org/licenses for a complete copy of the license.          --
  20 --                                                                          --
  21 -- GNAT was originally developed  by the GNAT team at  New York University. --
  22 -- Extensive contributions were provided by Ada Core Technologies Inc.      --
  23 --                                                                          --
  24 ------------------------------------------------------------------------------
  25
  26 with Atree;    use Atree;
  27 with Errout;   use Errout;
  28 with Sinfo;    use Sinfo;
  29 with Fname.UF; use Fname.UF;
  30 with Lib;      use Lib;
  31 with Namet;    use Namet;
  32 with Uname;    use Uname;
  33
  34 --  Note: this package body is used by GPS and GNATBench to supply a list of
  35 --  entries for help on available library routines.
  36
  37 package body Impunit is
  38
  39    subtype File_Name_8 is String (1 .. 8);
  40    type File_List is array (Nat range <>) of File_Name_8;
  41
  42    ------------------
  43    -- Ada 95 Units --
  44    ------------------
  45
  46    --  The following is a giant string list containing the names of all non-
  47    --  implementation internal files, i.e. the complete list of files for
  48    --  internal units which a program may legitimately WITH when operating in
  49    --  either Ada 95 or Ada 05 mode.
  50
  51    --  Note that this list should match the list of units documented in the
  52    --  "GNAT Library" section of the GNAT Reference Manual. A unit listed here
  53    --  must either be documented in that section or described in the Ada RM.
  54
  55    Non_Imp_File_Names_95 : constant File_List := (
  56
  57    ------------------------------------------------------
  58    -- Ada Hierarchy Units from Ada-95 Reference Manual --
  59    ------------------------------------------------------
  60
  61      "a-astaco",    -- Ada.Asynchronous_Task_Control
  62      "a-calend",    -- Ada.Calendar
  63      "a-chahan",    -- Ada.Characters.Handling
  64      "a-charac",    -- Ada.Characters
  65      "a-chlat1",    -- Ada.Characters.Latin_1
  66      "a-comlin",    -- Ada.Command_Line
  67      "a-decima",    -- Ada.Decimal
  68      "a-direio",    -- Ada.Direct_IO
  69      "a-dynpri",    -- Ada.Dynamic_Priorities
  70      "a-except",    -- Ada.Exceptions
  71      "a-finali",    -- Ada.Finalization
  72      "a-flteio",    -- Ada.Float_Text_IO
  73      "a-fwteio",    -- Ada.Float_Wide_Text_IO
  74      "a-inteio",    -- Ada.Integer_Text_IO
  75      "a-interr",    -- Ada.Interrupts
  76      "a-intnam",    -- Ada.Interrupts.Names
  77      "a-ioexce",    -- Ada.IO_Exceptions
  78      "a-iwteio",    -- Ada.Integer_Wide_Text_IO
  79      "a-ncelfu",    -- Ada.Numerics.Complex_Elementary_Functions
  80      "a-ngcefu",    -- Ada.Numerics.Generic_Complex_Elementary_Functions
  81      "a-ngcoty",    -- Ada.Numerics.Generic_Complex_Types
  82      "a-ngelfu",    -- Ada.Numerics.Generic_Elementary_Functions
  83      "a-nucoty",    -- Ada.Numerics.Complex_Types
  84      "a-nudira",    -- Ada.Numerics.Discrete_Random
  85      "a-nuelfu",    -- Ada.Numerics.Elementary_Functions
  86      "a-nuflra",    -- Ada.Numerics.Float_Random
  87      "a-numeri",    -- Ada.Numerics
  88      "a-reatim",    -- Ada.Real_Time
  89      "a-sequio",    -- Ada.Sequential_IO
  90      "a-stmaco",    -- Ada.Strings.Maps.Constants
  91      "a-storio",    -- Ada.Storage_IO
  92      "a-strbou",    -- Ada.Strings.Bounded
  93      "a-stream",    -- Ada.Streams
  94      "a-strfix",    -- Ada.Strings.Fixed
  95      "a-string",    -- Ada.Strings
  96      "a-strmap",    -- Ada.Strings.Maps
  97      "a-strunb",    -- Ada.Strings.Unbounded
  98      "a-ststio",    -- Ada.Streams.Stream_IO
  99      "a-stwibo",    -- Ada.Strings.Wide_Bounded
 100      "a-stwifi",    -- Ada.Strings.Wide_Fixed
 101      "a-stwima",    -- Ada.Strings.Wide_Maps
 102      "a-stwiun",    -- Ada.Strings.Wide_Unbounded
 103      "a-swmwco",    -- Ada.Strings.Wide_Maps.Wide_Constants
 104      "a-sytaco",    -- Ada.Synchronous_Task_Control
 105      "a-tags  ",    -- Ada.Tags
 106      "a-tasatt",    -- Ada.Task_Attributes
 107      "a-taside",    -- Ada.Task_Identification
 108      "a-teioed",    -- Ada.Text_IO.Editing
 109      "a-textio",    -- Ada.Text_IO
 110      "a-ticoio",    -- Ada.Text_IO.Complex_IO
 111      "a-titest",    -- Ada.Text_IO.Text_Streams
 112      "a-unccon",    -- Ada.Unchecked_Conversion
 113      "a-uncdea",    -- Ada.Unchecked_Deallocation
 114      "a-witeio",    -- Ada.Wide_Text_IO
 115      "a-wtcoio",    -- Ada.Wide_Text_IO.Complex_IO
 116      "a-wtedit",    -- Ada.Wide_Text_IO.Editing
 117      "a-wttest",    -- Ada.Wide_Text_IO.Text_Streams
 118
 119    -------------------------------------------------
 120    -- RM Required Additions to Ada for GNAT Types --
 121    -------------------------------------------------
 122
 123      "a-lfteio",    -- Ada.Long_Float_Text_IO
 124      "a-lfwtio",    -- Ada.Long_Float_Wide_Text_IO
 125      "a-liteio",    -- Ada.Long_Integer_Text_IO
 126      "a-liwtio",    -- Ada.Long_Integer_Wide_Text_IO
 127      "a-llftio",    -- Ada.Long_Long_Float_Text_IO
 128      "a-llfwti",    -- Ada.Long_Long_Float_Wide_Text_IO
 129      "a-llitio",    -- Ada.Long_Long_Integer_Text_IO
 130      "a-lliwti",    -- Ada.Long_Long_Integer_Wide_Text_IO
 131      "a-nlcefu",    -- Ada.Long_Complex_Elementary_Functions
 132      "a-nlcoty",    -- Ada.Numerics.Long_Complex_Types
 133      "a-nlelfu",    -- Ada.Numerics.Long_Elementary_Functions
 134      "a-nllcef",    -- Ada.Long_Long_Complex_Elementary_Functions
 135      "a-nllefu",    -- Ada.Numerics.Long_Long_Elementary_Functions
 136      "a-nllcty",    -- Ada.Numerics.Long_Long_Complex_Types
 137      "a-nscefu",    -- Ada.Short_Complex_Elementary_Functions
 138      "a-nscoty",    -- Ada.Numerics.Short_Complex_Types
 139      "a-nselfu",    -- Ada.Numerics.Short_Elementary_Functions
 140      "a-sfteio",    -- Ada.Short_Float_Text_IO
 141      "a-sfwtio",    -- Ada.Short_Float_Wide_Text_IO
 142      "a-siteio",    -- Ada.Short_Integer_Text_IO
 143      "a-siwtio",    -- Ada.Short_Integer_Wide_Text_IO
 144      "a-ssitio",    -- Ada.Short_Short_Integer_Text_IO
 145      "a-ssiwti",    -- Ada.Short_Short_Integer_Wide_Text_IO
 146
 147    -----------------------------------
 148    -- GNAT Defined Additions to Ada --
 149    -----------------------------------
 150
 151      "a-calcon",    -- Ada.Calendar.Conversions
 152      "a-chlat9",    -- Ada.Characters.Latin_9
 153      "a-clrefi",    -- Ada.Command_Line.Response_File
 154      "a-colien",    -- Ada.Command_Line.Environment
 155      "a-colire",    -- Ada.Command_Line.Remove
 156      "a-cwila1",    -- Ada.Characters.Wide_Latin_1
 157      "a-cwila9",    -- Ada.Characters.Wide_Latin_9
 158      "a-diocst",    -- Ada.Direct_IO.C_Streams
 159      "a-einuoc",    -- Ada.Exceptions.Is_Null_Occurrence
 160      "a-elchha",    -- Ada.Exceptions.Last_Chance_Handler
 161      "a-exctra",    -- Ada.Exceptions.Traceback
 162      "a-siocst",    -- Ada.Sequential_IO.C_Streams
 163      "a-ssicst",    -- Ada.Streams.Stream_IO.C_Streams
 164      "a-suteio",    -- Ada.Strings.Unbounded.Text_IO
 165      "a-swuwti",    -- Ada.Strings.Wide_Unbounded.Wide_Text_IO
 166      "a-tiocst",    -- Ada.Text_IO.C_Streams
 167      "a-wtcstr",    -- Ada.Wide_Text_IO.C_Streams
 168
 169       --  Note: strictly the next two should be Ada 2005 units, but it seems
 170       --  harmless (and useful) to make then available in Ada 95 mode, since
 171       --  they only deal with Wide_Character, not Wide_Wide_Character.
 172
 173      "a-wichun",    -- Ada.Wide_Characters.Unicode
 174      "a-widcha",    -- Ada.Wide_Characters
 175
 176       --  Note: strictly the following should be Ada 2012 units, but it seems
 177       --  harmless (and useful) to make then available in Ada 95 mode, since
 178       --  they do not deal with Wide_Wide_Character.
 179
 180      "a-wichha",    -- Ada.Wide_Characters.Handling
 181      "a-stuten",    -- Ada.Strings.UTF_Encoding
 182      "a-suenco",    -- Ada.Strings.UTF_Encoding.Conversions
 183      "a-suenst",    -- Ada.Strings.UTF_Encoding.Strings
 184      "a-suewst",    -- Ada.Strings.UTF_Encoding.Wide_Strings
 185
 186    ---------------------------
 187    -- GNAT Special IO Units --
 188    ---------------------------
 189
 190    --  As further explained elsewhere (see Sem_Ch10), the internal packages of
 191    --  Text_IO and Wide_Text_IO are actually implemented as separate children,
 192    --  but this fact is intended to be hidden from the user completely. Any
 193    --  attempt to WITH one of these units will be diagnosed as an error later
 194    --  on, but for now we do not consider these internal implementation units
 195    --  (if we did, then we would get a junk warning which would be confusing
 196    --  and unnecessary, given that we generate a clear error message).
 197
 198      "a-tideio",    -- Ada.Text_IO.Decimal_IO
 199      "a-tienio",    -- Ada.Text_IO.Enumeration_IO
 200      "a-tifiio",    -- Ada.Text_IO.Fixed_IO
 201      "a-tiflio",    -- Ada.Text_IO.Float_IO
 202      "a-tiinio",    -- Ada.Text_IO.Integer_IO
 203      "a-tiinio",    -- Ada.Text_IO.Integer_IO
 204      "a-timoio",    -- Ada.Text_IO.Modular_IO
 205      "a-wtdeio",    -- Ada.Wide_Text_IO.Decimal_IO
 206      "a-wtenio",    -- Ada.Wide_Text_IO.Enumeration_IO
 207      "a-wtfiio",    -- Ada.Wide_Text_IO.Fixed_IO
 208      "a-wtflio",    -- Ada.Wide_Text_IO.Float_IO
 209      "a-wtinio",    -- Ada.Wide_Text_IO.Integer_IO
 210      "a-wtmoio",    -- Ada.Wide_Text_IO.Modular_IO
 211
 212    ------------------------
 213    -- GNAT Library Units --
 214    ------------------------
 215
 216      "g-altive",    -- GNAT.Altivec
 217      "g-altcon",    -- GNAT.Altivec.Conversions
 218      "g-alveop",    -- GNAT.Altivec.Vector_Operations
 219      "g-alvety",    -- GNAT.Altivec.Vector_Types
 220      "g-alvevi",    -- GNAT.Altivec.Vector_Views
 221      "g-arrspl",    -- GNAT.Array_Split
 222      "g-awk   ",    -- GNAT.AWK
 223      "g-boubuf",    -- GNAT.Bounded_Buffers
 224      "g-boumai",    -- GNAT.Bounded_Mailboxes
 225      "g-bubsor",    -- GNAT.Bubble_Sort
 226      "g-busora",    -- GNAT.Bubble_Sort_A
 227      "g-busorg",    -- GNAT.Bubble_Sort_G
 228      "g-byorma",    -- GNAT.Byte_Order_Mark
 229      "g-bytswa",    -- GNAT.Byte_Swapping
 230      "g-calend",    -- GNAT.Calendar
 231      "g-catiio",    -- GNAT.Calendar.Time_IO
 232      "g-casuti",    -- GNAT.Case_Util
 233      "g-cgi   ",    -- GNAT.CGI
 234      "g-cgicoo",    -- GNAT.CGI.Cookie
 235      "g-cgideb",    -- GNAT.CGI.Debug
 236      "g-comlin",    -- GNAT.Command_Line
 237      "g-comver",    -- GNAT.Compiler_Version
 238      "g-crc32 ",    -- GNAT.CRC32
 239      "g-ctrl_c",    -- GNAT.Ctrl_C
 240      "g-curexc",    -- GNAT.Current_Exception
 241      "g-debpoo",    -- GNAT.Debug_Pools
 242      "g-debuti",    -- GNAT.Debug_Utilities
 243      "g-decstr",    -- GNAT.Decode_String
 244      "g-deutst",    -- GNAT.Decode_UTF8_String
 245      "g-dirope",    -- GNAT.Directory_Operations
 246      "g-diopit",    -- GNAT.Directory_Operations.Iteration
 247      "g-dynhta",    -- GNAT.Dynamic_HTables
 248      "g-dyntab",    -- GNAT.Dynamic_Tables
 249      "g-encstr",    -- GNAT.Encode_String
 250      "g-enutst",    -- GNAT.Encode_UTF8_String
 251      "g-excact",    -- GNAT.Exception_Actions
 252      "g-except",    -- GNAT.Exceptions
 253      "g-exctra",    -- GNAT.Exception_Traces
 254      "g-expect",    -- GNAT.Expect
 255      "g-flocon",    -- GNAT.Float_Control
 256      "g-heasor",    -- GNAT.Heap_Sort
 257      "g-hesora",    -- GNAT.Heap_Sort_A
 258      "g-hesorg",    -- GNAT.Heap_Sort_G
 259      "g-htable",    -- GNAT.Htable
 260      "g-io    ",    -- GNAT.IO
 261      "g-io_aux",    -- GNAT.IO_Aux
 262      "g-locfil",    -- GNAT.Lock_Files
 263      "g-mbdira",    -- GNAT.MBBS_Discrete_Random
 264      "g-mbflra",    -- GNAT.MBBS_Float_Random
 265      "g-md5   ",    -- GNAT.MD5
 266      "g-memdum",    -- GNAT.Memory_Dump
 267      "g-moreex",    -- GNAT.Most_Recent_Exception
 268      "g-os_lib",    -- GNAT.Os_Lib
 269      "g-pehage",    -- GNAT.Perfect_Hash_Generators
 270      "g-rannum",    -- GNAT.Random_Numbers
 271      "g-regexp",    -- GNAT.Regexp
 272      "g-regist",    -- GNAT.Registry
 273      "g-regpat",    -- GNAT.Regpat
 274      "g-semaph",    -- GNAT.Semaphores
 275      "g-sercom",    -- GNAT.Serial_Communications
 276      "g-sestin",    -- GNAT.Secondary_Stack_Info
 277      "g-sha1  ",    -- GNAT.SHA1
 278      "g-sha224",    -- GNAT.SHA224
 279      "g-sha256",    -- GNAT.SHA256
 280      "g-sha384",    -- GNAT.SHA384
 281      "g-sha512",    -- GNAT.SHA512
 282      "g-signal",    -- GNAT.Signals
 283      "g-socket",    -- GNAT.Sockets
 284      "g-souinf",    -- GNAT.Source_Info
 285      "g-speche",    -- GNAT.Spell_Checker
 286      "g-spchge",    -- GNAT.Spell_Checker_Generic
 287      "g-spitbo",    -- GNAT.Spitbol
 288      "g-spipat",    -- GNAT.Spitbol.Patterns
 289      "g-sptabo",    -- GNAT.Spitbol.Table_Boolean
 290      "g-sptain",    -- GNAT.Spitbol.Table_Integer
 291      "g-sptavs",    -- GNAT.Spitbol.Table_Vstring
 292      "g-string",    -- GNAT.Strings
 293      "g-strspl",    -- GNAT.String_Split
 294      "g-sse   ",    -- GNAT.SSE
 295      "g-ssvety",    -- GNAT.SSE.Vector_Types
 296      "g-table ",    -- GNAT.Table
 297      "g-tasloc",    -- GNAT.Task_Lock
 298      "g-tastus",    -- GNAT.Task_Stack_Usage
 299      "g-thread",    -- GNAT.Threads
 300      "g-timsta",    -- GNAT.Time_Stamp
 301      "g-traceb",    -- GNAT.Traceback
 302      "g-trasym",    -- GNAT.Traceback.Symbolic
 303      "g-utf_32",    -- GNAT.UTF_32
 304      "g-u3spch",    -- GNAT.UTF_32_Spelling_Checker
 305      "g-wispch",    -- GNAT.Wide_Spelling_Checker
 306      "g-wistsp",    -- GNAT.Wide_String_Split
 307
 308    -----------------------------------------------------
 309    -- Interface Hierarchy Units from Reference Manual --
 310    -----------------------------------------------------
 311
 312      "i-c     ",    -- Interfaces.C
 313      "i-cobol ",    -- Interfaces.Cobol
 314      "i-cpoint",    -- Interfaces.C.Pointers
 315      "i-cstrin",    -- Interfaces.C.Strings
 316      "i-fortra",    -- Interfaces.Fortran
 317
 318    ------------------------------------------
 319    -- GNAT Defined Additions to Interfaces --
 320    ------------------------------------------
 321
 322      "i-cexten",    -- Interfaces.C.Extensions
 323      "i-cil   ",    -- Interfaces.CIL
 324      "i-cilobj",    -- Interfaces.CIL.Object
 325      "i-cpp   ",    -- Interfaces.CPP
 326      "i-cstrea",    -- Interfaces.C.Streams
 327      "i-java  ",    -- Interfaces.Java
 328      "i-javjni",    -- Interfaces.Java.JNI
 329      "i-pacdec",    -- Interfaces.Packed_Decimal
 330      "i-vxwoio",    -- Interfaces.VxWorks.IO
 331      "i-vxwork",    -- Interfaces.VxWorks
 332
 333    --------------------------------------------------
 334    -- System Hierarchy Units from Reference Manual --
 335    --------------------------------------------------
 336
 337      "s-atacco",    -- System.Address_To_Access_Conversions
 338      "s-maccod",    -- System.Machine_Code
 339      "s-rpc   ",    -- System.Rpc
 340      "s-stoele",    -- System.Storage_Elements
 341      "s-stopoo",    -- System.Storage_Pools
 342
 343    --------------------------------------
 344    -- GNAT Defined Additions to System --
 345    --------------------------------------
 346
 347      "s-addima",    -- System.Address_Image
 348      "s-assert",    -- System.Assertions
 349      "s-finmas",    -- System.Finalization_Masters
 350      "s-memory",    -- System.Memory
 351      "s-parint",    -- System.Partition_Interface
 352      "s-pooglo",    -- System.Pool_Global
 353      "s-pooloc",    -- System.Pool_Local
 354      "s-restri",    -- System.Restrictions
 355      "s-rident",    -- System.Rident
 356      "s-ststop",    -- System.Strings.Stream_Ops
 357      "s-tasinf",    -- System.Task_Info
 358      "s-wchcnv",    -- System.Wch_Cnv
 359      "s-wchcon");   -- System.Wch_Con
 360
 361    --------------------
 362    -- Ada 2005 Units --
 363    --------------------
 364
 365    --  The following units should be used only in Ada 05 mode
 366
 367    Non_Imp_File_Names_05 : constant File_List := (
 368
 369    --------------------------------------------------------
 370    -- Ada Hierarchy Units from Ada 2005 Reference Manual --
 371    --------------------------------------------------------
 372
 373      "a-assert",    -- Ada.Assertions
 374      "a-calari",    -- Ada.Calendar.Arithmetic
 375      "a-calfor",    -- Ada.Calendar.Formatting
 376      "a-catizo",    -- Ada.Calendar.Time_Zones
 377      "a-cdlili",    -- Ada.Containers.Doubly_Linked_Lists
 378      "a-cgarso",    -- Ada.Containers.Generic_Array_Sort
 379      "a-cgcaso",    -- Ada.Containers.Generic_Constrained_Array_Sort
 380      "a-chacon",    -- Ada.Characters.Conversions
 381      "a-cidlli",    -- Ada.Containers.Indefinite_Doubly_Linked_Lists
 382      "a-cihama",    -- Ada.Containers.Indefinite_Hashed_Maps
 383      "a-cihase",    -- Ada.Containers.Indefinite_Hashed_Sets
 384      "a-ciorma",    -- Ada.Containers.Indefinite_Ordered_Maps
 385      "a-ciorse",    -- Ada.Containers.Indefinite_Ordered_Sets
 386      "a-cohama",    -- Ada.Containers.Hashed_Maps
 387      "a-cohase",    -- Ada.Containers.Hashed_Sets
 388      "a-coinve",    -- Ada.Containers.Indefinite_Vectors
 389      "a-contai",    -- Ada.Containers
 390      "a-convec",    -- Ada.Containers.Vectors
 391      "a-coorma",    -- Ada.Containers.Ordered_Maps
 392      "a-coorse",    -- Ada.Containers.Ordered_Sets
 393      "a-coteio",    -- Ada.Complex_Text_IO
 394      "a-direct",    -- Ada.Directories
 395      "a-diroro",    -- Ada.Dispatching.Round_Robin
 396      "a-disedf",    -- Ada.Dispatching.EDF
 397      "a-dispat",    -- Ada.Dispatching
 398      "a-envvar",    -- Ada.Environment_Variables
 399      "a-etgrbu",    -- Ada.Execution_Time.Group_Budgets
 400      "a-exetim",    -- Ada.Execution_Time
 401      "a-extiti",    -- Ada.Execution_Time.Timers
 402      "a-izteio",    -- Ada.Integer_Wide_Wide_Text_IO
 403      "a-rttiev",    -- Ada.Real_Time.Timing_Events
 404      "a-ngcoar",    -- Ada.Numerics.Generic_Complex_Arrays
 405      "a-ngrear",    -- Ada.Numerics.Generic_Real_Arrays
 406      "a-nucoar",    -- Ada.Numerics.Complex_Arrays
 407      "a-nurear",    -- Ada.Numerics.Real_Arrays
 408      "a-stboha",    -- Ada.Strings.Bounded.Hash
 409      "a-stfiha",    -- Ada.Strings.Fixed.Hash
 410      "a-strhas",    -- Ada.Strings.Hash
 411      "a-stunha",    -- Ada.Strings.Unbounded.Hash
 412      "a-stwiha",    -- Ada.Strings.Wide_Hash
 413      "a-stzbou",    -- Ada.Strings.Wide_Wide_Bounded
 414      "a-stzfix",    -- Ada.Strings.Wide_Wide_Fixed
 415      "a-stzhas",    -- Ada.Strings.Wide_Wide_Hash
 416      "a-stzmap",    -- Ada.Strings.Wide_Wide_Maps
 417      "a-stzunb",    -- Ada.Strings.Wide_Wide_Unbounded
 418      "a-swbwha",    -- Ada.Strings.Wide_Bounded.Wide_Hash
 419      "a-swfwha",    -- Ada.Strings.Wide_Fixed.Wide_Hash
 420      "a-swuwha",    -- Ada.Strings.Wide_Unbounded.Wide_Hash
 421      "a-szbzha",    -- Ada.Strings.Wide_Wide_Bounded.Wide_Wide_Hash
 422      "a-szfzha",    -- Ada.Strings.Wide_Wide_Fixed.Wide_Wide_Hash
 423      "a-szmzco",    -- Ada.Strings.Wide_Wide_Maps.Wide_Wide_Constants
 424      "a-szuzha",    -- Ada.Strings.Wide_Wide_Unbounded.Wide_Wide_Hash
 425      "a-taster",    -- Ada.Task_Termination
 426      "a-tgdico",    -- Ada.Tags.Generic_Dispatching_Constructor
 427      "a-tiboio",    -- Ada.Text_IO.Bounded_IO
 428      "a-tiunio",    -- Ada.Text_IO.Unbounded_IO
 429      "a-wichun",    -- Ada.Wide_Characters.Unicode
 430      "a-wwboio",    -- Ada.Wide_Text_IO.Wide_Bounded_IO
 431      "a-wwunio",    -- Ada.Wide_Text_IO.Wide_Unbounded_IO
 432      "a-zchara",    -- Ada.Wide_Wide_Characters
 433      "a-zchhan",    -- Ada.Wide_Wide_Characters.Handling
 434      "a-ztcoio",    -- Ada.Wide_Wide_Text_IO.Complex_IO
 435      "a-ztedit",    -- Ada.Wide_Wide_Text_IO.Editing
 436      "a-zttest",    -- Ada.Wide_Wide_Text_IO.Text_Streams
 437      "a-ztexio",    -- Ada.Wide_Wide_Text_IO
 438      "a-zzboio",    -- Ada.Wide_Wide_Text_IO.Wide_Wide_Bounded_IO
 439      "a-zzunio",    -- Ada.Wide_Wide_Text_IO.Wide_Wide_Unbounded_IO
 440
 441    ------------------------------------------------------
 442    -- RM Required Additions to Ada 2005 for GNAT Types --
 443    ------------------------------------------------------
 444
 445      "a-lcteio",    -- Ada.Long_Complex_Text_IO
 446      "a-lfztio",    -- Ada.Long_Float_Wide_Wide_Text_IO
 447      "a-liztio",    -- Ada.Long_Integer_Wide_Wide_Text_IO
 448      "a-llctio",    -- Ada.Long_Long_Complex_Text_IO
 449      "a-llfzti",    -- Ada.Long_Long_Float_Wide_Wide_Text_IO
 450      "a-llizti",    -- Ada.Long_Long_Integer_Wide_Wide_Text_IO
 451      "a-nlcoar",    -- Ada.Numerics.Long_Complex_Arrays
 452      "a-nllcar",    -- Ada.Numerics.Long_Long_Complex_Arrays
 453      "a-nllrar",    -- Ada.Numerics.Long_Long_Real_Arrays
 454      "a-nlrear",    -- Ada.Numerics.Long_Real_Arrays
 455      "a-scteio",    -- Ada.Short_Complex_Text_IO
 456      "a-sfztio",    -- Ada.Short_Float_Wide_Wide_Text_IO
 457      "a-siztio",    -- Ada.Short_Integer_Wide_Wide_Text_IO
 458      "a-ssizti",    -- Ada.Short_Short_Integer_Wide_Wide_Text_IO
 459      "a-ztcstr",    -- Ada.Wide_Wide_Text_IO.C_Streams
 460
 461    ----------------------------------------
 462    -- GNAT Defined Additions to Ada 2005 --
 463    ----------------------------------------
 464
 465      "a-cgaaso",    -- Ada.Containers.Generic_Anonymous_Array_Sort
 466      "a-chzla1",    -- Ada.Characters.Wide_Wide_Latin_1
 467      "a-chzla9",    -- Ada.Characters.Wide_Wide_Latin_9
 468      "a-ciormu",    -- Ada.Containers.Indefinite_Ordered_Multisets
 469      "a-coormu",    -- Ada.Containers.Ordered_Multisets
 470      "a-crdlli",    -- Ada.Containers.Restricted_Doubly_Linked_Lists
 471      "a-secain",    -- Ada.Strings.Equal_Case_Insensitive
 472      "a-shcain",    -- Ada.Strings.Hash_Case_Insensitive
 473      "a-slcain",    -- Ada.Strings.Less_Case_Insensitive
 474      "a-szuzti",    -- Ada.Strings.Wide_Wide_Unbounded.Wide_Wide_Text_IO
 475      "a-zchuni",    -- Ada.Wide_Wide_Characters.Unicode
 476
 477       --  Note: strictly the following should be Ada 2012 units, but it seems
 478       --  harmless (and useful) to make then available in Ada 2005 mode.
 479
 480      "a-suezst",    -- Ada.Strings.UTF_Encoding.Wide_Wide_Strings
 481
 482    ---------------------------
 483    -- GNAT Special IO Units --
 484    ---------------------------
 485
 486    --  See Ada 95 section for further information. These packages are for the
 487    --  implementation of the Wide_Wide_Text_IO generic packages.
 488
 489      "a-ztdeio",    -- Ada.Wide_Wide_Text_IO.Decimal_IO
 490      "a-ztenio",    -- Ada.Wide_Wide_Text_IO.Enumeration_IO
 491      "a-ztfiio",    -- Ada.Wide_Wide_Text_IO.Fixed_IO
 492      "a-ztflio",    -- Ada.Wide_Wide_Text_IO.Float_IO
 493      "a-ztinio",    -- Ada.Wide_Wide_Text_IO.Integer_IO
 494      "a-ztmoio",    -- Ada.Wide_Wide_Text_IO.Modular_IO
 495
 496    ------------------------
 497    -- GNAT Library Units --
 498    ------------------------
 499
 500      "g-zspche",    -- GNAT.Wide_Wide_Spelling_Checker
 501      "g-zstspl");   -- GNAT.Wide_Wide_String_Split
 502
 503    --------------------
 504    -- Ada 2012 Units --
 505    --------------------
 506
 507    --  The following units should be used only in Ada 2012 mode
 508
 509    Non_Imp_File_Names_12 : constant File_List := (
 510      "s-multip",    -- System.Multiprocessors
 511      "s-mudido",    -- System.Multiprocessors.Dispatching_Domains
 512      "s-stposu",    -- System.Storage_Pools.Subpools
 513      "a-cobove",    -- Ada.Containers.Bounded_Vectors
 514      "a-cbdlli",    -- Ada.Containers.Bounded_Doubly_Linked_Lists
 515      "a-cborse",    -- Ada.Containers.Bounded_Ordered_Sets
 516      "a-cborma",    -- Ada.Containers.Bounded_Ordered_Maps
 517      "a-cbhase",    -- Ada.Containers.Bounded_Hashed_Sets
 518      "a-cbhama",    -- Ada.Containers.Bounded_Hashed_Maps
 519      "a-coinho",    -- Ada.Containers.Indefinite_Holders
 520      "a-comutr",    -- Ada.Containers.Multiway_Trees
 521      "a-cimutr",    -- Ada.Containers.Indefinite_Multiway_Trees
 522      "a-cbmutr",    -- Ada.Containers.Bounded_Multiway_Trees
 523      "a-extiin",    -- Ada.Execution_Time.Interrupts
 524      "a-iteint",    -- Ada.Iterator_Interfaces
 525      "a-synbar",    -- Ada.Synchronous_Barriers
 526      "a-undesu",    -- Ada.Unchecked_Deallocate_Subpool
 527
 528    -----------------------------------------
 529    -- GNAT Defined Additions to Ada 20012 --
 530    -----------------------------------------
 531
 532      "s-spsufi",    -- System.Storage_Pools.Subpools.Finalization
 533      "a-cofove",    -- Ada.Containers.Formal_Vectors
 534      "a-cfdlli",    -- Ada.Containers.Formal_Doubly_Linked_Lists
 535      "a-cforse",    -- Ada.Containers.Formal_Ordered_Sets
 536      "a-cforma",    -- Ada.Containers.Formal_Ordered_Maps
 537      "a-cfhase",    -- Ada.Containers.Formal_Hashed_Sets
 538      "a-cfhama");   -- Ada.Containers.Formal_Hashed_Maps
 539
 540    -----------------------
 541    -- Alternative Units --
 542    -----------------------
 543
 544    --  For some implementation units, there is a unit in the GNAT library
 545    --  that has identical functionality that is usable. If we have such a
 546    --  case we record the appropriate Unit name in Error_Msg_String.
 547
 548    type Aunit_Record is record
 549       Fname : String (1 .. 6);
 550       Aname : String_Ptr;
 551    end record;
 552
 553    --  Array of alternative unit names
 554
 555    Scasuti : aliased String := "GNAT.Case_Util";
 556    Scrc32  : aliased String := "GNAT.CRC32";
 557    Shtable : aliased String := "GNAT.HTable";
 558    Sos_lib : aliased String := "GNAT.OS_Lib";
 559    Sregexp : aliased String := "GNAT.Regexp";
 560    Sregpat : aliased String := "GNAT.Regpat";
 561    Sstring : aliased String := "GNAT.Strings";
 562    Sstusta : aliased String := "GNAT.Task_Stack_Usage";
 563    Stasloc : aliased String := "GNAT.Task_Lock";
 564    Sutf_32 : aliased String := "GNAT.UTF_32";
 565
 566    --  Array giving mapping
 567
 568    Map_Array : constant array (1 .. 10) of Aunit_Record := (
 569                  ("casuti", Scasuti'Access),
 570                  ("crc32 ", Scrc32 'Access),
 571                  ("htable", Shtable'Access),
 572                  ("os_lib", Sos_lib'Access),
 573                  ("regexp", Sregexp'Access),
 574                  ("regpat", Sregpat'Access),
 575                  ("string", Sstring'Access),
 576                  ("stusta", Sstusta'Access),
 577                  ("tasloc", Stasloc'Access),
 578                  ("utf_32", Sutf_32'Access));
 579
 580    ----------------------
 581    -- Get_Kind_Of_Unit --
 582    ----------------------
 583
 584    function Get_Kind_Of_Unit (U : Unit_Number_Type) return Kind_Of_Unit is
 585       Fname : constant File_Name_Type := Unit_File_Name (U);
 586
 587    begin
 588       Error_Msg_Strlen := 0;
 589
 590       --  If length of file name is greater than 12, not predefined.
 591       --  The value 12 here is an 8 char name with extension .ads.
 592
 593       if Length_Of_Name (Fname) > 12 then
 594          return Not_Predefined_Unit;
 595       end if;
 596
 597       --  Otherwise test file name
 598
 599       Get_Name_String (Fname);
 600
 601       --  Not predefined if file name does not start with a- g- s- i-
 602
 603       if Name_Len < 3
 604         or else Name_Buffer (2) /= '-'
 605         or else (Name_Buffer (1) /= 'a'
 606                    and then
 607                  Name_Buffer (1) /= 'g'
 608                    and then
 609                  Name_Buffer (1) /= 'i'
 610                    and then
 611                  Name_Buffer (1) /= 's')
 612       then
 613          return Not_Predefined_Unit;
 614       end if;
 615
 616       --  Not predefined if file name does not end in .ads. This can
 617       --  happen when non-standard file names are being used.
 618
 619       if Name_Buffer (Name_Len - 3 .. Name_Len) /= ".ads" then
 620          return Not_Predefined_Unit;
 621       end if;
 622
 623       --  Otherwise normalize file name to 8 characters
 624
 625       Name_Len := Name_Len - 4;
 626       while Name_Len < 8 loop
 627          Name_Len := Name_Len + 1;
 628          Name_Buffer (Name_Len) := ' ';
 629       end loop;
 630
 631       --  See if name is in 95 list
 632
 633       for J in Non_Imp_File_Names_95'Range loop
 634          if Name_Buffer (1 .. 8) = Non_Imp_File_Names_95 (J) then
 635             return Ada_95_Unit;
 636          end if;
 637       end loop;
 638
 639       --  See if name is in 2005 list
 640
 641       for J in Non_Imp_File_Names_05'Range loop
 642          if Name_Buffer (1 .. 8) = Non_Imp_File_Names_05 (J) then
 643             return Ada_2005_Unit;
 644          end if;
 645       end loop;
 646
 647       --  See if name is in 2012 list
 648
 649       for J in Non_Imp_File_Names_12'Range loop
 650          if Name_Buffer (1 .. 8) = Non_Imp_File_Names_12 (J) then
 651             return Ada_2012_Unit;
 652          end if;
 653       end loop;
 654
 655       --  Only remaining special possibilities are children of System.RPC and
 656       --  System.Garlic and special files of the form System.Aux...
 657
 658       Get_Name_String (Unit_Name (U));
 659
 660       if Name_Len > 12
 661         and then Name_Buffer (1 .. 11) = "system.rpc."
 662       then
 663          return Ada_95_Unit;
 664       end if;
 665
 666       if Name_Len > 15
 667         and then Name_Buffer (1 .. 14) = "system.garlic."
 668       then
 669          return Ada_95_Unit;
 670       end if;
 671
 672       if Name_Len > 11
 673         and then Name_Buffer (1 .. 10) = "system.aux"
 674       then
 675          return Ada_95_Unit;
 676       end if;
 677
 678       --  All tests failed, this is definitely an implementation unit. See if
 679       --  we have an alternative name.
 680
 681       Get_Name_String (Fname);
 682
 683       if Name_Len in 11 .. 12
 684         and then Name_Buffer (1 .. 2) = "s-"
 685         and then Name_Buffer (Name_Len - 3 .. Name_Len) = ".ads"
 686       then
 687          for J in Map_Array'Range loop
 688             if (Name_Len = 12 and then
 689                  Name_Buffer (3 .. 8) = Map_Array (J).Fname)
 690               or else
 691                (Name_Len = 11 and then
 692                  Name_Buffer (3 .. 7) = Map_Array (J).Fname (1 .. 5))
 693             then
 694                Error_Msg_Strlen := Map_Array (J).Aname'Length;
 695                Error_Msg_String (1 .. Error_Msg_Strlen) :=
 696                  Map_Array (J).Aname.all;
 697             end if;
 698          end loop;
 699       end if;
 700
 701       return Implementation_Unit;
 702    end Get_Kind_Of_Unit;
 703
 704    -------------------
 705    -- Is_Known_Unit --
 706    -------------------
 707
 708    function Is_Known_Unit (Nam : Node_Id) return Boolean is
 709       Unam : Unit_Name_Type;
 710       Fnam : File_Name_Type;
 711
 712    begin
 713       --  If selector is not an identifier (e.g. it is a character literal or
 714       --  some junk from a previous error), then definitely not a known unit.
 715
 716       if Nkind (Selector_Name (Nam)) /= N_Identifier then
 717          return False;
 718       end if;
 719
 720       --  Otherwise get corresponding file name
 721
 722       Unam := Get_Unit_Name (Nam);
 723       Fnam := Get_File_Name (Unam, Subunit => False);
 724       Get_Name_String (Fnam);
 725
 726       --  Remove extension from file name
 727
 728       if Name_Buffer (Name_Len - 3 .. Name_Len) = ".adb" then
 729          Name_Len := Name_Len - 4;
 730       else
 731          return False;
 732       end if;
 733
 734       --  Pad name to 8 characters
 735
 736       while Name_Len < 8 loop
 737          Name_Len := Name_Len + 1;
 738          Name_Buffer (Name_Len) := ' ';
 739       end loop;
 740
 741       --  If length more than 8, definitely not a match
 742
 743       if Name_Len /= 8 then
 744          return False;
 745       end if;
 746
 747       --  If length is 8, search our tables
 748
 749       for J in Non_Imp_File_Names_95'Range loop
 750          if Name_Buffer (1 .. 8) = Non_Imp_File_Names_95 (J) then
 751             return True;
 752          end if;
 753       end loop;
 754
 755       for J in Non_Imp_File_Names_05'Range loop
 756          if Name_Buffer (1 .. 8) = Non_Imp_File_Names_05 (J) then
 757             return True;
 758          end if;
 759       end loop;
 760
 761       --  If not found, not known
 762
 763       return False;
 764
 765    --  A safety guard, if we get an exception during this processing then it
 766    --  is most likely the result of a previous error, or a peculiar case we
 767    --  have not thought of. Since this routine is only used for error message
 768    --  refinement, we will just return False.
 769
 770    exception
 771       when others =>
 772          return False;
 773    end Is_Known_Unit;
 774
 775 end Impunit;