INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Finite timeout interval (incapsulates TIMEVAL structure)"
project: "Visual Eiffel Library"
revision: "$Revision: 1.1 $"
copyright: "Copyright (C) 1996-2005 Object Tools Group"
license: "http://visual-eiffel.com/license"
cluster: sockets
class ESL_TIMEVAL
inherit

COMPARABLE
end
creation

make,
set
feature -- Queries

seconds: INTEGER

microseconds: INTEGER

infix "<" (other: like Current): BOOLEAN
-- Is Current STRICTLY less than `other'?
feature -- Operations

make

set (sec, msec: INTEGER)
-- Set interval
require
valid_sec: sec >= 0
valid_msec: msec >= 0

is_set: BOOLEAN
-- Is interval set to nonzero timeout?

clear
-- Reset to zero
ensure
well_done: not is_set
feature -- Conversion

to_external: POINTER
-- Pointer to data structure
invariant

positive_or_zero: (seconds >= 0) and (microseconds >= 0)
end -- class ESL_TIMEVAL

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES