date_handling.ads

package Date_Handling is
   type Date_Type is private;

   function Previous_Date (D : in Date_Type) return Date_Type;
   function Next_Date (D : in Date_Type) return Date_Type;
   function "<" (A, B : in Date_Type) return Boolean;
   function ">" (A, B : in Date_Type) return Boolean;
   function "=" (A, B : in Date_Type) return Boolean;
   procedure Get (D : in out Date_Type);
   procedure Put (D : in Date_Type);

   Day_Error, Month_Error, Year_Error : exception;
private

   type Date_Type is
      record
         Year : Integer range -9999..9999;
     Month : Integer range 1..12;
     Day : Integer range  1..31;
      end record;
end Date_Handling;