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

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  -- Clock
  13  --
  14  -- Description:
  15  --    Provides a "current time" for each system cycle.
  16  --
  17  ------------------------------------------------------------------
  18  with BasicTypes,
  19       Time,
  20       Time.Interface;
  21  
  22  --# inherit BasicTypes,
  23  --#         Time,
  24  --#         Time.Interface;
  25  
  26  package Clock
  27  --# own CurrentTime;
  28  is
  29  
  30     ------------------------------------------------------------------
  31     -- Types
  32     --
  33     ------------------------------------------------------------------
  34  
  35     ------------------------------------------------------------------
  36     -- Poll
  37     --
  38     -- Description:
  39     --    Reads the system clock, and updates the internal CurrentTime.
  40     --
  41     -- Traceunit: C.Clock.Poll
  42     -- Traceto: FD.Interface.PollTime
  43     ------------------------------------------------------------------
  44  
  45     procedure Poll;
  46     --# global in     Time.Interface.Now;
  47     --#           out CurrentTime;
  48     --# derives CurrentTime from Time.Interface.Now;
  49  
  50     ------------------------------------------------------------------
  51     -- TheCurrentTime
  52     --
  53     -- Description:
  54     --    Returns CurrentTime recorded at the last poll.
  55     --
  56     -- Traceunit: C.Clock.TheCurrentTime
  57     -- Traceto: FD.RealWorld.State
  58     ------------------------------------------------------------------
  59  
  60     function TheCurrentTime return Time.T;
  61     --# global CurrentTime;
  62  
  63  --     ------------------------------------------------------------------
  64  --     -- GetNow
  65  --     --
  66  --     -- Description:
  67  --     --    Returns the system time now.
  68  --     --
  69  --     -- Traceunit: C.Clock.GetNow
  70  --     -- Traceto: FD.MonitoredRealWorld.State
  71  --     ------------------------------------------------------------------
  72  --
  73  --     function GetNow return Time.T;
  74  --     --# global Now;
  75  
  76  end Clock;
  77  
  78  
  79  
  80  
  81  
  82  
1 summarized warning(s), comprising:
     1 use(s) of Ada2005 reserved words



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