org.checkerframework.framework.type

Class DefaultTypeHierarchy

java.lang.Object

org.checkerframework.framework.type.visitor.AbstractAtmComboVisitor<Boolean,VisitHistory>

org.checkerframework.framework.type.DefaultTypeHierarchy

All Implemented Interfaces:

TypeHierarchy, AtmComboVisitor<Boolean,VisitHistory>

Direct Known Subclasses:

KeyForAnnotatedTypeFactory.KeyForTypeHierarchy

public class DefaultTypeHierarchy
extends AbstractAtmComboVisitor<Boolean,VisitHistory>
implements TypeHierarchy

Default implementation of TypeHierarchy that implements the JLS specification with minor deviations as outlined by the Checker Framework manual. Changes to the JLS include forbidding covariant array types, raw types, and allowing covariant type arguments depending on various options passed to DefaultTypeHierarchy.

Subtyping rules of the JLS can be found in section 4.10, "Subtyping": http://docs.oracle.com/javase/specs/jls/se8/html/jls-4.html#jls-4.10

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. It does not make sense to call the visit methods on their own.

Field Summary

Fields

Modifier and Type	Field and Description
protected BaseTypeChecker	checker
protected boolean	covariantTypeArgs
protected AnnotationMirror	currentTop
protected StructuralEqualityComparer	equalityComparer
protected boolean	ignoreRawTypes
protected boolean	ignoreUninferredTypeArguments Whether to ignore uninferred type arguments.
protected boolean	invariantArrayComponents
protected QualifierHierarchy	qualifierHierarchy
protected DefaultRawnessComparer	rawnessComparer

Constructor Summary

Constructors

Constructor and Description
DefaultTypeHierarchy(BaseTypeChecker checker, QualifierHierarchy qualifierHierarchy, boolean ignoreRawTypes, boolean invariantArrayComponents)
DefaultTypeHierarchy(BaseTypeChecker checker, QualifierHierarchy qualifierHierarchy, boolean ignoreRawTypes, boolean invariantArrayComponents, boolean covariantTypeArgs)

Method Summary

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)

Methods inherited from class org.checkerframework.framework.type.visitor.AbstractAtmComboVisitor

defaultAction, visit, visitArray_Executable, visitArray_None, visitArray_Primitive, visitArray_Typevar, 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, visitIntersection_Wildcard, 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_Typevar, visitPrimitive_Union, visitTypevar_Array, visitTypevar_Executable, visitTypevar_None, visitTypevar_Union, visitUnion_Array, visitUnion_Executable, visitUnion_None, visitUnion_Null, visitUnion_Primitive, visitUnion_Typevar, visitUnion_Wildcard, visitWildcard_Executable, visitWildcard_None, visitWildcard_Null, visitWildcard_Union

Methods inherited from class java.lang.Object

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

Field Detail

checker

protected final BaseTypeChecker checker

qualifierHierarchy

protected final QualifierHierarchy qualifierHierarchy

equalityComparer

protected final StructuralEqualityComparer equalityComparer

rawnessComparer

protected final DefaultRawnessComparer rawnessComparer

ignoreRawTypes

protected final boolean ignoreRawTypes

invariantArrayComponents

protected final boolean invariantArrayComponents

covariantTypeArgs

protected final boolean covariantTypeArgs

currentTop

protected AnnotationMirror currentTop

ignoreUninferredTypeArguments

protected final boolean ignoreUninferredTypeArguments

Whether to ignore uninferred type arguments. This is a temporary flag to work around Issue 979.

Constructor Detail

DefaultTypeHierarchy

public DefaultTypeHierarchy(BaseTypeChecker checker,
                            QualifierHierarchy qualifierHierarchy,
                            boolean ignoreRawTypes,
                            boolean invariantArrayComponents)

DefaultTypeHierarchy

public DefaultTypeHierarchy(BaseTypeChecker checker,
                            QualifierHierarchy qualifierHierarchy,
                            boolean ignoreRawTypes,
                            boolean invariantArrayComponents,
                            boolean covariantTypeArgs)

Method Detail

createRawnessComparer

public DefaultRawnessComparer createRawnessComparer()

createEqualityComparer

