Class IndexUtil

java.lang.Object
org.checkerframework.checker.index.IndexUtil

public class IndexUtil extends Object
A collection of utility functions used by several Index Checker subcheckers.
  • Constructor Details

    • IndexUtil

      public IndexUtil()
  • Method Details

    • isSequenceType

      public static boolean isSequenceType(TypeMirror type)
      Determines whether the type is a sequence supported by this checker.
    • getLengthSequenceTree

      public static @Nullable ExpressionTree getLengthSequenceTree(Tree lengthTree, IndexMethodIdentifier imf, ProcessingEnvironment processingEnv)
      Gets a sequence tree for a length access tree, or null if it is not a length access.