public String toString() { return message/* + (location==null ? "" : (" at " + location))*/; }
public static void complain(Node n, HashMap<String,HashSet<String>> errors, boolean force) {
- if (n.touched) return;
- n.touched = true;
+ //if (n.touched) return;
+ //n.touched = true;
for(Position p : n.state) {
if (((p.isFirst() || p.isLast()) && !force) || p.owner().name==null) {
for(Node n2 : n.parents())