X-Git-Url: http://git.megacz.com/?p=sbp.git;a=blobdiff_plain;f=src%2Fedu%2Fberkeley%2Fsbp%2FParseFailed.java;h=d1e60aea000771313fb538496ce064bef0c6f003;hp=9a7012ffddf4d2f899b03129de2da561b9a0eacf;hb=acfe58223b9a0f78e64a14a1ca5d5998626ee3fe;hpb=ddf7ffb485e6b3dd0fe6b1b39b47a21a1e4b8973 diff --git a/src/edu/berkeley/sbp/ParseFailed.java b/src/edu/berkeley/sbp/ParseFailed.java index 9a7012f..d1e60ae 100644 --- a/src/edu/berkeley/sbp/ParseFailed.java +++ b/src/edu/berkeley/sbp/ParseFailed.java @@ -8,23 +8,26 @@ import java.io.*; import java.util.*; /** 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 Token.Location location; +public class ParseFailed extends Exception { + + private final Input.Location location; 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 String toString() { return message/* + (location==null ? "" : (" at " + location))*/; } - public static void complain(Node n, HashMap> errors, boolean force) { - if (n.touched) return; - n.touched = true; + // FIXME + private static HashSet touched = new HashSet(); + public static void complain(GSS.Phase.Node n, HashMap> errors, boolean force) { + if (touched.contains(n)) return; + touched.add(n); for(Position p : n.state) { - if (((p.isFirst() || p.isLast()) && !force) || p.owner().name==null) { + if (((p.isFirst() || p.isLast()) && !force)/* || p.owner().name==null*/) { for(Node n2 : n.parents()) complain(n2, errors, force | p.isFirst()); } else { - String seqname = p.owner().name; + String seqname = p.owner()/*.name*/+""; HashSet hs = errors.get(seqname); if (hs==null) errors.put(seqname, hs = new HashSet()); hs.add(p.element()+""); @@ -34,7 +37,7 @@ public class ParseFailed extends RuntimeException { public static String el(Object e) { String s = e.toString(); - if (s.length()==0 || s.charAt(0)!='\"' || s.charAt(s.length()-1)!='\"') return ANSI.yellow(s); + if (s.length()==0 || s.charAt(0)!='\"' || s.charAt(s.length()-1)!='\"') return /*ANSI.yellow(s)*/s; s = s.substring(1); s = s.substring(0, s.length()-1); StringBuffer ret = new StringBuffer(); @@ -42,13 +45,14 @@ public class ParseFailed extends RuntimeException { if (s.charAt(i)=='\\' && i nodes) { + public static String error(String message, Object token, Iterable nodes) { String lookAhead = token==null ? "" : token.toString(); StringBuffer ret = new StringBuffer(); ret.append("\n "); ret.append(message); + /* HashMap> errors = new HashMap>(); for(Node n : nodes) { //System.out.println(n.state); @@ -69,6 +73,7 @@ public class ParseFailed extends RuntimeException { ret.append("\n"); } } + */ return ret.toString(); }