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


Flattened version is here

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



Public


Features
create(


Private

const Millisecs_per_Day : CARD := 1000 * 24 * 60 * 60 ;
attr days : CARD ;
attr days : CARD ;
attr millisecs : CARD ;
attr millisecs : CARD ;

The Sather Home Page