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 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