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.

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

isSequenceType

public static boolean isSequenceType(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 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.