Module org.microbean.type

Package org.microbean.type

package org.microbean.type

Provides classes and interfaces related to Java Type instances.

Author:

Laird Nelson

Class	Description
Bootstraps	Bootstrap methods for invokedynamic situations.
CdiType	A JavaType with a flexible means of describing its direct supertypes, suitable only, probaly, for CDI use cases.
ConstantDescs	A utility class containing useful ConstantDescs (primarily ClassDescs).
DefaultGenericArrayType	A GenericArrayType implementation.
DefaultParameterizedType	A ParameterizedType implementation.
DefaultTypeVariable<T extends GenericDeclaration>	A TypeVariable implementation.
JavaType	A Type that models a java.lang.reflect.Type for use primarily by a Type.Semantics instance.
JavaType.Token<T>	A holder of a Type that embodies Gafter's gadget.
JavaTypes	A utility class providing useful operations related to Java Types.
JavaTypeSet	An immutable AbstractSet of Types that ensures that Type implementations from different vendors use the same equality semantics.
LowerBoundedWildcardType	A WildcardType implementation that has only lower bounds.
Owner<T>	An interface whose implementations represent a Java type or a Java executable for equality comparison purposes and no other.
Type<T>	A value-like object representing a (Java-like) type for purposes of testing assignability.
Type.CdiSemantics	A Type.VariantSemantics implementation that implements the rules of typesafe resolution.
Type.CovariantSemantics	A Type.VariantSemantics implementation that implements Java type assignability semantics, which are covariant.
Type.InvariantSemantics	A Type.VariantSemantics implementation that does not permit subtyping, but that compares wildcard types covariantly.
Type.Semantics	An abstract embodiment of Type assignability rules.
Type.VariantSemantics	An abstract partial Type.Semantics that permits subtyping.
UnboundedWildcardType	A WildcardType implementation that has only a single upper bound of Object.class.
UpperBoundedWildcardType	A WildcardType implementation that has only upper bounds.