org.checkerframework.checker.nullness

Class KeyForAnnotatedTypeFactory.KeyForTypeHierarchy

java.lang.Object

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

org.checkerframework.framework.type.DefaultTypeHierarchy

org.checkerframework.checker.nullness.KeyForAnnotatedTypeFactory.KeyForTypeHierarchy

All Implemented Interfaces:

TypeHierarchy, AtmComboVisitor<Boolean,VisitHistory>

Enclosing class:

KeyForAnnotatedTypeFactory

protected static class KeyForAnnotatedTypeFactory.KeyForTypeHierarchy
extends DefaultTypeHierarchy

Field Summary

Fields inherited from class org.checkerframework.framework.type.DefaultTypeHierarchy

checker, currentTop, equalityComparer, ignoreRawTypes, invariantArrayComponents, qualifierHierarchy, rawnessComparer

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
boolean	isSubtype(AnnotatedTypeMirror subtype, AnnotatedTypeMirror supertype, VisitHistory visited) Returns true if subtype <: supertype.

Methods inherited from class org.checkerframework.framework.type.DefaultTypeHierarchy

areAllSubtypes, areEqual, areEqualInHierarchy, areSubtypes, castedAsSuper, checkAndSubtype, compareTypeArgs, createEqualityComparer, createRawnessComparer, defaultErrorMessage, isAnnoSubtype, isBottom, isContainedBy, isPrimarySubtype, isPrimarySubtype, isSubtype, isSubtype, isSubtypeOfAll, visitArray_Array, visitArray_Declared, visitArray_Intersection, visitArray_Null, visitArray_Wildcard, visitDeclared_Array, visitDeclared_Declared, visitDeclared_Intersection, visitDeclared_Null, visitDeclared_Primitive, visitDeclared_Typevar, visitDeclared_Union, visitDeclared_Wildcard, visitIntersection_Declared, visitIntersection_Intersection, visitIntersection_Null, visitIntersection_Primitive, visitIntersection_Typevar, visitIntersectionSupertype, visitNull_Array, visitNull_Declared, visitNull_Intersection, visitNull_Null, visitNull_Primitive, visitNull_Typevar, visitNull_Union, visitNull_Wildcard, visitPrimitive_Declared, visitPrimitive_Intersection, visitPrimitive_Primitive, visitPrimitive_Wildcard, visitTypeArgs, visitTypevar_Declared, visitTypevar_Intersection, visitTypevar_Null, visitTypevar_Primitive, visitTypevar_Typevar, visitTypevar_Wildcard, visitTypevarSubtype, visitTypevarSupertype, visitUnion_Declared, visitUnion_Intersection, visitUnion_Union, visitUnionSubtype, visitWildcard_Array, visitWildcard_Declared, visitWildcard_Intersection, visitWildcard_Primitive, visitWildcard_Typevar, visitWildcard_Wildcard, visitWildcardSubtype, visitWildcardSupertype

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

Constructor Detail

KeyForTypeHierarchy

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

Method Detail

isSubtype

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

Description copied from class: DefaultTypeHierarchy

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

Overrides:

isSubtype in class DefaultTypeHierarchy

Parameters:

subtype - expected subtype

supertype - expected supertype

Returns:

true if subtype is actually a subtype of supertype