INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "TIMETOOLS"
project: "The Universal Time & Date UTDC"
revision: "$Revision: 1.1 $"
copyright: "Copyright (C) 1996-2005 Object Tools Group"
license: "http://visual-eiffel.com/license"
cluster: timedate
class TIME_TOOLS
feature -- Queries
-- Days

monday: INTEGER

tuesday: INTEGER

wednesday: INTEGER

thursday: INTEGER

friday: INTEGER

saturday: INTEGER

sunday: INTEGER

january: INTEGER

february: INTEGER

march: INTEGER

april: INTEGER

may: INTEGER

june: INTEGER

july: INTEGER

august: INTEGER

september: INTEGER

october: INTEGER

november: INTEGER

december: INTEGER

months_in_year: INTEGER

days_in_week: INTEGER

days_in_month_d: INTEGER

days_in_year: INTEGER

days_in_year_d: INTEGER

hours_in_day: INTEGER

minutes_in_hour: INTEGER

minutes_in_day: INTEGER

seconds_in_minute: INTEGER

seconds_in_hour: INTEGER

seconds_in_day: INTEGER

seconds_in_month: INTEGER

seconds_in_year: INTEGER

milliseconds_in_second: INTEGER

seconds_in_millisecond: DOUBLE

milliseconds_in_day: INTEGER
feature -- Queries

valid_time (hour, minute: INTEGER; second: DOUBLE): BOOLEAN
-- Is the given time valid?

valid_date (year, month, day: INTEGER): BOOLEAN
-- Is the given date valid?

valid_julian_date (year, month, day: INTEGER): BOOLEAN
-- Is the given date valid for Julian calendar?

valid_gregorian_date (year, month, day: INTEGER): BOOLEAN
-- Is the given date valid for Gregorian calendar?

julian_date_days (year, month, day: INTEGER): INTEGER
-- Julian days calculated for Julian calendar
require
valid_date: valid_julian_date (year, month, day)

gregorian_date_days (year, month, day: INTEGER): INTEGER
-- Julian days calculated for Gregorian calendar
require
valid_date: valid_gregorian_date (year, month, day)

is_leap_year (year: INTEGER): BOOLEAN
-- Is the year leap?

is_julian_leap_year (year: INTEGER): BOOLEAN
-- Is the year leap accordingly to Julian calendar?

is_gregorian_leap_year (year: INTEGER): BOOLEAN
-- Is the year leap accordingly to Julian calendar?

day_name (n: INTEGER): STRING
require
non_valid_day_name: n >= 1 and then n <= days_in_week

month_name (n: INTEGER): STRING
require
non_valid_month_name: n >= 1 and then n <= months_in_year

days_in_month (n: INTEGER): INTEGER
require
non_valid_day_name: n >= 1 and then n <= months_in_year

days: ARRAY [STRING]

months: ARRAY [STRING]

day_in_months: ARRAY [INTEGER]

days_in_months: ARRAY [INTEGER]
feature -- System

sysclock: INTEGER
-- High resolution system clock
-- Result is in 1/1000 seconds.
-- The value is wraps in about 49.7 days
-- and can be used only to measure
-- durations
end -- class TIME_TOOLS

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES