deferred class
	DATE_TIME_VALUE

General
	cluster: time

Ancestors
	DATE_TIME_MEASUREMENT*

Queries
	date: DATE_VALUE
	date_default_format_string: STRING_8
	Date_time_tools: DATE_TIME_TOOLS
	day: INTEGER_32
	days_in_i_th_month (i, y: INTEGER_32): INTEGER_32
	Days_in_leap_year: INTEGER_32
	Days_in_non_leap_year: INTEGER_32
	Days_in_week: INTEGER_32
	days_text: ARRAY [STRING_8]
	default_format_string: STRING_8
	fine_second: REAL_64
	fractional_second: REAL_64
	hour: INTEGER_32
	Hours_in_day: INTEGER_32
	is_leap_year (y: INTEGER_32): BOOLEAN
	long_days_text: ARRAY [STRING_8]
	long_months_text: ARRAY [STRING_8]
	Max_weeks_in_year: INTEGER_32
	minute: INTEGER_32
	Minutes_in_hour: INTEGER_32
	month: INTEGER_32
	Months_in_year: INTEGER_32
	months_text: ARRAY [STRING_8]
	second: INTEGER_32
	Seconds_in_day: INTEGER_32
	Seconds_in_hour: INTEGER_32
	Seconds_in_minute: INTEGER_32
	time: TIME_VALUE
	time_default_format_string: STRING_8
	year: INTEGER_32

Generated by ISE EiffelStudio