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

Line
   1  with BasicTypes;
   2  --# inherit BasicTypes,
   3  --#        Time;
   4  package Time.Interface
   5  --# own in Now;
   6  is
   7     function GetNow return Time.T;
   8     --# global in     Now;
   9  
  10     function ValidTimeData
  11       (Year      : in     BasicTypes.Unsigned32T;
  12        Month     : in     BasicTypes.Unsigned32T;
  13        Day       : in     BasicTypes.Unsigned32T;
  14        TimeOfDay : in     Time.DurationT) return Boolean;
  15  
  16        ------------------------------------------------------------------
  17     -- ConstructTimeFromDuration
  18     --
  19     -- Implementation Notes:
  20     --    None.
  21     --
  22     ------------------------------------------------------------------
  23     procedure ConstructTimeFromDuration
  24       (Year      : in     BasicTypes.Unsigned32T;
  25        Month     : in     BasicTypes.Unsigned32T;
  26        Day       : in     BasicTypes.Unsigned32T;
  27        TimeOfDay : in     Time.DurationT;
  28        TheTime   :    out Time.T;
  29        Success   :    out Boolean);
  30     --# derives TheTime, Success
  31     --#    from Year,
  32     --#         Month,
  33     --#         Day,
  34     --#         TimeOfDay;
  35  
  36     ------------------------------------------------------------------
  37     -- AddDuration
  38     --
  39     -- Implementation Notes:
  40     --    None.
  41     --
  42     ------------------------------------------------------------------
  43  --     function AddDuration
  44  --       (TheTime : T; TheDuration : DurationT ) return T;
  45  
  46  end Time.Interface;
2 summarized warning(s), comprising:
     2 use(s) of Ada2005 reserved words



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