- public abstract Forest<Result> shiftToken(Tok t, Token.Location loc);
-
- /** parse <tt>input</tt>, using the table <tt>pt</tt> to drive the parser */
- public Forest<Result> parse(Token.Stream<Tok> input) throws IOException, ParseFailed {
- GSS gss = new GSS();
- Token.Location loc = input.getLocation();
- GSS.Phase current = gss.new Phase<Tok>(null, this, null, input.next(1, 0, 0), loc, null);
- current.newNode(null, Forest.leaf(null, null), pt.start, true);
- int count = 1;
- for(;;) {
- loc = input.getLocation();
- current.reduce();
- Forest forest = current.token==null ? null : shiftToken((Tok)current.token, loc);
- GSS.Phase next = gss.new Phase<Tok>(current, this, current, input.next(count, gss.resets, gss.waits), loc, forest);
- count = next.size();
- if (current.isDone()) return (Forest<Result>)gss.finalResult;
- current = next;
- }
+ public abstract Forest<NodeType> shiftToken(Token t, Input.Region region);
+
+ public abstract Topology<Token> emptyTopology();
+
+ public String toString() { return pt.toString(); }
+ Grammar cache() { return pt; }
+
+ /** parse <tt>input</tt>, and return the shared packed parse forest (or throw an exception) */
+ public Forest<NodeType> parse(Input<Token> input) throws IOException, ParseFailed {
+ verbose = System.getProperty("sbp.verbose", null) != null;
+ spinpos = 0;
+ try {
+ GSS gss = new GSS(input, this);
+ for(GSS.Phase current = gss.new Phase<Token>(pt.start); ;) {
+
+ if (verbose) {
+ // FIXME: clean this up
+ String s;
+ s = " " + spin[spinpos++ % (spin.length)]+" parsing ";
+ s += input.getName();
+ s += " "+input.getLocation();
+ while(s.indexOf(':') != -1 && s.indexOf(':') < 8) s = " " + s;
+ String y = "@"+gss.viewPos+" ";
+ while(y.length() < 9) y = " " + y;
+ s += y;
+ s += " nodes="+gss.numOldNodes;
+ while(s.length() < 50) s = s + " ";
+ s += " shifted="+gss.numNewNodes;
+ while(s.length() < 60) s = s + " ";
+ s += " reductions="+gss.numReductions;
+ System.err.print("\r"+s+ANSI.clreol()+"\r");
+ }
+
+ if (current.isDone()) return (Forest<NodeType>)current.finalResult;
+ Forest forest = shiftToken((Token)current.token, current.getRegion());
+ current = gss.new Phase<Token>(current, forest);
+ }
+ } finally { if (verbose) System.err.print("\r"+ANSI.clreol()); }
+ }
+
+ // Spinner //////////////////////////////////////////////////////////////////////////////
+
+ private boolean verbose = false;
+ private static final char[] spin = new char[] { '-', '\\', '|', '/' };
+ private int spinpos = 0;
+ private long last = 0;
+ void spin() {
+ if (!verbose) return;
+ long now = System.currentTimeMillis();
+ if (now-last < 70) return;
+ last = now;
+ System.err.print("\r " + spin[spinpos++ % (spin.length)]+"\r");