org.checkerframework.checker.index

Class IndexUtil

java.lang.Object

org.checkerframework.checker.index.IndexUtil

public class IndexUtil
extends java.lang.Object

A collection of utility functions used by several Index Checker subcheckers.

Constructor Summary

Constructors

Constructor and Description
IndexUtil()

Method Summary

Modifier and Type	Method and Description
static 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) 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 Detail

IndexUtil

public IndexUtil()

Method Detail

isSequenceType

public static boolean isSequenceType(javax.lang.model.type.TypeMirror type)

Determines whether the type is a sequence supported by this checker.

getLengthSequenceTree

public static 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.