Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 
class
	TIME_VALUE

General
	cluster: time
	description: "Values of time"

Ancestors
	TIME_MEASUREMENT*

Queries
	compact_time: INTEGER_32
	Date_time_tools: DATE_TIME_TOOLS
	default_format_string: STRING_8
	div (i, j: INTEGER_32): INTEGER_32
	fine_second: REAL_64
	fractional_second: REAL_64
	hour: INTEGER_32
	Hours_in_day: INTEGER_32
	micro_second: INTEGER_32
	milli_second: INTEGER_32
	minute: INTEGER_32
	Minutes_in_hour: INTEGER_32
	mod (i, j: INTEGER_32): INTEGER_32
	nano_second: INTEGER_32
	second: INTEGER_32
	Seconds_in_day: INTEGER_32
	Seconds_in_hour: INTEGER_32
	Seconds_in_minute: INTEGER_32
	time_default_format_string: STRING_8

Commands
	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)



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

-- Generated by Eiffel Studio --
For more details: eiffel.org