           *******************************************************
                            Listing of SPARK Text
                             Examiner GPL Edition

           *******************************************************


Line
      with Ada.Calendar;
           ^
---        Warning           :  1: The identifier Ada is either undeclared or not 
           visible at this point.

      package body Non_Spark_Stuff is
         --# hide non_spark_stuff
         --SPARK doesn't support Ada.Calendar
         EPOCH_START : constant Ada.Calendar.Time := Ada.Calendar.Time_Of(1970,1,1,0.0);
         --THIS MUST BE CALLED WITH ALL PARAMETERS HAVING VALID VALUES OR IT WILL THROW
         --AN EXCEPTION
         function Time_Of(Year, Month, Day, Hour, Minute, Second : Natural) return Unsigned_Types.Unsigned32
               is
            use type Ada.Calendar.Time;
         begin
            return Unsigned_Types.Unsigned32(Ada.Calendar.Time_Of(Year,Month,Day,
               Duration(3600*Hour+60*Minute+Second)) - EPOCH_START);
         end Time_Of;
      end Non_Spark_Stuff;

---        Warning           : 10: The body of package Non_Spark_Stuff is hidden - 
           hidden text is ignored by the Examiner.


Note: Flow analysis mode is automatic


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