indexing
	description: "Universal constants of time in a day"
	status: "See notice at end of class"
	date: "$Date$"
	revision: "$Revision$"
	access: time

class interface
	TIME_CONSTANTS

feature -- Access

	Hours_in_day: INTEGER is 24
			-- Number of hours in a day

	Minutes_in_hour: INTEGER is 60
			-- Number of minutes in an hour

	Seconds_in_day: INTEGER is 86400
			-- Number of seconds in an hour

	Seconds_in_hour: INTEGER is 3600
			-- Number of seconds in an hour

	Seconds_in_minute: INTEGER is 60
			-- Number of seconds in a minute

	time_default_format_string: STRING
			-- Default output format for times
	
invariant

		-- from ANY
	reflexive_equality: standard_is_equal (Current)
	reflexive_conformance: conforms_to (Current)

end -- class TIME_CONSTANTS