protected abstract class InitializationAnnotatedTypeFactory.InitializationQualifierHierarchy
extends org.checkerframework.framework.util.MultiGraphQualifierHierarchy
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.Constructor and Description |
---|
InitializationQualifierHierarchy(org.checkerframework.framework.util.MultiGraphQualifierHierarchy.MultiGraphFactory f,
Object... arg) |
Modifier and Type | Method and Description |
---|---|
AnnotationMirror |
greatestLowerBound(AnnotationMirror anno1,
AnnotationMirror anno2) |
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.
|
addPolyRelations, findBottoms, findLub, findTops, finish, getBottomAnnotation, getBottomAnnotations, getPolymorphicAnnotation, getTopAnnotation, getTopAnnotations, getTypeQualifiers, greatestLowerBoundTypeVariable, isSubtype, isSubtype, isSubtypeTypeVariable, isSubtypeTypeVariable, leastUpperBound, leastUpperBoundTypeVariable, toString, transitiveClosure
canHaveEmptyAnnotationSet, findAnnotationInHierarchy, findAnnotationInSameHierarchy, getWidth, greatestLowerBound, greatestLowerBounds, greatestLowerBounds, greatestLowerBoundsTypeVariable, isSubtype, isSubtype, isValid, leastUpperBound, leastUpperBounds, leastUpperBounds, leastUpperBoundsTypeVariable, numberOfIterationsBeforeWidening, replacePolyAll, updateMappingToMutableSet, widenedUpperBound
public InitializationQualifierHierarchy(org.checkerframework.framework.util.MultiGraphQualifierHierarchy.MultiGraphFactory f, Object... arg)
public boolean isSubtypeInitialization(AnnotationMirror rhs, AnnotationMirror lhs)
protected AnnotationMirror leastUpperBoundInitialization(AnnotationMirror anno1, AnnotationMirror anno2)
anno1
- an initialization qualifieranno2
- an initialization qualifierprotected TypeMirror lubTypeFrame(TypeMirror a, TypeMirror b)
public AnnotationMirror greatestLowerBound(AnnotationMirror anno1, AnnotationMirror anno2)
greatestLowerBound
in class org.checkerframework.framework.util.MultiGraphQualifierHierarchy