+
Point of view
ANY
expanded class MICROSECOND_TIME
Summary
Class invariant
Overview
exported features
  • infix "<=" (other: MICROSECOND_TIME): BOOLEAN
    Is Current less than or equal other?
  • infix ">" (other: MICROSECOND_TIME): BOOLEAN
    Is Current strictly greater than other?
  • infix ">=" (other: MICROSECOND_TIME): BOOLEAN
    Is Current greater than or equal than other?
  • in_range (lower: MICROSECOND_TIME, upper: MICROSECOND_TIME): BOOLEAN
    Return True if Current is in range [lower..upper]
    See also min, max, compare.
  • compare (other: MICROSECOND_TIME): INTEGER_32
    If current object equal to other, 0 if smaller, -1; if greater, 1.
  • three_way_comparison (other: MICROSECOND_TIME): INTEGER_32
    If current object equal to other, 0 if smaller, -1; if greater, 1.
  • min (other: MICROSECOND_TIME): MICROSECOND_TIME
    Minimum of Current and other.
  • max (other: MICROSECOND_TIME): MICROSECOND_TIME
    Maximum of Current and other.
time: TIME
writable attribute
The normal TIME with second accuracy.
microsecond: INTEGER_32
writable attribute
Extra information in number of microseconds in range 0 ..
update
effective procedure
Update Current with the current system clock.
set_time (t: TIME)
effective procedure
set_microsecond (microsec: INTEGER_32)
effective procedure
To set microsecond in range 0 ..
infix "+" (s: REAL_64): MICROSECOND_TIME
effective function
Add s seconds (2.476 is 2 seconds and 476 milliseconds)
add_second (s: INTEGER_32)
effective procedure
Add s seconds to Current.
add_millisecond (millisecond: INTEGER_32)
effective procedure
Add millisecond milliseconds.
add_microsecond (microsec: INTEGER_32)
effective procedure
Add microsec microseconds
elapsed_seconds (other: MICROSECOND_TIME): REAL_64
effective function
Elapsed time in seconds from Current to other with sub-second precision.
is_equal (other: MICROSECOND_TIME): BOOLEAN
effective function
Is other attached to an object considered equal to current object?
infix "<" (other: MICROSECOND_TIME): BOOLEAN
effective function
Is Current strictly less than other?
hash_code: INTEGER_32
effective function
The hash-code value of Current.
infix "<=" (other: MICROSECOND_TIME): BOOLEAN
effective function
Is Current less than or equal other?
infix ">" (other: MICROSECOND_TIME): BOOLEAN
effective function
Is Current strictly greater than other?
infix ">=" (other: MICROSECOND_TIME): BOOLEAN
effective function
Is Current greater than or equal than other?
in_range (lower: MICROSECOND_TIME, upper: MICROSECOND_TIME): BOOLEAN
effective function
Return True if Current is in range [lower..upper]
See also min, max, compare.
compare (other: MICROSECOND_TIME): INTEGER_32
effective function
If current object equal to other, 0 if smaller, -1; if greater, 1.
three_way_comparison (other: MICROSECOND_TIME): INTEGER_32
effective function
If current object equal to other, 0 if smaller, -1; if greater, 1.
min (other: MICROSECOND_TIME): MICROSECOND_TIME
effective function
Minimum of Current and other.
max (other: MICROSECOND_TIME): MICROSECOND_TIME
effective function
Maximum of Current and other.