public String getTerminal() {
ParseNode pn = children.elementAt(0);
if (pn == null) {
return null;
} else {
return pn.getLabel();
}
}
public ParseNodeVector getChildren(String label) {
int i;
ParseNodeVector v = new ParseNodeVector();
for (i = 0; i < children.size(); i++) {
ParseNode pn = children.elementAt(i);
if (pn.getLabel().equals(label)) v.addElement(pn);
}
return v;
}
public ParseNode getChild(String label) {
int i;
ParseNode p;
for (i = 0; i < children.size(); i++) {
p = children.elementAt(i);
if (p.getLabel().equals(label)) {
return p;
}
}
return null;
}