()
| 981 | } |
| 982 | |
| 983 | public String debugString() { |
| 984 | return (id_ != null ? "exprid=" + id_.toString() + " " : "") + debugString(children_); |
| 985 | } |
| 986 | |
| 987 | public static String debugString(List<? extends Expr> exprs) { |
| 988 | if (exprs == null || exprs.isEmpty()) return ""; |