Module org.microbean.type

Package org.microbean.type

Class Type.InvariantSemantics

java.lang.Object

org.microbean.type.Type.Semantics

org.microbean.type.Type.VariantSemantics

org.microbean.type.Type.InvariantSemantics

Enclosing class:

Type<T>

@Experimental
public static class Type.InvariantSemantics
extends Type.VariantSemantics

A Type.VariantSemantics implementation that does not permit subtyping, but that compares wildcard types covariantly.

Author:

Laird Nelson

Field Summary

Fields

Modifier and Type	Field	Description
static final Type.InvariantSemantics	INSTANCE	An instance of Type.InvariantSemantics.

Constructor Summary

Constructors

Constructor	Description
InvariantSemantics()	Creates a new Type.InvariantSemantics.

Method Summary

Modifier and Type	Method	Description
<X, Y> boolean	assignable(Type<X> receiverType, Type<Y> payloadType)	Returns true if and only if a reference bearing the type modeled by the supplied payloadType is assignable to a reference bearing the type modeled by the supplied receiverType, according to the assignability rules modeled by this Type.Semantics instance.

Methods inherited from class org.microbean.type.Type.VariantSemantics

classIsAssignableFromClass, genericArrayTypeIsAssignableFromGenericArrayType

Methods inherited from class org.microbean.type.Type.Semantics

assignable, assignable, classIsAssignableFromGenericArrayType, classIsAssignableFromParameterizedType, classIsAssignableFromTypeVariable, classIsAssignableFromWildcardType, genericArrayTypeIsAssignableFromClass, genericArrayTypeIsAssignableFromParameterizedType, genericArrayTypeIsAssignableFromTypeVariable, genericArrayTypeIsAssignableFromWildcardType, parameterizedTypeIsAssignableFromClass, parameterizedTypeIsAssignableFromGenericArrayType, parameterizedTypeIsAssignableFromParameterizedType, parameterizedTypeIsAssignableFromTypeVariable, parameterizedTypeIsAssignableFromWildcardType, typeVariableIsAssignableFromClass, typeVariableIsAssignableFromGenericArrayType, typeVariableIsAssignableFromParameterizedType, typeVariableIsAssignableFromTypeVariable, typeVariableIsAssignableFromWildcardType, wildcardTypeIsAssignableFromClass, wildcardTypeIsAssignableFromGenericArrayType, wildcardTypeIsAssignableFromParameterizedType, wildcardTypeIsAssignableFromTypeVariable, wildcardTypeIsAssignableFromWildcardType

Methods inherited from class java.lang.Object

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

Field Details

INSTANCE

public static final Type.InvariantSemantics INSTANCE

An instance of Type.InvariantSemantics.

Nullability:

This field is never null.

Constructor Details

InvariantSemantics

public InvariantSemantics()

Creates a new Type.InvariantSemantics.

Method Details

assignable

public <X,
Y> boolean assignable(Type<X> receiverType,
 Type<Y> payloadType)

Description copied from class: Type.Semantics

Returns true if and only if a reference bearing the type modeled by the supplied payloadType is assignable to a reference bearing the type modeled by the supplied receiverType, according to the assignability rules modeled by this Type.Semantics instance.

Overrides:

assignable in class Type.Semantics

Type Parameters:

X - the kind of type modeled by the receiverType; often a java.lang.reflect.Type

Y - the kind of type modeled by the payloadType; often a java.lang.reflect.Type

Parameters:

receiverType - the receiver type as described above; must not be null

payloadType - the payload type as described above; must not be null

Returns:

true if and only if a reference bearing the type modeled by the supplied payloadType is assignable to a reference bearing the type modeled by the supplied receiverType, according to the assignability rules modeled by this Type.Semantics instance; false otherwise