src/jalview/ext/treeviewer/TreePanelI.java

   1 package jalview.ext.treeviewer;
   2
   3 import java.awt.Dimension;
   4 import java.awt.Graphics2D;
   5 import java.awt.MenuContainer;
   6 import java.awt.Rectangle;
   7 import java.awt.event.MouseListener;
   8 import java.io.File;
   9 import java.util.Set;
  10
  11 import javax.accessibility.Accessible;
  12
  13 public interface TreePanelI extends Accessible, MenuContainer
  14 {
  15
  16
  17   public void addMouseListener(MouseListener listener);
  18
  19   public abstract TreeNodeI findNode(int x, int y);
  20
  21   public int getHeight();
  22
  23   public abstract Set<Long> getMatchingNodes();
  24
  25   public MouseListener[] getMouseListeners();
  26
  27   public float getPartitionThreshold();
  28
  29   public abstract TreeI getTree();
  30
  31   public abstract File getTreeFile();
  32
  33   public abstract Rectangle getVisibleArea();
  34
  35   public int getWidth();
  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 abstract void paintToFile(Graphics2D pg, int width, int height);
  44
  45   public void registerWithPaintRefresher(String sequenceSetIdentifier);
  46
  47   public void removeMouseListener(MouseListener listener);
  48
  49   public void repaint();
  50
  51   public abstract void setMatchingNodes(Set<Long> matchingNodes);
  52
  53   public void setMaximumSize(Dimension maximumSize);
  54
  55   public void setMinimumSize(Dimension minimumSize);
  56
  57   public void setPreferredSize(Dimension preferredSize);
  58
  59   public abstract void setTreeFile(File file);
  60
  61   public boolean showingSubTree();
  62
  63 }