public class Position
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
(package private) int |
endLine |
(package private) int |
endOffset |
(package private) java.lang.String |
filename |
(package private) int |
startLine |
(package private) int |
startOffset |
| Constructor and Description |
|---|
Position(java.lang.String filename,
int startLine,
int endLine,
int startOffset,
int endOffset) |
| Modifier and Type | Method and Description |
|---|---|
int |
getEndLine() |
int |
getEndOffset() |
java.lang.String |
getFile() |
int |
getStartLine() |
int |
getStartOffset() |
java.lang.String |
toString() |
final java.lang.String filename
final int startLine
final int endLine
final int startOffset
final int endOffset
public Position(java.lang.String filename,
int startLine,
int endLine,
int startOffset,
int endOffset)
public java.lang.String getFile()
public int getStartLine()
public int getEndLine()
public int getStartOffset()
public int getEndOffset()
public java.lang.String toString()
toString in class java.lang.Object