public class Position
extends Object
-
Field Summary
Fields
(package private) final int
(package private) final int
(package private) final String
(package private) final int
(package private) final int
-
Constructor Summary
Constructors
Position(String filename,
int startLine,
int endLine,
int startOffset,
int endOffset)
-
Method Summary
-
Field Details
-
-
startLine
final int startLine
-
endLine
final int endLine
-
startOffset
final int startOffset
-
endOffset
final int endOffset
-
Constructor Details
-
Position
public Position(String filename,
int startLine,
int endLine,
int startOffset,
int endOffset)
-
Method Details
-
-
getStartLine
public int getStartLine()
-
getEndLine
public int getEndLine()
-
getStartOffset
public int getStartOffset()
-
getEndOffset
public int getEndOffset()
-