diff options
Diffstat (limited to 'gcc/ada/targparm.ads')
| -rw-r--r-- | gcc/ada/targparm.ads | 21 |
1 files changed, 6 insertions, 15 deletions
diff --git a/gcc/ada/targparm.ads b/gcc/ada/targparm.ads index 942b501af18..75251d2ff0d 100644 --- a/gcc/ada/targparm.ads +++ b/gcc/ada/targparm.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1999-2003 Free Software Foundation, Inc. -- +-- Copyright (C) 1999-2004 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- -- @@ -68,7 +68,6 @@ with Rident; use Rident; with Types; use Types; -with Uintp; use Uintp; package Targparm is @@ -107,19 +106,11 @@ package Targparm is -- The only other pragma allowed is a pragma Restrictions that gives the -- simple name of a restriction for which partition consistency is always - -- required (see definition of Rident.Partition_Restrictions). - - Restrictions_On_Target : - array (Partition_Restrictions) of Boolean := (others => False); - -- Element is set True if a pragma Restrictions for the corresponding - -- identifier appears in system.ads. Note that only partition restriction - -- identifiers are permitted as arguments for pragma Restrictions for - -- pragmas appearing at the start of system.ads. - - Restriction_Parameters_On_Target : - array (Restriction_Parameter_Id) of Uint := (others => No_Uint); - -- Element is set to specified value if a pragma Restrictions for the - -- corresponding restriction parameter value is set. + -- required (see definition of Rident.Restriction_Info). + + Restrictions_On_Target : Restrictions_Info; + -- Records restrictions specified by system.ads. Only the Set and Value + -- members are modified. The Violated and Count fields are never modified. ------------------- -- Run Time Name -- |
