DefaultTypeHierarchy (checker-framework 2.11.1 API)

java.lang.Object
- org.checkerframework.framework.type.visitor.AbstractAtmComboVisitor<java.lang.Boolean,java.lang.Void>
- - org.checkerframework.framework.type.DefaultTypeHierarchy

All Implemented Interfaces:

TypeHierarchy, AtmComboVisitor<java.lang.Boolean,java.lang.Void>

Direct Known Subclasses:

KeyForAnnotatedTypeFactory.KeyForTypeHierarchy
```
public class DefaultTypeHierarchy
extends AbstractAtmComboVisitor<java.lang.Boolean,java.lang.Void>
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": https://docs.oracle.com/javase/specs/jls/se11/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 javax.lang.model.element.AnnotationMirror`	`currentTop` The top annotation of the hierarchy currently being checked.
`protected StructuralEqualityComparer`	`equalityComparer`
`protected boolean`	`ignoreRawTypes`
`protected boolean`	`invariantArrayComponents`
`protected QualifierHierarchy`	`qualifierHierarchy`
`protected StructuralEqualityVisitHistory`	`typeargVisitHistory` Stores the result of isSubtype for type arguments.
`protected SubtypeVisitHistory`	`visitHistory` Stores the result of isSubtype, if that result is true.

Constructor Summary

