public interface Input<Token> {
/** returns the token just beyond the current location and advances beyond it */
- public Token next(int numstates, int resets, int waits) throws IOException;
+ public Token next() throws IOException;
/** returns the location the input stream is currently at */
- public Location getLocation();
+ public Location<Token> getLocation();
- /** a location *between tokens* in the input stream */
- public static interface Location {
+ /** a location <i>between tokens<i> in the input stream */
+ public static interface Location<Tok> extends Comparable<Location> {
public String toString();
}
+
+ public static class Region<Loc extends Location> /* implements Topology<Location<Tok>> */ {
+ public final Loc start;
+ public final Loc end;
+ public Region(Loc a, Loc b) {
+ switch(a.compareTo(b)) {
+ case -1:
+ case 0: start=a; end=b; return;
+ case 1: start=b; end=a; return;
+ default: throw new Error("impossible");
+ }
+ }
+ }
}