Automatic generation produced by ISE Eiffel

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

General
	cluster: time
	description: "Universal constants about dates"

Ancestors
	TIME_UTILITY

Queries
	date_default_format_string: STRING_8
	Date_time_tools: DATE_TIME_TOOLS
	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
	div (i, j: INTEGER_32): 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
	mod (i, j: INTEGER_32): INTEGER_32
	Months_in_year: INTEGER_32
	months_text: ARRAY [STRING_8]



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

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