/* Author: Jeff Dalton <J.Dalton@ed.ac.uk>
 * Updated: Thu Jul 12 23:03:41 2001 by Jeff Dalton
 * Copyright: (c) 2001, AIAI, University of Edinburgh
 */

package ix.ideel;

public interface IssueManager {

    public void addIssue(IdeelIssue i);

    public void handleIssue(IdeelIssue i, IssueOption opt);

    public void expandIssue(IdeelIssue i, Object instructions);

}