add killing of doomed nodes via Node.check()/Result.check() methods

[sbp.git] / src / edu / berkeley / sbp / GSS.java

diff --git a/src/edu/berkeley/sbp/GSS.java b/src/edu/berkeley/sbp/GSS.java
index f222fe5..91ef765 100644 (file)
--- a/src/edu/berkeley/sbp/GSS.java
+++ b/src/edu/berkeley/sbp/GSS.java
@@ -89,6 +89,7 @@ class GSS {
                 if (token == null) continue;
                 n.state().invokeShifts(token, this, new Result(result, n, null), null);
             }
+            for(Node n : hash.values()) n.check();
             if (!good && token!=null) ParseFailed.error("unexpected character", this);
             if (token==null && finalResult==null) ParseFailed.error("unexpected end of file", this);
         }