Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class TIME_DURATION General cluster: time description: "Durations of time" create: make, make_fine, make_by_seconds, make_by_fine_seconds Ancestors DOUBLE_MATH DURATION* TIME_MEASUREMENT* Queries arc_cosine (v: REAL_64): REAL_64 arc_sine (v: REAL_64): REAL_64 arc_tangent (v: REAL_64): REAL_64 canonical: BOOLEAN ceiling (v: REAL_64): REAL_64 cosine (v: REAL_64): REAL_64 dabs (v: REAL_64): REAL_64 Date_time_tools: DATE_TIME_TOOLS default_format_string: STRING_8 div (i, j: INTEGER_32): INTEGER_32 Euler: REAL_64 exp (x: REAL_64): REAL_64 fine_second: REAL_64 fine_seconds_count: REAL_64 floor (v: REAL_64): REAL_64 fractional_second: REAL_64 hour: INTEGER_32 Hours_in_day: INTEGER_32 identity alias "+": [like Current] TIME_DURATION is_equal (other: [like Current] TIME_DURATION): BOOLEAN is_greater alias ">" (other: [like Current] TIME_DURATION): BOOLEAN is_greater_equal alias ">=" alias "" (other: [like Current] TIME_DURATION): BOOLEAN is_less alias "<" (other: [like Current] TIME_DURATION): BOOLEAN is_less_equal alias "<=" alias "" (other: [like Current] TIME_DURATION): BOOLEAN is_negative: BOOLEAN is_positive: BOOLEAN is_zero: BOOLEAN log (v: REAL_64): REAL_64 log10 (v: REAL_64): REAL_64 log_2 (v: REAL_64): REAL_64 minus alias "-" (other: [like Current] TIME_DURATION): [like Current] TIME_DURATION minute: INTEGER_32 Minutes_in_hour: INTEGER_32 mod (i, j: INTEGER_32): INTEGER_32 opposite alias "-": [like Current] TIME_DURATION Pi: REAL_64 Pi_2: REAL_64 Pi_4: REAL_64 plus alias "+" (other: [like Current] TIME_DURATION): [like Current] TIME_DURATION second: INTEGER_32 seconds_count: INTEGER_32 Seconds_in_day: INTEGER_32 Seconds_in_hour: INTEGER_32 Seconds_in_minute: INTEGER_32 sine (v: REAL_64): REAL_64 sqrt (v: REAL_64): REAL_64 Sqrt2: REAL_64 tangent (v: REAL_64): REAL_64 time_default_format_string: STRING_8 time_modulo_day: [like Current] TIME_DURATION to_canonical: [like Current] TIME_DURATION to_days: INTEGER_32 zero: [like Current] TIME_DURATION Commands fine_second_add (s: REAL_64) hour_add (h: INTEGER_32) make (h, m, s: INTEGER_32) make_by_fine_seconds (s: REAL_64) make_by_seconds (s: INTEGER_32) make_fine (h, m: INTEGER_32; s: REAL_64) minute_add (m: INTEGER_32) second_add (s: INTEGER_32) 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 fractionals large enough fractionals small enough fractional and second same sign equal signs
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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