public Tree(Input.Region loc, NodeType head, List<Tree<NodeType>> kids){
location = loc;
ihead = head;
- if (children.size() == 0)
+ if (kids.size() == 0)
children = emptyTree;
else {
children = new Tree[kids.size()];
if (head()==null) return null;
if (head() instanceof ToJava) {
StringBuffer sb = new StringBuffer();
- ((ToJava)head()).toJava(sb);
+ try {
+ ((ToJava)head()).toJava(sb);
+ } catch (IOException e) { throw new RuntimeException(e); }
return sb.toString();
}
return (head()==null?"null":("\""+StringUtil.toJavaString(head().toString())+"\""));