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 abstract void setTreeFile(File file);
  18
  19   public abstract File getTreeFile();
  20
  21   public abstract TreeI getTree();
  22
  23   public abstract TreeNodeI findNode(int x, int y);
  24
  25   public abstract void setMatchingNodes(Set<Long> matchingNodes);
  26
  27   public abstract Set<Long> getMatchingNodes();
  28
  29   public void addMouseListener(MouseListener listener);
  30
  31   public void removeMouseListener(MouseListener listener);
  32
  33   public MouseListener[] getMouseListeners();
  34
  35   public void repaint();
  36
  37   public void registerWithPaintRefresher(String sequenceSetIdentifier);
  38
  39   public void notifyPaintRefresher(boolean alignmentChanged,
  40           boolean validateSequences);
  41
  42   public void notifyPaintRefresher(String newSeqSetIdentifier,
  43           boolean alignmentChanged, boolean validateSequences);
  44
  45   public int getWidth();
  46
  47   public int getHeight();
  48
  49   public abstract void paintToFile(Graphics2D pg, int width, int height);
  50
  51   public boolean showingSubTree();
  52
  53   public float getPartitionThreshold();
  54
  55   public abstract Rectangle getVisibleArea();
  56
  57   public void setMinimumSize(Dimension minimumSize);
  58
  59   public void setMaximumSize(Dimension maximumSize);
  60
  61   public void setPreferredSize(Dimension preferredSize);
  62
  63 }