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 day: INTEGER_32 day_text: detachable STRING_8 fine_second: REAL_64 hour: INTEGER_32 is_date: BOOLEAN is_date_time: BOOLEAN is_set_up: BOOLEAN is_time: BOOLEAN is_value_valid: BOOLEAN minute: INTEGER_32 month: INTEGER_32 parsed: BOOLEAN source_string: detachable STRING_8 year: INTEGER_32 Commands parse set_base_century (c: INTEGER_32) set_day_array (d: ARRAY [STRING_8]) set_month_array (m: ARRAY [STRING_8]) set_source_string (s: STRING_8) Constraints valid value definition valid value implies parsing
Generated by ISE EiffelStudio