Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
deferred class DATE_TIME_MEASUREMENT General cluster: time description: "Date/Time Measurement" Ancestors DATE_CONSTANTS TIME_CONSTANTS Queries date: DATE_MEASUREMENT 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 div (i, j: INTEGER_32): INTEGER_32 fine_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 mod (i, j: INTEGER_32): 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_MEASUREMENT time_default_format_string: STRING_8 year: INTEGER_32 Constraints date exists time exists
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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