advance_time


Description:

public void advance_time (ClockTimeDiff delta)

Advances the time of the this by the amount given by delta.

The time of this is monotonically increasing, therefore providing a delta which is negative or zero is a programming error.

MT safe.

Parameters:

this

a TestClock for which to increase the time

delta

a positive ClockTimeDiff to be added to the time of the clock