public StructuralEqualityComparer createEqualityComparer()

isSubtype

public boolean isSubtype(AnnotatedTypeMirror subtype,
                         AnnotatedTypeMirror supertype)

Returns true if subtype <: supertype

Specified by:

isSubtype in interface TypeHierarchy

Parameters:

subtype - expected subtype

supertype - expected supertype

Returns:

true if subtype is actually a subtype of supertype

isSubtype

public boolean isSubtype(AnnotatedTypeMirror subtype,
                         AnnotatedTypeMirror supertype,
                         AnnotationMirror top)

Returns true if subtype <: supertype

Specified by:

isSubtype in interface TypeHierarchy

Parameters:

subtype - expected subtype

supertype - expected supertype

top - the hierarchy for which we want to make a comparison

Returns:

true if subtype is actually a subtype of supertype

areSubtypes

public boolean areSubtypes(Iterable<? extends AnnotatedTypeMirror> subtypes,
                           Iterable<? extends AnnotatedTypeMirror> supertypes)

Calls is subtype pair-wise on the elements of the subtypes/supertypes Iterable.

Returns:

true if for each pair, the subtype element is a subtype of the supertype element. An exception will be thrown if the iterables are of different sizes.

defaultErrorMessage

protected String defaultErrorMessage(AnnotatedTypeMirror subtype,
                                     AnnotatedTypeMirror supertype,
                                     VisitHistory visited)

Description copied from class: AbstractAtmComboVisitor

Formats type1, type2 and param into an error message used by all methods of AbstractAtmComboVisitor that are not overridden. Normally, this method should indicate that the given method (and therefore the given pair of type mirror classes) is not supported by this class.

Specified by:

defaultErrorMessage in class AbstractAtmComboVisitor<Boolean,VisitHistory>

Parameters:

subtype - the first AnnotatedTypeMirror parameter to the visit method called

supertype - the second AnnotatedTypeMirror parameter to the visit method called

visited - subtype specific parameter passed to every visit method

Returns:

error message for the case when two types shouldn't be compared

isSubtype

public boolean isSubtype(AnnotatedTypeMirror subtype,
                         AnnotatedTypeMirror supertype,
                         VisitHistory visited)

Returns true if subtype <: supertype. The only difference between this and isSubtype(subtype, supertype) is that this method passes a pre-existing visited

Parameters:

subtype - expected subtype

supertype - expected supertype

Returns:

true if subtype is actually a subtype of supertype

isPrimarySubtype

protected boolean isPrimarySubtype(AnnotatedTypeMirror subtype,
                                   AnnotatedTypeMirror supertype)

Compare the primary annotations of subtype and supertype. Neither type can be missing annotations.

Returns:

true if the primary annotation on subtype <: primary annotation on supertype for the current top.

isPrimarySubtype

protected boolean isPrimarySubtype(AnnotatedTypeMirror subtype,
                                   AnnotatedTypeMirror supertype,
                                   boolean annosCanBeEmtpy)

Compare the primary annotations of subtype and supertype.

Parameters:

annosCanBeEmtpy - indicates that annotations may be missing from the typemirror

Returns:

true if the primary annotation on subtype <: primary annotation on supertype for the current top or both annotations are null. False is returned if one annotation is null and the other is not.

isAnnoSubtype

protected boolean isAnnoSubtype(AnnotationMirror subtypeAnno,
                                AnnotationMirror supertypeAnno,
                                boolean annosCanBeEmtpy)

Compare the primary annotations of subtype and supertype.

Parameters:

subtypeAnno - annotation we expect to be a subtype

supertypeAnno - annotation we expect to be a supertype of subtype

annosCanBeEmtpy - indicates that annotations may be missing from the typemirror

Returns:

true if subtype <: supertype or both annotations are null. False is returned if one annotation is null and the other is not.

isBottom

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

Parameters:

subtype - type to isValid against bottom

Returns:

true if subtype's primary annotation is bottom

checkAndSubtype

protected boolean checkAndSubtype(AnnotatedTypeMirror subtype,
                                  AnnotatedTypeMirror supertype,
                                  VisitHistory visited)

