immutable class TIME_STAMP < $ORDERED{TIME_STAMP}, $HASH, $TEXT |
---|
$TEXT | $STR | $HASH | $IS_EQ | $ORDERED{_} | $IS_LT{_} | $VALUE{_} | $NIL | $IS_NIL |
create( |
---|
const Millisecs_per_Day : CARD := 1000 * 24 * 60 * 60 ; |
---|
attr days : CARD ; |
---|
attr days : CARD ; |
---|
attr millisecs : CARD ; |
---|
attr millisecs : CARD ; |
---|