org.checkerframework.common.reflection

Class ClassValAnnotatedTypeFactory.ClassValQualifierHierarchy

java.lang.Object

org.checkerframework.framework.type.QualifierHierarchy

org.checkerframework.framework.util.MultiGraphQualifierHierarchy

org.checkerframework.common.reflection.ClassValAnnotatedTypeFactory.ClassValQualifierHierarchy

Enclosing class:

ClassValAnnotatedTypeFactory

protected class ClassValAnnotatedTypeFactory.ClassValQualifierHierarchy
extends MultiGraphQualifierHierarchy

The qualifier hierarchy for the ClassVal type system.

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
ClassValQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory f)

Method Summary

Modifier and Type	Method and Description
javax.lang.model.element.AnnotationMirror	greatestLowerBound(javax.lang.model.element.AnnotationMirror a1, javax.lang.model.element.AnnotationMirror a2) Returns the greatest lower bound for the qualifiers a1 and a2.
boolean	isSubtype(javax.lang.model.element.AnnotationMirror subAnno, javax.lang.model.element.AnnotationMirror superAnno) Tests whether rhs is equal to or a sub-qualifier of lhs, according to the type qualifier hierarchy.
javax.lang.model.element.AnnotationMirror	leastUpperBound(javax.lang.model.element.AnnotationMirror a1, javax.lang.model.element.AnnotationMirror a2) Returns the least upper bound for the qualifiers a1 and a2.

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

addPolyRelations, findBottoms, findLub, findTops, finish, getBottomAnnotation, getBottomAnnotations, getPolymorphicAnnotation, getTopAnnotation, getTopAnnotations, getTypeQualifiers, greatestLowerBoundTypeVariable, isSubtype, isSubtypeTypeVariable, isSubtypeTypeVariable, 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

ClassValQualifierHierarchy

public ClassValQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory f)

Method Detail

leastUpperBound

public javax.lang.model.element.AnnotationMirror leastUpperBound(javax.lang.model.element.AnnotationMirror a1,
                                                                 javax.lang.model.element.AnnotationMirror a2)

Description copied from class: QualifierHierarchy

Returns the least upper bound for the qualifiers a1 and a2.

Examples:

• For NonNull, leastUpperBound('Nullable', 'NonNull') ⇒ Nullable

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

Overrides:

leastUpperBound in class MultiGraphQualifierHierarchy

Returns:

the least restrictive qualifiers for both types

greatestLowerBound

public javax.lang.model.element.AnnotationMirror greatestLowerBound(javax.lang.model.element.AnnotationMirror a1,
                                                                    javax.lang.model.element.AnnotationMirror a2)

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:

a1 - first annotation

a2 - second annotation

Returns:

greatest lower bound of the two annotations

isSubtype

public boolean isSubtype(javax.lang.model.element.AnnotationMirror subAnno,
                         javax.lang.model.element.AnnotationMirror superAnno)

Description copied from class: MultiGraphQualifierHierarchy

Tests whether rhs is equal to or a sub-qualifier of lhs, according to the type qualifier hierarchy. This checks only the qualifiers, not the Java type.

Most qualifiers have no value fields. However, two annotations with values are subtype of each other only if they have the same values. i.e. I(m) is a subtype of I(n) iff m = n.

When client specifies an annotation, a1, to be a subtype of annotation with values, a2, then a1 is a subtype of all instances of a2 regardless of a2 values.

Overrides:

isSubtype in class MultiGraphQualifierHierarchy

Parameters:

subAnno - the sub qualifier

superAnno - the super qualifier

Returns:

true iff rhs is a sub qualifier of lhs