return;
}
// handle time span
CurrentTimeSpanEvent span = (CurrentTimeSpanEvent) theEvent;
long targetTime = span.getTargetTimeInMillis();
long currentTime = services.getSchedulingService().getTime();
Long optionalResolution = span.getOptionalResolution();
if (isUsingExternalClocking && (targetTime < currentTime))
{
if (log.isWarnEnabled())
{
log.warn("Past or current time event received for currentTime " + targetTime);
}
}
// Evaluation of all time events is protected from statement management
if ((ExecutionPathDebugLog.isDebugEnabled) && (log.isDebugEnabled()) && (ExecutionPathDebugLog.isTimerDebugEnabled))
{
log.debug(".processTimeEvent Setting time span and evaluating schedules for time " + targetTime + " optional resolution " + span.getOptionalResolution());
}
while(currentTime < targetTime) {
if ((optionalResolution != null) && (optionalResolution > 0)) {