* 1aexcept.adb, 1aexcept.ads, 1ic.ads, 1ssecsta.adb,

[pf3gnuchains/gcc-fork.git] / gcc / ada / rident.ads

diff --git a/gcc/ada/rident.ads b/gcc/ada/rident.ads
index 2a9f875..c82c0fb 100644 (file)
--- a/gcc/ada/rident.ads
+++ b/gcc/ada/rident.ads
@@ -6,9 +6,7 @@
 --                                                                          --
 --                                 S p e c                                  --
 --                                                                          --
---                            $Revision$
---                                                                          --
---          Copyright (C) 1992-2001 Free Software Foundation, Inc.          --
+--          Copyright (C) 1992-2002 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- --
@@ -22,7 +20,7 @@
 -- MA 02111-1307, USA.                                                      --
 --                                                                          --
 -- GNAT was originally developed  by the GNAT team at  New York University. --
--- It is now maintained by Ada Core Technologies Inc (http://www.gnat.com). --
+-- Extensive contributions were provided by Ada Core Technologies Inc.      --
 --                                                                          --
 ------------------------------------------------------------------------------
 
@@ -36,7 +34,7 @@ package Rident is
    --  identifiers not taking a parameter that are implemented in GNAT.
    --  To add a new restriction identifier, add an entry with the name
    --  to be used in the pragma, and add appropriate calls to the
-   --  Check_Restriction routine.
+   --  Restrict.Check_Restriction routine.
 
    type Restriction_Id is (
 
@@ -46,7 +44,7 @@ package Rident is
       No_Abort_Statements,                     -- (RM D.7(5), H.4(3))
       No_Access_Subprograms,                   -- (RM H.4(17))
       No_Allocators,                           -- (RM H.4(7))
-      No_Asynchronous_Control,                 -- (RM D.9(10))
+      No_Asynchronous_Control,                 -- (RM D.7(10))
       No_Calendar,                             -- GNAT
       No_Delay,                                -- (RM H.4(21))
       No_Dispatch,                             -- (RM H.4(19))
@@ -81,6 +79,7 @@ package Rident is
       No_Task_Attributes,                      -- GNAT
       No_Task_Hierarchy,                       -- (RM D.7(3), H.4(3))
       No_Task_Termination,                     -- GNAT
+      No_Tasking,                              -- GNAT
       No_Terminate_Alternatives,               -- (RM D.7(6))
       No_Unchecked_Access,                     -- (RM H.4(18))
       No_Unchecked_Conversion,                 -- (RM H.4(16))
@@ -99,6 +98,10 @@ package Rident is
 
       Not_A_Restriction_Id);
 
+   subtype All_Restrictions is
+     Restriction_Id range Boolean_Entry_Barriers .. No_Elaboration_Code;
+   --  All restrictions except Not_A_Restriction_Id
+
    --  The following range of Restriction identifiers is checked for
    --  consistency across a partition. The generated ali file is marked
    --  for each entry to show one of three possibilities:
@@ -111,8 +114,9 @@ package Rident is
      Restriction_Id range Boolean_Entry_Barriers .. Static_Storage_Size;
 
    --  The following set of Restriction identifiers is not checked for
-   --  consistency across a partition, and the generated ali files does
-   --  not carry any indications with respect to such restrictions.
+   --  consistency across a partition. The generated ali file still
+   --  contains indications of the above three possibilities for the
+   --  purposes of listing applicable restrictions.
 
    subtype Compilation_Unit_Restrictions is
      Restriction_Id range Immediate_Reclamation .. No_Elaboration_Code;
@@ -121,7 +125,7 @@ package Rident is
    --  parameter identifiers taking a parameter that are implemented in
    --  GNAT. To add a new restriction parameter identifier, add an entry
    --  with the name to be used in the pragma, and add appropriate
-   --  calls to Check_Restriction.
+   --  calls to Restrict.Check_Restriction.
 
    --  Note: the GNAT implementation currently only accomodates restriction
    --  parameter identifiers whose expression value is a non-negative