Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 
class
	DATE_TIME_VALIDITY_CHECKER

General
	cluster: time
	description: "Facility routines to check the validity of DATE_TIMEs"

Ancestors
	ANY
	DATE_VALIDITY_CHECKER
	TIME_VALIDITY_CHECKER

Queries
	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
	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_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_leap_year (y: INTEGER_32): 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
	second: INTEGER_32
	Seconds_in_day: INTEGER_32
	Seconds_in_hour: INTEGER_32
	Seconds_in_minute: INTEGER_32
	time_default_format_string: STRING_8
	time_valid (s, code_string: READABLE_STRING_8): BOOLEAN
	year: INTEGER_32

Commands
	correct_mismatch
	set_date (y, m, d: INTEGER_32)
	set_day (d: INTEGER_32)
	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_second (s: INTEGER_32)
	set_year (y: INTEGER_32)



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

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