java.io.Serializable@API(status=STABLE, since="1.0") public class FilePosition extends java.lang.Object implements java.io.Serializable
| Modifier and Type | Method | Description |
|---|---|---|
boolean |
equals(java.lang.Object o) |
|
static FilePosition |
from(int line) |
Create a new
FilePosition using the supplied line number
and an undefined column number. |
static FilePosition |
from(int line,
int column) |
Create a new
FilePosition using the supplied line and
column numbers. |
java.util.Optional<java.lang.Integer> |
getColumn() |
Get the column number of this
FilePosition, if available. |
int |
getLine() |
Get the line number of this
FilePosition. |
int |
hashCode() |
|
java.lang.String |
toString() |
public static FilePosition from(int line)
FilePosition using the supplied line number
and an undefined column number.line - the line number; must be greater than zeropublic static FilePosition from(int line, int column)
FilePosition using the supplied line and
column numbers.line - the line number; must be greater than zerocolumn - the column number; must be greater than zeropublic int getLine()
FilePosition.public java.util.Optional<java.lang.Integer> getColumn()
FilePosition, if available.Optional containing the column number; never
null but potentially emptypublic 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