All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type |
Method and Description |
protected boolean |
areAllSubtypes(Iterable<? extends AnnotatedTypeMirror> subtypes,
AnnotatedTypeMirror supertype,
VisitHistory visited) |
protected boolean |
areEqual(AnnotatedTypeMirror type1,
AnnotatedTypeMirror type2) |
protected boolean |
areEqualInHierarchy(AnnotatedTypeMirror type1,
AnnotatedTypeMirror type2,
AnnotationMirror top) |
boolean |
areSubtypes(Iterable<? extends AnnotatedTypeMirror> subtypes,
Iterable<? extends AnnotatedTypeMirror> supertypes)
Calls is subtype pair-wise on the elements of the subtypes/supertypes Iterable.
|
static <T extends AnnotatedTypeMirror> T |
castedAsSuper(AnnotatedTypeMirror subtype,
T supertype)
Calls asSuper and casts the result to the same type as the input supertype
|
protected boolean |
checkAndSubtype(AnnotatedTypeMirror subtype,
AnnotatedTypeMirror supertype,
VisitHistory visited)
Check and subtype first determines if the subtype/supertype combination has already been visited.
|
protected boolean |
compareTypeArgs(AnnotatedTypeMirror subTypeArg,
AnnotatedTypeMirror superTypeArg,
boolean subtypeRaw,
boolean supertypeRaw,
VisitHistory visited)
Compare typeArgs is called on a single pair of type args that should share a relationship
subTypeArg <: superTypeArg (subtypeArg is contained by superTypeArg).
|
StructuralEqualityComparer |
createEqualityComparer() |
DefaultRawnessComparer |
createRawnessComparer() |
protected String |
defaultErrorMessage(AnnotatedTypeMirror subtype,
AnnotatedTypeMirror supertype,
VisitHistory visited)
Formats type1, type2 and param into an error message used by all methods of AbstractAtmComboVisitor that
are not overridden.
|
protected boolean |
isAnnoSubtype(AnnotationMirror subtypeAnno,
AnnotationMirror supertypeAnno,
boolean annosCanBeEmtpy)
Compare the primary annotations of subtype and supertype.
|
protected boolean |
isBottom(AnnotatedTypeMirror subtype)
Checks to see if subtype is bottom (if a bottom exists)
If there is no explicit bottom then false is returned
|
protected boolean |
isContainedBy(AnnotatedTypeMirror inside,
AnnotatedTypeMirror outside,
VisitHistory visited,
boolean canBeCovariant)
A declared type is considered a supertype of another declared type only if all of the
type arguments of the declared type "contain" the corresponding type arguments of the subtype.
|
protected boolean |
isPrimarySubtype(AnnotatedTypeMirror subtype,
AnnotatedTypeMirror supertype)
Compare the primary annotations of subtype and supertype.
|
protected boolean |
isPrimarySubtype(AnnotatedTypeMirror subtype,
AnnotatedTypeMirror supertype,
boolean annosCanBeEmtpy)
Compare the primary annotations of subtype and supertype.
|
boolean |
isSubtype(AnnotatedTypeMirror subtype,
AnnotatedTypeMirror supertype)
Returns true if subtype <: supertype
|
boolean |
isSubtype(AnnotatedTypeMirror subtype,
AnnotatedTypeMirror supertype,
AnnotationMirror top)
Returns true if subtype <: supertype
|
boolean |
isSubtype(AnnotatedTypeMirror subtype,
AnnotatedTypeMirror supertype,
VisitHistory visited)
Returns true if subtype <: supertype.
|
protected boolean |
isSubtypeOfAll(AnnotatedTypeMirror subtype,
Iterable<? extends AnnotatedTypeMirror> supertypes,
VisitHistory visited) |
Boolean |
visitArray_Array(AnnotatedTypeMirror.AnnotatedArrayType subtype,
AnnotatedTypeMirror.AnnotatedArrayType supertype,
VisitHistory visited) |
Boolean |
visitArray_Declared(AnnotatedTypeMirror.AnnotatedArrayType subtype,
AnnotatedTypeMirror.AnnotatedDeclaredType supertype,
VisitHistory visited) |
Boolean |
visitArray_Intersection(AnnotatedTypeMirror.AnnotatedArrayType subtype,
AnnotatedTypeMirror.AnnotatedIntersectionType supertype,
VisitHistory visitHistory) |
Boolean |
visitArray_Null(AnnotatedTypeMirror.AnnotatedArrayType subtype,
AnnotatedTypeMirror.AnnotatedNullType supertype,
VisitHistory visited) |
Boolean |
visitArray_Wildcard(AnnotatedTypeMirror.AnnotatedArrayType subtype,
AnnotatedTypeMirror.AnnotatedWildcardType supertype,
VisitHistory visited) |
Boolean |
visitDeclared_Array(AnnotatedTypeMirror.AnnotatedDeclaredType subtype,
AnnotatedTypeMirror.AnnotatedArrayType supertype,
VisitHistory visited) |
Boolean |
visitDeclared_Declared(AnnotatedTypeMirror.AnnotatedDeclaredType subtype,
AnnotatedTypeMirror.AnnotatedDeclaredType supertype,
VisitHistory visited) |
Boolean |
visitDeclared_Intersection(AnnotatedTypeMirror.AnnotatedDeclaredType subtype,
AnnotatedTypeMirror.AnnotatedIntersectionType supertype,
VisitHistory visited) |
Boolean |
visitDeclared_Null(AnnotatedTypeMirror.AnnotatedDeclaredType subtype,
AnnotatedTypeMirror.AnnotatedNullType supertype,
VisitHistory visited) |
Boolean |
visitDeclared_Primitive(AnnotatedTypeMirror.AnnotatedDeclaredType subtype,
AnnotatedTypeMirror.AnnotatedPrimitiveType supertype,
VisitHistory visited) |
Boolean |
visitDeclared_Typevar(AnnotatedTypeMirror.AnnotatedDeclaredType subtype,
AnnotatedTypeMirror.AnnotatedTypeVariable supertype,
VisitHistory visited) |
Boolean |
visitDeclared_Union(AnnotatedTypeMirror.AnnotatedDeclaredType subtype,
AnnotatedTypeMirror.AnnotatedUnionType supertype,
VisitHistory visited) |
Boolean |
visitDeclared_Wildcard(AnnotatedTypeMirror.AnnotatedDeclaredType subtype,
AnnotatedTypeMirror.AnnotatedWildcardType supertype,
VisitHistory visited) |
Boolean |
visitIntersection_Declared(AnnotatedTypeMirror.AnnotatedIntersectionType subtype,
AnnotatedTypeMirror.AnnotatedDeclaredType supertype,
VisitHistory visited) |
Boolean |
visitIntersection_Intersection(AnnotatedTypeMirror.AnnotatedIntersectionType subtype,
AnnotatedTypeMirror.AnnotatedIntersectionType supertype,
VisitHistory visited) |
Boolean |
visitIntersection_Null(AnnotatedTypeMirror.AnnotatedIntersectionType subtype,
AnnotatedTypeMirror.AnnotatedNullType supertype,
VisitHistory visited) |
Boolean |
visitIntersection_Primitive(AnnotatedTypeMirror.AnnotatedIntersectionType subtype,
AnnotatedTypeMirror.AnnotatedPrimitiveType supertype,
VisitHistory visited) |
Boolean |
visitIntersection_Typevar(AnnotatedTypeMirror.AnnotatedIntersectionType subtype,
AnnotatedTypeMirror.AnnotatedTypeVariable supertype,
VisitHistory visited) |
protected boolean |
visitIntersectionSupertype(AnnotatedTypeMirror subtype,
AnnotatedTypeMirror.AnnotatedIntersectionType supertype,
VisitHistory visited)
An intersection is a supertype if all of its bounds are a supertype of subtype
|
Boolean |
visitNull_Array(AnnotatedTypeMirror.AnnotatedNullType subtype,
AnnotatedTypeMirror.AnnotatedArrayType supertype,
VisitHistory visited) |
Boolean |
visitNull_Declared(AnnotatedTypeMirror.AnnotatedNullType subtype,
AnnotatedTypeMirror.AnnotatedDeclaredType supertype,
VisitHistory visited) |
Boolean |
visitNull_Intersection(AnnotatedTypeMirror.AnnotatedNullType subtype,
AnnotatedTypeMirror.AnnotatedIntersectionType supertype,
VisitHistory visited) |
Boolean |
visitNull_Null(AnnotatedTypeMirror.AnnotatedNullType subtype,
AnnotatedTypeMirror.AnnotatedNullType supertype,
VisitHistory visited) |
Boolean |
visitNull_Primitive(AnnotatedTypeMirror.AnnotatedNullType subtype,
AnnotatedTypeMirror.AnnotatedPrimitiveType supertype,
VisitHistory visited) |
Boolean |
visitNull_Typevar(AnnotatedTypeMirror.AnnotatedNullType subtype,
AnnotatedTypeMirror.AnnotatedTypeVariable supertype,
VisitHistory visited) |
Boolean |
visitNull_Union(AnnotatedTypeMirror.AnnotatedNullType subtype,
AnnotatedTypeMirror.AnnotatedUnionType supertype,
VisitHistory visited) |
Boolean |
visitNull_Wildcard(AnnotatedTypeMirror.AnnotatedNullType subtype,
AnnotatedTypeMirror.AnnotatedWildcardType supertype,
VisitHistory visited) |
Boolean |
visitPrimitive_Declared(AnnotatedTypeMirror.AnnotatedPrimitiveType subtype,
AnnotatedTypeMirror.AnnotatedDeclaredType supertype,
VisitHistory visited) |
Boolean |
visitPrimitive_Intersection(AnnotatedTypeMirror.AnnotatedPrimitiveType subtype,
AnnotatedTypeMirror.AnnotatedIntersectionType supertype,
VisitHistory visited) |
Boolean |
visitPrimitive_Primitive(AnnotatedTypeMirror.AnnotatedPrimitiveType subtype,
AnnotatedTypeMirror.AnnotatedPrimitiveType supertype,
VisitHistory visited) |
Boolean |
visitPrimitive_Wildcard(AnnotatedTypeMirror.AnnotatedPrimitiveType subtype,
AnnotatedTypeMirror.AnnotatedWildcardType supertype,
VisitHistory visitHistory) |
Boolean |
visitTypeArgs(AnnotatedTypeMirror.AnnotatedDeclaredType subtype,
AnnotatedTypeMirror.AnnotatedDeclaredType supertype,
VisitHistory visited,
boolean subtypeRaw,
boolean supertypeRaw)
A helper class for visitDeclared_Declared.
|
Boolean |
visitTypevar_Declared(AnnotatedTypeMirror.AnnotatedTypeVariable subtype,
AnnotatedTypeMirror.AnnotatedDeclaredType supertype,
VisitHistory visited) |
Boolean |
visitTypevar_Intersection(AnnotatedTypeMirror.AnnotatedTypeVariable subtype,
AnnotatedTypeMirror.AnnotatedIntersectionType supertype,
VisitHistory visited) |
Boolean |
visitTypevar_Null(AnnotatedTypeMirror.AnnotatedTypeVariable subtype,
AnnotatedTypeMirror.AnnotatedNullType supertype,
VisitHistory visited) |
Boolean |
visitTypevar_Primitive(AnnotatedTypeMirror.AnnotatedTypeVariable subtype,
AnnotatedTypeMirror.AnnotatedPrimitiveType supertype,
VisitHistory visited) |
Boolean |
visitTypevar_Typevar(AnnotatedTypeMirror.AnnotatedTypeVariable subtype,
AnnotatedTypeMirror.AnnotatedTypeVariable supertype,
VisitHistory visited) |
Boolean |
visitTypevar_Wildcard(AnnotatedTypeMirror.AnnotatedTypeVariable subtype,
AnnotatedTypeMirror.AnnotatedWildcardType supertype,
VisitHistory visited) |
protected boolean |
visitTypevarSubtype(AnnotatedTypeMirror.AnnotatedTypeVariable subtype,
AnnotatedTypeMirror supertype,
VisitHistory visited)
A type variable is a subtype if its upper bounds is below the supertype.
|
protected boolean |
visitTypevarSupertype(AnnotatedTypeMirror subtype,
AnnotatedTypeMirror.AnnotatedTypeVariable supertype,
VisitHistory visited)
A type variable is a supertype if its lower bound is above subtype.
|
Boolean |
visitUnion_Declared(AnnotatedTypeMirror.AnnotatedUnionType subtype,
AnnotatedTypeMirror.AnnotatedDeclaredType supertype,
VisitHistory visited) |
Boolean |
visitUnion_Intersection(AnnotatedTypeMirror.AnnotatedUnionType subtype,
AnnotatedTypeMirror.AnnotatedIntersectionType supertype,
VisitHistory visited) |
Boolean |
visitUnion_Union(AnnotatedTypeMirror.AnnotatedUnionType subtype,
AnnotatedTypeMirror.AnnotatedUnionType supertype,
VisitHistory visited) |
protected Boolean |
visitUnionSubtype(AnnotatedTypeMirror.AnnotatedUnionType subtype,
AnnotatedTypeMirror supertype,
VisitHistory visited)
A union type is a subtype if ALL of its alternatives are subtypes of supertype
|
Boolean |
visitWildcard_Array(AnnotatedTypeMirror.AnnotatedWildcardType subtype,
AnnotatedTypeMirror.AnnotatedArrayType supertype,
VisitHistory visited) |
Boolean |
visitWildcard_Declared(AnnotatedTypeMirror.AnnotatedWildcardType subtype,
AnnotatedTypeMirror.AnnotatedDeclaredType supertype,
VisitHistory visited) |
Boolean |
visitWildcard_Intersection(AnnotatedTypeMirror.AnnotatedWildcardType subtype,
AnnotatedTypeMirror.AnnotatedIntersectionType supertype,
VisitHistory visited) |
Boolean |
visitWildcard_Primitive(AnnotatedTypeMirror.AnnotatedWildcardType subtype,
AnnotatedTypeMirror.AnnotatedPrimitiveType supertype,
VisitHistory visited) |
Boolean |
visitWildcard_Typevar(AnnotatedTypeMirror.AnnotatedWildcardType subtype,
AnnotatedTypeMirror.AnnotatedTypeVariable supertype,
VisitHistory visited) |
Boolean |
visitWildcard_Wildcard(AnnotatedTypeMirror.AnnotatedWildcardType subtype,
AnnotatedTypeMirror.AnnotatedWildcardType supertype,
VisitHistory visited) |
protected boolean |
visitWildcardSubtype(AnnotatedTypeMirror.AnnotatedWildcardType subtype,
AnnotatedTypeMirror supertype,
VisitHistory visited) |
protected boolean |
visitWildcardSupertype(AnnotatedTypeMirror subtype,
AnnotatedTypeMirror.AnnotatedWildcardType supertype,
VisitHistory visited) |