/** thrown when the parser arrives at a state from which it is clear that no valid parse can result */
public class ParseFailed extends Exception {
+
private final Input.Location location;
private final String message;
public ParseFailed() { this("", null); }