Check and subtype first determines if the subtype/supertype combination has already been visited. If so, it returns true, otherwise add the subtype/supertype combination and then make a subtype check

isSubtypeOfAll

protected boolean isSubtypeOfAll(AnnotatedTypeMirror subtype,
                                 Iterable<? extends AnnotatedTypeMirror> supertypes,
                                 VisitHistory visited)

areAllSubtypes

protected boolean areAllSubtypes(Iterable<? extends AnnotatedTypeMirror> subtypes,
                                 AnnotatedTypeMirror supertype,
                                 VisitHistory visited)

areEqual

protected boolean areEqual(AnnotatedTypeMirror type1,
                           AnnotatedTypeMirror type2)

areEqualInHierarchy

protected boolean areEqualInHierarchy(AnnotatedTypeMirror type1,
                                      AnnotatedTypeMirror type2,
                                      AnnotationMirror top)

isContainedBy

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. Containment is described in the JLS section 4.5.1 "Type Arguments of Parameterized Types", http://docs.oracle.com/javase/specs/jls/se8/html/jls-4.html#jls-4.5.1

Parameters:

inside - the "subtype" type argument

outside - the "supertype" type argument

visited - a history of type pairs that have been visited, used to halt on recursive bounds

canBeCovariant - whether or not type arguments are allowed to be covariant

Returns:

true if inside is contained by outside OR, if canBeCovariant == true, inside is a subtype of outside

visitArray_Array

public Boolean visitArray_Array(AnnotatedTypeMirror.AnnotatedArrayType subtype,
                                AnnotatedTypeMirror.AnnotatedArrayType supertype,
                                VisitHistory visited)

Specified by:

visitArray_Array in interface AtmComboVisitor<Boolean,VisitHistory>

Overrides:

visitArray_Array in class AbstractAtmComboVisitor<Boolean,VisitHistory>

visitArray_Declared

public Boolean visitArray_Declared(AnnotatedTypeMirror.AnnotatedArrayType subtype,
                                   AnnotatedTypeMirror.AnnotatedDeclaredType supertype,
                                   VisitHistory visited)

Specified by:

visitArray_Declared in interface AtmComboVisitor<Boolean,VisitHistory>

Overrides:

visitArray_Declared in class AbstractAtmComboVisitor<Boolean,VisitHistory>

visitArray_Null

public Boolean visitArray_Null(AnnotatedTypeMirror.AnnotatedArrayType subtype,
                               AnnotatedTypeMirror.AnnotatedNullType supertype,
                               VisitHistory visited)

Specified by:

visitArray_Null in interface AtmComboVisitor<Boolean,VisitHistory>

Overrides:

visitArray_Null in class AbstractAtmComboVisitor<Boolean,VisitHistory>

visitArray_Intersection

public Boolean visitArray_Intersection(AnnotatedTypeMirror.AnnotatedArrayType subtype,
                                       AnnotatedTypeMirror.AnnotatedIntersectionType supertype,
                                       VisitHistory visitHistory)

Specified by:

visitArray_Intersection in interface AtmComboVisitor<Boolean,VisitHistory>

Overrides:

visitArray_Intersection in class AbstractAtmComboVisitor<Boolean,VisitHistory>

visitArray_Wildcard

public Boolean visitArray_Wildcard(AnnotatedTypeMirror.AnnotatedArrayType subtype,
                                   AnnotatedTypeMirror.AnnotatedWildcardType supertype,
                                   VisitHistory visited)

Specified by:

visitArray_Wildcard in interface AtmComboVisitor<Boolean,VisitHistory>

Overrides:

visitArray_Wildcard in class AbstractAtmComboVisitor<Boolean,VisitHistory>

visitDeclared_Array

public Boolean visitDeclared_Array(AnnotatedTypeMirror.AnnotatedDeclaredType subtype,
                                   AnnotatedTypeMirror.AnnotatedArrayType supertype,
                                   VisitHistory visited)

Specified by:

visitDeclared_Array in interface AtmComboVisitor<Boolean,VisitHistory>

Overrides:

visitDeclared_Array in class AbstractAtmComboVisitor<Boolean,VisitHistory>

visitDeclared_Declared

