public String toString() { return pt.toString(); }
- /** parse <tt>input</tt>, using the table <tt>pt</tt> to drive the parser */
+ /** parse <tt>input</tt>, and return the shared packed parse forest (or throw an exception) */
public Forest<Result> parse(Input<Tok> input) throws IOException, ParseFailed {
GSS gss = new GSS();
Input.Location loc = input.getLocation();