Package org.checkerframework.checker.initialization

Class InitializationParentAnnotatedTypeFactory.InitializationQualifierHierarchy

java.lang.Object

org.checkerframework.framework.type.QualifierHierarchy

org.checkerframework.framework.type.ElementQualifierHierarchy

org.checkerframework.framework.type.MostlyNoElementQualifierHierarchy

org.checkerframework.checker.initialization.InitializationParentAnnotatedTypeFactory.InitializationQualifierHierarchy

Enclosing class:

InitializationParentAnnotatedTypeFactory

protected class InitializationParentAnnotatedTypeFactory.InitializationQualifierHierarchy
extends MostlyNoElementQualifierHierarchy

The QualifierHierarchy for the initialization type system.

Field Summary

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

bottoms, bottomsMap, kindToElementlessQualifier, qualifierKindHierarchy, tops, topsMap

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

atypeFactory

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	InitializationQualifierHierarchy()	Create an InitializationQualifierHierarchy.

Method Summary

Modifier and Type	Method	Description
protected AnnotationMirror	greatestLowerBoundWithElements(AnnotationMirror anno1, QualifierKind qual1, AnnotationMirror anno2, QualifierKind qual2, QualifierKind glbKind)	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.
boolean	isSubtypeWithElements(AnnotationMirror subAnno, QualifierKind subKind, AnnotationMirror superAnno, QualifierKind superKind)	Returns true if subAnno is a subtype of superAnno.
protected AnnotationMirror	leastUpperBoundWithElements(AnnotationMirror anno1, QualifierKind qual1, AnnotationMirror anno2, QualifierKind qual2, QualifierKind lubKind)	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.
protected TypeMirror	lubTypeFrame(TypeMirror a, TypeMirror b)	Returns the least upper bound of two Java basetypes (without annotations).

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

greatestLowerBoundQualifiers, isSubtypeQualifiers, leastUpperBoundQualifiers

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 org.checkerframework.framework.type.QualifierHierarchy

assertSameSize, assertSameSize, canHaveEmptyAnnotationSet, getParametricQualifier, getWidth, greatestLowerBoundQualifiersOnly, greatestLowerBoundShallow, greatestLowerBoundsQualifiersOnly, greatestLowerBoundsQualifiersOnly, greatestLowerBoundsShallow, isParametricQualifier, isSubtypeQualifiersOnly, isSubtypeQualifiersOnly, isSubtypeShallow, isSubtypeShallow, isSubtypeShallow, isSubtypeShallow, isTop, leastUpperBoundQualifiersOnly, leastUpperBoundShallow, leastUpperBoundsQualifiersOnly, leastUpperBoundsQualifiersOnly, leastUpperBoundsShallow, numberOfIterationsBeforeWidening, updateMappingToMutableSet, widenedUpperBound

Methods inherited from class java.lang.Object

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

Constructor Details

InitializationQualifierHierarchy

protected InitializationQualifierHierarchy()

Create an InitializationQualifierHierarchy.

Method Details

isSubtypeWithElements

public 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 - the QualifierKind of subAnno

superAnno - possible super annotation; has elements

superKind - the QualifierKind of superAnno

Returns:

true if subAnno is a subtype of superAnno

leastUpperBoundWithElements

protected AnnotationMirror leastUpperBoundWithElements(AnnotationMirror anno1,
 QualifierKind qual1,
 AnnotationMirror anno2,
 QualifierKind qual2,
 QualifierKind lubKind)

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 QualifierHierarchy.leastUpperBoundShallow(AnnotationMirror, TypeMirror, AnnotationMirror, TypeMirror) returns the correct AnnotationMirror without calling this method.

Specified by:

leastUpperBoundWithElements in class MostlyNoElementQualifierHierarchy

Parameters:

anno1 - first annotation

qual1 - QualifierKind for a1

anno2 - second annotation

qual2 - QualifierKind for a2

lubKind - the kind of the lub of qualifierKind1 and qualifierKind2

Returns:

the least upper bound of a1 and a2

lubTypeFrame

protected TypeMirror lubTypeFrame(TypeMirror a,
 TypeMirror b)

Returns the least upper bound of two Java basetypes (without annotations).

Parameters:

a - the first argument

b - the second argument

Returns:

the lub of the two arguments

greatestLowerBoundWithElements

protected AnnotationMirror greatestLowerBoundWithElements(AnnotationMirror anno1,
 QualifierKind qual1,
 AnnotationMirror anno2,
 QualifierKind qual2,
 QualifierKind glbKind)

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 QualifierHierarchy.greatestLowerBoundShallow(AnnotationMirror, TypeMirror, AnnotationMirror, TypeMirror) returns the correct AnnotationMirror without calling this method.

Specified by:

greatestLowerBoundWithElements in class MostlyNoElementQualifierHierarchy

Parameters:

anno1 - first annotation

qual1 - QualifierKind for a1

anno2 - second annotation

qual2 - QualifierKind for a2

Returns:

the greatest lower bound between a1 and a2