public Boolean visitDeclared_Declared(AnnotatedTypeMirror.AnnotatedDeclaredType subtype,
                                      AnnotatedTypeMirror.AnnotatedDeclaredType supertype,
                                      VisitHistory visited)

Specified by:

visitDeclared_Declared in interface AtmComboVisitor<Boolean,VisitHistory>

Overrides:

visitDeclared_Declared in class AbstractAtmComboVisitor<Boolean,VisitHistory>

visitTypeArgs

public Boolean visitTypeArgs(AnnotatedTypeMirror.AnnotatedDeclaredType subtype,
                             AnnotatedTypeMirror.AnnotatedDeclaredType supertype,
                             VisitHistory visited,
                             boolean subtypeRaw,
                             boolean supertypeRaw)

A helper class for visitDeclared_Declared. There are subtypes of DefaultTypeHierarchy that need to customize the handling of type arguments. This method provides a convenient extension point.

compareTypeArgs

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). However, if either type is raw then either (subTypeArg <: superTypeArg) or the rawnessComparer.isValid(superTypeArg, subTypeArg, visited)

visitDeclared_Intersection

public Boolean visitDeclared_Intersection(AnnotatedTypeMirror.AnnotatedDeclaredType subtype,
                                          AnnotatedTypeMirror.AnnotatedIntersectionType supertype,
                                          VisitHistory visited)

Specified by:

visitDeclared_Intersection in interface AtmComboVisitor<Boolean,VisitHistory>

Overrides:

visitDeclared_Intersection in class AbstractAtmComboVisitor<Boolean,VisitHistory>

visitDeclared_Null

public Boolean visitDeclared_Null(AnnotatedTypeMirror.AnnotatedDeclaredType subtype,
                                  AnnotatedTypeMirror.AnnotatedNullType supertype,
                                  VisitHistory visited)

Specified by:

visitDeclared_Null in interface AtmComboVisitor<Boolean,VisitHistory>

Overrides:

visitDeclared_Null in class AbstractAtmComboVisitor<Boolean,VisitHistory>

visitDeclared_Primitive

public Boolean visitDeclared_Primitive(AnnotatedTypeMirror.AnnotatedDeclaredType subtype,
                                       AnnotatedTypeMirror.AnnotatedPrimitiveType supertype,
                                       VisitHistory visited)

Specified by:

visitDeclared_Primitive in interface AtmComboVisitor<Boolean,VisitHistory>

Overrides:

visitDeclared_Primitive in class AbstractAtmComboVisitor<Boolean,VisitHistory>

visitDeclared_Typevar

public Boolean visitDeclared_Typevar(AnnotatedTypeMirror.AnnotatedDeclaredType subtype,
                                     AnnotatedTypeMirror.AnnotatedTypeVariable supertype,
                                     VisitHistory visited)

Specified by:

visitDeclared_Typevar in interface AtmComboVisitor<Boolean,VisitHistory>

Overrides:

visitDeclared_Typevar in class AbstractAtmComboVisitor<Boolean,VisitHistory>

visitDeclared_Union

public Boolean visitDeclared_Union(AnnotatedTypeMirror.AnnotatedDeclaredType subtype,
                                   AnnotatedTypeMirror.AnnotatedUnionType supertype,
                                   VisitHistory visited)

Specified by:

visitDeclared_Union in interface AtmComboVisitor<Boolean,VisitHistory>

Overrides:

visitDeclared_Union in class AbstractAtmComboVisitor<Boolean,VisitHistory>

visitDeclared_Wildcard

public Boolean visitDeclared_Wildcard(AnnotatedTypeMirror.AnnotatedDeclaredType subtype,
                                      AnnotatedTypeMirror.AnnotatedWildcardType supertype,
                                      VisitHistory visited)

Specified by:

visitDeclared_Wildcard in interface AtmComboVisitor<Boolean,VisitHistory>

Overrides:

visitDeclared_Wildcard in class AbstractAtmComboVisitor<Boolean,VisitHistory>

visitIntersection_Declared

public Boolean visitIntersection_Declared(AnnotatedTypeMirror.AnnotatedIntersectionType subtype,
                                          AnnotatedTypeMirror.AnnotatedDeclaredType supertype,
                                          VisitHistory visited)

