+ public String error(String message) {
+ String lookAhead = token==null ? "<EOF>" : token.toString();
+ StringBuffer ret = new StringBuffer();
+ ret.append("\n ");
+ ret.append(message);
+ HashMap<String,HashSet<String>> errors = new HashMap<String,HashSet<String>>();
+ for(Node n : hash.values()) complain(n, errors, false);
+ for(String s : errors.keySet()) {
+ ret.append(" while parsing " + yellow(s));
+ HashSet<String> hs = errors.get(s);
+ if (hs.size()==1) ret.append(" expected " + yellow(el(hs.iterator().next())) + "\n");
+ else {
+ ret.append(" expected ");
+ boolean first = true;
+ for(String s2 : hs) {
+ if (!first) ret.append(" or ");
+ first = false;
+ ret.append(yellow(el(s2)));
+ }
+ ret.append("\n");
+ }
+ }
+ return ret.toString();
+ }
+
+ public boolean isDone() throws Parser.Failed {
+ if (token != null) return false;
+ if (token==null && finalResult==null)
+ throw new Parser.Failed(error(red("unexpected end of file\n")),
+ getLocation());
+ return true;
+ }
+
+ private String error = "generic syntax error";