1 package jalview.ext.treeviewer;
3 import java.awt.Graphics2D;
4 import java.awt.MenuContainer;
5 import java.awt.Rectangle;
6 import java.awt.event.MouseListener;
10 import javax.accessibility.Accessible;
12 public interface ExternalTreePanel extends Accessible, MenuContainer
16 public abstract void setTreeFile(File file);
18 public abstract File getTreeFile();
20 public abstract ExternalTreeI getTree();
22 public abstract ExternalTreeNodeI findNode(int x, int y);
24 public abstract void setMatchingNodes(Set<Long> matchingNodes);
26 public abstract Set<Long> getMatchingNodes();
28 public void addMouseListener(MouseListener listener);
30 public void removeMouseListener(MouseListener listener);
32 public MouseListener[] getMouseListeners();
34 public void repaint();
36 public void registerWithPaintRefresher(String sequenceSetIdentifier);
38 public void notifyPaintRefresher(boolean alignmentChanged,
39 boolean validateSequences);
41 public void notifyPaintRefresher(String newSeqSetIdentifier,
42 boolean alignmentChanged, boolean validateSequences);
44 public int getWidth();
46 public int getHeight();
48 public abstract void paintToFile(Graphics2D pg, int width, int height);
50 public boolean showingSubTree();
52 public abstract Rectangle getVisibleArea();