Automatic generation produced by ISE Eiffel
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 div (i, j: INTEGER_32): INTEGER_32 duration: TIME_DURATION fine_second: REAL_64 fine_seconds: REAL_64 formatted_out (s: READABLE_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 ">=" alias "≥" (other: [like Current] TIME): BOOLEAN is_less alias "<" (other: [like Current] TIME): BOOLEAN is_less_equal alias "<=" alias "≤" (other: [like Current] TIME): BOOLEAN max alias "∨" (other: [like Current] TIME): [like Current] TIME micro_second: INTEGER_32 milli_second: INTEGER_32 min alias "∧" (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 mod (i, j: INTEGER_32): 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 alias "⋚" (other: [like Current] TIME): INTEGER_32 time_default_format_string: STRING_8 time_valid (s, code_string: READABLE_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: READABLE_STRING_8) make_from_string_default (s: READABLE_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 Eiffel Studio --
For more details: eiffel.org