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 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 Months_in_year: INTEGER_32 months_text: ARRAY [STRING_8]
Generated by ISE EiffelStudio