org.checkerframework.qualframework.base

Class QualifiedTypeMirror.QualifiedWildcardType<Q>

java.lang.Object

org.checkerframework.qualframework.base.QualifiedTypeMirror<Q>

org.checkerframework.qualframework.base.QualifiedTypeMirror.QualifiedWildcardType<Q>

Enclosing class:

QualifiedTypeMirror<Q>

public static final class QualifiedTypeMirror.QualifiedWildcardType<Q>
extends QualifiedTypeMirror<Q>

Nested Class Summary

Nested classes/interfaces inherited from class org.checkerframework.qualframework.base.QualifiedTypeMirror

QualifiedTypeMirror.QualifiedArrayType<Q>, QualifiedTypeMirror.QualifiedDeclaredType<Q>, QualifiedTypeMirror.QualifiedExecutableType<Q>, QualifiedTypeMirror.QualifiedIntersectionType<Q>, QualifiedTypeMirror.QualifiedNoType<Q>, QualifiedTypeMirror.QualifiedNullType<Q>, QualifiedTypeMirror.QualifiedParameterDeclaration<Q>, QualifiedTypeMirror.QualifiedPrimitiveType<Q>, QualifiedTypeMirror.QualifiedTypeDeclaration<Q>, QualifiedTypeMirror.QualifiedTypeVariable<Q>, QualifiedTypeMirror.QualifiedUnionType<Q>, QualifiedTypeMirror.QualifiedWildcardType<Q>

Constructor Summary

Constructors

Constructor and Description
QualifiedWildcardType(ExtendedTypeMirror underlying, QualifiedTypeMirror<Q> extendsBound, QualifiedTypeMirror<Q> superBound)

Method Summary

Modifier and Type	Method and Description
<R,P> R	accept(QualifiedTypeVisitor<Q,R,P> visitor, P p) Applies a QualifiedTypeVisitor to this qualified type.
boolean	equals(Object obj)
QualifiedTypeMirror<Q>	getExtendsBound()
QualifiedTypeMirror<Q>	getSuperBound()
ExtendedWildcardType	getUnderlyingType() Gets the underlying ExtendedTypeMirror.
int	hashCode()
String	toString()

Methods inherited from class org.checkerframework.qualframework.base.QualifiedTypeMirror

getKind, getQualifier

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

QualifiedWildcardType

public QualifiedWildcardType(ExtendedTypeMirror underlying,
                             QualifiedTypeMirror<Q> extendsBound,
                             QualifiedTypeMirror<Q> superBound)

Method Detail

accept

public <R,P> R accept(QualifiedTypeVisitor<Q,R,P> visitor,
                      P p)

Description copied from class: QualifiedTypeMirror

Applies a QualifiedTypeVisitor to this qualified type.

Specified by:

accept in class QualifiedTypeMirror<Q>

getUnderlyingType

public ExtendedWildcardType getUnderlyingType()

Description copied from class: QualifiedTypeMirror

Gets the underlying ExtendedTypeMirror.

Overrides:

getUnderlyingType in class QualifiedTypeMirror<Q>

getExtendsBound

public QualifiedTypeMirror<Q> getExtendsBound()

getSuperBound

public QualifiedTypeMirror<Q> getSuperBound()

toString

public String toString()

Overrides:

toString in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class QualifiedTypeMirror<Q>

hashCode

public int hashCode()

Overrides:

hashCode in class QualifiedTypeMirror<Q>