/jEdit/tags/jedit-4-5-pre1/org/gjt/sp/jedit/textarea/Node.java

 1package org.gjt.sp.jedit.textarea;
 2
 3import java.util.Vector;
 4
 5public interface Node 
 6{
 7	public void addChild(Node node);
 8	public Vector  getChildren();
 9	public Node getParent();
10}