set_time
Description:
public void set_time (
ClockTime new_time)
Sets the time of this to the time given by new_time.
The time of this is monotonically increasing, therefore providing a new_time which is earlier
or equal to the time of the clock as given by get_time is a programming
error.
MT safe.
Parameters:
| this |
a TestClock of which to set the time
|
| new_time |
a ClockTime later than that returned by
get_time
|