/** returns the location the input stream is currently at */
public Location<Token> getLocation();
+
+ /** should return a short string describing where the input is coming from */
+ public String getName();
/**
* <b>Optional:</b> <i>If possible</i>, this method will return a
- * <60 char long rendering of the input region (for example, if
- * the input is a region of characters, it would be those
- * characters, possibly with ellipses in the middle to truncate
- * the length) -- otherwise, returns null.
+ * 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);
+ public abstract String showRegion(Region<Token> r, int maxLength);
/** <font color=purple>a location (position) in the input stream -- <i>between tokens</i></font> */
public static interface Location<Token> extends Comparable<Location> {