Debugger.java

/** 
 * Copyright (c) 2009-2011, The HATS Consortium. All rights reserved. 
 * This file is licensed under the terms of the Modified BSD License.
 */
package abs.backend.java.debugging;

import abs.backend.java.observing.TaskView;

public interface Debugger {
    public void nextStep(TaskView taskView, String fileName, int line);
}