src/jalview/ext/treeviewer/ExternalTreePanel.java

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