org.checkerframework.common.value.util

Class NumberUtils

java.lang.Object

org.checkerframework.common.value.util.NumberUtils

public class NumberUtils
extends Object

Constructor Summary

Constructors

Constructor and Description
NumberUtils()

Method Summary

Modifier and Type	Method and Description
static List<? extends Number>	castNumbers(TypeMirror type, List<? extends Number> numbers) Converts a List<A> to a List<B>, where A and B are numeric types.
static Range	castRange(TypeMirror type, Range range) Return a range that restricts the given range to the given type.
static boolean	isFloatingPoint(TypeMirror type) Return true if the argument TypeMirror is a (possibly boxed) floating point type.
static boolean	isIntegral(TypeMirror type) Return true if the argument TypeMirror is a (possibly boxed) integral type.
static boolean	isPrimitiveFloatingPoint(TypeKind typeKind) Return true if the argument is one of FLOAT, DOUBLE.
static boolean	isPrimitiveIntegral(TypeKind typeKind) Return true if the argument is one of INT, SHORT, BYTE, CHAR, LONG.
static TypeKind	unboxPrimitive(TypeMirror type) Given a primitive type, return it.

Methods inherited from class java.lang.Object

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

Constructor Detail

NumberUtils

public NumberUtils()

Method Detail

castNumbers

public static List<? extends Number> castNumbers(TypeMirror type,
                                                 List<? extends Number> numbers)

Converts a List<A> to a List<B>, where A and B are numeric types.

castRange

public static Range castRange(TypeMirror type,
                              Range range)

Return a range that restricts the given range to the given type. That is, return the range resulting from casting a value with the given range.

Parameters:

type - the type for the cast; the result will be within it

range - the original range; the result will be within it

Returns:

the intersection of the given range and the possible values of the given type

unboxPrimitive

public static TypeKind unboxPrimitive(TypeMirror type)

Given a primitive type, return it. Given a boxed primitive type, return the corresponding primitive type.

Parameters:

type - a primitive or boxed primitive type

Returns:

a primitive type

isIntegral

public static boolean isIntegral(TypeMirror type)

Return true if the argument TypeMirror is a (possibly boxed) integral type.

Parameters:

type - the type to inspect

Returns:

true if type is an integral type

isPrimitiveIntegral

public static boolean isPrimitiveIntegral(TypeKind typeKind)

Return true if the argument is one of INT, SHORT, BYTE, CHAR, LONG.

Parameters:

typeKind - the TypeKind to inspect

Returns:

true if typeKind is a primitive integral type kind

isFloatingPoint

public static boolean isFloatingPoint(TypeMirror type)

Return true if the argument TypeMirror is a (possibly boxed) floating point type.

Parameters:

type - the type to inspect

Returns:

true if type is a floating point type

isPrimitiveFloatingPoint

public static boolean isPrimitiveFloatingPoint(TypeKind typeKind)

Return true if the argument is one of FLOAT, DOUBLE.

Parameters:

typeKind - the TypeKind to inspect

Returns:

true if typeKind is a primitive floating point type kind