org.checkerframework.common.value.util

Class NumberUtils

java.lang.Object

org.checkerframework.common.value.util.NumberUtils

public class NumberUtils
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
NumberUtils()

Method Summary

Modifier and Type	Method and Description
static java.util.List<? extends java.lang.Number>	castNumbers(javax.lang.model.type.TypeMirror type, java.util.List<? extends java.lang.Number> numbers) Converts a List<A> to a List<B>, where A and B are numeric types.
static Range	castRange(javax.lang.model.type.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 java.util.List<? extends java.lang.Number> castNumbers(javax.lang.model.type.TypeMirror type,
                                                                     java.util.List<? extends java.lang.Number> numbers)

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

castRange

public static Range castRange(javax.lang.model.type.TypeMirror type,
                              Range range)