Specified by:

visitIntersection_Declared in interface AtmComboVisitor<Boolean,VisitHistory>

Overrides:

visitIntersection_Declared in class AbstractAtmComboVisitor<Boolean,VisitHistory>

visitIntersection_Primitive

public Boolean visitIntersection_Primitive(AnnotatedTypeMirror.AnnotatedIntersectionType subtype,
                                           AnnotatedTypeMirror.AnnotatedPrimitiveType supertype,
                                           VisitHistory visited)

Specified by:

visitIntersection_Primitive in interface AtmComboVisitor<Boolean,VisitHistory>

Overrides:

visitIntersection_Primitive in class AbstractAtmComboVisitor<Boolean,VisitHistory>

visitIntersection_Intersection

public Boolean visitIntersection_Intersection(AnnotatedTypeMirror.AnnotatedIntersectionType subtype,
                                              AnnotatedTypeMirror.AnnotatedIntersectionType supertype,
                                              VisitHistory visited)

Specified by:

visitIntersection_Intersection in interface AtmComboVisitor<Boolean,VisitHistory>

Overrides:

visitIntersection_Intersection in class AbstractAtmComboVisitor<Boolean,VisitHistory>

visitIntersection_Null

public Boolean visitIntersection_Null(AnnotatedTypeMirror.AnnotatedIntersectionType subtype,
                                      AnnotatedTypeMirror.AnnotatedNullType supertype,
                                      VisitHistory visited)

Specified by:

visitIntersection_Null in interface AtmComboVisitor<Boolean,VisitHistory>

Overrides:

visitIntersection_Null in class AbstractAtmComboVisitor<Boolean,VisitHistory>

visitIntersection_Typevar

public Boolean visitIntersection_Typevar(AnnotatedTypeMirror.AnnotatedIntersectionType subtype,
                                         AnnotatedTypeMirror.AnnotatedTypeVariable supertype,
                                         VisitHistory visited)

Specified by:

visitIntersection_Typevar in interface AtmComboVisitor<Boolean,VisitHistory>

Overrides:

visitIntersection_Typevar in class AbstractAtmComboVisitor<Boolean,VisitHistory>

visitNull_Array

public Boolean visitNull_Array(AnnotatedTypeMirror.AnnotatedNullType subtype,
                               AnnotatedTypeMirror.AnnotatedArrayType supertype,
                               VisitHistory visited)

Specified by:

visitNull_Array in interface AtmComboVisitor<Boolean,VisitHistory>

Overrides:

visitNull_Array in class AbstractAtmComboVisitor<Boolean,VisitHistory>

visitNull_Declared

public Boolean visitNull_Declared(AnnotatedTypeMirror.AnnotatedNullType subtype,
                                  AnnotatedTypeMirror.AnnotatedDeclaredType supertype,
                                  VisitHistory visited)

Specified by:

visitNull_Declared in interface AtmComboVisitor<Boolean,VisitHistory>

Overrides:

visitNull_Declared in class AbstractAtmComboVisitor<Boolean,VisitHistory>

visitNull_Typevar

public Boolean visitNull_Typevar(AnnotatedTypeMirror.AnnotatedNullType subtype,
                                 AnnotatedTypeMirror.AnnotatedTypeVariable supertype,
                                 VisitHistory visited)

Specified by:

visitNull_Typevar in interface AtmComboVisitor<Boolean,VisitHistory>

Overrides:

visitNull_Typevar in class AbstractAtmComboVisitor<Boolean,VisitHistory>

visitNull_Wildcard

public Boolean visitNull_Wildcard(AnnotatedTypeMirror.AnnotatedNullType subtype,
                                  AnnotatedTypeMirror.AnnotatedWildcardType supertype,
                                  VisitHistory visited)

Specified by:

visitNull_Wildcard in interface AtmComboVisitor<Boolean,VisitHistory>

Overrides:

visitNull_Wildcard in class AbstractAtmComboVisitor<Boolean,VisitHistory>

visitNull_Null

public Boolean visitNull_Null(AnnotatedTypeMirror.AnnotatedNullType subtype,
                              AnnotatedTypeMirror.AnnotatedNullType supertype,
                              VisitHistory visited)

