org.checkerframework.common.value

Class ValueCheckerUtils

java.lang.Object

org.checkerframework.common.value.ValueCheckerUtils

public class ValueCheckerUtils
extends Object

Constructor Summary

Constructors

Constructor and Description
ValueCheckerUtils()

Method Summary

Modifier and Type	Method and Description
static Class<?>	getArrayClassObject(TypeMirror componentType)
static Class<?>	getClassFromType(TypeMirror type)
static List<Integer>	getLengthsForStringValues(List<String> values) Gets a list of lengths for a list of string values.
static Range	getRangeFromValues(List<? extends Number> values) Get the minimum and maximum of a list and return a range bounded by them.
static List<?>	getValuesCastedToType(AnnotationMirror anno, TypeMirror castTo) Get a list of values of annotation, and then cast them to a given type.
static <T> List<T>	getValuesFromRange(Range range, Class<T> expectedType) Get all possible values from the given type and cast them into a boxed primitive type.
static <T extends Comparable<T>> List<T>	removeDuplicates(List<T> values)

Methods inherited from class java.lang.Object

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

Constructor Detail

ValueCheckerUtils

public ValueCheckerUtils()

Method Detail

getClassFromType

public static Class<?> getClassFromType(TypeMirror type)

getArrayClassObject

public static Class<?> getArrayClassObject(TypeMirror componentType)

getValuesCastedToType

public static List<?> getValuesCastedToType(AnnotationMirror anno,
                                            TypeMirror castTo)

Get a list of values of annotation, and then cast them to a given type.

Parameters:

anno - the annotation that contains values

castTo - the type that is casted to

Returns:

a list of values after the casting

getRangeFromValues

public static Range getRangeFromValues(List<? extends Number> values)

Get the minimum and maximum of a list and return a range bounded by them.

getValuesFromRange

public static <T> List<T> getValuesFromRange(Range range,
                                             Class<T> expectedType)

Get all possible values from the given type and cast them into a boxed primitive type.

expectedType must be a boxed type, not a primitive type, because primitive types cannot be stored in a list.

Parameters:

range - the given range

expectedType - the expected type

Returns:

a list of all the values in the range

removeDuplicates

public static <T extends Comparable<T>> List<T> removeDuplicates(List<T> values)

getLengthsForStringValues

public static List<Integer> getLengthsForStringValues(List<String> values)

Gets a list of lengths for a list of string values.

Parameters:

values - list of string values

Returns:

list of unique lengths of strings in values