Package org.checkerframework.checker.index

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 Summary

Constructors

Constructor	Description
IndexUtil()

Method Summary

Modifier and Type	Method	Description
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.
static boolean	isSequenceType(TypeMirror type)	Determines whether 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

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.