org.checkerframework.checker.nullness

Class NullnessAnnotatedTypeFactory.NullnessQualifierHierarchy

java.lang.Object

org.checkerframework.framework.type.ElementQualifierHierarchy

org.checkerframework.framework.type.MostlyNoElementQualifierHierarchy

org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory.InitializationQualifierHierarchy

org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory.NullnessQualifierHierarchy

All Implemented Interfaces:

QualifierHierarchy

Enclosing class:

NullnessAnnotatedTypeFactory

protected class NullnessAnnotatedTypeFactory.NullnessQualifierHierarchy
extends InitializationAnnotatedTypeFactory.InitializationQualifierHierarchy

NullnessQualifierHierarchy

Field Summary

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

bottoms, bottomsMap, kindToElementlessQualifier, qualifierKindHierarchy, tops, topsMap

Constructor Summary

Constructors

Constructor and Description
NullnessQualifierHierarchy() Creates NullnessQualifierHierarchy.

Method Summary

Modifier and Type	Method and Description
protected AnnotationMirror	greatestLowerBoundWithElements(AnnotationMirror a1, QualifierKind qualifierKind1, AnnotationMirror a2, QualifierKind qualifierKind2) Returns the greatest lower bound of a1 and a2 in cases where the glb of qualifierKind1 and qualifierKind2 is a qualifier kind that has elements.
protected boolean	isSubtypeWithElements(AnnotationMirror subAnno, QualifierKind subKind, AnnotationMirror superAnno, QualifierKind superKind) Returns true if subAnno is a subtype of superAnno.
protected AnnotationMirror	leastUpperBoundWithElements(AnnotationMirror a1, QualifierKind qualifierKind1, AnnotationMirror a2, QualifierKind qualifierKind2) Returns the least upper bound of a1 and a2 in cases where the lub of qualifierKind1 and qualifierKind2 is a qualifier kind that has elements.

Methods inherited from class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory.InitializationQualifierHierarchy

isSubtypeInitialization, leastUpperBoundInitialization, lubTypeFrame

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

greatestLowerBound, isSubtype, leastUpperBound

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

createBottomsMap, createElementlessQualifierMap, createQualifierKindHierarchy, createTopsMap, findAnnotationInHierarchy, findAnnotationInSameHierarchy, getBottomAnnotation, getBottomAnnotations, getPolymorphicAnnotation, getQualifierKind, getQualifierKind, getTopAnnotation, getTopAnnotations, isPolymorphicQualifier, isValid

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.checkerframework.framework.type.QualifierHierarchy

assertSameSize, assertSameSize, canHaveEmptyAnnotationSet, getWidth, greatestLowerBound, greatestLowerBounds, greatestLowerBounds, greatestLowerBoundsTypeVariable, greatestLowerBoundTypeVariable, isSubtype, isSubtype, isSubtype, isSubtypeTypeVariable, isSubtypeTypeVariable, leastUpperBound, leastUpperBounds, leastUpperBounds, leastUpperBoundsTypeVariable, leastUpperBoundTypeVariable, numberOfIterationsBeforeWidening, updateMappingToMutableSet, widenedUpperBound

Constructor Detail

NullnessQualifierHierarchy

public NullnessQualifierHierarchy()

Creates NullnessQualifierHierarchy.

Method Detail

isSubtypeWithElements

protected boolean isSubtypeWithElements(AnnotationMirror subAnno,
                                        QualifierKind subKind,
                                        AnnotationMirror superAnno,
                                        QualifierKind superKind)

Description copied from class: MostlyNoElementQualifierHierarchy

Returns true if subAnno is a subtype of superAnno. Both subAnno and superAnno are annotations with elements. subKind is a sub qualifier kind of superKind.

Specified by:

isSubtypeWithElements in class MostlyNoElementQualifierHierarchy

Parameters:

subAnno - possible subtype annotation; has elements

subKind - QualifierKind of subAnno

superAnno - possible super annotation; has elements

superKind - QualifierKind of superAnno

Returns:

true if subAnno is a subtype of superAnno

leastUpperBoundWithElements

protected AnnotationMirror leastUpperBoundWithElements(AnnotationMirror a1,
                                                       QualifierKind qualifierKind1,
                                                       AnnotationMirror a2,
                                                       QualifierKind qualifierKind2)

Description copied from class: MostlyNoElementQualifierHierarchy

Returns the least upper bound of a1 and a2 in cases where the lub of qualifierKind1 and qualifierKind2 is a qualifier kind that has elements. If the lub of qualifierKind1 and qualifierKind2 does not have elements, then MostlyNoElementQualifierHierarchy.leastUpperBound(AnnotationMirror, AnnotationMirror) returns the correct AnnotationMirror without calling this method.

Specified by:

leastUpperBoundWithElements in class MostlyNoElementQualifierHierarchy

Parameters:

a1 - first annotation

qualifierKind1 - QualifierKind for a1

a2 - second annotation

qualifierKind2 - QualifierKind for a2

Returns:

the least upper bound of a1 and a2

greatestLowerBoundWithElements

protected AnnotationMirror greatestLowerBoundWithElements(AnnotationMirror a1,
                                                          QualifierKind qualifierKind1,
                                                          AnnotationMirror a2,
                                                          QualifierKind qualifierKind2)

Description copied from class: MostlyNoElementQualifierHierarchy

Returns the greatest lower bound of a1 and a2 in cases where the glb of qualifierKind1 and qualifierKind2 is a qualifier kind that has elements. If the glb of qualifierKind1 and qualifierKind2 does not have elements, then MostlyNoElementQualifierHierarchy.greatestLowerBound(AnnotationMirror, AnnotationMirror) returns the correct AnnotationMirror without calling this method.

Specified by:

greatestLowerBoundWithElements in class MostlyNoElementQualifierHierarchy

Parameters:

a1 - first annotation

qualifierKind1 - QualifierKind for a1

a2 - second annotation

qualifierKind2 - QualifierKind for a2

Returns:

the greatest lower bound between a1 and a2