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)

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)