/** a location <i>between tokens<i> in the input stream */
public static interface Location<Tok> extends Comparable<Location> {
public String toString();
-
- /** an implementation of Location for a cartesian grid (row, col) */
- public static class Cartesian<Tok> implements Location<Tok>, Comparable<Location> {
- protected final int row;
- protected final int col;
- public String toString() { return row+":"+col; }
- public int getCol() { return col; }
- public int getRow() { return row; }
- public Cartesian(int col, int row) { this.row = row; this.col = col; }
- public int compareTo(Location loc) throws ClassCastException {
- if (!(loc instanceof Cartesian)) throw new ClassCastException();
- Cartesian<Tok> c = (Cartesian<Tok>)loc;
- if (row < c.row) return -1;
- if (row > c.row) return 1;
- if (col < c.col) return -1;
- if (col > c.col) return 1;
- return 0;
- }
- }
}
public static class Region<Loc extends Location> /* implements Topology<Location<Tok>> */ {