Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
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
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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