/** thrown when the parser arrives at a state from which it is clear that no valid parse can result */
public class ParseFailed extends RuntimeException {
/** thrown when the parser arrives at a state from which it is clear that no valid parse can result */
public class ParseFailed extends RuntimeException {
private final String message;
public ParseFailed() { this("", null); }
private final String message;
public ParseFailed() { this("", null); }
- public ParseFailed(String message, Token.Location loc) { this.location = loc; this.message = message; }
- public Token.Location getLocation() { return location; }
+ public ParseFailed(String message, Input.Location loc) { this.location = loc; this.message = message; }
+ public Input.Location getLocation() { return location; }
- public static void complain(Node n, HashMap<String,HashSet<String>> errors, boolean force) {
+ public static <Tok> void complain(GSS.Phase<Tok>.Node n, HashMap<String,HashSet<String>> errors, boolean force) {