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.Object
public int hashCode()
hashCode
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object