immutable class TIME_STAMP < $ORDERED{TIME_STAMP}, $HASH, $TEXT


Ancestors
$TEXT $STR $HASH $IS_EQ
$ORDERED{_} $IS_LT{_} $VALUE{_} $NIL
$IS_NIL



Public


Features
build( .. Included as build
create( .. Included as create
create(
create( .. Included as create
create_UTC( .. Included as create_UTC
create_local( .. Included as create_local
date : DATES .. Included as date
era_date : ERA_DATES .. Included as era_date
fmt( .. Included as fmt
fmt( .. Included as fmt
hash : CARD .. Included as hash
is_date_time( .. Included as is_date_time
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_lt( .. Included as is_lt
is_nil : BOOL .. Included as is_nil
minus( .. Included as minus
minus( .. Included as minus
nil : SAME .. Included as nil
now : SAME .. Included as now
num_days : CARD .. Included as num_days
num_milliseconds : CARD .. Included as num_milliseconds
plus( .. Included as plus
str( .. Included as str
str : STR .. Included as str
time : TIMES .. Included as time


Private

const Millisecs_per_Day : CARD := 1000 * 24 * 60 * 60 ;
attr days : CARD ;
attr days : CARD ;
attr millisecs : CARD ;
attr millisecs : CARD ;
scan( .. Included as scan
subtract( .. Included as subtract
to_UTC( .. Included as to_UTC
zone_stamp( .. Included as zone_stamp

The Sather Home Page