immutable class DATES < $DATES{DATES}


Ancestors
$DATES{_} $ANCHORED_FMT $FMT $STR
$TEXT $BINARY $HASH $IS_EQ
$ORDERED{_} $IS_LT{_} $VALUE{_} $NIL
$IS_NIL



Public


Constants
const Days_in_Week : CARD := 7 ;
const Months_in_Year : CARD := 12 ;
****
const Years_in_Century : CARD := 100 ;

Features
binstr : BINSTR .. Included as binstr
build( .. Included as build
build( .. Included as build
century : CARD .. Included as century
count : CARD .. Included as count
create( .. Included as create
create( .. Included as create
create( .. Included as create
create( .. Included as create
create( .. Included as create
date : CARD .. Included as date
day_in_year : CARD .. Included as day_in_year
day_of_week : CARD .. Included as day_of_week
fmt( .. Included as fmt
fmt( .. Included as fmt
from_days( .. Included as from_days
hash : CARD .. Included as hash
is_date( .. Included as is_date
is_eq( .. Included as is_eq
is_eq(other : $OB) : BOOL .. Included as is_eq
**** This is the generic equality predicate. c.f. the class $IS_EQ
is_leap_year( .. Included as is_leap_year
is_lt( .. Included as is_lt
is_nil : BOOL .. Included as is_nil
minus( .. Included as minus
minus( .. Included as minus
month : MONTHS .. Included as month
month_number : CARD .. Included as month_number
nil : SAME .. Included as nil
null : SAME
plus( .. Included as plus
read( .. Included as read
str( .. Included as str
str : STR .. Included as str
today : SAME .. Included as today
week_in_year : CARD .. Included as week_in_year
weekday : WEEKDAYS .. Included as weekday
write( .. Included as write
year : CARD .. Included as year
year_start_day : WEEKDAYS .. Included as year_start_day
year_this_century : CARD .. Included as year_this_century


Private

const Base_Wday : WEEKDAYS := OS_TIME::Base_Wday ;
const Base_Year : CARD := OS_TIME::Base_Year ;
const Days_in_Year : CARD := 365 ;
**** in an ordinary year anyway!
const February : CARD := 2 ;
const Leap_Cycle : CARD := 4 ;
const Month_Max : ARRAY{CARD} := | 0, 31, 28, 31, 30, 31, 30,
century( .. Included as century
date( .. Included as date
day_in_year( .. Included as day_in_year
day_of_week( .. Included as day_of_week
days_in_months( .. Included as days_in_months
days_in_years( .. Included as days_in_years
find_month( .. Included as find_month
****
is_noise( .. Included as is_noise
month( .. Included as month
month_number( .. Included as month_number
scan( .. Included as scan
attr val : CARD ;
attr val : CARD ;
week_in_year( .. Included as week_in_year
weekday( .. Included as weekday
year( .. Included as year
year_count( .. Included as year_count
year_start_day( .. Included as year_start_day
year_this_century( .. Included as year_this_century

The Sather Home Page