Class DT_DATE

Class DT_DATE_VALUE

note

description:

    "Values dealing with year, month and day"

library:    "Gobo Eiffel Time Library"
author:     "Eric Bezault <ericb@gobosoft.com>"
copyright:  "Copyright (c) 2000-2001, Eric Bezault and others"
license:    "MIT License"

deferred class interface

DT_DATE_VALUE

feature -- Access

year: INTEGER
        -- Year
    deferred

month: INTEGER
        -- Month
    deferred

day: INTEGER
        -- Day
    deferred

feature -- Output

out: STRING
        -- Printable representation (year/month/day)
        -- (From GENERAL.)
    ensure
        out_not_void: Result /= Void

date_out: STRING
        -- Printable representation (year/month/day)
    ensure
        date_out_not_void: Result /= Void

append_to_string (a_string: STRING)
        -- Append printable representation
        -- (year/month/day) to a_string.
    require
        a_string_not_void: a_string /= Void

append_date_to_string (a_string: STRING)
        -- Append printable representation
        -- (year/month/day) to a_string.
    require
        a_string_not_void: a_string /= Void

end -- class DT_DATE_VALUE