Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class DATE_DURATION General cluster: time description: "Durations of date" create: make, make_by_days Ancestors DATE_CONSTANTS DATE_MEASUREMENT* DURATION* Queries canonical (date: DATE): BOOLEAN date_default_format_string: STRING_8 Date_time_tools: DATE_TIME_TOOLS day: INTEGER_32 days_count: INTEGER_32 days_in_i_th_month (i, y: INTEGER_32): INTEGER_32 Days_in_leap_year: INTEGER_32 days_in_month: 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 has_origin_date: BOOLEAN identity alias "+": [like Current] DATE_DURATION is_equal (other: [like Current] DATE_DURATION): BOOLEAN is_greater alias ">" (other: [like Current] DATE_DURATION): BOOLEAN is_greater_equal alias ">=" alias "" (other: [like Current] DATE_DURATION): BOOLEAN is_leap_year (y: INTEGER_32): BOOLEAN is_less alias "<" (other: [like Current] DATE_DURATION): BOOLEAN is_less_equal alias "<=" alias "" (other: [like Current] DATE_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_DURATION): [like Current] DATE_DURATION 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_DURATION origin_date: detachable DATE plus alias "+" (other: [like Current] DATE_DURATION): [like Current] DATE_DURATION to_canonical (start_date: DATE): [like Current] DATE_DURATION to_date_time: DATE_TIME_DURATION year: INTEGER_32 zero: [like Current] DATE_DURATION Commands day_add (d: INTEGER_32) make (y, m, d: INTEGER_32) make_by_days (d: INTEGER_32) month_add (m: INTEGER_32) set_date (y, m, d: INTEGER_32) set_day (d: INTEGER_32) set_month (m: INTEGER_32) set_origin_date (d: detachable DATE) set_year (y: INTEGER_32) to_definite (date: DATE) year_add (y: INTEGER_32) Constraints equal signs
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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