public class ZenPosition
extends java.lang.Object
| Constructor and Description |
|---|
ZenPosition(ZenParsedFile file,
int line,
int offset,
java.lang.String fileNameFallback) |
| Modifier and Type | Method and Description |
|---|---|
ZenParsedFile |
getFile() |
java.lang.String |
getFileName() |
int |
getLine() |
int |
getLineOffset() |
java.lang.String |
toString() |
public ZenPosition(ZenParsedFile file, int line, int offset, java.lang.String fileNameFallback)
public ZenParsedFile getFile()
public java.lang.String getFileName()
public int getLine()
public int getLineOffset()
public java.lang.String toString()
toString in class java.lang.Object