public int getRow() { return row; }
public Location(int col, int row) { this.row = row; this.col = col; }
public int compareTo(Input.Location loc) throws ClassCastException {
public int getRow() { return row; }
public Location(int col, int row) { this.row = row; this.col = col; }
public int compareTo(Input.Location loc) throws ClassCastException {
Location<Tok> c = (Location<Tok>)loc;
if (row < c.row) return -1;
if (row > c.row) return 1;
Location<Tok> c = (Location<Tok>)loc;
if (row < c.row) return -1;
if (row > c.row) return 1;