public interface SourcePosition
Modifier and Type | Method and Description |
---|---|
int |
column()
The column in the source file.
|
File |
file()
The source file.
|
int |
line()
The line in the source file.
|
String |
toString()
Convert the source position to the form "Filename:line".
|
File file()
int line()
int column()