Package org.checkerframework.checker.nullness

Class KeyForAnnotatedTypeFactory.KeyForTypeHierarchy

java.lang.Object

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

org.checkerframework.framework.type.DefaultTypeHierarchy

org.checkerframework.checker.nullness.KeyForAnnotatedTypeFactory.KeyForTypeHierarchy

All Implemented Interfaces:

TypeHierarchy, AtmComboVisitor<Boolean,Void>

Enclosing class:

KeyForAnnotatedTypeFactory

protected static class KeyForAnnotatedTypeFactory.KeyForTypeHierarchy
extends DefaultTypeHierarchy

Field Summary

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

areEqualVisitHistory, checker, currentTop, equalityComparer, ignoreRawTypes, invariantArrayComponents, isSubtypeVisitHistory, qualifierHierarchy

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
protected boolean	isSubtype(AnnotatedTypeMirror subtype, AnnotatedTypeMirror supertype, AnnotationMirror top)	Returns true if subtype <: supertype, but only for the hierarchy of which top is the top.

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

areAllSubtypes, areEqualInHierarchy, createEqualityComparer, defaultErrorMessage, isContainedBy, isContainedMany, isContainedWithinBounds, isPrimarySubtype, isSubtype, isSubtypeCaching, visitArray_Array, visitArray_Declared, visitArray_Intersection, visitArray_Null, visitArray_Typevar, 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_Type, visitIntersection_Typevar, visitIntersection_Wildcard, visitNull_Array, visitNull_Declared, visitNull_Intersection, visitNull_Null, visitNull_Primitive, visitNull_Typevar, visitNull_Union, visitNull_Wildcard, visitPrimitive_Declared, visitPrimitive_Intersection, visitPrimitive_Primitive, visitPrimitive_Typevar, visitPrimitive_Wildcard, visitType_Intersection, visitType_Typevar, visitType_Wildcard, visitTypeArgs, visitTypevar_Array, visitTypevar_Declared, visitTypevar_Intersection, visitTypevar_Null, visitTypevar_Primitive, visitTypevar_Type, visitTypevar_Typevar, visitTypevar_Wildcard, visitUnion_Declared, visitUnion_Intersection, visitUnion_Type, visitUnion_Typevar, visitUnion_Union, visitUnion_Wildcard, visitWildcard_Array, visitWildcard_Declared, visitWildcard_Intersection, visitWildcard_Primitive, visitWildcard_Type, visitWildcard_Typevar, visitWildcard_Wildcard

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

defaultAction, visit, visitArray_Executable, visitArray_None, visitArray_Primitive, visitArray_Union, visitDeclared_Executable, visitDeclared_None, visitExecutable_Array, visitExecutable_Declared, visitExecutable_Executable, visitExecutable_Intersection, visitExecutable_None, visitExecutable_Null, visitExecutable_Primitive, visitExecutable_Typevar, visitExecutable_Union, visitExecutable_Wildcard, visitIntersection_Array, visitIntersection_Executable, visitIntersection_None, visitIntersection_Union, visitNone_Array, visitNone_Declared, visitNone_Executable, visitNone_Intersection, visitNone_None, visitNone_Null, visitNone_Primitive, visitNone_Union, visitNone_Wildcard, visitNull_Executable, visitNull_None, visitPrimitive_Array, visitPrimitive_Executable, visitPrimitive_None, visitPrimitive_Null, visitPrimitive_Union, visitTypevar_Executable, visitTypevar_None, visitTypevar_Union, visitUnion_Array, visitUnion_Executable, visitUnion_None, visitUnion_Null, visitUnion_Primitive, visitWildcard_Executable, visitWildcard_None, visitWildcard_Null, visitWildcard_Union

Methods inherited from class java.lang.Object

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

Constructor Details

KeyForTypeHierarchy

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

Method Details

isSubtype

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

Description copied from class: DefaultTypeHierarchy

Returns true if subtype <: supertype, but only for the hierarchy of which top is the top.

Overrides:

isSubtype in class DefaultTypeHierarchy

Parameters:

subtype - expected subtype

supertype - expected supertype

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

Returns:

true if subtype is a subtype of, or equal to, supertype in the qualifier hierarchy whose top is top