Specified by:

visitNull_Null in interface AtmComboVisitor<Boolean,VisitHistory>

Overrides:

visitNull_Null in class AbstractAtmComboVisitor<Boolean,VisitHistory>

visitNull_Union

public Boolean visitNull_Union(AnnotatedTypeMirror.AnnotatedNullType subtype,
                               AnnotatedTypeMirror.AnnotatedUnionType supertype,
                               VisitHistory visited)

Specified by:

visitNull_Union in interface AtmComboVisitor<Boolean,VisitHistory>

Overrides:

visitNull_Union in class AbstractAtmComboVisitor<Boolean,VisitHistory>

visitNull_Intersection

public Boolean visitNull_Intersection(AnnotatedTypeMirror.AnnotatedNullType subtype,
                                      AnnotatedTypeMirror.AnnotatedIntersectionType supertype,
                                      VisitHistory visited)

Specified by:

visitNull_Intersection in interface AtmComboVisitor<Boolean,VisitHistory>

Overrides:

visitNull_Intersection in class AbstractAtmComboVisitor<Boolean,VisitHistory>

visitNull_Primitive

public Boolean visitNull_Primitive(AnnotatedTypeMirror.AnnotatedNullType subtype,
                                   AnnotatedTypeMirror.AnnotatedPrimitiveType supertype,
                                   VisitHistory visited)

Specified by:

visitNull_Primitive in interface AtmComboVisitor<Boolean,VisitHistory>

Overrides:

visitNull_Primitive in class AbstractAtmComboVisitor<Boolean,VisitHistory>

visitPrimitive_Declared

public Boolean visitPrimitive_Declared(AnnotatedTypeMirror.AnnotatedPrimitiveType subtype,
                                       AnnotatedTypeMirror.AnnotatedDeclaredType supertype,
                                       VisitHistory visited)

Specified by:

visitPrimitive_Declared in interface AtmComboVisitor<Boolean,VisitHistory>

Overrides:

visitPrimitive_Declared in class AbstractAtmComboVisitor<Boolean,VisitHistory>

visitPrimitive_Primitive

public Boolean visitPrimitive_Primitive(AnnotatedTypeMirror.AnnotatedPrimitiveType subtype,
                                        AnnotatedTypeMirror.AnnotatedPrimitiveType supertype,
                                        VisitHistory visited)

Specified by:

visitPrimitive_Primitive in interface AtmComboVisitor<Boolean,VisitHistory>

Overrides:

visitPrimitive_Primitive in class AbstractAtmComboVisitor<Boolean,VisitHistory>

visitPrimitive_Intersection

public Boolean visitPrimitive_Intersection(AnnotatedTypeMirror.AnnotatedPrimitiveType subtype,
                                           AnnotatedTypeMirror.AnnotatedIntersectionType supertype,
                                           VisitHistory visited)

Specified by:

visitPrimitive_Intersection in interface AtmComboVisitor<Boolean,VisitHistory>

Overrides:

visitPrimitive_Intersection in class AbstractAtmComboVisitor<Boolean,VisitHistory>

visitPrimitive_Wildcard

public Boolean visitPrimitive_Wildcard(AnnotatedTypeMirror.AnnotatedPrimitiveType subtype,
                                       AnnotatedTypeMirror.AnnotatedWildcardType supertype,
                                       VisitHistory visitHistory)

Specified by:

visitPrimitive_Wildcard in interface AtmComboVisitor<Boolean,VisitHistory>

Overrides:

visitPrimitive_Wildcard in class AbstractAtmComboVisitor<Boolean,VisitHistory>

visitUnion_Declared

public Boolean visitUnion_Declared(AnnotatedTypeMirror.AnnotatedUnionType subtype,
                                   AnnotatedTypeMirror.AnnotatedDeclaredType supertype,
                                   VisitHistory visited)

Specified by:

visitUnion_Declared in interface AtmComboVisitor<Boolean,VisitHistory>

Overrides:

visitUnion_Declared in class AbstractAtmComboVisitor<Boolean,VisitHistory>

visitUnion_Intersection

