*******************************************************
                            Listing of SPARK Text
 SPARK Examiner GPL Edition, Version 8.1.1, Build Date 20090505, Build 13202
      Copyright (C) 2009 Praxis High Integrity Systems Ltd., Bath, U.K.
           *******************************************************


                        DATE : 15-APR-2010 10:29:07.23

Line
   1  ------------------------------------------------------------------
   2  -- Tokeneer ID Station Core Software
   3  --
   4  -- Copyright (2003) United States Government, as represented
   5  -- by the Director, National Security Agency. All rights reserved.
   6  --
   7  -- This material was originally developed by Praxis High Integrity
   8  -- Systems Ltd. under contract to the National Security Agency.
   9  ------------------------------------------------------------------
  10  
  11  ------------------------------------------------------------------
  12  -- BasicTypes
  13  --
  14  -- Description:
  15  --    A library of commonly used types.
  16  --
  17  ------------------------------------------------------------------
  18  
  19  package BasicTypes is
  20  
  21     type Unsigned32T is range 0 .. 2**32 - 1;
  22     for Unsigned32T'Size use 32;
  23  
  24     type Signed32T is range - (2**31) .. 2**31 - 1;
  25     for Signed32T'Size use 32;
  26  
  27     type ByteT is range 0..255;
  28     for ByteT'Size use 8;
  29  
  30     type PresenceT is (Present, Absent);
  31  
  32  end BasicTypes;
3 summarized warning(s), comprising:
     3 representation clause(s)*
(*Note: the above warnings may affect the validity of the analysis.)



--End of file--------------------------------------------------