+
+ /** the location following this one */
+ public Location next();
+
+ /** the location preceding this one */
+ public Location prev();
+ }
+
+ /** <font color=purple>a contiguous set of <tt>Location</tt>s</font> */
+ public static interface Region<Token> /* implements Topology<Location<Tok>> */ {
+
+ /**
+ * the toString() method of Region should return a <80char
+ * "rendition" of the input region, if possible
+ */
+ public abstract String toString();
+
+ /** The location of the start of this region */
+ public abstract Location<Token> getStart();
+
+ /** The location of the end of this region */
+ public abstract Location<Token> getEnd();
+