308309310311312313314315316317318
+ timeStamp + "current time in TM is " + getModelTime()); } else if (timeStamp == getModelTime()) { _interruptQueue.take(); Actor actor = interruptEvent.actor(); if (actor != null) { if (actor.prefire()) { actor.fire();
672673674675676677678679680681682
+ timeStamp + "current time in TM is " + getModelTime()); } else if (timeStamp.compareTo(_outsideTime) == 0) { _interruptQueue.take(); Actor actor = interruptEvent.actor(); if (actor != null) { if (actor.prefire()) { actor.fire();