public Boolean visitUnion_Intersection(AnnotatedTypeMirror.AnnotatedUnionType subtype,
                                       AnnotatedTypeMirror.AnnotatedIntersectionType supertype,
                                       VisitHistory visited)

Specified by:

visitUnion_Intersection in interface AtmComboVisitor<Boolean,VisitHistory>

Overrides:

visitUnion_Intersection in class AbstractAtmComboVisitor<Boolean,VisitHistory>

visitUnion_Union

public Boolean visitUnion_Union(AnnotatedTypeMirror.AnnotatedUnionType subtype,
                                AnnotatedTypeMirror.AnnotatedUnionType supertype,
                                VisitHistory visited)

Specified by:

visitUnion_Union in interface AtmComboVisitor<Boolean,VisitHistory>

Overrides:

visitUnion_Union in class AbstractAtmComboVisitor<Boolean,VisitHistory>

visitTypevar_Declared

public Boolean visitTypevar_Declared(AnnotatedTypeMirror.AnnotatedTypeVariable subtype,
                                     AnnotatedTypeMirror.AnnotatedDeclaredType supertype,
                                     VisitHistory visited)

Specified by:

visitTypevar_Declared in interface AtmComboVisitor<Boolean,VisitHistory>

Overrides:

visitTypevar_Declared in class AbstractAtmComboVisitor<Boolean,VisitHistory>

visitTypevar_Intersection

public Boolean visitTypevar_Intersection(AnnotatedTypeMirror.AnnotatedTypeVariable subtype,
                                         AnnotatedTypeMirror.AnnotatedIntersectionType supertype,
                                         VisitHistory visited)

Specified by:

visitTypevar_Intersection in interface AtmComboVisitor<Boolean,VisitHistory>

Overrides:

visitTypevar_Intersection in class AbstractAtmComboVisitor<Boolean,VisitHistory>

visitTypevar_Primitive

public Boolean visitTypevar_Primitive(AnnotatedTypeMirror.AnnotatedTypeVariable subtype,
                                      AnnotatedTypeMirror.AnnotatedPrimitiveType supertype,
                                      VisitHistory visited)

Specified by:

visitTypevar_Primitive in interface AtmComboVisitor<Boolean,VisitHistory>

Overrides:

visitTypevar_Primitive in class AbstractAtmComboVisitor<Boolean,VisitHistory>

visitTypevar_Typevar

public Boolean visitTypevar_Typevar(AnnotatedTypeMirror.AnnotatedTypeVariable subtype,
                                    AnnotatedTypeMirror.AnnotatedTypeVariable supertype,
                                    VisitHistory visited)

Specified by:

visitTypevar_Typevar in interface AtmComboVisitor<Boolean,VisitHistory>

Overrides:

visitTypevar_Typevar in class AbstractAtmComboVisitor<Boolean,VisitHistory>

visitTypevar_Null

public Boolean visitTypevar_Null(AnnotatedTypeMirror.AnnotatedTypeVariable subtype,
                                 AnnotatedTypeMirror.AnnotatedNullType supertype,
                                 VisitHistory visited)

Specified by:

visitTypevar_Null in interface AtmComboVisitor<Boolean,VisitHistory>

Overrides:

visitTypevar_Null in class AbstractAtmComboVisitor<Boolean,VisitHistory>

visitTypevar_Wildcard

public Boolean visitTypevar_Wildcard(AnnotatedTypeMirror.AnnotatedTypeVariable subtype,
                                     AnnotatedTypeMirror.AnnotatedWildcardType supertype,
                                     VisitHistory visited)

Specified by:

visitTypevar_Wildcard in interface AtmComboVisitor<Boolean,VisitHistory>

Overrides:

visitTypevar_Wildcard in class AbstractAtmComboVisitor<Boolean,VisitHistory>

visitWildcard_Array

public Boolean visitWildcard_Array(AnnotatedTypeMirror.AnnotatedWildcardType subtype,
                                   AnnotatedTypeMirror.AnnotatedArrayType supertype,
                                   VisitHistory visited)

Specified by:

visitWildcard_Array in interface AtmComboVisitor<Boolean,VisitHistory>

