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: STRING_8): BOOLEAN
	create_date (s: STRING_8): DATE
	create_date_string (date: DATE): STRING_8
	create_date_time (s: STRING_8): DATE_TIME
	create_string (date_time: DATE_TIME): STRING_8
	create_time (s: STRING_8): TIME
	create_time_string (time: TIME): STRING_8
	is_date (s: STRING_8): BOOLEAN
	is_date_time (s: STRING_8): BOOLEAN
	is_time (s: STRING_8): BOOLEAN
	is_value_valid (s: 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: STRING_8)
	set_base_century (c: INTEGER_32)


Generated by ISE EiffelStudio