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

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 C. Montangero.
   8  -- Modificata il 24/3/2010-8/4/2010 per estrarre Time.
   9  ------------------------------------------------------------------
  10  
  11  ------------------------------------------------------------------
  12  -- Clock
  13  --
  14  -- Implementation Notes:
  15  --    None.
  16  --
  17  ------------------------------------------------------------------
  18  with Time,Time.Interface;
  19  package body Clock
  20  is
  21     ------------------------------------------------------------------
  22     -- Types and constants
  23     --
  24     ------------------------------------------------------------------
  25     --
  26     ------------------------------------------------------------------
  27     -- State
  28     --
  29     ------------------------------------------------------------------
  30     CurrentTime : Time.T;
  31  
  32     ------------------------------------------------------------------
  33     -- Public Operations
  34     ------------------------------------------------------------------
  35  
  36     ------------------------------------------------------------------
  37     -- Poll
  38     --
  39     -- Implementation Notes:
  40     --    None.
  41     --
  42     ------------------------------------------------------------------
  43  
  44     procedure Poll
  45     is
  46     begin
  47        CurrentTime:=Time.Interface.GetNow;
  48     end Poll;

+++        Flow analysis of subprogram Poll performed: no 
           errors found.

  49  
  50     ------------------------------------------------------------------
  51     -- TheCurrentTime
  52     --
  53     -- Implementation Notes:
  54     --    None.
  55     --
  56     ------------------------------------------------------------------
  57  
  58     function TheCurrentTime return Time.T
  59     is
  60     begin
  61        return CurrentTime;
  62     end TheCurrentTime;

+++        Flow analysis of subprogram TheCurrentTime 
           performed: no errors found.

  63  
  64  end Clock;
2 summarized warning(s), comprising:
     2 use(s) of Ada2005 reserved words



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