17171718171917201721172217231724172517261727
} } Agent agent = Globals.getAgent(); if (agent != null) { agent.notifyDestinationPause(this, type); } } public boolean isPaused() { return (state > DestState.RUNNING &&