public class SourceLocation
extends java.lang.Object
implements java.io.Serializable
| Constructor and Description |
|---|
SourceLocation(java.io.File file,
int lineNumber,
int columnNumber,
int characterOffset) |
| Modifier and Type | Method and Description |
|---|---|
int |
getCharacterOffset() |
int |
getColumnNumber() |
java.io.File |
getFile() |
int |
getLineNumber() |
java.lang.String |
render() |
java.lang.String |
toString() |
public SourceLocation(java.io.File file,
int lineNumber,
int columnNumber,
int characterOffset)
public java.io.File getFile()
public int getLineNumber()
public int getColumnNumber()
public int getCharacterOffset()
public java.lang.String render()
public java.lang.String toString()
toString in class java.lang.Object