Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class DATE_TIME_DURATION General cluster: time description: "Duration of dates and times" create: make, make_definite, make_fine, make_by_date_time, make_by_date Ancestors DATE_TIME_MEASUREMENT* DURATION* Queries canonical (start_date: DATE_TIME): BOOLEAN date: DATE_DURATION date_default_format_string: STRING_8 Date_time_tools: DATE_TIME_TOOLS day: INTEGER_32 days_in_i_th_month (i, y: INTEGER_32): INTEGER_32 Days_in_leap_year: INTEGER_32 Days_in_non_leap_year: INTEGER_32 Days_in_week: INTEGER_32 days_text: ARRAY [STRING_8] default_format_string: STRING_8 definite: BOOLEAN div (i, j: INTEGER_32): INTEGER_32 fine_second: REAL_64 fine_seconds_count: REAL_64 has_origin_date_time: BOOLEAN hour: INTEGER_32 Hours_in_day: INTEGER_32 identity alias "+": [like Current] DATE_TIME_DURATION is_equal (other: [like Current] DATE_TIME_DURATION): BOOLEAN is_greater alias ">" (other: [like Current] DATE_TIME_DURATION): BOOLEAN is_greater_equal alias ">=" alias "" (other: [like Current] DATE_TIME_DURATION): BOOLEAN is_leap_year (y: INTEGER_32): BOOLEAN is_less alias "<" (other: [like Current] DATE_TIME_DURATION): BOOLEAN is_less_equal alias "<=" alias "" (other: [like Current] DATE_TIME_DURATION): BOOLEAN is_negative: BOOLEAN is_positive: BOOLEAN is_zero: BOOLEAN long_days_text: ARRAY [STRING_8] long_months_text: ARRAY [STRING_8] Max_weeks_in_year: INTEGER_32 minus alias "-" (other: [like Current] DATE_TIME_DURATION): [like Current] DATE_TIME_DURATION minute: INTEGER_32 Minutes_in_hour: INTEGER_32 mod (i, j: INTEGER_32): INTEGER_32 month: INTEGER_32 Months_in_year: INTEGER_32 months_text: ARRAY [STRING_8] opposite alias "-": [like Current] DATE_TIME_DURATION origin_date_time: detachable DATE_TIME plus alias "+" (other: [like Current] DATE_TIME_DURATION): [like Current] DATE_TIME_DURATION second: INTEGER_32 seconds_count: INTEGER_64 Seconds_in_day: INTEGER_32 Seconds_in_hour: INTEGER_32 Seconds_in_minute: INTEGER_32 time: TIME_DURATION time_default_format_string: STRING_8 time_to_canonical: [like Current] DATE_TIME_DURATION to_canonical (start_date: DATE_TIME): [like Current] DATE_TIME_DURATION year: INTEGER_32 zero: [like Current] DATE_TIME_DURATION Commands day_add (d: INTEGER_32) make (y, mo, d, h, mi, s: INTEGER_32) make_by_date (d: DATE_DURATION) make_by_date_time (d: DATE_DURATION; t: TIME_DURATION) make_definite (d, h, m, s: INTEGER_32) make_fine (y, mo, d, h, mi: INTEGER_32; s: REAL_64) set_date (d: DATE_DURATION) set_origin_date_time (dt: detachable DATE_TIME) set_time (t: TIME_DURATION) Constraints date exists time exists origin constraint same signs
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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