Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class DATE_TIME_CODE_STRING General cluster: time description: "DATE/TIME to STRING conversion" create: make Ancestors FIND_SEPARATOR_FACILITY Queries base_century: INTEGER_32 correspond (s: READABLE_STRING_8): BOOLEAN create_date (s: READABLE_STRING_8): DATE create_date_string (date: DATE): STRING_8 create_date_time (s: READABLE_STRING_8): DATE_TIME create_string (date_time: DATE_TIME): STRING_8 create_time (s: READABLE_STRING_8): TIME create_time_string (time: TIME): STRING_8 is_date (s: READABLE_STRING_8): BOOLEAN is_date_time (s: READABLE_STRING_8): BOOLEAN is_time (s: READABLE_STRING_8): BOOLEAN is_value_valid (s: READABLE_STRING_8): BOOLEAN name: STRING_8 precise: BOOLEAN precise_date: BOOLEAN precise_time: BOOLEAN separators_used: BOOLEAN value: HASH_TABLE [DATE_TIME_CODE, INTEGER_32] Commands make (s: READABLE_STRING_8) set_base_century (c: INTEGER_32)
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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