org.checkerframework.qualframework.util

Class WrappedAnnotatedTypeMirror.WrappedAnnotatedWildcardType

java.lang.Object

org.checkerframework.qualframework.util.WrappedAnnotatedTypeMirror

org.checkerframework.qualframework.util.WrappedAnnotatedTypeMirror.WrappedAnnotatedWildcardType

All Implemented Interfaces:

AnnotatedConstruct, ExtendedTypeMirror, ExtendedWildcardType

Enclosing class:

WrappedAnnotatedTypeMirror

public static class WrappedAnnotatedTypeMirror.WrappedAnnotatedWildcardType
extends WrappedAnnotatedTypeMirror
implements ExtendedWildcardType

Nested Class Summary

Nested classes/interfaces inherited from class org.checkerframework.qualframework.util.WrappedAnnotatedTypeMirror

WrappedAnnotatedTypeMirror.WrappedAnnotatedArrayType, WrappedAnnotatedTypeMirror.WrappedAnnotatedDeclaredType, WrappedAnnotatedTypeMirror.WrappedAnnotatedExecutableType, WrappedAnnotatedTypeMirror.WrappedAnnotatedIntersectionType, WrappedAnnotatedTypeMirror.WrappedAnnotatedNoType, WrappedAnnotatedTypeMirror.WrappedAnnotatedNullType, WrappedAnnotatedTypeMirror.WrappedAnnotatedPrimitiveType, WrappedAnnotatedTypeMirror.WrappedAnnotatedTypeVariable, WrappedAnnotatedTypeMirror.WrappedAnnotatedUnionType, WrappedAnnotatedTypeMirror.WrappedAnnotatedWildcardType

Method Summary

Modifier and Type	Method and Description
<R,P> R	accept(ExtendedTypeVisitor<R,P> v, P p) Applies an ExtendedTypeVisitor to this object.
boolean	equals(Object obj)
WrappedAnnotatedTypeMirror	getExtendsBound() Returns the upper bound of this wildcard.
WildcardType	getOriginalType() Returns the original TypeMirror representation of the type, if possible.
WrappedAnnotatedTypeMirror	getSuperBound() Returns the lower bound of this wildcard.
AnnotatedTypeMirror.AnnotatedWildcardType	unwrap() Unwrap a WrappedAnnotatedTypeMirror to obtain the original AnnotatedTypeMirror.

Methods inherited from class org.checkerframework.qualframework.util.WrappedAnnotatedTypeMirror

getAnnotation, getAnnotationMirrors, getAnnotationsByType, getKind, hashCode, isDeclaration, toString, wrap

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.checkerframework.qualframework.util.ExtendedTypeMirror

getKind, isDeclaration

Methods inherited from interface javax.lang.model.AnnotatedConstruct

getAnnotation, getAnnotationMirrors, getAnnotationsByType

Method Detail

getOriginalType

public WildcardType getOriginalType()

Description copied from interface: ExtendedTypeMirror

Returns the original TypeMirror representation of the type, if possible. This method may return null if no TypeMirror representation is available.

Specified by:

getOriginalType in interface ExtendedTypeMirror

Overrides:

getOriginalType in class WrappedAnnotatedTypeMirror

unwrap

public AnnotatedTypeMirror.AnnotatedWildcardType unwrap()

Description copied from class: WrappedAnnotatedTypeMirror

Unwrap a WrappedAnnotatedTypeMirror to obtain the original AnnotatedTypeMirror.

Overrides:

unwrap in class WrappedAnnotatedTypeMirror

accept

public <R,P> R accept(ExtendedTypeVisitor<R,P> v,
                      P p)

Description copied from interface: ExtendedTypeMirror

Applies an ExtendedTypeVisitor to this object.

Specified by:

accept in interface ExtendedTypeMirror

getExtendsBound

public WrappedAnnotatedTypeMirror getExtendsBound()

Description copied from interface: ExtendedWildcardType

Returns the upper bound of this wildcard. Unlike WildcardType.getExtendsBound, if no upper bound is explicitly declared, a ExtendedTypeMirror representing java.lang.Object is returned.

Specified by:

getExtendsBound in interface ExtendedWildcardType

getSuperBound

public WrappedAnnotatedTypeMirror getSuperBound()

Description copied from interface: ExtendedWildcardType

Returns the lower bound of this wildcard. Unlike WildcardType.getSuperBound, if no lower bound is explicitly declared, a ExtendedTypeMirror representing the type of null is returned.

Specified by:

getSuperBound in interface ExtendedWildcardType

equals

public boolean equals(Object obj)

Overrides:

equals in class WrappedAnnotatedTypeMirror