| blob | 99d0c27140b974d6e19316d90ed8ebd267e897a9 |
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
570 ----------------------------------------
571 -- GNAT Defined Additions to Ada 2012 --
572 ----------------------------------------
581 -----------------------
582 -- Alternative Units --
583 -----------------------
585 -- For some implementation units, there is a unit in the GNAT library
586 -- that has identical functionality that is usable. If we have such a
587 -- case we record the appropriate Unit name in Error_Msg_String.
594 -- Array of alternative unit names
607 -- Array giving mapping
612 ("htable", Shtable'Access),
613 ("os_lib", Sos_lib'Access),
614 ("regexp", Sregexp'Access),
615 ("regpat", Sregpat'Access),
616 ("string", Sstring'Access),
617 ("stusta", Sstusta'Access),
618 ("tasloc", Stasloc'Access),
619 ("utf_32", Sutf_32'Access));
621 ----------------------
622 -- Get_Kind_Of_Unit --
623 ----------------------
625 function Get_Kind_Of_Unit (U : Unit_Number_Type) return Kind_Of_Unit is
626 Fname : constant File_Name_Type := Unit_File_Name (U);
628 begin
629 Error_Msg_Strlen := 0;
630 Get_Name_String (Fname);
632 -- Ada/System/Interfaces are all Ada 95 units
634 if (Name_Len = 7 and then Name_Buffer (1 .. 7) = "ada.ads")
635 or else
636 (Name_Len = 10 and then Name_Buffer (1 .. 10) = "system.ads")
637 or else
638 (Name_Len = 12 and then Name_Buffer (1 .. 12) = "interfac.ads")
639 then
640 return Ada_95_Unit;
641 end if;
643 -- If length of file name is greater than 12, not predefined. The value
644 -- 12 here is an 8 char name with extension .ads.
646 if Name_Len > 12 then
647 return Not_Predefined_Unit;
648 end if;
650 -- Not predefined if file name does not start with a- g- s- i-
652 if Name_Len < 3
655 and then
657 and then
659 and then
661 then
662 return Not_Predefined_Unit;
663 end if;
665 -- Not predefined if file name does not end in .ads. This can
666 -- happen when non-standard file names are being used.
668 if Name_Buffer (Name_Len - 3 .. Name_Len) /= ".ads" then
669 return Not_Predefined_Unit;
670 end if;
672 -- Otherwise normalize file name to 8 characters
674 Name_Len := Name_Len - 4;
675 while Name_Len < 8 loop
676 Name_Len := Name_Len + 1;
678 end loop;
680 -- See if name is in 95 list
682 for J in Non_Imp_File_Names_95'Range loop
683 if Name_Buffer (1 .. 8) = Non_Imp_File_Names_95 (J).Fname then
684 return Ada_95_Unit;
685 end if;
686 end loop;
688 -- See if name is in 2005 list
690 for J in Non_Imp_File_Names_05'Range loop
691 if Name_Buffer (1 .. 8) = Non_Imp_File_Names_05 (J).Fname then
692 return Ada_2005_Unit;
693 end if;
694 end loop;
696 -- See if name is in 2012 list
698 for J in Non_Imp_File_Names_12'Range loop
699 if Name_Buffer (1 .. 8) = Non_Imp_File_Names_12 (J).Fname then
700 return Ada_2012_Unit;
701 end if;
702 end loop;
704 -- Only remaining special possibilities are children of System.RPC and
705 -- System.Garlic and special files of the form System.Aux...
707 Get_Name_String (Unit_Name (U));
709 if Name_Len > 12
710 and then Name_Buffer (1 .. 11) = "system.rpc."
711 then
712 return Ada_95_Unit;
713 end if;
715 if Name_Len > 15
716 and then Name_Buffer (1 .. 14) = "system.garlic."
717 then
718 return Ada_95_Unit;
719 end if;
721 if Name_Len > 11
722 and then Name_Buffer (1 .. 10) = "system.aux"
723 then
724 return Ada_95_Unit;
725 end if;
727 -- All tests failed, this is definitely an implementation unit. See if
728 -- we have an alternative name.
730 Get_Name_String (Fname);
732 if Name_Len in 11 .. 12
733 and then Name_Buffer (1 .. 2) = "s-"
734 and then Name_Buffer (Name_Len - 3 .. Name_Len) = ".ads"
735 then
736 for J in Map_Array'Range loop
737 if (Name_Len = 12 and then
738 Name_Buffer (3 .. 8) = Map_Array (J).Fname)
739 or else
740 (Name_Len = 11 and then
741 Name_Buffer (3 .. 7) = Map_Array (J).Fname (1 .. 5))
742 then
743 Error_Msg_Strlen := Map_Array (J).Aname'Length;
744 Error_Msg_String (1 .. Error_Msg_Strlen) :=
745 Map_Array (J).Aname.all;
746 end if;
747 end loop;
748 end if;
750 return Implementation_Unit;
751 end Get_Kind_Of_Unit;
753 -------------------
754 -- Is_Known_Unit --
755 -------------------
757 function Is_Known_Unit (Nam : Node_Id) return Boolean is
758 Unam : Unit_Name_Type;
759 Fnam : File_Name_Type;
761 begin
762 -- If selector is not an identifier (e.g. it is a character literal or
763 -- some junk from a previous error), then definitely not a known unit.
765 if Nkind (Selector_Name (Nam)) /= N_Identifier then
766 return False;
767 end if;
769 -- Otherwise get corresponding file name
771 Unam := Get_Unit_Name (Nam);
772 Fnam := Get_File_Name (Unam, Subunit => False);
773 Get_Name_String (Fnam);
775 Error_Msg_Strlen := 0;
777 -- Ada/System/Interfaces are all Ada 95 units
779 if (Name_Len = 7 and then Name_Buffer (1 .. 7) = "ada.ads")
780 or else
781 (Name_Len = 10 and then Name_Buffer (1 .. 10) = "system.ads")
782 or else
783 (Name_Len = 12 and then Name_Buffer (1 .. 12) = "interfac.ads")
784 then
785 return True;
786 end if;
788 -- Remove extension from file name
790 if Name_Buffer (Name_Len - 3 .. Name_Len) = ".adb"
791 or else
792 Name_Buffer (Name_Len - 3 .. Name_Len) = ".ads"
793 then
794 Name_Len := Name_Len - 4;
795 else
796 return False;
797 end if;
799 -- Pad name to 8 characters
801 while Name_Len < 8 loop
802 Name_Len := Name_Len + 1;
804 end loop;
806 -- If length more than 8, definitely not a match
808 if Name_Len /= 8 then
809 return False;
810 end if;
812 -- If length is 8, search our tables
814 for J in Non_Imp_File_Names_95'Range loop
815 if Name_Buffer (1 .. 8) = Non_Imp_File_Names_95 (J).Fname then
816 return True;
817 end if;
818 end loop;
820 for J in Non_Imp_File_Names_05'Range loop
821 if Name_Buffer (1 .. 8) = Non_Imp_File_Names_05 (J).Fname then
822 return True;
823 end if;
824 end loop;
826 for J in Non_Imp_File_Names_12'Range loop
827 if Name_Buffer (1 .. 8) = Non_Imp_File_Names_12 (J).Fname then
828 return True;
829 end if;
830 end loop;
832 -- If not found, not known
834 return False;
836 -- A safety guard, if we get an exception during this processing then it
837 -- is most likely the result of a previous error, or a peculiar case we
838 -- have not thought of. Since this routine is only used for error message
839 -- refinement, we will just return False.
841 exception
842 when others =>
843 return False;
844 end Is_Known_Unit;
846 ---------------------------
847 -- Not_Impl_Defined_Unit --
848 ---------------------------
850 function Not_Impl_Defined_Unit (U : Unit_Number_Type) return Boolean is
851 Fname : constant File_Name_Type := Unit_File_Name (U);
853 begin
854 Error_Msg_Strlen := 0;
855 Get_Name_String (Fname);
857 -- Ada/System/Interfaces are all RM-defined Ada 95 units
859 if (Name_Len = 7 and then Name_Buffer (1 .. 7) = "ada.ads")
860 or else
861 (Name_Len = 10 and then Name_Buffer (1 .. 10) = "system.ads")
862 or else
863 (Name_Len = 12 and then Name_Buffer (1 .. 12) = "interfac.ads")
864 then
865 return True;
866 end if;
868 -- If length of file name is greater than 12, then it's a user unit
869 -- and not a GNAT implementation defined unit.
871 if Name_Len > 12 then
872 return True;
873 end if;
875 -- Implementation defined if unit in the gnat hierarchy
877 if (Name_Len = 8 and then Name_Buffer (1 .. 8) = "gnat.ads")
878 or else (Name_Len > 2 and then Name_Buffer (1 .. 2) = "g-")
879 then
880 return False;
881 end if;
883 -- Not implementation defined if file name does not start with a- s- i-
885 if Name_Len < 3
888 and then
890 and then
892 then
893 return True;
894 end if;
896 -- Not impl-defined if file name does not end in .ads. This can happen
897 -- when non-standard file names are being used.
899 if Name_Buffer (Name_Len - 3 .. Name_Len) /= ".ads" then
900 return True;
901 end if;
903 -- Otherwise normalize file name to 8 characters
905 Name_Len := Name_Len - 4;
906 while Name_Len < 8 loop
907 Name_Len := Name_Len + 1;
909 end loop;
911 -- Check our lists of names, if we find a match, return corresponding
912 -- indication of whether the file is RM defined, respecting the RM
913 -- version in which it is defined.
915 for J in Non_Imp_File_Names_95'Range loop
916 if Name_Buffer (1 .. 8) = Non_Imp_File_Names_95 (J).Fname then
917 return Non_Imp_File_Names_95 (J).RMdef;
918 end if;
919 end loop;
921 for J in Non_Imp_File_Names_05'Range loop
922 if Name_Buffer (1 .. 8) = Non_Imp_File_Names_05 (J).Fname then
923 return Non_Imp_File_Names_05 (J).RMdef
924 and then Ada_Version >= Ada_2005;
925 end if;
926 end loop;
928 for J in Non_Imp_File_Names_12'Range loop
929 if Name_Buffer (1 .. 8) = Non_Imp_File_Names_12 (J).Fname then
930 return Non_Imp_File_Names_95 (J).RMdef
931 and then Ada_Version >= Ada_2012;
932 end if;
933 end loop;
935 -- If unit is in System, Ada or Interfaces hierarchies and did not match
936 -- any entry in the list, means it is an internal implementation defined
937 -- unit which the restriction should definition forbid.
939 return True;
940 end Not_Impl_Defined_Unit;
942 end Impunit;