DEFINITION MODULE date;
(* Modul för hantering av datum. *)

TYPE Year = CARDINAL;
     Month = (Jan,Feb,Mar,Apr,Maj,Jun,Jul,Aug,Sep,Oct,Nov,Dec);
     Day = [1..31];

     Date = RECORD
     	      year:Year;
     	      month:Month;
     	      day:Day
     	    END;

PROCEDURE ReadDate(VAR date:Date);
  (* Denna procedur läser in ett datum. Årtal, månadsnummer och dagnummer
   * matas åtskiljda av mellanslag
   *)

PROCEDURE WriteDate(date:Date);
  (* Denna procedur skriver ut ett datum. *)

PROCEDURE NextDay(date:Date; VAR nextday:Date);
  (* Denna funktion räknar ut datumet för dagen efter ett givet datumet. *)

END date.