(*
    Title: 	TimeDate - Definitions
    LastEdit:	"Thu Mar  8 11:56:49 1984"
    Author: 	Mick Jordan
                Cambridge University Computer Laboratory
*)

DEFINITION MODULE TimeDate;

EXPORT QUALIFIED 
    TIMESTRING, DATESTRING, Time, TimeString, Date, DateString;

TYPE TIMESTRING = ARRAY [0 .. 8] OF CHAR;
     DATESTRING = ARRAY [0 .. 9] OF CHAR;

PROCEDURE Time(): CARDINAL;
(*  the time of day in binary in the following format:-
      (hour*64 + min)*64 + sec
*)
PROCEDURE Date(): CARDINAL;
(*  the date in binary in the following format:-
      ((year-1900)*16 + month)*32 + day
*)
PROCEDURE TimeString(VAR t: TIMESTRING);
(*  the time as a string the following format:-
      hh:mm:ss
*)
PROCEDURE DateString(VAR d: DATESTRING);
(*  the date as a string in the following format:-
      dd-mmm-yy
*)
END TimeDate.
