}
public void event(String event, String file, Number line, String name) {
if (listener != null && !shouldIgnore(file) && !repeat(event, file, line.intValue())) {
if (event.equals("line"))
if (listener.lineReached(new SourceLine(file, name, line.intValue())) == IPlaybackListener.PAUSE)
pause();
if (event.equals("return"))
if (listener.methodReturned(new SourceLine(file, name, line.intValue())) == IPlaybackListener.PAUSE)
pause();
if (event.equals("call"))
if (listener.methodCalled(new SourceLine(file, name, line.intValue())) == IPlaybackListener.PAUSE)
pause();
}
}