| Modifier and Type | Field and Description |
|---|---|
int |
column |
static Position |
HOME
The first position in the file
|
int |
line |
| Constructor and Description |
|---|
Position(int line,
int column) |
| Modifier and Type | Method and Description |
|---|---|
int |
compareTo(Position o) |
boolean |
equals(java.lang.Object o) |
int |
hashCode() |
boolean |
invalid() |
boolean |
isAfter(Position position) |
boolean |
isBefore(Position position) |
Position |
orIfInvalid(Position anotherPosition) |
static Position |
pos(int line,
int column)
Convenient factory method.
|
java.lang.String |
toString() |
boolean |
valid()
Check if the position is usable.
|
Position |
withColumn(int column) |
Position |
withLine(int line) |
public final int line
public final int column
public static final Position HOME
public static Position pos(int line, int column)
public Position withColumn(int column)
public Position withLine(int line)
public boolean valid()
public boolean invalid()
public boolean isAfter(Position position)
public boolean isBefore(Position position)
public int compareTo(Position o)
compareTo in interface java.lang.Comparable<Position>public boolean equals(java.lang.Object o)
equals in class java.lang.Objectpublic int hashCode()
hashCode in class java.lang.Objectpublic java.lang.String toString()
toString in class java.lang.Object