| Class DT_DATE_VALUE |
indexing
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: "Eiffel Forum License v2 (see forum.txt)"
deferred class interface
DT_DATE_VALUE
feature -- Access
year: INTEGER -- Year deferredmonth: INTEGER -- Month deferredday: INTEGER -- Day deferred
feature -- Output
out: STRING -- Printable representation (year/month/day) -- (From GENERAL.) ensure out_not_void: Result /= Voiddate_out: STRING -- Printable representation (year/month/day) ensure date_out_not_void: Result /= Voidappend_to_string (a_string: STRING) -- Append printable representation -- (year/month/day) to a_string. require a_string_not_void: a_string /= Voidappend_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
|
Copyright © 2000-2001, Eric
Bezault mailto:ericb@gobosoft.com http://www.gobosoft.com Last Updated: 7 April 2001 |