note
	status: "See notice at end of class."
	date: "$Date: 2009-05-14 00:35:57 +0000 (Thu, 14 May 2009) $"
	revision: "$Revision: 78680 $"
	access: date, time

deferred class interface
	DATE_TIME_VALUE

feature -- Access

	date: DATE_VALUE
			-- Date of the current object

	time: TIME_VALUE
			-- Time of the current object

	fractional_second: REAL_64
			-- Decimal part of second
		ensure
			same_fractional: Result = time.fractional_second
	
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_VALUE

Generated by ISE EiffelStudio