src/jalview/ext/treeviewer/ExternalTreePanel.java

   1 package jalview.ext.treeviewer;
   2
   3 import java.awt.MenuContainer;
   4 import java.awt.event.MouseListener;
   5 import java.io.File;
   6 import java.util.Set;
   7
   8 import javax.accessibility.Accessible;
   9
  10 public interface ExternalTreePanel extends Accessible, MenuContainer
  11 {
  12
  13   public abstract void setTreeFile(File file);
  14
  15   public abstract File getTreeFile();
  16
  17   public abstract ExternalTreeI getTree();
  18
  19   public abstract ExternalTreeNodeI findNode(int x, int y);
  20
  21   public abstract void setMatchingNodes(Set<Long> matchingNodes);
  22
  23   public abstract Set<Long> getMatchingNodes();
  24
  25   public void addMouseListener(MouseListener listener);
  26
  27   public void removeMouseListener(MouseListener listener);
  28
  29   public MouseListener[] getMouseListeners();
  30
  31   public void repaint();
  32
  33   public void registerWithPaintRefresher(String sequenceSetIdentifier);
  34
  35   public void notifyPaintRefresher(boolean alignmentChanged,
  36           boolean validateSequences);
  37
  38   public void notifyPaintRefresher(String newSeqSetIdentifier,
  39           boolean alignmentChanged, boolean validateSequences);
  40
  41 }