org.checkerframework.common.value.util

Class NumberUtils

java.lang.Object

org.checkerframework.common.value.util.NumberUtils

public class NumberUtils
extends Object

Utility routines for manipulating numbers.

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.

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