Package org.checkerframework.framework.util.visualize

Class TypeOccurrenceRange

java.lang.Object

org.checkerframework.framework.util.visualize.TypeOccurrenceRange

public class TypeOccurrenceRange
extends Object

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 Type	Method	Description
static TypeOccurrenceRange	of(long startLine, long startCol, long endLine, long endCol)	Constructs a new TypeOccurrenceRange with the given position information.
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Details

of

public static TypeOccurrenceRange of(long startLine,
 long startCol,
 long endLine,
 long endCol)

Constructs a new TypeOccurrenceRange with the given position information.

Parameters:

startLine - 0-based line number of the start position

startCol - 0-based column number of the start position

endLine - 0-based line number of the end position

endCol - 0-based column number of the end position

Returns:

a new TypeOccurrenceRange with the given position information

toString

public String toString()

Overrides:

toString in class Object