public String location() { for (ASTree t : children) { String s = t.location(); if (s != null) return s; } return null; }
public String toString() { StringBuilder builder = new StringBuilder(); builder.append('('); String sep = ""; for (ASTree t : children) { builder.append(sep); sep = " "; builder.append(t.toString()); } return builder.append(')').toString(); }