note description: "Date/Time Measurement" legal: "See notice at end of class." status: "See notice at end of class." date: "$Date: 2009-01-01 12:38:30 +0000 (Thu, 01 Jan 2009) $" revision: "$Revision: 76534 $" deferred class interface DATE_TIME_MEASUREMENT feature -- Access date: DATE_MEASUREMENT -- Date corresponding to current object time: TIME_MEASUREMENT -- Time corresponding to current object year: INTEGER_32 -- Year of the current object ensure same_year: Result = date.year month: INTEGER_32 -- Month of the current object ensure same_month: Result = date.month day: INTEGER_32 -- Day of the current object ensure same_day: Result = date.day hour: INTEGER_32 -- Hour of the current object ensure same_hour: Result = time.hour minute: INTEGER_32 -- Minute of the current object ensure same_minute: Result = time.minute second: INTEGER_32 -- Second of the current object ensure same_second: Result = time.second fine_second: REAL_64 -- Representation of second with decimals ensure same_fine_second: Result = time.fine_second invariant date_exists: date /= Void time_exists: time /= Void note copyright: "Copyright (c) 1984-2009, Eiffel Software and others" license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)" source: "[ Eiffel Software 5949 Hollister Ave., Goleta, CA 93117 USA Telephone 805-685-1006, Fax 805-685-6869 Website http://www.eiffel.com Customer support http://support.eiffel.com ]" end -- class DATE_TIME_MEASUREMENT
Generated by ISE EiffelStudio