Package org.checkerframework.checker.index

Class IndexUtil

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

    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static @Nullable com.sun.source.tree.ExpressionTree getLengthSequenceTree​(com.sun.source.tree.Tree lengthTree, IndexMethodIdentifier imf, javax.annotation.processing.ProcessingEnvironment processingEnv)
      Gets a sequence tree for a length access tree, or null if it is not a length access.
      static boolean isSequenceType​(javax.lang.model.type.TypeMirror type)
      Returns true if the type is a sequence supported by this checker.

      • Methods inherited from class java.lang.Object

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

    • Method Detail

      • isSequenceType

        public static boolean isSequenceType​(javax.lang.model.type.TypeMirror type)
        Returns true if the type is a sequence supported by this checker.
        Parameters:
        type - a type
        Returns:
        true if the type is a sequence supported by this checker

      • getLengthSequenceTree

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