TypesUtils

java.lang.Object
- org.checkerframework.javacutil.TypesUtils

public final class TypesUtils
extends Object

A utility class that helps with TypeMirrors.

Method Summary

All Methods Static Methods Concrete Methods
Modifier and Type	Method and Description
`static boolean`	`areSamePrimitiveTypes(TypeMirror left, TypeMirror right)` Returns true iff the arguments are both the same primitive types.
`static ArrayType`	`createArrayType(Types types, TypeMirror componentType)` Returns an `ArrayType` with elements of type `componentType`.
`static TypeMirror`	`findConcreteUpperBound(TypeMirror boundedType)` Given a bounded type (wildcard or typevar) get the concrete type of its upper bound.
`static Name`	`getQualifiedName(DeclaredType type)` Gets the fully qualified name for a provided type.
`static boolean`	`isAnonymous(TypeMirror type)` Returns true iff the argument is an anonymous type.
`static boolean`	`isBooleanType(TypeMirror type)` Checks if the type represents a boolean type, that is either boolean (primitive type) or java.lang.Boolean.
`static boolean`	`isBoxedPrimitive(TypeMirror type)`
`static boolean`	`isBoxOf(TypeMirror declaredType, TypeMirror primitiveType)` Returns true if declaredType is a Class that is used to box primitive type (e.g.
`static boolean`	`isClass(TypeMirror type)` Checks if the type represents a java.lang.Class declared type.
`static boolean`	`isDeclaredOfName(TypeMirror type, CharSequence qualifiedName)` Check if the type represent a declared type of the given qualified name
`static boolean`	`isErasedSubtype(Types types, TypeMirror subtype, TypeMirror supertype)` Returns true if the erased type of subtype is a subtype of the erased type of supertype.
`static boolean`	`isFloating(TypeMirror type)` Returns true iff the argument is a floating point type.
`static boolean`	`isIntegral(TypeMirror type)` Returns true iff the argument is an integral type.
`static boolean`	`isNumeric(TypeMirror type)` Returns true iff the argument is a primitive numeric type.
`static boolean`	`isObject(TypeMirror type)` Checks if the type represents a java.lang.Object declared type.
`static boolean`	`isPrimitive(TypeMirror type)` Returns true iff the argument is a primitive type.
`static boolean`	`isString(TypeMirror type)` Checks if the type represents a java.lang.String declared type.
`static boolean`	`isThrowable(TypeMirror type)`
`static TypeMirror`	`typeFromClass(Types types, Elements elements, Class<?> clazz)` Returns the `TypeMirror` for a given `Class`.
`static TypeMirror`	`upperBound(TypeMirror type)` If the argument is a bounded TypeVariable or WildcardType, return its non-variable, non-wildcard upper bound.
`static TypeKind`	`widenedNumericType(TypeMirror left, TypeMirror right)` Returns the widened numeric type for an arithmetic operation performed on a value of the left type and the right type.
`static TypeParameterElement`	`wildcardToTypeParam(com.sun.tools.javac.code.Type.WildcardType wildcard)` Get the type parameter for this wildcard from the underlying type's bound field This field is sometimes null, in that case this method will return null
`static com.sun.tools.javac.code.Type`	`wildLowerBound(ProcessingEnvironment env, TypeMirror tm)` Version of com.sun.tools.javac.code.Types.wildLowerBound(Type) that works with both jdk8 (called upperBound there) and jdk8u.
`static com.sun.tools.javac.code.Type`	`wildUpperBound(ProcessingEnvironment env, TypeMirror tm)` Version of com.sun.tools.javac.code.Types.wildUpperBound(Type) that works with both jdk8 (called upperBound there) and jdk8u.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Method Detail
  - getQualifiedName
```
public static Name getQualifiedName(DeclaredType type)
```
    Gets the fully qualified name for a provided type. It returns an empty name if type is an anonymous type.
    
    Parameters:
    
    type - the declared type
    
    Returns:
    
    the name corresponding to that type
  - isObject
```
public static boolean isObject(TypeMirror type)
```
    Checks if the type represents a java.lang.Object declared type.
    
    Parameters:
    
    type - the type
    
    Returns:
    
    true iff type represents java.lang.Object
  - isClass
```
public static boolean isClass(TypeMirror type)
```
    Checks if the type represents a java.lang.Class declared type.
    
    Parameters:
    
    type - the type
    
    Returns:
    
    true iff type represents java.lang.Class
  - isString
```
public static boolean isString(TypeMirror type)
```
    Checks if the type represents a java.lang.String declared type. TODO: it would be cleaner to use String.class.getCanonicalName(), but the two existing methods above don't do that, I guess for performance reasons.
    
    Parameters:
    
    type - the type
    
    Returns:
    
    true iff type represents java.lang.String
  - isBooleanType
```
public static boolean isBooleanType(TypeMirror type)
```
    Checks if the type represents a boolean type, that is either boolean (primitive type) or java.lang.Boolean.
    
    Parameters:
    
    type - the type to test
    
    Returns:
    
    true iff type represents a boolean type
  - isDeclaredOfName
```
public static boolean isDeclaredOfName(TypeMirror type,
                                       CharSequence qualifiedName)
```
    Check if the type represent a declared type of the given qualified name
    
    Parameters:
    
    type - the type
    
    Returns:
    
    type iff type represents a declared type of the qualified name
  - isBoxedPrimitive
```
public static boolean isBoxedPrimitive(TypeMirror type)
```
  - isThrowable
```
public static boolean isThrowable(TypeMirror type)
```
    Returns:
    
    type represents a Throwable type (e.g. Exception, Error)
  - isAnonymous
```
public static boolean isAnonymous(TypeMirror type)
```
    Returns true iff the argument is an anonymous type.
    
    Returns:
    
    whether the argument is an anonymous type
  - isPrimitive
```
public static boolean isPrimitive(TypeMirror type)
```
    Returns true iff the argument is a primitive type.
    
    Returns:
    
    whether the argument is a primitive type
  - areSamePrimitiveTypes
```
public static boolean areSamePrimitiveTypes(TypeMirror left,
                                            TypeMirror right)
```
    Returns true iff the arguments are both the same primitive types.
    
    Returns:
    
    whether the arguments are the same primitive types
  - isNumeric
```
public static boolean isNumeric(TypeMirror type)
```
    Returns true iff the argument is a primitive numeric type.
    
    Returns:
    
    whether the argument is a primitive numeric type
  - isIntegral
```
public static boolean isIntegral(TypeMirror type)
```
    Returns true iff the argument is an integral type.
    
    Returns:
    
    whether the argument is an integral type
  - isFloating
```
public static boolean isFloating(TypeMirror type)
```
    Returns true iff the argument is a floating point type.
    
    Returns:
    
    whether the argument is a floating point type
  - widenedNumericType
```
public static TypeKind widenedNumericType(TypeMirror left,
                                          TypeMirror right)
```
    Returns the widened numeric type for an arithmetic operation performed on a value of the left type and the right type. Defined in JLS 5.6.2. We return a TypeKind because creating a TypeMirror requires a Types object from the ProcessingEnvironment.
    
    Returns:
    
    the result of widening numeric conversion, or NONE when the conversion cannot be performed
  - upperBound
```
public static TypeMirror upperBound(TypeMirror type)
```
    If the argument is a bounded TypeVariable or WildcardType, return its non-variable, non-wildcard upper bound. Otherwise, return the type itself.
    
    Parameters:
    
    type - a type
    
    Returns:
    
    the non-variable, non-wildcard upper bound of a type, if it has one, or itself if it has no bounds
  - wildcardToTypeParam
```
public static TypeParameterElement wildcardToTypeParam(com.sun.tools.javac.code.Type.WildcardType wildcard)
```
    Get the type parameter for this wildcard from the underlying type's bound field This field is sometimes null, in that case this method will return null
    
    Returns:
    
    the TypeParameterElement the wildcard is an argument to
  - wildUpperBound
```
public static com.sun.tools.javac.code.Type wildUpperBound(ProcessingEnvironment env,
                                                           TypeMirror tm)
```
    Version of com.sun.tools.javac.code.Types.wildUpperBound(Type) that works with both jdk8 (called upperBound there) and jdk8u.
  - wildLowerBound
```
public static com.sun.tools.javac.code.Type wildLowerBound(ProcessingEnvironment env,
                                                           TypeMirror tm)
```
    Version of com.sun.tools.javac.code.Types.wildLowerBound(Type) that works with both jdk8 (called upperBound there) and jdk8u.
  - typeFromClass
```
public static TypeMirror typeFromClass(Types types,
                                       Elements elements,
                                       Class<?> clazz)
```
    Returns the TypeMirror for a given Class.
  - createArrayType
```
public static ArrayType createArrayType(Types types,
                                        TypeMirror componentType)
```
    Returns an ArrayType with elements of type componentType.
  - isBoxOf
```
public static boolean isBoxOf(TypeMirror declaredType,
                              TypeMirror primitiveType)
```
    Returns true if declaredType is a Class that is used to box primitive type (e.g. declaredType=java.lang.Double and primitiveType=22.5d )
  - findConcreteUpperBound
```
public static TypeMirror findConcreteUpperBound(TypeMirror boundedType)
```
    Given a bounded type (wildcard or typevar) get the concrete type of its upper bound. If the bounded type extends other bounded types, this method will iterate through their bounds until a class, interface, or intersection is found.
    
    Returns:
    
    a type that is not a wildcard or typevar, or null if this type is an unbounded wildcard
  - isErasedSubtype
```
public static boolean isErasedSubtype(Types types,
                                      TypeMirror subtype,
                                      TypeMirror supertype)
```
    Returns true if the erased type of subtype is a subtype of the erased type of supertype.
    
    Parameters:
    
    types - Types
    
    subtype - possible subtype
    
    supertype - possible supertype
    
    Returns:
    
    true if the erased type of subtype is a subtype of the erased type of supertype

Class TypesUtils

Method Summary

Methods inherited from class java.lang.Object

Method Detail

getQualifiedName

isObject

isClass

isString

isBooleanType

isDeclaredOfName

isBoxedPrimitive

isThrowable

isAnonymous

isPrimitive

areSamePrimitiveTypes

isNumeric

isIntegral

isFloating

widenedNumericType

upperBound

wildcardToTypeParam

wildUpperBound

wildLowerBound

typeFromClass

createArrayType

isBoxOf

findConcreteUpperBound

isErasedSubtype