Automatic generation produced by ISE Eiffel
class DATE_TIME General cluster: time description: "Absolute temporal values composed of a date and a time" create: make, make_fine, make_by_date_time, make_by_date, make_now, make_now_utc, make_from_epoch, make_from_string, make_from_string_with_base, make_from_string_default, make_from_string_default_with_base Ancestors ABSOLUTE* DATE_TIME_VALIDITY_CHECKER DATE_TIME_VALUE* DEBUG_OUTPUT* Queries compact_time: INTEGER_32 compact_time_valid (c_t: INTEGER_32): BOOLEAN date: DATE date_default_format_string: STRING_8 date_duration: DATE_DURATION Date_time_tools: DATE_TIME_TOOLS date_time_valid (s, code_string: READABLE_STRING_8): BOOLEAN date_time_valid_with_base (s, code_string: READABLE_STRING_8; base: INTEGER_32): BOOLEAN 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 days: 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] debug_output: STRING_8 default_format_string: STRING_8 definite_duration (other: [like Current] DATE_TIME): DATE_TIME_DURATION div (i, j: INTEGER_32): INTEGER_32 duration: DATE_TIME_DURATION fine_second: REAL_64 formatted_out (s: READABLE_STRING_8): STRING_8 fractional_second: REAL_64 hour: INTEGER_32 Hours_in_day: INTEGER_32 is_correct_date (y, m, d: INTEGER_32): BOOLEAN is_correct_date_time (y, mo, d, h, mi: INTEGER_32; s: REAL_64; twelve_hour_scale: BOOLEAN): BOOLEAN is_correct_time (h, m: INTEGER_32; s: REAL_64; twelve_hour_scale: BOOLEAN): BOOLEAN is_equal (other: [like Current] DATE_TIME): BOOLEAN is_greater alias ">" (other: [like Current] DATE_TIME): BOOLEAN is_greater_equal alias ">=" alias "≥" (other: [like Current] DATE_TIME): BOOLEAN is_leap_year (y: INTEGER_32): BOOLEAN is_less alias "<" (other: [like Current] DATE_TIME): BOOLEAN is_less_equal alias "<=" alias "≤" (other: [like Current] DATE_TIME): BOOLEAN long_days_text: ARRAY [STRING_8] long_months_text: ARRAY [STRING_8] max alias "∨" (other: [like Current] DATE_TIME): [like Current] DATE_TIME Max_weeks_in_year: INTEGER_32 micro_second: INTEGER_32 milli_second: INTEGER_32 min alias "∧" (other: [like Current] DATE_TIME): [like Current] DATE_TIME minus alias "-" (other: [like Current] DATE_TIME): INTERVAL [[like Current] DATE_TIME] minute: INTEGER_32 Minutes_in_hour: INTEGER_32 Mismatch_information: MISMATCH_INFORMATION mod (i, j: INTEGER_32): INTEGER_32 month: INTEGER_32 Months_in_year: INTEGER_32 months_text: ARRAY [STRING_8] nano_second: INTEGER_32 ordered_compact_date: INTEGER_32 ordered_compact_date_valid (c_d: INTEGER_32): BOOLEAN Origin: DATE_TIME out: STRING_8 plus alias "+" (d: DATE_TIME_DURATION): [like Current] DATE_TIME relative_duration (other: [like Current] DATE_TIME): DATE_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] DATE_TIME): INTEGER_32 time: TIME time_default_format_string: STRING_8 time_duration: TIME_DURATION time_valid (s, code_string: READABLE_STRING_8): BOOLEAN year: INTEGER_32 Commands add (dtd: DATE_TIME_DURATION) copy (other: [like Current] DATE_TIME) correct_mismatch day_add (d: INTEGER_32) fine_second_add (s: REAL_64) hour_add (h: INTEGER_32) make (y, mo, d, h, mi, s: INTEGER_32) make_by_date (d: DATE) make_by_date_time (d: DATE; t: TIME) make_fine (y, mo, d, h, mi: INTEGER_32; s: REAL_64) make_from_epoch (s: 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_now make_now_utc minute_add (m: INTEGER_32) second_add (s: INTEGER_32) set_compact_date (y, m, d: INTEGER_32) set_date (d: DATE) set_day (d: INTEGER_32) set_fine_second (s: REAL_64) set_fractionals (f: REAL_64) set_hour (h: INTEGER_32) set_internal_ordered_compact_date (a_ordered_compact_date: [like ordered_compact_date] INTEGER_32) set_minute (m: INTEGER_32) set_month (m: INTEGER_32) set_second (s: INTEGER_32) set_time (t: TIME) set_year (y: INTEGER_32) -- Generated by Eiffel Studio --
For more details: eiffel.org