Class TypeOccurrenceRange
java.lang.Object
org.checkerframework.framework.util.visualize.TypeOccurrenceRange
Stores an inclusive range [(startLine, startCol), (endLine, endCol)] in the source code to which
a piece of type information refers. All indices are 0-based since LSP uses 0-based positions.
-
Method Summary
Modifier and TypeMethodDescriptionstatic TypeOccurrenceRange
of
(long startLine, long startCol, long endLine, long endCol) Constructs a newTypeOccurrenceRange
with the given position information.toString()
-
Method Details
-
of
Constructs a newTypeOccurrenceRange
with the given position information.- Parameters:
startLine
- 0-based line number of the start positionstartCol
- 0-based column number of the start positionendLine
- 0-based line number of the end positionendCol
- 0-based column number of the end position- Returns:
- a new
TypeOccurrenceRange
with the given position information
-
toString
-