INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Time"
project: "The Universal Time & Date UTDC"
revision: "$Revision: 1.1 $"
copyright: "Copyright (C) 1996-2005 Object Tools Group"
license: "http://visual-eiffel.com/license"
cluster: timedate
class TIME
inherit

SIMPLE_TIMESTAMP
redefine
out
end
creation

clear,
set_from_milliseconds,
set_local_time,
set_time,
set_to_now
feature

milliseconds: INTEGER

set_time (hr, me: INTEGER; sd: DOUBLE)
require
time_valid: tt.valid_time (hr, me, sd)

set_to_now

set_local_time

set_from_milliseconds (m: INTEGER)
require
milliseconds_valid: m >= 0 and then m < tt.seconds_in_day * tt.milliseconds_in_second

clear

infix "<" (ts: like Current): BOOLEAN
feature

infix "+", plus (d: SHORT_DURATION): TIMESTAMP

infix "-", minus (d: SHORT_DURATION): TIMESTAMP

difference (t: like Current): SHORT_DURATION
feature -- Status

hour: INTEGER

minute: INTEGER

second: INTEGER

millisecond: INTEGER
feature -- Status: compatibility features

hour_part: INTEGER
obsolete "This feature will be removed soon: use hour instead"
-- Hour

minute_part: INTEGER
obsolete "This feature will be removed soon: use minute instead"
-- Minute

second_part: INTEGER
obsolete "This feature will be removed soon: use second instead"
-- Second

millisecond_part: INTEGER
obsolete "This feature will be removed soon: use millisecond instead"
-- Millisecond
feature -- Output

out: STRING
-- New string containing printable represantation
-- Format is HH:MM:SS[.F]
invariant

time_big_enough: milliseconds >= 0
time_small_enough: milliseconds < tt.milliseconds_in_day
end -- class TIME

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES