}
// info("about to wait");
this.waitForTime(localInterval * 0.9999999999);
simulation.pauseSimulation();
// info("calling listener");
if (localListener != null) localListener.simEventOccurred(
new SimEvent(this, getTimeNow()));
}
}
private final class PausingTrigger extends Trigger {