immutable class TIME_STAMP < $ORDERED{TIME_STAMP}, $HASH, $TEXT |
---|
$TEXT | $STR | $HASH | $IS_EQ | $ORDERED{_} | $IS_LT{_} | $VALUE{_} | $NIL | $IS_NIL |
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 |
---|
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 |
---|