public class Region extends Object
Modifier and Type | Method and Description |
---|---|
void |
addRegion(Region child) |
void |
addText(char[] ch,
int start,
int length) |
void |
dump() |
protected void |
dump(int level) |
List<Object> |
getChildren() |
String |
getName() |
Region |
getParent() |
void |
setParent(Region parent) |
void |
visitTokens(TokenVisitor visitor) |
public String getName()
public Region getParent()
public void setParent(Region parent)
public void addText(char[] ch, int start, int length)
public void addRegion(Region child)
public void dump()
protected void dump(int level)
public void visitTokens(TokenVisitor visitor)