org.jboss.weld.resolution

Class InvariantTypes

java.lang.Object

org.jboss.weld.resolution.InvariantTypes

public class InvariantTypes
extends java.lang.Object

Utility class that captures invariant Java assignability rules (used with generics). This class operates on all the possible Type subtypes: Class, ParameterizedType, TypeVariable, WildcardType, GenericArrayType. To make this class easier to understand and maintain, there is a separate isAssignableFrom method for each combination of possible types. Each of these methods compares two type instances and determines whether the first one is assignable from the other. Since Java wildcards are by definition covariant, this class does not operate on wildcards and instead delegates to CovariantTypes. TypeVariables are considered a specific unknown type restricted by the upper bound. No inference of type variables is performed.

Author:

Jozef Hartinger

Method Summary

Modifier and Type	Method and Description
static boolean	isAssignableFrom(java.lang.reflect.Type type1, java.lang.reflect.Type type2)

Methods inherited from class java.lang.Object

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

Method Detail

isAssignableFrom

public static boolean isAssignableFrom(java.lang.reflect.Type type1,
                                       java.lang.reflect.Type type2)