Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class DATE_TIME_PARSER General cluster: time description: "Parser facility for dates and times" create: make Ancestors DATE_TIME_VALIDITY_CHECKER FIND_SEPARATOR_FACILITY Queries checker_day: INTEGER_32 checker_fine_second: REAL_64 checker_hour: INTEGER_32 checker_minute: INTEGER_32 checker_month: INTEGER_32 checker_year: INTEGER_32 compact_time: INTEGER_32 compact_time_valid (c_t: INTEGER_32): BOOLEAN date_default_format_string: STRING_8 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 day_text: detachable READABLE_STRING_8 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 div (i, j: INTEGER_32): INTEGER_32 fine_second: REAL_64 fractional_second: REAL_64 hour: INTEGER_32 Hours_in_day: INTEGER_32 is_code (s: READABLE_STRING_8): BOOLEAN is_colon (s: READABLE_STRING_8): BOOLEAN is_comma (s: READABLE_STRING_8): BOOLEAN 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_date: BOOLEAN is_date_time: BOOLEAN is_day (s: READABLE_STRING_8): BOOLEAN is_day0 (s: READABLE_STRING_8): BOOLEAN is_day_text (s: READABLE_STRING_8): BOOLEAN is_dot (s: READABLE_STRING_8): BOOLEAN is_fractional_second (s: READABLE_STRING_8): BOOLEAN is_hour (s: READABLE_STRING_8): BOOLEAN is_hour0 (s: READABLE_STRING_8): BOOLEAN is_hour12 (s: READABLE_STRING_8): BOOLEAN is_hour12_0 (s: READABLE_STRING_8): BOOLEAN is_leap_year (y: INTEGER_32): BOOLEAN is_meridiem (s: READABLE_STRING_8): BOOLEAN is_minus (s: READABLE_STRING_8): BOOLEAN is_minute (s: READABLE_STRING_8): BOOLEAN is_minute0 (s: READABLE_STRING_8): BOOLEAN is_month (s: READABLE_STRING_8): BOOLEAN is_month0 (s: READABLE_STRING_8): BOOLEAN is_month_text (s: READABLE_STRING_8): BOOLEAN is_second (s: READABLE_STRING_8): BOOLEAN is_second0 (s: READABLE_STRING_8): BOOLEAN is_separator (s: READABLE_STRING_8): BOOLEAN is_set_up: BOOLEAN is_slash (s: READABLE_STRING_8): BOOLEAN is_space (s: READABLE_STRING_8): BOOLEAN is_time: BOOLEAN is_value_valid: BOOLEAN is_year2 (s: READABLE_STRING_8): BOOLEAN is_year4 (s: READABLE_STRING_8): BOOLEAN long_days_text: ARRAY [STRING_8] long_months_text: ARRAY [STRING_8] Max_weeks_in_year: INTEGER_32 micro_second: INTEGER_32 milli_second: INTEGER_32 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 parsed: BOOLEAN second: INTEGER_32 Seconds_in_day: INTEGER_32 Seconds_in_hour: INTEGER_32 Seconds_in_minute: INTEGER_32 source_string: detachable READABLE_STRING_8 time_default_format_string: STRING_8 time_valid (s, code_string: READABLE_STRING_8): BOOLEAN year: INTEGER_32 Commands correct_mismatch parse set_base_century (c: INTEGER_32) set_date (y, m, d: INTEGER_32) set_day (d: INTEGER_32) set_day_array (d: ARRAY [READABLE_STRING_8]) 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_month_array (m: ARRAY [READABLE_STRING_8]) set_second (s: INTEGER_32) set_source_string (s: READABLE_STRING_8) set_year (y: INTEGER_32) Constraints valid value definition valid value implies parsing
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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