| blob | 712a6885bd828ccb65cc1303434953f9b18b699f |
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-2012, 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 ------------------------------------------------------------------------------
35 -- Note: this package body is used by GPS and GNATBench to supply a list of
36 -- entries for help on available library routines.
44 -- 8 character name of unit
47 -- True if unit is RM defined. False for any unit that is implementation
48 -- defined (and thus not with'able in No_Implementation_Units mode).
55 -- Short hand for RM_Defined values in lists below
57 ------------------
58 -- Ada 95 Units --
59 ------------------
61 -- The following is a giant string list containing the names of all non-
62 -- implementation internal files, i.e. the complete list of files for
63 -- internal units which a program may legitimately WITH when operating in
64 -- either Ada 95 or Ada 2005 mode.
66 -- Note that this list should match the list of units documented in the
67 -- "GNAT Library" section of the GNAT Reference Manual. A unit listed here
68 -- must either be documented in that section or described in the Ada RM.
72 ------------------------------------------------------
73 -- Ada Hierarchy Units from Ada-95 Reference Manual --
74 ------------------------------------------------------
134 -------------------------------------------------
135 -- RM Required Additions to Ada for GNAT Types --
136 -------------------------------------------------
138 -- Note: Long versions are considered RM defined, but not the Long Long,
139 -- Short, or Short_Short versions.
165 -----------------------------------
166 -- GNAT Defined Additions to Ada --
167 -----------------------------------
187 -- Note: strictly the next two should be Ada 2005 units, but it seems
188 -- harmless (and useful) to make then available in Ada 95 mode, since
189 -- they only deal with Wide_Character, not Wide_Wide_Character.
194 -- Note: strictly the following should be Ada 2012 units, but it seems
195 -- harmless (and useful) to make then available in Ada 95 mode, since
196 -- they do not deal with Wide_Wide_Character.
204 ---------------------------
205 -- GNAT Special IO Units --
206 ---------------------------
208 -- As further explained elsewhere (see Sem_Ch10), the internal packages of
209 -- Text_IO and Wide_Text_IO are actually implemented as separate children,
210 -- but this fact is intended to be hidden from the user completely. Any
211 -- attempt to WITH one of these units will be diagnosed as an error later
212 -- on, but for now we do not consider these internal implementation units
213 -- (if we did, then we would get a junk warning which would be confusing
214 -- and unnecessary, given that we generate a clear error message).
230 ------------------------
231 -- GNAT Library Units --
232 ------------------------
328 -----------------------------------------------------
329 -- Interface Hierarchy Units from Reference Manual --
330 -----------------------------------------------------
338 ------------------------------------------
339 -- GNAT Defined Additions to Interfaces --
340 ------------------------------------------
353 --------------------------------------------------
354 -- System Hierarchy Units from Reference Manual --
355 --------------------------------------------------
363 --------------------------------------
364 -- GNAT Defined Additions to System --
365 --------------------------------------
385 --------------------
386 -- Ada 2005 Units --
387 --------------------
389 -- The following units should be used only in Ada 05 mode
393 --------------------------------------------------------
394 -- Ada Hierarchy Units from Ada 2005 Reference Manual --
395 --------------------------------------------------------
465 ------------------------------------------------------
466 -- RM Required Additions to Ada 2005 for GNAT Types --
467 ------------------------------------------------------
469 -- Note: Long versions are considered RM defined, but not the Long Long,
470 -- Short, or Short_Short versions.
487 ----------------------------------------
488 -- GNAT Defined Additions to Ada 2005 --
489 ----------------------------------------
501 -- Note: strictly the following should be Ada 2012 units, but it seems
502 -- harmless (and useful) to make then available in Ada 2005 mode.
519 ---------------------------
520 -- GNAT Special IO Units --
521 ---------------------------
523 -- See Ada 95 section for further information. These packages are for the
524 -- implementation of the Wide_Wide_Text_IO generic packages.
533 ------------------------
534 -- GNAT Library Units --
535 ------------------------
540 --------------------
541 -- Ada 2012 Units --
542 --------------------
544 -- The following units should be used only in Ada 2012 mode
571 ----------------------------------------
572 -- GNAT Defined Additions to Ada 2012 --
573 ----------------------------------------
582 -----------------------
583 -- Alternative Units --
584 -----------------------
586 -- For some implementation units, there is a unit in the GNAT library
587 -- that has identical functionality that is usable. If we have such a
588 -- case we record the appropriate Unit name in Error_Msg_String.
595 -- Array of alternative unit names
608 -- Array giving mapping
613 ("htable", Shtable'Access),
614 ("os_lib", Sos_lib'Access),
615 ("regexp", Sregexp'Access),
616 ("regpat", Sregpat'Access),
617 ("string", Sstring'Access),
618 ("stusta", Sstusta'Access),
619 ("tasloc", Stasloc'Access),
620 ("utf_32", Sutf_32'Access));
622 ----------------------
623 -- Get_Kind_Of_Unit --
624 ----------------------
626 function Get_Kind_Of_Unit (U : Unit_Number_Type) return Kind_Of_Unit is
627 Fname : constant File_Name_Type := Unit_File_Name (U);
629 begin
630 Error_Msg_Strlen := 0;
631 Get_Name_String (Fname);
633 -- Ada/System/Interfaces are all Ada 95 units
635 if (Name_Len = 7 and then Name_Buffer (1 .. 7) = "ada.ads")
636 or else
637 (Name_Len = 10 and then Name_Buffer (1 .. 10) = "system.ads")
638 or else
639 (Name_Len = 12 and then Name_Buffer (1 .. 12) = "interfac.ads")
640 then
641 return Ada_95_Unit;
642 end if;
644 -- If length of file name is greater than 12, not predefined. The value
645 -- 12 here is an 8 char name with extension .ads.
647 if Name_Len > 12 then
648 return Not_Predefined_Unit;
649 end if;
651 -- Not predefined if file name does not start with a- g- s- i-
653 if Name_Len < 3
656 and then
658 and then
660 and then
662 then
663 return Not_Predefined_Unit;
664 end if;
666 -- Not predefined if file name does not end in .ads. This can
667 -- happen when non-standard file names are being used.
669 if Name_Buffer (Name_Len - 3 .. Name_Len) /= ".ads" then
670 return Not_Predefined_Unit;
671 end if;
673 -- Otherwise normalize file name to 8 characters
675 Name_Len := Name_Len - 4;
676 while Name_Len < 8 loop
677 Name_Len := Name_Len + 1;
679 end loop;
681 -- See if name is in 95 list
683 for J in Non_Imp_File_Names_95'Range loop
684 if Name_Buffer (1 .. 8) = Non_Imp_File_Names_95 (J).Fname then
685 return Ada_95_Unit;
686 end if;
687 end loop;
689 -- See if name is in 2005 list
691 for J in Non_Imp_File_Names_05'Range loop
692 if Name_Buffer (1 .. 8) = Non_Imp_File_Names_05 (J).Fname then
693 return Ada_2005_Unit;
694 end if;
695 end loop;
697 -- See if name is in 2012 list
699 for J in Non_Imp_File_Names_12'Range loop
700 if Name_Buffer (1 .. 8) = Non_Imp_File_Names_12 (J).Fname then
701 return Ada_2012_Unit;
702 end if;
703 end loop;
705 -- Only remaining special possibilities are children of System.RPC and
706 -- System.Garlic and special files of the form System.Aux...
708 Get_Name_String (Unit_Name (U));
710 if Name_Len > 12
711 and then Name_Buffer (1 .. 11) = "system.rpc."
712 then
713 return Ada_95_Unit;
714 end if;
716 if Name_Len > 15
717 and then Name_Buffer (1 .. 14) = "system.garlic."
718 then
719 return Ada_95_Unit;
720 end if;
722 if Name_Len > 11
723 and then Name_Buffer (1 .. 10) = "system.aux"
724 then
725 return Ada_95_Unit;
726 end if;
728 -- All tests failed, this is definitely an implementation unit. See if
729 -- we have an alternative name.
731 Get_Name_String (Fname);
733 if Name_Len in 11 .. 12
734 and then Name_Buffer (1 .. 2) = "s-"
735 and then Name_Buffer (Name_Len - 3 .. Name_Len) = ".ads"
736 then
737 for J in Map_Array'Range loop
738 if (Name_Len = 12 and then
739 Name_Buffer (3 .. 8) = Map_Array (J).Fname)
740 or else
741 (Name_Len = 11 and then
742 Name_Buffer (3 .. 7) = Map_Array (J).Fname (1 .. 5))
743 then
744 Error_Msg_Strlen := Map_Array (J).Aname'Length;
745 Error_Msg_String (1 .. Error_Msg_Strlen) :=
746 Map_Array (J).Aname.all;
747 end if;
748 end loop;
749 end if;
751 return Implementation_Unit;
752 end Get_Kind_Of_Unit;
754 -------------------
755 -- Is_Known_Unit --
756 -------------------
758 function Is_Known_Unit (Nam : Node_Id) return Boolean is
759 Unam : Unit_Name_Type;
760 Fnam : File_Name_Type;
762 begin
763 -- If selector is not an identifier (e.g. it is a character literal or
764 -- some junk from a previous error), then definitely not a known unit.
766 if Nkind (Selector_Name (Nam)) /= N_Identifier then
767 return False;
768 end if;
770 -- Otherwise get corresponding file name
772 Unam := Get_Unit_Name (Nam);
773 Fnam := Get_File_Name (Unam, Subunit => False);
774 Get_Name_String (Fnam);
776 Error_Msg_Strlen := 0;
778 -- Ada/System/Interfaces are all Ada 95 units
780 if (Name_Len = 7 and then Name_Buffer (1 .. 7) = "ada.ads")
781 or else
782 (Name_Len = 10 and then Name_Buffer (1 .. 10) = "system.ads")
783 or else
784 (Name_Len = 12 and then Name_Buffer (1 .. 12) = "interfac.ads")
785 then
786 return True;
787 end if;
789 -- Remove extension from file name
791 if Name_Buffer (Name_Len - 3 .. Name_Len) = ".adb"
792 or else
793 Name_Buffer (Name_Len - 3 .. Name_Len) = ".ads"
794 then
795 Name_Len := Name_Len - 4;
796 else
797 return False;
798 end if;
800 -- Pad name to 8 characters
802 while Name_Len < 8 loop
803 Name_Len := Name_Len + 1;
805 end loop;
807 -- If length more than 8, definitely not a match
809 if Name_Len /= 8 then
810 return False;
811 end if;
813 -- If length is 8, search our tables
815 for J in Non_Imp_File_Names_95'Range loop
816 if Name_Buffer (1 .. 8) = Non_Imp_File_Names_95 (J).Fname then
817 return True;
818 end if;
819 end loop;
821 for J in Non_Imp_File_Names_05'Range loop
822 if Name_Buffer (1 .. 8) = Non_Imp_File_Names_05 (J).Fname then
823 return True;
824 end if;
825 end loop;
827 for J in Non_Imp_File_Names_12'Range loop
828 if Name_Buffer (1 .. 8) = Non_Imp_File_Names_12 (J).Fname then
829 return True;
830 end if;
831 end loop;
833 -- If not found, not known
835 return False;
837 -- A safety guard, if we get an exception during this processing then it
838 -- is most likely the result of a previous error, or a peculiar case we
839 -- have not thought of. Since this routine is only used for error message
840 -- refinement, we will just return False.
842 exception
843 when others =>
844 return False;
845 end Is_Known_Unit;
847 ---------------------------
848 -- Not_Impl_Defined_Unit --
849 ---------------------------
851 function Not_Impl_Defined_Unit (U : Unit_Number_Type) return Boolean is
852 Fname : constant File_Name_Type := Unit_File_Name (U);
854 begin
855 Error_Msg_Strlen := 0;
856 Get_Name_String (Fname);
858 -- Ada/System/Interfaces are all RM-defined Ada 95 units
860 if (Name_Len = 7 and then Name_Buffer (1 .. 7) = "ada.ads")
861 or else
862 (Name_Len = 10 and then Name_Buffer (1 .. 10) = "system.ads")
863 or else
864 (Name_Len = 12 and then Name_Buffer (1 .. 12) = "interfac.ads")
865 then
866 return True;
867 end if;
869 -- If length of file name is greater than 12, then it's a user unit
870 -- and not a GNAT implementation defined unit.
872 if Name_Len > 12 then
873 return True;
874 end if;
876 -- Implementation defined if unit in the gnat hierarchy
878 if (Name_Len = 8 and then Name_Buffer (1 .. 8) = "gnat.ads")
879 or else (Name_Len > 2 and then Name_Buffer (1 .. 2) = "g-")
880 then
881 return False;
882 end if;
884 -- Not implementation defined if file name does not start with a- s- i-
886 if Name_Len < 3
889 and then
891 and then
893 then
894 return True;
895 end if;
897 -- Not impl-defined if file name does not end in .ads. This can happen
898 -- when non-standard file names are being used.
900 if Name_Buffer (Name_Len - 3 .. Name_Len) /= ".ads" then
901 return True;
902 end if;
904 -- Otherwise normalize file name to 8 characters
906 Name_Len := Name_Len - 4;
907 while Name_Len < 8 loop
908 Name_Len := Name_Len + 1;
910 end loop;
912 -- Check our lists of names, if we find a match, return corresponding
913 -- indication of whether the file is RM defined, respecting the RM
914 -- version in which it is defined.
916 for J in Non_Imp_File_Names_95'Range loop
917 if Name_Buffer (1 .. 8) = Non_Imp_File_Names_95 (J).Fname then
918 return Non_Imp_File_Names_95 (J).RMdef;
919 end if;
920 end loop;
922 for J in Non_Imp_File_Names_05'Range loop
923 if Name_Buffer (1 .. 8) = Non_Imp_File_Names_05 (J).Fname then
924 return Non_Imp_File_Names_05 (J).RMdef
925 and then Ada_Version >= Ada_2005;
926 end if;
927 end loop;
929 for J in Non_Imp_File_Names_12'Range loop
930 if Name_Buffer (1 .. 8) = Non_Imp_File_Names_12 (J).Fname then
931 return Non_Imp_File_Names_95 (J).RMdef
932 and then Ada_Version >= Ada_2012;
933 end if;
934 end loop;
936 -- If unit is in System, Ada or Interfaces hierarchies and did not match
937 -- any entry in the list, means it is an internal implementation defined
938 -- unit which the restriction should definition forbid.
940 return True;
941 end Not_Impl_Defined_Unit;
943 end Impunit;