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