expanded class TIME
Summary
Overview
exported features
Setting:
Setting common time mode (local or universal):
Hashing:
  • infix "<=" (other: TIME): BOOLEAN
    Is Current less than or equal other?
  • infix ">" (other: TIME): BOOLEAN
    Is Current strictly greater than other?
  • infix ">=" (other: TIME): BOOLEAN
    Is Current greater than or equal than other?
  • in_range (lower: TIME, upper: TIME): BOOLEAN
    Return True if Current is in range [lower..upper]
    See also min, max, compare.
  • compare (other: TIME): INTEGER_32
    If current object equal to other, 0 if smaller, -1; if greater, 1.
  • three_way_comparison (other: TIME): INTEGER_32
    If current object equal to other, 0 if smaller, -1; if greater, 1.
  • min (other: TIME): TIME
    Minimum of Current and other.
  • max (other: TIME): TIME
    Maximum of Current and other.
is_local_time: BOOLEAN
effective function
Is the local time in use?
is_universal_time: BOOLEAN
effective function
Is Universal Time in use?
year: INTEGER_32
effective function
Number of the year.
month: INTEGER_32
effective function
Number of the month (1 for January, 2 for February, ... 12 for December).
effective function
Day of the month in range 1 ..
hour: INTEGER_32
effective function
Hour in range 0..23.
minute: INTEGER_32
effective function
Minute in range 0 ..
second: INTEGER_32
effective function
Second in range 0 ..
week_day: INTEGER_32
effective function
Number of the day in the week (Sunday is 0, Monday is 1, etc.).
year_day: INTEGER_32
effective function
Number of the day in the year in range 0 ..
is_summer_time_used: BOOLEAN
effective function
Is summer time in effect?
to_microsecond_time: MICROSECOND_TIME
effective function
update
effective procedure
Update Current with the current system clock.
set (a_year: INTEGER_32, a_month: INTEGER_32, a_day: INTEGER_32, a_hour: INTEGER_32, a_min: INTEGER_32, sec: INTEGER_32): BOOLEAN
effective function
Try to set Current using the given information.
add_second (s: INTEGER_32)
effective procedure
Add s seconds to Current.
add_minute (m: INTEGER_32)
effective procedure
Add m minutes to Current.
add_hour (h: INTEGER_32)
effective procedure
Add h hours to Current.
add_day (d: INTEGER_32)
effective procedure
Add d days to Current.
elapsed_seconds (other: TIME): REAL_64
effective function
Elapsed time in seconds from Current to other.
is_equal (other: TIME): BOOLEAN
effective function
Is other attached to an object considered equal to current object?
infix "<" (other: TIME): BOOLEAN
effective function
Is Current strictly less than other?
set_universal_time
effective procedure
set_local_time
effective procedure
hash_code: INTEGER_32
effective function
The hash-code value of Current.
infix "<=" (other: TIME): BOOLEAN
effective function
Is Current less than or equal other?
infix ">" (other: TIME): BOOLEAN
effective function
Is Current strictly greater than other?
infix ">=" (other: TIME): BOOLEAN
effective function
Is Current greater than or equal than other?
in_range (lower: TIME, upper: TIME): BOOLEAN
effective function
Return True if Current is in range [lower..upper]
See also min, max, compare.
compare (other: TIME): INTEGER_32
effective function
If current object equal to other, 0 if smaller, -1; if greater, 1.
three_way_comparison (other: TIME): INTEGER_32
effective function
If current object equal to other, 0 if smaller, -1; if greater, 1.
min (other: TIME): TIME
effective function
Minimum of Current and other.
max (other: TIME): TIME
effective function
Maximum of Current and other.