Automatic generation produced by ISE Eiffel

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

General
	cluster: time
	description: "Durations of date"
	create: make, make_by_days

Ancestors
	DATE_CONSTANTS
	DATE_MEASUREMENT*
	DURATION*

Queries
	canonical (date: DATE): BOOLEAN
	date_default_format_string: STRING_8
	Date_time_tools: DATE_TIME_TOOLS
	day: INTEGER_32
	days_count: 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
	definite: BOOLEAN
	div (i, j: INTEGER_32): INTEGER_32
	has_origin_date: BOOLEAN
	identity alias "+": [like Current] DATE_DURATION
	is_equal (other: [like Current] DATE_DURATION): BOOLEAN
	is_greater alias ">" (other: [like Current] DATE_DURATION): BOOLEAN
	is_greater_equal alias ">=" alias "≥" (other: [like Current] DATE_DURATION): BOOLEAN
	is_leap_year (y: INTEGER_32): BOOLEAN
	is_less alias "<" (other: [like Current] DATE_DURATION): BOOLEAN
	is_less_equal alias "<=" alias "≤" (other: [like Current] DATE_DURATION): BOOLEAN
	is_negative: BOOLEAN
	is_positive: BOOLEAN
	is_zero: BOOLEAN
	long_days_text: ARRAY [STRING_8]
	long_months_text: ARRAY [STRING_8]
	Max_weeks_in_year: INTEGER_32
	minus alias "-" (other: [like Current] DATE_DURATION): [like Current] DATE_DURATION
	mod (i, j: INTEGER_32): INTEGER_32
	month: INTEGER_32
	Months_in_year: INTEGER_32
	months_text: ARRAY [STRING_8]
	opposite alias "-": [like Current] DATE_DURATION
	origin_date: detachable DATE
	plus alias "+" (other: [like Current] DATE_DURATION): [like Current] DATE_DURATION
	to_canonical (start_date: DATE): [like Current] DATE_DURATION
	to_date_time: DATE_TIME_DURATION
	year: INTEGER_32
	zero: [like Current] DATE_DURATION

Commands
	day_add (d: INTEGER_32)
	make (y, m, d: INTEGER_32)
	make_by_days (d: INTEGER_32)
	month_add (m: INTEGER_32)
	set_date (y, m, d: INTEGER_32)
	set_day (d: INTEGER_32)
	set_month (m: INTEGER_32)
	set_origin_date (d: detachable DATE)
	set_year (y: INTEGER_32)
	to_definite (date: DATE)
	year_add (y: INTEGER_32)

Constraints
	equal signs



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

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