Constructors
Constructor and Description
`DefaultTypeHierarchy(BaseTypeChecker checker, QualifierHierarchy qualifierHierarchy, boolean ignoreRawTypes, boolean invariantArrayComponents)` Creates a DefaultTypeHierarchy.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`protected boolean`	`areAllSubtypes(java.lang.Iterable<? extends AnnotatedTypeMirror> subtypes, AnnotatedTypeMirror supertype)` Are all the types in `subtypes` a subtype of `superType`?
`protected boolean`	`areEqualInHierarchy(AnnotatedTypeMirror type1, AnnotatedTypeMirror type2)`
`protected boolean`	`checkAndSubtype(AnnotatedTypeMirror subtype, AnnotatedTypeMirror supertype)` Check and subtype first determines if the subtype/supertype combination has already been visited.
`protected StructuralEqualityComparer`	`createEqualityComparer()` Create the equality comparer.
`protected java.lang.String`	`defaultErrorMessage(AnnotatedTypeMirror subtype, AnnotatedTypeMirror supertype, java.lang.Void p)` Formats type1, type2 and param into an error message used by all methods of AbstractAtmComboVisitor that are not overridden.
`protected boolean`	`isAnnoSubtype(javax.lang.model.element.AnnotationMirror subtypeAnno, javax.lang.model.element.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, 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.
`protected boolean`	`isSubtype(AnnotatedTypeMirror subtype, AnnotatedTypeMirror supertype, javax.lang.model.element.AnnotationMirror top)` Returns true if subtype <: supertype, but only for the hierarchy of which `top` is the top.
`java.lang.Boolean`	`visitArray_Array(AnnotatedTypeMirror.AnnotatedArrayType subtype, AnnotatedTypeMirror.AnnotatedArrayType supertype, java.lang.Void p)`
`java.lang.Boolean`	`visitArray_Declared(AnnotatedTypeMirror.AnnotatedArrayType subtype, AnnotatedTypeMirror.AnnotatedDeclaredType supertype, java.lang.Void p)`
`java.lang.Boolean`	`visitArray_Intersection(AnnotatedTypeMirror.AnnotatedArrayType subtype, AnnotatedTypeMirror.AnnotatedIntersectionType supertype, java.lang.Void p)`
`java.lang.Boolean`	`visitArray_Null(AnnotatedTypeMirror.AnnotatedArrayType subtype, AnnotatedTypeMirror.AnnotatedNullType supertype, java.lang.Void p)`
`java.lang.Boolean`	`visitArray_Wildcard(AnnotatedTypeMirror.AnnotatedArrayType subtype, AnnotatedTypeMirror.AnnotatedWildcardType supertype, java.lang.Void p)`
`java.lang.Boolean`	`visitDeclared_Array(AnnotatedTypeMirror.AnnotatedDeclaredType subtype, AnnotatedTypeMirror.AnnotatedArrayType supertype, java.lang.Void p)`
`java.lang.Boolean`	`visitDeclared_Declared(AnnotatedTypeMirror.AnnotatedDeclaredType subtype, AnnotatedTypeMirror.AnnotatedDeclaredType supertype, java.lang.Void p)`
`java.lang.Boolean`	`visitDeclared_Intersection(AnnotatedTypeMirror.AnnotatedDeclaredType subtype, AnnotatedTypeMirror.AnnotatedIntersectionType supertype, java.lang.Void p)`
`java.lang.Boolean`	`visitDeclared_Null(AnnotatedTypeMirror.AnnotatedDeclaredType subtype, AnnotatedTypeMirror.AnnotatedNullType supertype, java.lang.Void p)`
`java.lang.Boolean`	`visitDeclared_Primitive(AnnotatedTypeMirror.AnnotatedDeclaredType subtype, AnnotatedTypeMirror.AnnotatedPrimitiveType supertype, java.lang.Void p)`
`java.lang.Boolean`	`visitDeclared_Typevar(AnnotatedTypeMirror.AnnotatedDeclaredType subtype, AnnotatedTypeMirror.AnnotatedTypeVariable supertype, java.lang.Void p)`
`java.lang.Boolean`	`visitDeclared_Union(AnnotatedTypeMirror.AnnotatedDeclaredType subtype, AnnotatedTypeMirror.AnnotatedUnionType supertype, java.lang.Void p)`
`java.lang.Boolean`	`visitDeclared_Wildcard(AnnotatedTypeMirror.AnnotatedDeclaredType subtype, AnnotatedTypeMirror.AnnotatedWildcardType supertype, java.lang.Void p)`
`java.lang.Boolean`	`visitIntersection_Declared(AnnotatedTypeMirror.AnnotatedIntersectionType subtype, AnnotatedTypeMirror.AnnotatedDeclaredType supertype, java.lang.Void p)`
`java.lang.Boolean`	`visitIntersection_Intersection(AnnotatedTypeMirror.AnnotatedIntersectionType subtype, AnnotatedTypeMirror.AnnotatedIntersectionType supertype, java.lang.Void p)`
`java.lang.Boolean`	`visitIntersection_Null(AnnotatedTypeMirror.AnnotatedIntersectionType subtype, AnnotatedTypeMirror.AnnotatedNullType supertype, java.lang.Void p)`
`java.lang.Boolean`	`visitIntersection_Primitive(AnnotatedTypeMirror.AnnotatedIntersectionType subtype, AnnotatedTypeMirror.AnnotatedPrimitiveType supertype, java.lang.Void p)`
`java.lang.Boolean`	`visitIntersection_Typevar(AnnotatedTypeMirror.AnnotatedIntersectionType subtype, AnnotatedTypeMirror.AnnotatedTypeVariable supertype, java.lang.Void p)`
`protected boolean`	`visitIntersectionSupertype(AnnotatedTypeMirror subtype, AnnotatedTypeMirror.AnnotatedIntersectionType supertype)` An intersection is a supertype if all of its bounds are a supertype of subtype.
`java.lang.Boolean`	`visitNull_Array(AnnotatedTypeMirror.AnnotatedNullType subtype, AnnotatedTypeMirror.AnnotatedArrayType supertype, java.lang.Void p)`
`java.lang.Boolean`	`visitNull_Declared(AnnotatedTypeMirror.AnnotatedNullType subtype, AnnotatedTypeMirror.AnnotatedDeclaredType supertype, java.lang.Void p)`
`java.lang.Boolean`	`visitNull_Intersection(AnnotatedTypeMirror.AnnotatedNullType subtype, AnnotatedTypeMirror.AnnotatedIntersectionType supertype, java.lang.Void p)`
`java.lang.Boolean`	`visitNull_Null(AnnotatedTypeMirror.AnnotatedNullType subtype, AnnotatedTypeMirror.AnnotatedNullType supertype, java.lang.Void p)`
`java.lang.Boolean`	`visitNull_Primitive(AnnotatedTypeMirror.AnnotatedNullType subtype, AnnotatedTypeMirror.AnnotatedPrimitiveType supertype, java.lang.Void p)`
`java.lang.Boolean`	`visitNull_Typevar(AnnotatedTypeMirror.AnnotatedNullType subtype, AnnotatedTypeMirror.AnnotatedTypeVariable supertype, java.lang.Void p)`
`java.lang.Boolean`	`visitNull_Union(AnnotatedTypeMirror.AnnotatedNullType subtype, AnnotatedTypeMirror.AnnotatedUnionType supertype, java.lang.Void p)`
`java.lang.Boolean`	`visitNull_Wildcard(AnnotatedTypeMirror.AnnotatedNullType subtype, AnnotatedTypeMirror.AnnotatedWildcardType supertype, java.lang.Void p)`
`java.lang.Boolean`	`visitPrimitive_Declared(AnnotatedTypeMirror.AnnotatedPrimitiveType subtype, AnnotatedTypeMirror.AnnotatedDeclaredType supertype, java.lang.Void p)`
`java.lang.Boolean`	`visitPrimitive_Intersection(AnnotatedTypeMirror.AnnotatedPrimitiveType subtype, AnnotatedTypeMirror.AnnotatedIntersectionType supertype, java.lang.Void p)`
`java.lang.Boolean`	`visitPrimitive_Primitive(AnnotatedTypeMirror.AnnotatedPrimitiveType subtype, AnnotatedTypeMirror.AnnotatedPrimitiveType supertype, java.lang.Void p)`
`java.lang.Boolean`	`visitPrimitive_Typevar(AnnotatedTypeMirror.AnnotatedPrimitiveType subtype, AnnotatedTypeMirror.AnnotatedTypeVariable supertype, java.lang.Void p)`
`java.lang.Boolean`	`visitPrimitive_Wildcard(AnnotatedTypeMirror.AnnotatedPrimitiveType subtype, AnnotatedTypeMirror.AnnotatedWildcardType supertype, java.lang.Void p)`
`protected boolean`	`visitTypeArgs(AnnotatedTypeMirror.AnnotatedDeclaredType subtype, AnnotatedTypeMirror.AnnotatedDeclaredType supertype, boolean subtypeRaw, boolean supertypeRaw)` A helper class for visitDeclared_Declared.
`java.lang.Boolean`	`visitTypevar_Declared(AnnotatedTypeMirror.AnnotatedTypeVariable subtype, AnnotatedTypeMirror.AnnotatedDeclaredType supertype, java.lang.Void p)`
`java.lang.Boolean`	`visitTypevar_Intersection(AnnotatedTypeMirror.AnnotatedTypeVariable subtype, AnnotatedTypeMirror.AnnotatedIntersectionType supertype, java.lang.Void p)`
`java.lang.Boolean`	`visitTypevar_Null(AnnotatedTypeMirror.AnnotatedTypeVariable subtype, AnnotatedTypeMirror.AnnotatedNullType supertype, java.lang.Void p)`
`java.lang.Boolean`	`visitTypevar_Primitive(AnnotatedTypeMirror.AnnotatedTypeVariable subtype, AnnotatedTypeMirror.AnnotatedPrimitiveType supertype, java.lang.Void p)`
`java.lang.Boolean`	`visitTypevar_Typevar(AnnotatedTypeMirror.AnnotatedTypeVariable subtype, AnnotatedTypeMirror.AnnotatedTypeVariable supertype, java.lang.Void p)`
`java.lang.Boolean`	`visitTypevar_Wildcard(AnnotatedTypeMirror.AnnotatedTypeVariable subtype, AnnotatedTypeMirror.AnnotatedWildcardType supertype, java.lang.Void p)`
`protected boolean`	`visitTypevarSubtype(AnnotatedTypeMirror.AnnotatedTypeVariable subtype, AnnotatedTypeMirror supertype)` A type variable is a subtype if its upper bounds is below the supertype.
`protected boolean`	`visitTypevarSupertype(AnnotatedTypeMirror subtype, AnnotatedTypeMirror.AnnotatedTypeVariable supertype)` A type variable is a supertype if its lower bound is above subtype.
`java.lang.Boolean`	`visitUnion_Declared(AnnotatedTypeMirror.AnnotatedUnionType subtype, AnnotatedTypeMirror.AnnotatedDeclaredType supertype, java.lang.Void p)`
`java.lang.Boolean`	`visitUnion_Intersection(AnnotatedTypeMirror.AnnotatedUnionType subtype, AnnotatedTypeMirror.AnnotatedIntersectionType supertype, java.lang.Void p)`
`java.lang.Boolean`	`visitUnion_Union(AnnotatedTypeMirror.AnnotatedUnionType subtype, AnnotatedTypeMirror.AnnotatedUnionType supertype, java.lang.Void p)`
`java.lang.Boolean`	`visitUnion_Wildcard(AnnotatedTypeMirror.AnnotatedUnionType subtype, AnnotatedTypeMirror.AnnotatedWildcardType supertype, java.lang.Void p)`
`protected boolean`	`visitUnionSubtype(AnnotatedTypeMirror.AnnotatedUnionType subtype, AnnotatedTypeMirror supertype)` A union type is a subtype if ALL of its alternatives are subtypes of supertype.
`java.lang.Boolean`	`visitWildcard_Array(AnnotatedTypeMirror.AnnotatedWildcardType subtype, AnnotatedTypeMirror.AnnotatedArrayType supertype, java.lang.Void p)`
`java.lang.Boolean`	`visitWildcard_Declared(AnnotatedTypeMirror.AnnotatedWildcardType subtype, AnnotatedTypeMirror.AnnotatedDeclaredType supertype, java.lang.Void p)`
`java.lang.Boolean`	`visitWildcard_Intersection(AnnotatedTypeMirror.AnnotatedWildcardType subtype, AnnotatedTypeMirror.AnnotatedIntersectionType supertype, java.lang.Void p)`
`java.lang.Boolean`	`visitWildcard_Primitive(AnnotatedTypeMirror.AnnotatedWildcardType subtype, AnnotatedTypeMirror.AnnotatedPrimitiveType supertype, java.lang.Void p)`
`java.lang.Boolean`	`visitWildcard_Typevar(AnnotatedTypeMirror.AnnotatedWildcardType subtype, AnnotatedTypeMirror.AnnotatedTypeVariable supertype, java.lang.Void p)`
`java.lang.Boolean`	`visitWildcard_Wildcard(AnnotatedTypeMirror.AnnotatedWildcardType subtype, AnnotatedTypeMirror.AnnotatedWildcardType supertype, java.lang.Void p)`
`protected boolean`	`visitWildcardSubtype(AnnotatedTypeMirror.AnnotatedWildcardType subtype, AnnotatedTypeMirror supertype)`
`protected boolean`	`visitWildcardSupertype(AnnotatedTypeMirror subtype, AnnotatedTypeMirror.AnnotatedWildcardType supertype)`

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_Union, visitTypevar_Array, visitTypevar_Executable, visitTypevar_None, visitTypevar_Union, visitUnion_Array, visitUnion_Executable, visitUnion_None, visitUnion_Null, visitUnion_Primitive, visitUnion_Typevar, 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

ignoreRawTypes
```
protected final boolean ignoreRawTypes
```

invariantArrayComponents

protected final boolean invariantArrayComponents

currentTop
```
protected javax.lang.model.element.AnnotationMirror currentTop
```
The top annotation of the hierarchy currently being checked.

visitHistory
```
protected final SubtypeVisitHistory visitHistory
```
Stores the result of isSubtype, if that result is true.

typeargVisitHistory
```
protected final StructuralEqualityVisitHistory typeargVisitHistory
```
Stores the result of isSubtype for type arguments. Prevents infinite recursion on types that refer to themselves. (Stores both true and false results.)

Constructor Detail

DefaultTypeHierarchy

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

Creates a DefaultTypeHierarchy.

Method Detail

createEqualityComparer

protected StructuralEqualityComparer createEqualityComparer()

Create the equality comparer.

isSubtype
```
public boolean isSubtype(AnnotatedTypeMirror subtype,
                         AnnotatedTypeMirror supertype)
