*******************************************************
                            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 : 08-APR-2010 11:36:20.73

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.SparkInterface
  13  --
  14  -- Description:
  15  --    SparkInterface to the system clock.
  16  --
  17  ------------------------------------------------------------------
  18  with Clock, -- non dovrebbe essere naturale?
  19       Time;
  20  --# inherit Clock,
  21  --#         Time;
  22  
  23  private package Clock.SparkInterface
  24  --# own in Now;
  25  is
  26  
  27     ------------------------------------------------------------------
  28     -- Types
  29     --
  30     ------------------------------------------------------------------
  31  
  32  
  33     ------------------------------------------------------------------
  34     -- TheTime
  35     --
  36     -- Description:
  37     --    returns the current time from the system clock.
  38     --
  39  
  40     procedure TheTime(Year, Month, Day, Sec : out Integer );
  41     --# global in Now;
  42     --# derives Year, Day, Month, Sec from Now;
  43  --     ------------------------------------------------------------------
  44  --     function TheTime return Time.T;
  45  --     --# global in Now;
  46  --
  47  --     ------------------------------------------------------------------
  48  --     -- AddDuration
  49  --     --
  50  --     -- Description:
  51  --     --    Adds a duration to a time.
  52  --     --
  53  --     ------------------------------------------------------------------
  54  --     function AddDuration ( T : Time.T ; D : Time.DurationT )
  55  --                           return Time.T;
  56  --
  57  --     ------------------------------------------------------------------
  58  --     -- IsValidTime
  59  --     --
  60  --     -- Description:
  61  --     --    Uses system calls to check that the supplied time is valid.
  62  --     --
  63  --     ------------------------------------------------------------------
  64  --     function IsValidTime ( T : Time.T ) return Boolean;
  65  
  66  end Clock.SparkInterface;


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