src/jalview/ext/treeviewer/TreePanelI.java

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