+
+ /** 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.
+ */
+ public abstract String showRegion(Region<Token> r);
+
+ /** <font color=purple>a location (position) in the input stream -- <i>between tokens</i></font> */
+ public static interface Location<Token> extends Comparable<Location> {
+
+ /** return the region between this location and <tt>loc</tt> */
+ public Region<Token> createRegion(Location<Token> loc);