- /** returns the location the input stream is currently at */
- public Location<Token> getLocation();
+ /** might called by Parser when it is done with the input */
+ public void close();
+
+ /**
+ * <b>Optional:</b> <i>If possible</i>, this method will return a
+ * rendering of the input region (for example, if the input is a
+ * region of characters, it would be those characters) --
+ * otherwise, returns null. In any case, the string returned
+ * will be no more than <tt>maxLength</tt> characters long;
+ * typically ellipses will be inserted to perform truncation.
+ */
+ public abstract String showRegion(Region<Token> r, int maxLength);