```
Returns true if subtype <: 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.

Specified by:

isSubtype in interface TypeHierarchy

Parameters:

subtype - expected subtype

supertype - expected supertype

Returns:

true if subtype is actually a subtype of supertype

isSubtype
```
protected boolean isSubtype(AnnotatedTypeMirror subtype,
                            AnnotatedTypeMirror supertype,
                            javax.lang.model.element.AnnotationMirror top)
```
Returns true if subtype <: supertype, but only for the hierarchy of which top is the top.

Parameters:

subtype - expected subtype

supertype - expected supertype

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

Returns:

returns true if subtype is a subtype of supertype in the qualifier hierarchy whose top is top

defaultErrorMessage
```
protected java.lang.String defaultErrorMessage(AnnotatedTypeMirror subtype,
                                               AnnotatedTypeMirror supertype,
                                               java.lang.Void p)
```
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<java.lang.Boolean,java.lang.Void>

Parameters:

subtype - the first AnnotatedTypeMirror parameter to the visit method called

supertype - the second AnnotatedTypeMirror parameter to the visit method called

p - subtype specific parameter passed to every visit method

Returns:

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

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(javax.lang.model.element.AnnotationMirror subtypeAnno,
                                javax.lang.model.element.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)
```
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

areAllSubtypes

protected boolean areAllSubtypes(java.lang.Iterable<? extends AnnotatedTypeMirror> subtypes,
                                 AnnotatedTypeMirror supertype)

