src/jalview/ext/treeviewer/ExternalTreePanel.java

   1 package jalview.ext.treeviewer;
   2
   3 import java.io.File;
   4 import java.util.Set;
   5
   6 import javax.swing.JPanel;
   7
   8 public abstract class ExternalTreePanel extends JPanel
   9 {
  10
  11   public abstract void setTreeFile(File file);
  12
  13   public abstract File getTreeFile();
  14
  15   public abstract ExternalTreeI getTree();
  16
  17   public abstract ExternalTreeNodeI findNode(int x, int y);
  18
  19   public abstract void setMatchingNodes(Set<Long> matchingNodes);
  20
  21   public abstract Set<Long> getMatchingNodes();
  22 }