X-Git-Url: http://git.sourceforge.jp/view?a=blobdiff_plain;f=gcc%2Fada%2Fvalidsw.ads;h=1038b366a6dd3ce79d2bebded79d9d240e2aea51;hb=0c1fe26b5f780a30fd26e3e3075764f99322dbbf;hp=6fad21054affc64f7f432d25da94234d686d7628;hpb=9dfe12ae5b94d03c997ea2903022a5d2d5c5f266;p=pf3gnuchains%2Fgcc-fork.git

diff --git a/gcc/ada/validsw.ads b/gcc/ada/validsw.ads
index 6fad21054af..1038b366a6d 100644
--- a/gcc/ada/validsw.ads
+++ b/gcc/ada/validsw.ads
@@ -6,7 +6,7 @@
 --                                                                          --
 --                                 S p e c                                  --
 --                                                                          --
---          Copyright (C) 2001-2003 Free Software Foundation, Inc.          --
+--          Copyright (C) 2001-2006, 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- --
@@ -16,8 +16,8 @@
 -- or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License --
 -- for  more details.  You should have  received  a copy of the GNU General --
 -- Public License  distributed with GNAT;  see file COPYING.  If not, write --
--- to  the Free Software Foundation,  59 Temple Place - Suite 330,  Boston, --
--- MA 02111-1307, USA.                                                      --
+-- to  the  Free Software Foundation,  51  Franklin  Street,  Fifth  Floor, --
+-- Boston, MA 02110-1301, USA.                                              --
 --                                                                          --
 -- GNAT was originally developed  by the GNAT team at  New York University. --
 -- Extensive contributions were provided by Ada Core Technologies Inc.      --
@@ -47,12 +47,19 @@ package Validsw is
    --  pragma, then the right side of assignments and also initializing
    --  expressions in object declarations are checked for validity.
 
+   Validity_Check_Components : Boolean := False;
+   --  Controls validity checking for assignment to elementary components of
+   --  records. If this switch is set true using -gnatVe, or an 'e' in the
+   --  argument of Validity_Checks pragma, then the right hand of an assignment
+   --  to such a component is checked for validity.
+
    Validity_Check_Default : Boolean := True;
-   --  Controls default (reference manual) validity checking. If this switch
-   --  is set to True using -gnatVd or a 'd' in the argument of a Validity_
-   --  Checks pragma then left side subscripts and case statement arguments
-   --  are checked for validity. This switch is also set by default if no
-   --  -gnatV switch is used and no Validity_Checks pragma is processed.
+   --  Controls default (reference manual) validity checking. If this switch is
+   --  set to True using -gnatVd or a 'd' in the argument of a Validity_ Checks
+   --  pragma (or the initial default value is used, set True), then left side
+   --  subscripts and case statement arguments are checked for validity. This
+   --  switch is also set by default if no -gnatV switch is used and no
+   --  Validity_Checks pragma is processed.
 
    Validity_Check_Floating_Point : Boolean := False;
    --  Normally validity checking applies only to discrete values (integer