Automatic generation produced by ISE Eiffel
class DATE General cluster: time description: "Absolute dates" create: make, make_month_day_year, make_day_month_year, make_now, make_now_utc, make_by_days, make_from_string_default, make_from_string_default_with_base, make_from_string, make_from_string_with_base, make_by_ordered_compact_date Ancestors ABSOLUTE* DATE_VALIDITY_CHECKER DATE_VALUE DEBUG_OUTPUT* Queries date_default_format_string: STRING_8 Date_time_tools: DATE_TIME_TOOLS date_valid (s, code_string: READABLE_STRING_8): BOOLEAN date_valid_default (s: READABLE_STRING_8): BOOLEAN date_valid_default_with_base (s: READABLE_STRING_8; base: INTEGER_32): BOOLEAN date_valid_with_base (s, code_string: READABLE_STRING_8; base: INTEGER_32): BOOLEAN day: INTEGER_32 day_of_january_1st: INTEGER_32 day_of_the_week: INTEGER_32 days: INTEGER_32 days_at_month: INTEGER_32 days_from (y: INTEGER_32): 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_in_year: INTEGER_32 days_text: ARRAY [STRING_8] debug_output: STRING_8 default_format_string: STRING_8 div (i, j: INTEGER_32): INTEGER_32 duration: DATE_DURATION formatted_out (s: READABLE_STRING_8): STRING_8 is_correct_date (y, m, d: INTEGER_32): BOOLEAN is_equal (other: [like Current] DATE): BOOLEAN is_greater alias ">" (other: [like Current] DATE): BOOLEAN is_greater_equal alias ">=" alias "≥" (other: [like Current] DATE): BOOLEAN is_leap_year (y: INTEGER_32): BOOLEAN is_less alias "<" (other: [like Current] DATE): BOOLEAN is_less_equal alias "<=" alias "≤" (other: [like Current] DATE): BOOLEAN leap_year: BOOLEAN long_days_text: ARRAY [STRING_8] long_months_text: ARRAY [STRING_8] max alias "∨" (other: [like Current] DATE): [like Current] DATE Max_weeks_in_year: INTEGER_32 min alias "∧" (other: [like Current] DATE): [like Current] DATE minus alias "-" (other: [like Current] DATE): INTERVAL [[like Current] DATE] Mismatch_information: MISMATCH_INFORMATION mod (i, j: INTEGER_32): INTEGER_32 month: INTEGER_32 Months_in_year: INTEGER_32 months_text: ARRAY [STRING_8] ordered_compact_date: INTEGER_32 ordered_compact_date_valid (c_d: INTEGER_32): BOOLEAN Origin: DATE out: STRING_8 plus alias "+" (d: DATE_DURATION): DATE relative_duration (other: [like Current] DATE): DATE_DURATION three_way_comparison alias "⋚" (other: [like Current] DATE): INTEGER_32 to_date_time: DATE_TIME week_of_year: INTEGER_32 year: INTEGER_32 year_day: INTEGER_32 Commands add (d: DATE_DURATION) correct_mismatch day_add (d: INTEGER_32) day_back day_forth make (y, m, d: INTEGER_32) make_by_days (n: INTEGER_32) make_by_ordered_compact_date (c_d: INTEGER_32) make_day_month_year (d, m, y: INTEGER_32) make_from_string (s, code: READABLE_STRING_8) make_from_string_default (s: READABLE_STRING_8) make_from_string_default_with_base (s: READABLE_STRING_8; base: INTEGER_32) make_from_string_with_base (s, code: READABLE_STRING_8; base: INTEGER_32) make_month_day_year (m, d, y: INTEGER_32) make_now make_now_utc month_add (m: INTEGER_32) month_back month_forth set_date (y, m, d: INTEGER_32) set_day (d: INTEGER_32) set_internal_ordered_compact_date (a_ordered_compact_date: [like ordered_compact_date] INTEGER_32) set_month (m: INTEGER_32) set_year (y: INTEGER_32) year_add (y: INTEGER_32) year_back year_forth year_month_add (y, m: INTEGER_32) Constraints day large enough day small enough month large enough month small enough year small enough year non negative -- Generated by Eiffel Studio --
For more details: eiffel.org