*******************************************************
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--------------------------------------------------