org.checkerframework.checker.fenum

Class FenumAnnotatedTypeFactory.FenumQualifierHierarchy

java.lang.Object

org.checkerframework.framework.util.MultiGraphQualifierHierarchy

org.checkerframework.framework.util.GraphQualifierHierarchy

org.checkerframework.checker.fenum.FenumAnnotatedTypeFactory.FenumQualifierHierarchy

All Implemented Interfaces:

QualifierHierarchy

Enclosing class:

FenumAnnotatedTypeFactory

protected class FenumAnnotatedTypeFactory.FenumQualifierHierarchy
extends GraphQualifierHierarchy

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, polyQualifiers, supertypesDirect, supertypesTransitive, tops

Constructor Summary

Constructors

Constructor and Description
FenumQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory factory)

Method Summary

Modifier and Type	Method and Description
boolean	isSubtype(AnnotationMirror subAnno, AnnotationMirror superAnno) Tests whether subQualifier is equal to or a sub-qualifier of superQualifier, according to the type qualifier hierarchy.

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

finish, getBottomAnnotations, getTopAnnotations, isSubtype

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

addPolyRelations, findBottoms, findLub, findTops, getBottomAnnotation, getPolymorphicAnnotation, getTopAnnotation, greatestLowerBound, isPolymorphicQualifier, isValid, leastUpperBound, toString, transitiveClosure

Methods inherited from class java.lang.Object

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

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

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

Constructor Detail

FenumQualifierHierarchy

public FenumQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory factory)

Method Detail

isSubtype

public boolean isSubtype(AnnotationMirror subAnno,
                         AnnotationMirror superAnno)

Description copied from class: MultiGraphQualifierHierarchy

Tests whether subQualifier is equal to or a sub-qualifier of superQualifier, according to the type qualifier hierarchy.

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.

Specified by:

isSubtype in interface QualifierHierarchy

Overrides:

isSubtype in class MultiGraphQualifierHierarchy

Parameters:

subAnno - the sub qualifier

superAnno - the super qualifier

Returns:

true iff subQualifier is a subqualifier of, or equal to, superQualifier