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 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 Long type, Double type, or Character type accordingly.
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 Long type, Double type, or Character type accordingly. Only support casting to integral type and double type.

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)