Are all the types in subtypes a subtype of superType?

The underlying type mirrors of subtypes must be subtypes of the underlying type mirror of superType.

areEqualInHierarchy

protected boolean areEqualInHierarchy(AnnotatedTypeMirror type1,
                                      AnnotatedTypeMirror type2)

isContainedBy
```
protected boolean isContainedBy(AnnotatedTypeMirror inside,
                                AnnotatedTypeMirror outside,
                                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", https://docs.oracle.com/javase/specs/jls/se11/html/jls-4.html#jls-4.5.1

Parameters:

inside - the "subtype" type argument

outside - the "supertype" type argument

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 java.lang.Boolean visitArray_Array(AnnotatedTypeMirror.AnnotatedArrayType subtype,
                                          AnnotatedTypeMirror.AnnotatedArrayType supertype,
                                          java.lang.Void p)

Specified by:: visitArray_Array in interface AtmComboVisitor<java.lang.Boolean,java.lang.Void>
Overrides:: visitArray_Array in class AbstractAtmComboVisitor<java.lang.Boolean,java.lang.Void>

visitArray_Declared

public java.lang.Boolean visitArray_Declared(AnnotatedTypeMirror.AnnotatedArrayType subtype,
                                             AnnotatedTypeMirror.AnnotatedDeclaredType supertype,
                                             java.lang.Void p)

Specified by:: visitArray_Declared in interface AtmComboVisitor<java.lang.Boolean,java.lang.Void>
Overrides:: visitArray_Declared in class AbstractAtmComboVisitor<java.lang.Boolean,java.lang.Void>

visitArray_Null

public java.lang.Boolean visitArray_Null(AnnotatedTypeMirror.AnnotatedArrayType subtype,
                                         AnnotatedTypeMirror.AnnotatedNullType supertype,
                                         java.lang.Void p)

Specified by:: visitArray_Null in interface AtmComboVisitor<java.lang.Boolean,java.lang.Void>
Overrides:: visitArray_Null in class AbstractAtmComboVisitor<java.lang.Boolean,java.lang.Void>

visitArray_Intersection

public java.lang.Boolean visitArray_Intersection(AnnotatedTypeMirror.AnnotatedArrayType subtype,
                                                 AnnotatedTypeMirror.AnnotatedIntersectionType supertype,
                                                 java.lang.Void p)

Specified by:: visitArray_Intersection in interface AtmComboVisitor<java.lang.Boolean,java.lang.Void>
Overrides:: visitArray_Intersection in class AbstractAtmComboVisitor<java.lang.Boolean,java.lang.Void>

visitArray_Wildcard

public java.lang.Boolean visitArray_Wildcard(AnnotatedTypeMirror.AnnotatedArrayType subtype,
                                             AnnotatedTypeMirror.AnnotatedWildcardType supertype,
                                             java.lang.Void p)

Specified by:: visitArray_Wildcard in interface AtmComboVisitor<java.lang.Boolean,java.lang.Void>
Overrides:: visitArray_Wildcard in class AbstractAtmComboVisitor<java.lang.Boolean,java.lang.Void>

visitDeclared_Array

public java.lang.Boolean visitDeclared_Array(AnnotatedTypeMirror.AnnotatedDeclaredType subtype,
                                             AnnotatedTypeMirror.AnnotatedArrayType supertype,
                                             java.lang.Void p)

Specified by:: visitDeclared_Array in interface AtmComboVisitor<java.lang.Boolean,java.lang.Void>
Overrides:: visitDeclared_Array in class AbstractAtmComboVisitor<java.lang.Boolean,java.lang.Void>

visitDeclared_Declared

public java.lang.Boolean visitDeclared_Declared(AnnotatedTypeMirror.AnnotatedDeclaredType subtype,
                                                AnnotatedTypeMirror.AnnotatedDeclaredType supertype,
                                                java.lang.Void p)

Specified by:: visitDeclared_Declared in interface AtmComboVisitor<java.lang.Boolean,java.lang.Void>
Overrides:: visitDeclared_Declared in class AbstractAtmComboVisitor<java.lang.Boolean,java.lang.Void>

visitTypeArgs

protected boolean visitTypeArgs(AnnotatedTypeMirror.AnnotatedDeclaredType subtype,
                                AnnotatedTypeMirror.AnnotatedDeclaredType supertype,
                                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.

visitDeclared_Intersection

public java.lang.Boolean visitDeclared_Intersection(AnnotatedTypeMirror.AnnotatedDeclaredType subtype,
                                                    AnnotatedTypeMirror.AnnotatedIntersectionType supertype,
                                                    java.lang.Void p)

Specified by:: visitDeclared_Intersection in interface AtmComboVisitor<java.lang.Boolean,java.lang.Void>
Overrides:: visitDeclared_Intersection in class AbstractAtmComboVisitor<java.lang.Boolean,java.lang.Void>

visitDeclared_Null

public java.lang.Boolean visitDeclared_Null(AnnotatedTypeMirror.AnnotatedDeclaredType subtype,
                                            AnnotatedTypeMirror.AnnotatedNullType supertype,
                                            java.lang.Void p)

Specified by:: visitDeclared_Null in interface AtmComboVisitor<java.lang.Boolean,java.lang.Void>
Overrides:: visitDeclared_Null in class AbstractAtmComboVisitor<java.lang.Boolean,java.lang.Void>

visitDeclared_Primitive

public java.lang.Boolean visitDeclared_Primitive(AnnotatedTypeMirror.AnnotatedDeclaredType subtype,
                                                 AnnotatedTypeMirror.AnnotatedPrimitiveType supertype,
                                                 java.lang.Void p)

Specified by:: visitDeclared_Primitive in interface AtmComboVisitor<java.lang.Boolean,java.lang.Void>
Overrides:: visitDeclared_Primitive in class AbstractAtmComboVisitor<java.lang.Boolean,java.lang.Void>

visitDeclared_Typevar

public java.lang.Boolean visitDeclared_Typevar(AnnotatedTypeMirror.AnnotatedDeclaredType subtype,
                                               AnnotatedTypeMirror.AnnotatedTypeVariable supertype,
                                               java.lang.Void p)

Specified by:: visitDeclared_Typevar in interface AtmComboVisitor<java.lang.Boolean,java.lang.Void>
Overrides:: visitDeclared_Typevar in class AbstractAtmComboVisitor<java.lang.Boolean,java.lang.Void>

visitDeclared_Union

public java.lang.Boolean visitDeclared_Union(AnnotatedTypeMirror.AnnotatedDeclaredType subtype,
                                             AnnotatedTypeMirror.AnnotatedUnionType supertype,
                                             java.lang.Void p)

Specified by:: visitDeclared_Union in interface AtmComboVisitor<java.lang.Boolean,java.lang.Void>
Overrides:: visitDeclared_Union in class AbstractAtmComboVisitor<java.lang.Boolean,java.lang.Void>

visitDeclared_Wildcard

public java.lang.Boolean visitDeclared_Wildcard(AnnotatedTypeMirror.AnnotatedDeclaredType subtype,
                                                AnnotatedTypeMirror.AnnotatedWildcardType supertype,
                                                java.lang.Void p)

Specified by:: visitDeclared_Wildcard in interface AtmComboVisitor<java.lang.Boolean,java.lang.Void>
Overrides:: visitDeclared_Wildcard in class AbstractAtmComboVisitor<java.lang.Boolean,java.lang.Void>

visitIntersection_Declared

public java.lang.Boolean visitIntersection_Declared(AnnotatedTypeMirror.AnnotatedIntersectionType subtype,
                                                    AnnotatedTypeMirror.AnnotatedDeclaredType supertype,
                                                    java.lang.Void p)

Specified by:: visitIntersection_Declared in interface AtmComboVisitor<java.lang.Boolean,java.lang.Void>
Overrides:: visitIntersection_Declared in class AbstractAtmComboVisitor<java.lang.Boolean,java.lang.Void>

visitIntersection_Primitive

public java.lang.Boolean visitIntersection_Primitive(AnnotatedTypeMirror.AnnotatedIntersectionType subtype,
                                                     AnnotatedTypeMirror.AnnotatedPrimitiveType supertype,
                                                     java.lang.Void p)

Specified by:: visitIntersection_Primitive in interface AtmComboVisitor<java.lang.Boolean,java.lang.Void>
Overrides:: visitIntersection_Primitive in class AbstractAtmComboVisitor<java.lang.Boolean,java.lang.Void>

visitIntersection_Intersection

public java.lang.Boolean visitIntersection_Intersection(AnnotatedTypeMirror.AnnotatedIntersectionType subtype,
                                                        AnnotatedTypeMirror.AnnotatedIntersectionType supertype,
                                                        java.lang.Void p)

Specified by:: visitIntersection_Intersection in interface AtmComboVisitor<java.lang.Boolean,java.lang.Void>
Overrides:: visitIntersection_Intersection in class AbstractAtmComboVisitor<java.lang.Boolean,java.lang.Void>

visitIntersection_Null

public java.lang.Boolean visitIntersection_Null(AnnotatedTypeMirror.AnnotatedIntersectionType subtype,
                                                AnnotatedTypeMirror.AnnotatedNullType supertype,
                                                java.lang.Void p)

Specified by:: visitIntersection_Null in interface AtmComboVisitor<java.lang.Boolean,java.lang.Void>
Overrides:: visitIntersection_Null in class AbstractAtmComboVisitor<java.lang.Boolean,java.lang.Void>

visitIntersection_Typevar

public java.lang.Boolean visitIntersection_Typevar(AnnotatedTypeMirror.AnnotatedIntersectionType subtype,
                                                   AnnotatedTypeMirror.AnnotatedTypeVariable supertype,
                                                   java.lang.Void p)

Specified by:: visitIntersection_Typevar in interface AtmComboVisitor<java.lang.Boolean,java.lang.Void>
Overrides:: visitIntersection_Typevar in class AbstractAtmComboVisitor<java.lang.Boolean,java.lang.Void>

visitNull_Array

public java.lang.Boolean visitNull_Array(AnnotatedTypeMirror.AnnotatedNullType subtype,
                                         AnnotatedTypeMirror.AnnotatedArrayType supertype,
                                         java.lang.Void p)

Specified by:: visitNull_Array in interface AtmComboVisitor<java.lang.Boolean,java.lang.Void>
Overrides:: visitNull_Array in class AbstractAtmComboVisitor<java.lang.Boolean,java.lang.Void>

visitNull_Declared

public java.lang.Boolean visitNull_Declared(AnnotatedTypeMirror.AnnotatedNullType subtype,
                                            AnnotatedTypeMirror.AnnotatedDeclaredType supertype,
                                            java.lang.Void p)

Specified by:: visitNull_Declared in interface AtmComboVisitor<java.lang.Boolean,java.lang.Void>
Overrides:: visitNull_Declared in class AbstractAtmComboVisitor<java.lang.Boolean,java.lang.Void>

visitNull_Typevar

public java.lang.Boolean visitNull_Typevar(AnnotatedTypeMirror.AnnotatedNullType subtype,
                                           AnnotatedTypeMirror.AnnotatedTypeVariable supertype,
                                           java.lang.Void p)

Specified by:: visitNull_Typevar in interface AtmComboVisitor<java.lang.Boolean,java.lang.Void>
Overrides:: visitNull_Typevar in class AbstractAtmComboVisitor<java.lang.Boolean,java.lang.Void>

visitNull_Wildcard

public java.lang.Boolean visitNull_Wildcard(AnnotatedTypeMirror.AnnotatedNullType subtype,
                                            AnnotatedTypeMirror.AnnotatedWildcardType supertype,
                                            java.lang.Void p)

Specified by:: visitNull_Wildcard in interface AtmComboVisitor<java.lang.Boolean,java.lang.Void>
Overrides:: visitNull_Wildcard in class AbstractAtmComboVisitor<java.lang.Boolean,java.lang.Void>

visitNull_Null

public java.lang.Boolean visitNull_Null(AnnotatedTypeMirror.AnnotatedNullType subtype,
                                        AnnotatedTypeMirror.AnnotatedNullType supertype,
                                        java.lang.Void p)

Specified by:: visitNull_Null in interface AtmComboVisitor<java.lang.Boolean,java.lang.Void>
Overrides:: visitNull_Null in class AbstractAtmComboVisitor<java.lang.Boolean,java.lang.Void>

visitNull_Union

public java.lang.Boolean visitNull_Union(AnnotatedTypeMirror.AnnotatedNullType subtype,
                                         AnnotatedTypeMirror.AnnotatedUnionType supertype,
                                         java.lang.Void p)

Specified by:: visitNull_Union in interface AtmComboVisitor<java.lang.Boolean,java.lang.Void>
Overrides:: visitNull_Union in class AbstractAtmComboVisitor<java.lang.Boolean,java.lang.Void>

visitNull_Intersection

public java.lang.Boolean visitNull_Intersection(AnnotatedTypeMirror.AnnotatedNullType subtype,
                                                AnnotatedTypeMirror.AnnotatedIntersectionType supertype,
                                                java.lang.Void p)

Specified by:: visitNull_Intersection in interface AtmComboVisitor<java.lang.Boolean,java.lang.Void>
Overrides:: visitNull_Intersection in class AbstractAtmComboVisitor<java.lang.Boolean,java.lang.Void>

visitNull_Primitive

public java.lang.Boolean visitNull_Primitive(AnnotatedTypeMirror.AnnotatedNullType subtype,
                                             AnnotatedTypeMirror.AnnotatedPrimitiveType supertype,
                                             java.lang.Void p)

Specified by:: visitNull_Primitive in interface AtmComboVisitor<java.lang.Boolean,java.lang.Void>
Overrides:: visitNull_Primitive in class AbstractAtmComboVisitor<java.lang.Boolean,java.lang.Void>

visitPrimitive_Declared

public java.lang.Boolean visitPrimitive_Declared(AnnotatedTypeMirror.AnnotatedPrimitiveType subtype,
                                                 AnnotatedTypeMirror.AnnotatedDeclaredType supertype,
                                                 java.lang.Void p)

Specified by:: visitPrimitive_Declared in interface AtmComboVisitor<java.lang.Boolean,java.lang.Void>
Overrides:: visitPrimitive_Declared in class AbstractAtmComboVisitor<java.lang.Boolean,java.lang.Void>

visitPrimitive_Primitive

public java.lang.Boolean visitPrimitive_Primitive(AnnotatedTypeMirror.AnnotatedPrimitiveType subtype,
                                                  AnnotatedTypeMirror.AnnotatedPrimitiveType supertype,
                                                  java.lang.Void p)

Specified by:: visitPrimitive_Primitive in interface AtmComboVisitor<java.lang.Boolean,java.lang.Void>
Overrides:: visitPrimitive_Primitive in class AbstractAtmComboVisitor<java.lang.Boolean,java.lang.Void>

visitPrimitive_Intersection

public java.lang.Boolean visitPrimitive_Intersection(AnnotatedTypeMirror.AnnotatedPrimitiveType subtype,
                                                     AnnotatedTypeMirror.AnnotatedIntersectionType supertype,
                                                     java.lang.Void p)

Specified by:: visitPrimitive_Intersection in interface AtmComboVisitor<java.lang.Boolean,java.lang.Void>
Overrides:: visitPrimitive_Intersection in class AbstractAtmComboVisitor<java.lang.Boolean,java.lang.Void>

visitPrimitive_Typevar

public java.lang.Boolean visitPrimitive_Typevar(AnnotatedTypeMirror.AnnotatedPrimitiveType subtype,
                                                AnnotatedTypeMirror.AnnotatedTypeVariable supertype,
                                                java.lang.Void p)

Specified by:: visitPrimitive_Typevar in interface AtmComboVisitor<java.lang.Boolean,java.lang.Void>
Overrides:: visitPrimitive_Typevar in class AbstractAtmComboVisitor<java.lang.Boolean,java.lang.Void>

visitPrimitive_Wildcard

public java.lang.Boolean visitPrimitive_Wildcard(AnnotatedTypeMirror.AnnotatedPrimitiveType subtype,
                                                 AnnotatedTypeMirror.AnnotatedWildcardType supertype,
                                                 java.lang.Void p)

Specified by:: visitPrimitive_Wildcard in interface AtmComboVisitor<java.lang.Boolean,java.lang.Void>
Overrides:: visitPrimitive_Wildcard in class AbstractAtmComboVisitor<java.lang.Boolean,java.lang.Void>

visitUnion_Declared

public java.lang.Boolean visitUnion_Declared(AnnotatedTypeMirror.AnnotatedUnionType subtype,
                                             AnnotatedTypeMirror.AnnotatedDeclaredType supertype,
                                             java.lang.Void p)

Specified by:: visitUnion_Declared in interface AtmComboVisitor<java.lang.Boolean,java.lang.Void>
Overrides:: visitUnion_Declared in class AbstractAtmComboVisitor<java.lang.Boolean,java.lang.Void>

visitUnion_Intersection

public java.lang.Boolean visitUnion_Intersection(AnnotatedTypeMirror.AnnotatedUnionType subtype,
                                                 AnnotatedTypeMirror.AnnotatedIntersectionType supertype,
                                                 java.lang.Void p)

Specified by:: visitUnion_Intersection in interface AtmComboVisitor<java.lang.Boolean,java.lang.Void>
Overrides:: visitUnion_Intersection in class AbstractAtmComboVisitor<java.lang.Boolean,java.lang.Void>

visitUnion_Union

public java.lang.Boolean visitUnion_Union(AnnotatedTypeMirror.AnnotatedUnionType subtype,
                                          AnnotatedTypeMirror.AnnotatedUnionType supertype,
                                          java.lang.Void p)

Specified by:: visitUnion_Union in interface AtmComboVisitor<java.lang.Boolean,java.lang.Void>
Overrides:: visitUnion_Union in class AbstractAtmComboVisitor<java.lang.Boolean,java.lang.Void>

visitUnion_Wildcard

public java.lang.Boolean visitUnion_Wildcard(AnnotatedTypeMirror.AnnotatedUnionType subtype,
                                             AnnotatedTypeMirror.AnnotatedWildcardType supertype,
                                             java.lang.Void p)

Specified by:: visitUnion_Wildcard in interface AtmComboVisitor<java.lang.Boolean,java.lang.Void>
Overrides:: visitUnion_Wildcard in class AbstractAtmComboVisitor<java.lang.Boolean,java.lang.Void>

visitTypevar_Declared

public java.lang.Boolean visitTypevar_Declared(AnnotatedTypeMirror.AnnotatedTypeVariable subtype,
                                               AnnotatedTypeMirror.AnnotatedDeclaredType supertype,
                                               java.lang.Void p)

Specified by:: visitTypevar_Declared in interface AtmComboVisitor<java.lang.Boolean,java.lang.Void>
Overrides:: visitTypevar_Declared in class AbstractAtmComboVisitor<java.lang.Boolean,java.lang.Void>

visitTypevar_Intersection

public java.lang.Boolean visitTypevar_Intersection(AnnotatedTypeMirror.AnnotatedTypeVariable subtype,
                                                   AnnotatedTypeMirror.AnnotatedIntersectionType supertype,
                                                   java.lang.Void p)

Specified by:: visitTypevar_Intersection in interface AtmComboVisitor<java.lang.Boolean,java.lang.Void>
Overrides:: visitTypevar_Intersection in class AbstractAtmComboVisitor<java.lang.Boolean,java.lang.Void>

visitTypevar_Primitive

public java.lang.Boolean visitTypevar_Primitive(AnnotatedTypeMirror.AnnotatedTypeVariable subtype,
                                                AnnotatedTypeMirror.AnnotatedPrimitiveType supertype,
                                                java.lang.Void p)

Specified by:: visitTypevar_Primitive in interface AtmComboVisitor<java.lang.Boolean,java.lang.Void>
Overrides:: visitTypevar_Primitive in class AbstractAtmComboVisitor<java.lang.Boolean,java.lang.Void>

visitTypevar_Typevar

public java.lang.Boolean visitTypevar_Typevar(AnnotatedTypeMirror.AnnotatedTypeVariable subtype,
                                              AnnotatedTypeMirror.AnnotatedTypeVariable supertype,
                                              java.lang.Void p)

Specified by:: visitTypevar_Typevar in interface AtmComboVisitor<java.lang.Boolean,java.lang.Void>
Overrides:: visitTypevar_Typevar in class AbstractAtmComboVisitor<java.lang.Boolean,java.lang.Void>

visitTypevar_Null

public java.lang.Boolean visitTypevar_Null(AnnotatedTypeMirror.AnnotatedTypeVariable subtype,
                                           AnnotatedTypeMirror.AnnotatedNullType supertype,
                                           java.lang.Void p)

Specified by:: visitTypevar_Null in interface AtmComboVisitor<java.lang.Boolean,java.lang.Void>
Overrides:: visitTypevar_Null in class AbstractAtmComboVisitor<java.lang.Boolean,java.lang.Void>

visitTypevar_Wildcard

public java.lang.Boolean visitTypevar_Wildcard(AnnotatedTypeMirror.AnnotatedTypeVariable subtype,
                                               AnnotatedTypeMirror.AnnotatedWildcardType supertype,
                                               java.lang.Void p)

Specified by:: visitTypevar_Wildcard in interface AtmComboVisitor<java.lang.Boolean,java.lang.Void>
Overrides:: visitTypevar_Wildcard in class AbstractAtmComboVisitor<java.lang.Boolean,java.lang.Void>

visitWildcard_Array

public java.lang.Boolean visitWildcard_Array(AnnotatedTypeMirror.AnnotatedWildcardType subtype,
                                             AnnotatedTypeMirror.AnnotatedArrayType supertype,
                                             java.lang.Void p)

Specified by:: visitWildcard_Array in interface AtmComboVisitor<java.lang.Boolean,java.lang.Void>
Overrides:: visitWildcard_Array in class AbstractAtmComboVisitor<java.lang.Boolean,java.lang.Void>

visitWildcard_Declared

public java.lang.Boolean visitWildcard_Declared(AnnotatedTypeMirror.AnnotatedWildcardType subtype,
                                                AnnotatedTypeMirror.AnnotatedDeclaredType supertype,
                                                java.lang.Void p)

Specified by:: visitWildcard_Declared in interface AtmComboVisitor<java.lang.Boolean,java.lang.Void>
Overrides:: visitWildcard_Declared in class AbstractAtmComboVisitor<java.lang.Boolean,java.lang.Void>

visitWildcard_Intersection

public java.lang.Boolean visitWildcard_Intersection(AnnotatedTypeMirror.AnnotatedWildcardType subtype,
                                                    AnnotatedTypeMirror.AnnotatedIntersectionType supertype,
                                                    java.lang.Void p)

Specified by:: visitWildcard_Intersection in interface AtmComboVisitor<java.lang.Boolean,java.lang.Void>
Overrides:: visitWildcard_Intersection in class AbstractAtmComboVisitor<java.lang.Boolean,java.lang.Void>

visitWildcard_Primitive

public java.lang.Boolean visitWildcard_Primitive(AnnotatedTypeMirror.AnnotatedWildcardType subtype,
                                                 AnnotatedTypeMirror.AnnotatedPrimitiveType supertype,
                                                 java.lang.Void p)

Specified by:: visitWildcard_Primitive in interface AtmComboVisitor<java.lang.Boolean,java.lang.Void>
Overrides:: visitWildcard_Primitive in class AbstractAtmComboVisitor<java.lang.Boolean,java.lang.Void>

visitWildcard_Typevar

public java.lang.Boolean visitWildcard_Typevar(AnnotatedTypeMirror.AnnotatedWildcardType subtype,
                                               AnnotatedTypeMirror.AnnotatedTypeVariable supertype,
                                               java.lang.Void p)

Specified by:: visitWildcard_Typevar in interface AtmComboVisitor<java.lang.Boolean,java.lang.Void>
Overrides:: visitWildcard_Typevar in class AbstractAtmComboVisitor<java.lang.Boolean,java.lang.Void>

visitWildcard_Wildcard

public java.lang.Boolean visitWildcard_Wildcard(AnnotatedTypeMirror.AnnotatedWildcardType subtype,
                                                AnnotatedTypeMirror.AnnotatedWildcardType supertype,
                                                java.lang.Void p)

Specified by:: visitWildcard_Wildcard in interface AtmComboVisitor<java.lang.Boolean,java.lang.Void>
Overrides:: visitWildcard_Wildcard in class AbstractAtmComboVisitor<java.lang.Boolean,java.lang.Void>

visitIntersectionSupertype

protected boolean visitIntersectionSupertype(AnnotatedTypeMirror subtype,
                                             AnnotatedTypeMirror.AnnotatedIntersectionType supertype)

An intersection is a supertype if all of its bounds are a supertype of subtype.

visitTypevarSupertype

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

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

visitTypevarSubtype
```
protected boolean visitTypevarSubtype(AnnotatedTypeMirror.AnnotatedTypeVariable subtype,
                                      AnnotatedTypeMirror supertype)
```
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)

A union type is a subtype if ALL of its alternatives are subtypes of supertype.

visitWildcardSupertype

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

visitWildcardSubtype

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

Class DefaultTypeHierarchy