Overrides:

visitWildcard_Array in class AbstractAtmComboVisitor<Boolean,VisitHistory>

visitWildcard_Declared

public Boolean visitWildcard_Declared(AnnotatedTypeMirror.AnnotatedWildcardType subtype,
                                      AnnotatedTypeMirror.AnnotatedDeclaredType supertype,
                                      VisitHistory visited)

Specified by:

visitWildcard_Declared in interface AtmComboVisitor<Boolean,VisitHistory>

Overrides:

visitWildcard_Declared in class AbstractAtmComboVisitor<Boolean,VisitHistory>

visitWildcard_Intersection

public Boolean visitWildcard_Intersection(AnnotatedTypeMirror.AnnotatedWildcardType subtype,
                                          AnnotatedTypeMirror.AnnotatedIntersectionType supertype,
                                          VisitHistory visited)

Specified by:

visitWildcard_Intersection in interface AtmComboVisitor<Boolean,VisitHistory>

Overrides:

visitWildcard_Intersection in class AbstractAtmComboVisitor<Boolean,VisitHistory>

visitWildcard_Primitive

public Boolean visitWildcard_Primitive(AnnotatedTypeMirror.AnnotatedWildcardType subtype,
                                       AnnotatedTypeMirror.AnnotatedPrimitiveType supertype,
                                       VisitHistory visited)

Specified by:

visitWildcard_Primitive in interface AtmComboVisitor<Boolean,VisitHistory>

Overrides:

visitWildcard_Primitive in class AbstractAtmComboVisitor<Boolean,VisitHistory>

visitWildcard_Typevar

public Boolean visitWildcard_Typevar(AnnotatedTypeMirror.AnnotatedWildcardType subtype,
                                     AnnotatedTypeMirror.AnnotatedTypeVariable supertype,
                                     VisitHistory visited)

Specified by:

visitWildcard_Typevar in interface AtmComboVisitor<Boolean,VisitHistory>

Overrides:

visitWildcard_Typevar in class AbstractAtmComboVisitor<Boolean,VisitHistory>

visitWildcard_Wildcard

public Boolean visitWildcard_Wildcard(AnnotatedTypeMirror.AnnotatedWildcardType subtype,
                                      AnnotatedTypeMirror.AnnotatedWildcardType supertype,
                                      VisitHistory visited)

Specified by:

visitWildcard_Wildcard in interface AtmComboVisitor<Boolean,VisitHistory>

Overrides:

visitWildcard_Wildcard in class AbstractAtmComboVisitor<Boolean,VisitHistory>

visitIntersectionSupertype

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

visitTypevarSupertype

protected boolean visitTypevarSupertype(AnnotatedTypeMirror subtype,
                                        AnnotatedTypeMirror.AnnotatedTypeVariable supertype,
                                        VisitHistory visited)

A type variable is a supertype if its lower bound is above subtype.

visitTypevarSubtype

protected boolean visitTypevarSubtype(AnnotatedTypeMirror.AnnotatedTypeVariable subtype,
                                      AnnotatedTypeMirror supertype,
                                      VisitHistory visited)

A type variable is a subtype if its upper bounds is below the supertype. Note: When comparing two type variables this method and visitTypevarSupertype will combine to isValid the subtypes upper bound against the supertypes lower bound.

visitUnionSubtype

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

visitWildcardSupertype

protected boolean visitWildcardSupertype(AnnotatedTypeMirror subtype,
                                         AnnotatedTypeMirror.AnnotatedWildcardType supertype,
                                         VisitHistory visited)

visitWildcardSubtype

protected boolean visitWildcardSubtype(AnnotatedTypeMirror.AnnotatedWildcardType subtype,
                                       AnnotatedTypeMirror supertype,
                                       VisitHistory visited)

castedAsSuper

public static <T extends AnnotatedTypeMirror> T castedAsSuper(AnnotatedTypeMirror subtype,
                                                              T supertype)

Calls asSuper and casts the result to the same type as the input supertype

Type Parameters:

T - the type of supertype and return type

Parameters:

subtype - subtype to be transformed to supertype

supertype - supertype that subtype is transformed to

Returns:

subtype as an instance of supertype