class
	TIME

General
	cluster: time
	description: "Absolute times"
	create: make, make_fine, make_now, make_now_utc, make_by_seconds, make_by_fine_seconds, make_from_string, make_from_string_default, make_by_compact_time

Ancestors
	ABSOLUTE*
	DEBUG_OUTPUT*
	TIME_VALIDITY_CHECKER
	TIME_VALUE

Queries
	compact_time: INTEGER_32
	compact_time_valid (c_t: INTEGER_32): BOOLEAN
	Date_time_tools: DATE_TIME_TOOLS
	debug_output: STRING_8
	default_format_string: STRING_8
	duration: TIME_DURATION
	fine_second: REAL_64
	fine_seconds: REAL_64
	formatted_out (s: STRING_8): STRING_8
	fractional_second: REAL_64
	hour: INTEGER_32
	Hours_in_day: INTEGER_32
	is_correct_time (h, m: INTEGER_32; s: REAL_64; twelve_hour_scale: BOOLEAN): BOOLEAN
	is_equal (other: [like Current] TIME): BOOLEAN
	is_greater alias ">" (other: [like Current] TIME): BOOLEAN
	is_greater_equal alias ">=" (other: [like Current] TIME): BOOLEAN
	is_less alias "<" (other: [like Current] TIME): BOOLEAN
	is_less_equal alias "<=" (other: [like Current] TIME): BOOLEAN
	max (other: [like Current] TIME): [like Current] TIME
	micro_second: INTEGER_32
	milli_second: INTEGER_32
	min (other: [like Current] TIME): [like Current] TIME
	minus alias "-" (other: [like Current] TIME): INTERVAL [[like Current] TIME]
	minute: INTEGER_32
	Minutes_in_hour: INTEGER_32
	nano_second: INTEGER_32
	Origin: TIME
	out: STRING_8
	plus alias "+" (t: TIME_DURATION): TIME
	relative_duration (other: [like Current] TIME): TIME_DURATION
	second: INTEGER_32
	seconds: INTEGER_32
	Seconds_in_day: INTEGER_32
	Seconds_in_hour: INTEGER_32
	Seconds_in_minute: INTEGER_32
	three_way_comparison (other: [like Current] TIME): INTEGER_32
	time_default_format_string: STRING_8
	time_valid (s, code_string: STRING_8): BOOLEAN

Commands
	fine_second_add (f: REAL_64)
	hour_add (h: INTEGER_32)
	hour_back
	hour_forth
	make (h, m, s: INTEGER_32)
	make_by_compact_time (c_t: INTEGER_32)
	make_by_fine_seconds (sec: REAL_64)
	make_by_seconds (sec: INTEGER_32)
	make_fine (h, m: INTEGER_32; s: REAL_64)
	make_from_string (s, code: STRING_8)
	make_from_string_default (s: STRING_8)
	make_now
	make_now_utc
	minute_add (m: INTEGER_32)
	minute_back
	minute_forth
	second_add (s: INTEGER_32)
	second_back
	second_forth
	set_fine_second (s: REAL_64)
	set_fractionals (f: REAL_64)
	set_hour (h: INTEGER_32)
	set_minute (m: INTEGER_32)
	set_second (s: INTEGER_32)

Constraints
	second large enough
	second small enough
	fractionals large enough
	fractionals small enough
	minute large enough
	minute small enough
	hour large enough
	hour small enough

Generated by ISE EiffelStudio