class type date =object..end
method getTime : floatmethod getDate : intmethod getMonth : intmethod getHours : intmethod getMinutes : intmethod getFullYear : intmethod setDate : int -> unitmethod setMonth : int -> unitmethod setHours : int -> unitmethod setMinutes : int -> unitmethod toString : stringmethod toDateString : stringmethod toLocaleString : string