treeviewer/ExternalTreeI.java

   1 package jalview.ext.treeviewer;
   2
   3 public interface ExternalTreeI
   4 {
   5   public void setTreeName(String name);
   6
   7   public <T> T getOriginalTree();
   8
   9   public ExternalTreeNodeI getRoot();
  10
  11   public ExternalTreeNodeI getNodeWithName(String name);
  12
  13   public String[] getAllLeafNames();
  14
  15 }