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 java.lang.Long	getExactValue(Tree tree, org.checkerframework.common.value.ValueAnnotatedTypeFactory factory) Either returns the exact value of the given tree according to the Constant Value Checker, or null if the exact value is not known.
static ExpressionTree	getLengthSequenceTree(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 java.lang.Long	getMaxValue(Tree tree, org.checkerframework.common.value.ValueAnnotatedTypeFactory factory) Finds the maximum value in a Value Checker type.
static int	getMinLen(Tree tree, org.checkerframework.common.value.ValueAnnotatedTypeFactory valueAnnotatedTypeFactory) Queries the Value Checker to determine if there is a known minimum length for the array represented by tree.
static java.lang.Integer	getMinLenFromTree(Tree tree, org.checkerframework.common.value.ValueAnnotatedTypeFactory valueATF) Looks up the minlen of a member select tree.
static java.lang.Long	getMinValue(Tree tree, org.checkerframework.common.value.ValueAnnotatedTypeFactory factory) Finds the minimum value in a Value Checker type.
static org.checkerframework.common.value.util.Range	getPossibleValues(org.checkerframework.framework.type.AnnotatedTypeMirror valueType, org.checkerframework.common.value.ValueAnnotatedTypeFactory valueAnnotatedTypeFactory) Returns a range representing the possible integral values represented by the passed AnnotatedTypeMirror.
static java.util.List<java.lang.String>	getValueOfAnnotationWithStringArgument(javax.lang.model.element.AnnotationMirror anno) Gets the value field of an annotation with a list of strings in its value field.
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

getValueOfAnnotationWithStringArgument

public static java.util.List<java.lang.String> getValueOfAnnotationWithStringArgument(javax.lang.model.element.AnnotationMirror anno)

Gets the value field of an annotation with a list of strings in its value field. Null is returned if the annotation has no value field.

For the Index Checker, this will get a list of array names from an Upper Bound or SameLen annotation. making this safe to call on any Upper Bound or SameLen annotation.

getPossibleValues

public static org.checkerframework.common.value.util.Range getPossibleValues(org.checkerframework.framework.type.AnnotatedTypeMirror valueType,
                                                                             org.checkerframework.common.value.ValueAnnotatedTypeFactory valueAnnotatedTypeFactory)

Returns a range representing the possible integral values represented by the passed AnnotatedTypeMirror. If the passed AnnotatedTypeMirror does not contain an IntRange annotation or an IntVal annotation, returns null.

getExactValue

public static java.lang.Long getExactValue(Tree tree,
                                           org.checkerframework.common.value.ValueAnnotatedTypeFactory factory)

Either returns the exact value of the given tree according to the Constant Value Checker, or null if the exact value is not known. This method should only be used by clients who need exactly one value -- such as the LBC's binary operator rules -- and not by those that need to know whether a valueType belongs to a particular qualifier.

getMinValue

public static java.lang.Long getMinValue(Tree tree,
                                         org.checkerframework.common.value.ValueAnnotatedTypeFactory factory)

Finds the minimum value in a Value Checker type. If there is no information (such as when the list of possible values is empty or null), returns null. Otherwise, returns the smallest value in the list of possible values.

getMaxValue

public static java.lang.Long getMaxValue(Tree tree,
                                         org.checkerframework.common.value.ValueAnnotatedTypeFactory factory)

Finds the maximum value in a Value Checker type. If there is no information (such as when the list of possible values is empty or null), returns null. Otherwise, returns the smallest value in the list of possible values.

getMinLen

public static int getMinLen(Tree tree,
                            org.checkerframework.common.value.ValueAnnotatedTypeFactory valueAnnotatedTypeFactory)

Queries the Value Checker to determine if there is a known minimum length for the array represented by tree. If not, returns 0.

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 ExpressionTree getLengthSequenceTree(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.

getMinLenFromTree

public static java.lang.Integer getMinLenFromTree(Tree tree,
                                                  org.checkerframework.common.value.ValueAnnotatedTypeFactory valueATF)

Looks up the minlen of a member select tree. The tree must be an access to a sequence length.