org.checkerframework.checker.initialization

Class InitializationAnnotatedTypeFactory.InitializationQualifierHierarchy

java.lang.Object

org.checkerframework.framework.type.QualifierHierarchy

org.checkerframework.framework.util.MultiGraphQualifierHierarchy

org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory.InitializationQualifierHierarchy

Direct Known Subclasses:

NullnessAnnotatedTypeFactory.NullnessQualifierHierarchy

Enclosing class:

InitializationAnnotatedTypeFactory<Value extends CFAbstractValue<Value>,Store extends InitializationStore<Value,Store>,Transfer extends InitializationTransfer<Value,Transfer,Store>,Flow extends CFAbstractAnalysis<Value,Store,Transfer>>

protected abstract class InitializationAnnotatedTypeFactory.InitializationQualifierHierarchy
extends MultiGraphQualifierHierarchy

The QualifierHierarchy for the initialization type system. Type systems extending the Initialization Checker should call methods isSubtypeInitialization(AnnotationMirror, AnnotationMirror) and leastUpperBoundInitialization(AnnotationMirror, AnnotationMirror) for appropriate qualifiers. See protected subclass NullnessQualifierHierarchy within class AbstractNullnessChecker for an example.

Nested Class Summary

Nested classes/interfaces inherited from class org.checkerframework.framework.util.MultiGraphQualifierHierarchy

MultiGraphQualifierHierarchy.MultiGraphFactory

Field Summary

Fields inherited from class org.checkerframework.framework.util.MultiGraphQualifierHierarchy

bottoms, polymorphicQualifier, polyQualifiers, supertypesDirect, supertypesTransitive, tops

Constructor Summary

Constructors

Constructor and Description
InitializationQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory f, Object... arg)

Method Summary

Modifier and Type	Method and Description
AnnotationMirror	greatestLowerBound(AnnotationMirror anno1, AnnotationMirror anno2) Returns the greatest lower bound for the qualifiers a1 and a2.
boolean	isSubtypeInitialization(AnnotationMirror rhs, AnnotationMirror lhs) Subtype testing for initialization annotations.
protected AnnotationMirror	leastUpperBoundInitialization(AnnotationMirror anno1, AnnotationMirror anno2) Compute the least upper bound of two initialization qualifiers.
protected TypeMirror	lubTypeFrame(TypeMirror a, TypeMirror b) Returns the least upper bound of two types.

Methods inherited from class org.checkerframework.framework.util.MultiGraphQualifierHierarchy

addPolyRelations, findBottoms, findLub, findTops, finish, getBottomAnnotation, getBottomAnnotations, getPolymorphicAnnotation, getTopAnnotation, getTopAnnotations, getTypeQualifiers, greatestLowerBoundTypeVariable, isSubtype, isSubtype, isSubtypeTypeVariable, isSubtypeTypeVariable, leastUpperBound, leastUpperBoundTypeVariable, toString, transitiveClosure

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

canHaveEmptyAnnotationSet, findAnnotationInHierarchy, findAnnotationInSameHierarchy, getWidth, greatestLowerBound, greatestLowerBounds, greatestLowerBounds, greatestLowerBoundsTypeVariable, isSubtype, isSubtype, isValid, leastUpperBound, leastUpperBounds, leastUpperBounds, leastUpperBoundsTypeVariable, numberOfIterationsBeforeWidening, replacePolyAll, updateMappingToMutableSet, widenedUpperBound

Methods inherited from class java.lang.Object

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

Constructor Detail

InitializationQualifierHierarchy

public InitializationQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory f,
                                        Object... arg)

Method Detail

isSubtypeInitialization

public boolean isSubtypeInitialization(AnnotationMirror rhs,
                                       AnnotationMirror lhs)

Subtype testing for initialization annotations. Will return false if either qualifier is not an initialization annotation. Subclasses should override isSubtype and call this method for initialization qualifiers.

leastUpperBoundInitialization

protected AnnotationMirror leastUpperBoundInitialization(AnnotationMirror anno1,
                                                         AnnotationMirror anno2)

Compute the least upper bound of two initialization qualifiers. Returns null if one of the qualifiers is not in the initialization hierarachy. Subclasses should override leastUpperBound and call this method for initialization qualifiers.

Parameters:

anno1 - an initialization qualifier

anno2 - an initialization qualifier

Returns:

the lub of anno1 and anno2

lubTypeFrame

protected TypeMirror lubTypeFrame(TypeMirror a,
                                  TypeMirror b)

Returns the least upper bound of two types.

greatestLowerBound

public AnnotationMirror greatestLowerBound(AnnotationMirror anno1,
                                           AnnotationMirror anno2)

Description copied from class: QualifierHierarchy

Returns the greatest lower bound for the qualifiers a1 and a2.

The two qualifiers have to be from the same qualifier hierarchy. Otherwise, null will be returned.

Overrides:

greatestLowerBound in class MultiGraphQualifierHierarchy

Parameters:

anno1 - first annotation

anno2 - second annotation

Returns:

greatest lower bound of the two annotations