public interface TimeManager extends TimeProvider
Modifier and Type | Method and Description |
---|---|
void |
interruptPace()
Interrupts a potential sleep period in
paceTime(Timestamp) . |
void |
paceTime(Timestamp nextTimestamp)
Sets time based on the time progression policy and the given next time requested
by the platform.
|
currentTime
void paceTime(Timestamp nextTimestamp) throws InterruptedException
nextTimestamp
- InterruptedException
- if forced pauses are interrupted externally.void interruptPace()
paceTime(Timestamp)
.
Interface implementations that do not pause just do nothing here.Copyright © Aimpulse Intelligent Systems GmbH
All rights reserved.