public class DefaultTypeHierarchy extends AbstractAtmComboVisitor<Boolean,Void> implements TypeHierarchy
Subtyping rules of the JLS can be found in section 4.10, "Subtyping".
Note: The visit methods of this class must be public but it is intended to be used through a TypeHierarchy interface reference which will only allow isSubtype to be called. Clients should not call the visit methods.
The visit methods return true if the first argument is a subtype of the second argument.
| Modifier and Type | Field and Description |
|---|---|
protected StructuralEqualityVisitHistory |
areEqualVisitHistory
Stores the result of
areEqualInHierarchy(AnnotatedTypeMirror, AnnotatedTypeMirror) for
type arguments. |
protected BaseTypeChecker |
checker
The type-checker that is associated with this.
|
protected AnnotationMirror |
currentTop
The top annotation of the hierarchy currently being checked.
|
protected StructuralEqualityComparer |
equalityComparer
The equality comparer.
|
protected boolean |
ignoreRawTypes
Whether to ignore raw types.
|
protected boolean |
invariantArrayComponents
Whether to make array subtyping invariant with respect to array component types.
|
protected SubtypeVisitHistory |
isSubtypeVisitHistory
Stores the result of isSubtype, if that result is true.
|
protected QualifierHierarchy |
qualifierHierarchy
The qualifier hierarchy that is associated with this.
|
| Constructor and Description |
|---|
DefaultTypeHierarchy(BaseTypeChecker checker,
QualifierHierarchy qualifierHierarchy,
boolean ignoreRawTypes,
boolean invariantArrayComponents)
Creates a DefaultTypeHierarchy.
|
defaultAction, visit, visitArray_Executable, visitArray_None, visitArray_Primitive, visitArray_Union, visitDeclared_Executable, visitDeclared_None, visitExecutable_Array, visitExecutable_Declared, visitExecutable_Executable, visitExecutable_Intersection, visitExecutable_None, visitExecutable_Null, visitExecutable_Primitive, visitExecutable_Typevar, visitExecutable_Union, visitExecutable_Wildcard, visitIntersection_Array, visitIntersection_Executable, visitIntersection_None, visitIntersection_Union, visitNone_Array, visitNone_Declared, visitNone_Executable, visitNone_Intersection, visitNone_None, visitNone_Null, visitNone_Primitive, visitNone_Union, visitNone_Wildcard, visitNull_Executable, visitNull_None, visitPrimitive_Array, visitPrimitive_Executable, visitPrimitive_None, visitPrimitive_Null, visitPrimitive_Union, visitTypevar_Executable, visitTypevar_None, visitTypevar_Union, visitUnion_Array, visitUnion_Executable, visitUnion_None, visitUnion_Null, visitUnion_Primitive, visitWildcard_Executable, visitWildcard_None, visitWildcard_Null, visitWildcard_Unionprotected final BaseTypeChecker checker
Used for processingEnvironment when needed.
protected final QualifierHierarchy qualifierHierarchy
protected final StructuralEqualityComparer equalityComparer
protected final boolean ignoreRawTypes
protected final boolean invariantArrayComponents
protected AnnotationMirror currentTop
protected final SubtypeVisitHistory isSubtypeVisitHistory
protected final StructuralEqualityVisitHistory areEqualVisitHistory
areEqualInHierarchy(AnnotatedTypeMirror, AnnotatedTypeMirror) for
type arguments. Prevents infinite recursion on types that refer to themselves. (Stores both
true and false results.)public DefaultTypeHierarchy(BaseTypeChecker checker, QualifierHierarchy qualifierHierarchy, boolean ignoreRawTypes, boolean invariantArrayComponents)
checker - the type-checker that is associated with thisqualifierHierarchy - the qualifier hierarchy that is associated with thisignoreRawTypes - whether to ignore raw typesinvariantArrayComponents - whether to make array subtyping invariant with respect to array
component typesprotected StructuralEqualityComparer createEqualityComparer()
public boolean isSubtype(AnnotatedTypeMirror subtype, AnnotatedTypeMirror supertype)
This implementation iterates over all top annotations and invokes isSubtype(AnnotatedTypeMirror, AnnotatedTypeMirror, AnnotationMirror). Most type systems
should not override this method, but instead override isSubtype(AnnotatedTypeMirror,
AnnotatedTypeMirror, AnnotationMirror) or some of the visitXXX methods.
isSubtype in interface TypeHierarchysubtype - expected subtypesupertype - expected supertypeprotected boolean isSubtype(AnnotatedTypeMirror subtype, AnnotatedTypeMirror supertype, AnnotationMirror top)
subtype <: supertype, but only for the hierarchy of which top
is the top.subtype - expected subtypesupertype - expected supertypetop - the top of the hierarchy for which we want to make a comparisonsubtype is a subtype of, or equal to, supertype in the
qualifier hierarchy whose top is topprotected String defaultErrorMessage(AnnotatedTypeMirror subtype, AnnotatedTypeMirror supertype, Void p)
defaultErrorMessage in class AbstractAtmComboVisitor<Boolean,Void>subtype - the first AnnotatedTypeMirror parameter to the visit method calledsupertype - the second AnnotatedTypeMirror parameter to the visit method calledp - subtype specific parameter passed to every visit methodprotected boolean isPrimarySubtype(AnnotatedTypeMirror subtype, AnnotatedTypeMirror supertype)
subtype and supertype. Neither type can be
missing annotations.subtype - a type that might be a subtype (with respect to primary annotations)supertype - a type that might be a supertype (with respect to primary annotations)protected boolean isSubtypeCaching(AnnotatedTypeMirror subtype, AnnotatedTypeMirror supertype)
isSubtype(AnnotatedTypeMirror, AnnotatedTypeMirror), but uses a cache to prevent
infinite recursion on recursive types.subtype - a type that may be a subtypesupertype - a type that may be a supertypeprotected boolean areAllSubtypes(Iterable<? extends AnnotatedTypeMirror> subtypes, AnnotatedTypeMirror supertype)
subtypes a subtype of supertype?
The underlying type mirrors of subtypes must be subtypes of the underlying type
mirror of supertype.
protected boolean areEqualInHierarchy(AnnotatedTypeMirror type1, AnnotatedTypeMirror type2)
protected boolean isContainedBy(AnnotatedTypeMirror inside, AnnotatedTypeMirror outside, boolean canBeCovariant)
outside contains inside, that is, if the set of types denoted
by outside is a superset of, or equal to, the set of types denoted by inside.
Containment is described in JLS section 4.5.1 "Type Arguments of Parameterized Types".
As described in JLS section 4.10.2 Subtyping among Class and Interface Types, a declared type S is considered a supertype of another declared type T only if all of S's type arguments "contain" the corresponding type arguments of the subtype T.
inside - a possibly-contained type; its underlying type is contained by outside's
underlying typeoutside - a possibly-containing type; its underlying type contains inside's
underlying typecanBeCovariant - whether or not type arguments are allowed to be covariantinside
<: outsideprotected boolean isContainedWithinBounds(AnnotatedTypeMirror inside, AnnotatedTypeMirror outsideLower, AnnotatedTypeMirror outsideUpper, boolean canBeCovariant)
outside be ? super outsideLower extends outsideUpper. Returns true if
outside contains inside, that is, if the set of types denoted by outside is a superset of, or equal to, the set of types denoted by inside.
This method is a helper method for isContainedBy(AnnotatedTypeMirror,
AnnotatedTypeMirror, boolean).
inside - a possibly-contained typeoutsideLower - the lower bound of the possibly-containing typeoutsideUpper - the upper bound of the possibly-containing typecanBeCovariant - whether or not type arguments are allowed to be covariantinside
<: outsidepublic Boolean visitArray_Array(AnnotatedTypeMirror.AnnotatedArrayType subtype, AnnotatedTypeMirror.AnnotatedArrayType supertype, Void p)
visitArray_Array in interface AtmComboVisitor<Boolean,Void>visitArray_Array in class AbstractAtmComboVisitor<Boolean,Void>public Boolean visitArray_Declared(AnnotatedTypeMirror.AnnotatedArrayType subtype, AnnotatedTypeMirror.AnnotatedDeclaredType supertype, Void p)
visitArray_Declared in interface AtmComboVisitor<Boolean,Void>visitArray_Declared in class AbstractAtmComboVisitor<Boolean,Void>public Boolean visitArray_Null(AnnotatedTypeMirror.AnnotatedArrayType subtype, AnnotatedTypeMirror.AnnotatedNullType supertype, Void p)
visitArray_Null in interface AtmComboVisitor<Boolean,Void>visitArray_Null in class AbstractAtmComboVisitor<Boolean,Void>public Boolean visitArray_Intersection(AnnotatedTypeMirror.AnnotatedArrayType subtype, AnnotatedTypeMirror.AnnotatedIntersectionType supertype, Void p)
visitArray_Intersection in interface AtmComboVisitor<Boolean,Void>visitArray_Intersection in class AbstractAtmComboVisitor<Boolean,Void>public Boolean visitArray_Wildcard(AnnotatedTypeMirror.AnnotatedArrayType subtype, AnnotatedTypeMirror.AnnotatedWildcardType supertype, Void p)
visitArray_Wildcard in interface AtmComboVisitor<Boolean,Void>visitArray_Wildcard in class AbstractAtmComboVisitor<Boolean,Void>public Boolean visitArray_Typevar(AnnotatedTypeMirror.AnnotatedArrayType subtype, AnnotatedTypeMirror.AnnotatedTypeVariable superType, Void p)
visitArray_Typevar in interface AtmComboVisitor<Boolean,Void>visitArray_Typevar in class AbstractAtmComboVisitor<Boolean,Void>public Boolean visitDeclared_Array(AnnotatedTypeMirror.AnnotatedDeclaredType subtype, AnnotatedTypeMirror.AnnotatedArrayType supertype, Void p)
visitDeclared_Array in interface AtmComboVisitor<Boolean,Void>visitDeclared_Array in class AbstractAtmComboVisitor<Boolean,Void>public Boolean visitDeclared_Declared(AnnotatedTypeMirror.AnnotatedDeclaredType subtype, AnnotatedTypeMirror.AnnotatedDeclaredType supertype, Void p)
visitDeclared_Declared in interface AtmComboVisitor<Boolean,Void>visitDeclared_Declared in class AbstractAtmComboVisitor<Boolean,Void>protected boolean visitTypeArgs(AnnotatedTypeMirror.AnnotatedDeclaredType subtype, AnnotatedTypeMirror.AnnotatedDeclaredType supertype, boolean subtypeRaw, boolean supertypeRaw)
supertype contain the type arguments in subtype and false otherwise. See isContainedBy(org.checkerframework.framework.type.AnnotatedTypeMirror, org.checkerframework.framework.type.AnnotatedTypeMirror, boolean) for an explanation of containment.subtype - a possible subtypesupertype - a possible supertypesubtypeRaw - whether subtype is a raw typesupertypeRaw - whether supertype is a raw typesupertype contain the type arguments in subtype and false otherwiseprotected boolean isContainedMany(List<? extends AnnotatedTypeMirror> subtypeTypeArgs, List<? extends AnnotatedTypeMirror> supertypeTypeArgs, List<Integer> covariantArgIndexes)
isContainedBy(AnnotatedTypeMirror, AnnotatedTypeMirror, boolean) on the two
lists of type arguments. Returns true if every type argument in supertypeTypeArgs
contains the type argument at the same index in subtypeTypeArgs.subtypeTypeArgs - subtype argumentssupertypeTypeArgs - supertype argumentscovariantArgIndexes - indexes into the type arguments list which correspond to the type
arguments that are marked @Covariant.supertypeTypeArgs contain subtypeTypeArgspublic Boolean visitDeclared_Intersection(AnnotatedTypeMirror.AnnotatedDeclaredType subtype, AnnotatedTypeMirror.AnnotatedIntersectionType supertype, Void p)
visitDeclared_Intersection in interface AtmComboVisitor<Boolean,Void>visitDeclared_Intersection in class AbstractAtmComboVisitor<Boolean,Void>public Boolean visitDeclared_Null(AnnotatedTypeMirror.AnnotatedDeclaredType subtype, AnnotatedTypeMirror.AnnotatedNullType supertype, Void p)
visitDeclared_Null in interface AtmComboVisitor<Boolean,Void>visitDeclared_Null in class AbstractAtmComboVisitor<Boolean,Void>public Boolean visitDeclared_Primitive(AnnotatedTypeMirror.AnnotatedDeclaredType subtype, AnnotatedTypeMirror.AnnotatedPrimitiveType supertype, Void p)
visitDeclared_Primitive in interface AtmComboVisitor<Boolean,Void>visitDeclared_Primitive in class AbstractAtmComboVisitor<Boolean,Void>public Boolean visitDeclared_Typevar(AnnotatedTypeMirror.AnnotatedDeclaredType subtype, AnnotatedTypeMirror.AnnotatedTypeVariable supertype, Void p)
visitDeclared_Typevar in interface AtmComboVisitor<Boolean,Void>visitDeclared_Typevar in class AbstractAtmComboVisitor<Boolean,Void>public Boolean visitDeclared_Union(AnnotatedTypeMirror.AnnotatedDeclaredType subtype, AnnotatedTypeMirror.AnnotatedUnionType supertype, Void p)
visitDeclared_Union in interface AtmComboVisitor<Boolean,Void>visitDeclared_Union in class AbstractAtmComboVisitor<Boolean,Void>public Boolean visitDeclared_Wildcard(AnnotatedTypeMirror.AnnotatedDeclaredType subtype, AnnotatedTypeMirror.AnnotatedWildcardType supertype, Void p)
visitDeclared_Wildcard in interface AtmComboVisitor<Boolean,Void>visitDeclared_Wildcard in class AbstractAtmComboVisitor<Boolean,Void>public Boolean visitIntersection_Declared(AnnotatedTypeMirror.AnnotatedIntersectionType subtype, AnnotatedTypeMirror.AnnotatedDeclaredType supertype, Void p)
visitIntersection_Declared in interface AtmComboVisitor<Boolean,Void>visitIntersection_Declared in class AbstractAtmComboVisitor<Boolean,Void>public Boolean visitIntersection_Primitive(AnnotatedTypeMirror.AnnotatedIntersectionType subtype, AnnotatedTypeMirror.AnnotatedPrimitiveType supertype, Void p)
visitIntersection_Primitive in interface AtmComboVisitor<Boolean,Void>visitIntersection_Primitive in class AbstractAtmComboVisitor<Boolean,Void>public Boolean visitIntersection_Intersection(AnnotatedTypeMirror.AnnotatedIntersectionType subtype, AnnotatedTypeMirror.AnnotatedIntersectionType supertype, Void p)
visitIntersection_Intersection in interface AtmComboVisitor<Boolean,Void>visitIntersection_Intersection in class AbstractAtmComboVisitor<Boolean,Void>public Boolean visitIntersection_Null(AnnotatedTypeMirror.AnnotatedIntersectionType subtype, AnnotatedTypeMirror.AnnotatedNullType supertype, Void p)
visitIntersection_Null in interface AtmComboVisitor<Boolean,Void>visitIntersection_Null in class AbstractAtmComboVisitor<Boolean,Void>public Boolean visitIntersection_Typevar(AnnotatedTypeMirror.AnnotatedIntersectionType subtype, AnnotatedTypeMirror.AnnotatedTypeVariable supertype, Void p)
visitIntersection_Typevar in interface AtmComboVisitor<Boolean,Void>visitIntersection_Typevar in class AbstractAtmComboVisitor<Boolean,Void>public Boolean visitIntersection_Wildcard(AnnotatedTypeMirror.AnnotatedIntersectionType subtype, AnnotatedTypeMirror.AnnotatedWildcardType supertype, Void p)
visitIntersection_Wildcard in interface AtmComboVisitor<Boolean,Void>visitIntersection_Wildcard in class AbstractAtmComboVisitor<Boolean,Void>public Boolean visitNull_Array(AnnotatedTypeMirror.AnnotatedNullType subtype, AnnotatedTypeMirror.AnnotatedArrayType supertype, Void p)
visitNull_Array in interface AtmComboVisitor<Boolean,Void>visitNull_Array in class AbstractAtmComboVisitor<Boolean,Void>public Boolean visitNull_Declared(AnnotatedTypeMirror.AnnotatedNullType subtype, AnnotatedTypeMirror.AnnotatedDeclaredType supertype, Void p)
visitNull_Declared in interface AtmComboVisitor<Boolean,Void>visitNull_Declared in class AbstractAtmComboVisitor<Boolean,Void>public Boolean visitNull_Typevar(AnnotatedTypeMirror.AnnotatedNullType subtype, AnnotatedTypeMirror.AnnotatedTypeVariable supertype, Void p)
visitNull_Typevar in interface AtmComboVisitor<Boolean,Void>visitNull_Typevar in class AbstractAtmComboVisitor<Boolean,Void>public Boolean visitNull_Wildcard(AnnotatedTypeMirror.AnnotatedNullType subtype, AnnotatedTypeMirror.AnnotatedWildcardType supertype, Void p)
visitNull_Wildcard in interface AtmComboVisitor<Boolean,Void>visitNull_Wildcard in class AbstractAtmComboVisitor<Boolean,Void>public Boolean visitNull_Null(AnnotatedTypeMirror.AnnotatedNullType subtype, AnnotatedTypeMirror.AnnotatedNullType supertype, Void p)
visitNull_Null in interface AtmComboVisitor<Boolean,Void>visitNull_Null in class AbstractAtmComboVisitor<Boolean,Void>public Boolean visitNull_Union(AnnotatedTypeMirror.AnnotatedNullType subtype, AnnotatedTypeMirror.AnnotatedUnionType supertype, Void p)
visitNull_Union in interface AtmComboVisitor<Boolean,Void>visitNull_Union in class AbstractAtmComboVisitor<Boolean,Void>public Boolean visitNull_Intersection(AnnotatedTypeMirror.AnnotatedNullType subtype, AnnotatedTypeMirror.AnnotatedIntersectionType supertype, Void p)
visitNull_Intersection in interface AtmComboVisitor<Boolean,Void>visitNull_Intersection in class AbstractAtmComboVisitor<Boolean,Void>public Boolean visitNull_Primitive(AnnotatedTypeMirror.AnnotatedNullType subtype, AnnotatedTypeMirror.AnnotatedPrimitiveType supertype, Void p)
visitNull_Primitive in interface AtmComboVisitor<Boolean,Void>visitNull_Primitive in class AbstractAtmComboVisitor<Boolean,Void>public Boolean visitPrimitive_Declared(AnnotatedTypeMirror.AnnotatedPrimitiveType subtype, AnnotatedTypeMirror.AnnotatedDeclaredType supertype, Void p)
visitPrimitive_Declared in interface AtmComboVisitor<Boolean,Void>visitPrimitive_Declared in class AbstractAtmComboVisitor<Boolean,Void>public Boolean visitPrimitive_Primitive(AnnotatedTypeMirror.AnnotatedPrimitiveType subtype, AnnotatedTypeMirror.AnnotatedPrimitiveType supertype, Void p)
visitPrimitive_Primitive in interface AtmComboVisitor<Boolean,Void>visitPrimitive_Primitive in class AbstractAtmComboVisitor<Boolean,Void>public Boolean visitPrimitive_Intersection(AnnotatedTypeMirror.AnnotatedPrimitiveType subtype, AnnotatedTypeMirror.AnnotatedIntersectionType supertype, Void p)
visitPrimitive_Intersection in interface AtmComboVisitor<Boolean,Void>visitPrimitive_Intersection in class AbstractAtmComboVisitor<Boolean,Void>public Boolean visitPrimitive_Typevar(AnnotatedTypeMirror.AnnotatedPrimitiveType subtype, AnnotatedTypeMirror.AnnotatedTypeVariable supertype, Void p)
visitPrimitive_Typevar in interface AtmComboVisitor<Boolean,Void>visitPrimitive_Typevar in class AbstractAtmComboVisitor<Boolean,Void>public Boolean visitPrimitive_Wildcard(AnnotatedTypeMirror.AnnotatedPrimitiveType subtype, AnnotatedTypeMirror.AnnotatedWildcardType supertype, Void p)
visitPrimitive_Wildcard in interface AtmComboVisitor<Boolean,Void>visitPrimitive_Wildcard in class AbstractAtmComboVisitor<Boolean,Void>public Boolean visitUnion_Declared(AnnotatedTypeMirror.AnnotatedUnionType subtype, AnnotatedTypeMirror.AnnotatedDeclaredType supertype, Void p)
visitUnion_Declared in interface AtmComboVisitor<Boolean,Void>visitUnion_Declared in class AbstractAtmComboVisitor<Boolean,Void>public Boolean visitUnion_Intersection(AnnotatedTypeMirror.AnnotatedUnionType subtype, AnnotatedTypeMirror.AnnotatedIntersectionType supertype, Void p)
visitUnion_Intersection in interface AtmComboVisitor<Boolean,Void>visitUnion_Intersection in class AbstractAtmComboVisitor<Boolean,Void>public Boolean visitUnion_Union(AnnotatedTypeMirror.AnnotatedUnionType subtype, AnnotatedTypeMirror.AnnotatedUnionType supertype, Void p)
visitUnion_Union in interface AtmComboVisitor<Boolean,Void>visitUnion_Union in class AbstractAtmComboVisitor<Boolean,Void>public Boolean visitUnion_Wildcard(AnnotatedTypeMirror.AnnotatedUnionType subtype, AnnotatedTypeMirror.AnnotatedWildcardType supertype, Void p)
visitUnion_Wildcard in interface AtmComboVisitor<Boolean,Void>visitUnion_Wildcard in class AbstractAtmComboVisitor<Boolean,Void>public Boolean visitUnion_Typevar(AnnotatedTypeMirror.AnnotatedUnionType subtype, AnnotatedTypeMirror.AnnotatedTypeVariable supertype, Void p)
visitUnion_Typevar in interface AtmComboVisitor<Boolean,Void>visitUnion_Typevar in class AbstractAtmComboVisitor<Boolean,Void>public Boolean visitTypevar_Declared(AnnotatedTypeMirror.AnnotatedTypeVariable subtype, AnnotatedTypeMirror.AnnotatedDeclaredType supertype, Void p)
visitTypevar_Declared in interface AtmComboVisitor<Boolean,Void>visitTypevar_Declared in class AbstractAtmComboVisitor<Boolean,Void>public Boolean visitTypevar_Intersection(AnnotatedTypeMirror.AnnotatedTypeVariable subtype, AnnotatedTypeMirror.AnnotatedIntersectionType supertype, Void p)
visitTypevar_Intersection in interface AtmComboVisitor<Boolean,Void>visitTypevar_Intersection in class AbstractAtmComboVisitor<Boolean,Void>public Boolean visitTypevar_Primitive(AnnotatedTypeMirror.AnnotatedTypeVariable subtype, AnnotatedTypeMirror.AnnotatedPrimitiveType supertype, Void p)
visitTypevar_Primitive in interface AtmComboVisitor<Boolean,Void>visitTypevar_Primitive in class AbstractAtmComboVisitor<Boolean,Void>public Boolean visitTypevar_Array(AnnotatedTypeMirror.AnnotatedTypeVariable subtype, AnnotatedTypeMirror.AnnotatedArrayType supertype, Void p)
visitTypevar_Array in interface AtmComboVisitor<Boolean,Void>visitTypevar_Array in class AbstractAtmComboVisitor<Boolean,Void>public Boolean visitTypevar_Typevar(AnnotatedTypeMirror.AnnotatedTypeVariable subtype, AnnotatedTypeMirror.AnnotatedTypeVariable supertype, Void p)
visitTypevar_Typevar in interface AtmComboVisitor<Boolean,Void>visitTypevar_Typevar in class AbstractAtmComboVisitor<Boolean,Void>public Boolean visitTypevar_Null(AnnotatedTypeMirror.AnnotatedTypeVariable subtype, AnnotatedTypeMirror.AnnotatedNullType supertype, Void p)
visitTypevar_Null in interface AtmComboVisitor<Boolean,Void>visitTypevar_Null in class AbstractAtmComboVisitor<Boolean,Void>public Boolean visitTypevar_Wildcard(AnnotatedTypeMirror.AnnotatedTypeVariable subtype, AnnotatedTypeMirror.AnnotatedWildcardType supertype, Void p)
visitTypevar_Wildcard in interface AtmComboVisitor<Boolean,Void>visitTypevar_Wildcard in class AbstractAtmComboVisitor<Boolean,Void>public Boolean visitWildcard_Array(AnnotatedTypeMirror.AnnotatedWildcardType subtype, AnnotatedTypeMirror.AnnotatedArrayType supertype, Void p)
visitWildcard_Array in interface AtmComboVisitor<Boolean,Void>visitWildcard_Array in class AbstractAtmComboVisitor<Boolean,Void>public Boolean visitWildcard_Declared(AnnotatedTypeMirror.AnnotatedWildcardType subtype, AnnotatedTypeMirror.AnnotatedDeclaredType supertype, Void p)
visitWildcard_Declared in interface AtmComboVisitor<Boolean,Void>visitWildcard_Declared in class AbstractAtmComboVisitor<Boolean,Void>public Boolean visitWildcard_Intersection(AnnotatedTypeMirror.AnnotatedWildcardType subtype, AnnotatedTypeMirror.AnnotatedIntersectionType supertype, Void p)
visitWildcard_Intersection in interface AtmComboVisitor<Boolean,Void>visitWildcard_Intersection in class AbstractAtmComboVisitor<Boolean,Void>public Boolean visitWildcard_Primitive(AnnotatedTypeMirror.AnnotatedWildcardType subtype, AnnotatedTypeMirror.AnnotatedPrimitiveType supertype, Void p)
visitWildcard_Primitive in interface AtmComboVisitor<Boolean,Void>visitWildcard_Primitive in class AbstractAtmComboVisitor<Boolean,Void>public Boolean visitWildcard_Typevar(AnnotatedTypeMirror.AnnotatedWildcardType subtype, AnnotatedTypeMirror.AnnotatedTypeVariable supertype, Void p)
visitWildcard_Typevar in interface AtmComboVisitor<Boolean,Void>visitWildcard_Typevar in class AbstractAtmComboVisitor<Boolean,Void>public Boolean visitWildcard_Wildcard(AnnotatedTypeMirror.AnnotatedWildcardType subtype, AnnotatedTypeMirror.AnnotatedWildcardType supertype, Void p)
visitWildcard_Wildcard in interface AtmComboVisitor<Boolean,Void>visitWildcard_Wildcard in class AbstractAtmComboVisitor<Boolean,Void>protected boolean visitType_Intersection(AnnotatedTypeMirror subtype, AnnotatedTypeMirror.AnnotatedIntersectionType supertype)
subtype - the possible subtypesupertype - the possible supertypesubtype is a subtype of supertypeprotected boolean visitIntersection_Type(AnnotatedTypeMirror.AnnotatedIntersectionType subtype, AnnotatedTypeMirror supertype)
supertype.subtype - an intersection typesupertype - an annotated typesubtype is a subtype of supertypeprotected boolean visitType_Typevar(AnnotatedTypeMirror subtype, AnnotatedTypeMirror.AnnotatedTypeVariable supertype)
subtype - a type that might be a subtypesupertype - a type that might be a supertypesubtype is a subtype of supertypeprotected boolean visitTypevar_Type(AnnotatedTypeMirror.AnnotatedTypeVariable subtype, AnnotatedTypeMirror supertype)
subtype - a type that might be a subtypesupertype - a type that might be a supertypesubtype is a subtype of supertypeprotected boolean visitUnion_Type(AnnotatedTypeMirror.AnnotatedUnionType subtype, AnnotatedTypeMirror supertype)
subtype - the potential subtype to checksupertype - the supertype to checkprotected boolean visitType_Wildcard(AnnotatedTypeMirror subtype, AnnotatedTypeMirror.AnnotatedWildcardType supertype)
subtype - the potential subtype to checksupertype - the wildcard supertype to checkprotected boolean visitWildcard_Type(AnnotatedTypeMirror.AnnotatedWildcardType subtype, AnnotatedTypeMirror supertype)
subtype - the potential wildcard subtype to checksupertype - the supertype to check