OSDN Git Service

2007-04-20 Javier Miranda <miranda@adacore.com>
[pf3gnuchains/gcc-fork.git] / gcc / ada / s-unstyp.ads
index 0b315a8..2b813ef 100644 (file)
@@ -1,14 +1,12 @@
 ------------------------------------------------------------------------------
 --                                                                          --
---                          GNAT RUNTIME COMPONENTS                         --
+--                          GNAT RUN-TIME COMPONENTS                        --
 --                                                                          --
 --                S Y S T E M . U N S I G N E D _ T Y P E S                 --
 --                                                                          --
 --                                 S p e c                                  --
 --                                                                          --
---                            $Revision: 1.20 $
---                                                                          --
---          Copyright (C) 1992-2001 Free Software Foundation, Inc.          --
+--          Copyright (C) 1992-2005 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- --
@@ -18,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.                                              --
 --                                                                          --
 -- As a special exception,  if other files  instantiate  generics from this --
 -- unit, or you link  this unit with other files  to produce an executable, --
 -- covered by the  GNU Public License.                                      --
 --                                                                          --
 -- 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.      --
 --                                                                          --
 ------------------------------------------------------------------------------
 
 --  This package contains definitions of standard unsigned types that
 --  correspond in size to the standard signed types declared in Standard.
---  and (unlike the types in Interfaces have corresponding names). It
+--  and (unlike the types in Interfaces) have corresponding names. It
 --  also contains some related definitions for other specialized types
---  used only by the expander.
+--  used by the compiler in connection with packed array types.
 
 package System.Unsigned_Types is
-pragma Pure (Unsigned_Types);
+   pragma Pure;
 
    type Short_Short_Unsigned is mod 2 ** Short_Short_Integer'Size;
    type Short_Unsigned       is mod 2 ** Short_Integer'Size;
@@ -57,6 +55,7 @@ pragma Pure (Unsigned_Types);
 
    type Packed_Bytes1 is array (Natural range <>) of Packed_Byte;
    for Packed_Bytes1'Alignment use 1;
+   for Packed_Bytes1'Component_Size use Packed_Byte'Size;
    --  This is the type used to implement packed arrays where no alignment
    --  is required. This includes the cases of 1,2,4 (where we use direct
    --  masking operations), and all odd component sizes (where the clusters
@@ -89,7 +88,7 @@ pragma Pure (Unsigned_Types);
    --  Types used for packed array conversions
 
    subtype Bytes_F is Packed_Bytes4 (1 .. Float'Size / 8);
-   --  Type used in implementation of Is_Negative instrinsic (see Exp_Intr)
+   --  Type used in implementation of Is_Negative intrinsic (see Exp_Intr)
 
    function Shift_Left
      (Value  : Short_Short_Unsigned;