Package org.checkerframework.common.aliasing

Class AliasingAnnotatedTypeFactory.AliasingQualifierHierarchy

java.lang.Object

org.checkerframework.framework.type.NoElementQualifierHierarchy

org.checkerframework.common.aliasing.AliasingAnnotatedTypeFactory.AliasingQualifierHierarchy

All Implemented Interfaces:

QualifierHierarchy

Enclosing class:

AliasingAnnotatedTypeFactory

protected class AliasingAnnotatedTypeFactory.AliasingQualifierHierarchy
extends NoElementQualifierHierarchy

AliasingQualifierHierarchy.

Field Summary

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

bottoms, kindToAnnotationMirror, qualifierKindHierarchy, qualifiers, tops

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	AliasingQualifierHierarchy(Collection<Class<? extends Annotation>> qualifierClasses, Elements elements)	Create AliasingQualifierHierarchy.

Method Summary

Modifier and Type	Method	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.type.NoElementQualifierHierarchy

createAnnotationMirrors, createBottoms, createQualifierKindHierarchy, createTops, findAnnotationInHierarchy, findAnnotationInSameHierarchy, getBottomAnnotation, getBottomAnnotations, getPolymorphicAnnotation, getQualifierKind, getTopAnnotation, getTopAnnotations, greatestLowerBound, isPolymorphicQualifier, leastUpperBound

Methods inherited from class java.lang.Object

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

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

getWidth, greatestLowerBounds, isSubtype, isValid, leastUpperBounds, numberOfIterationsBeforeWidening, updateMappingToMutableSet, widenedUpperBound

Constructor Details

AliasingQualifierHierarchy

protected AliasingQualifierHierarchy(Collection<Class<? extends Annotation>> qualifierClasses,
 Elements elements)

Create AliasingQualifierHierarchy.

Parameters:

qualifierClasses - classes of annotations that are the qualifiers

elements - element utils

Method Details

isSubtype

public boolean isSubtype(AnnotationMirror subAnno,
 AnnotationMirror superAnno)

Description copied from interface: QualifierHierarchy

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

Specified by:

isSubtype in interface QualifierHierarchy

Overrides:

isSubtype in class NoElementQualifierHierarchy

Parameters:

subAnno - possible subqualifier of superQualifier

superAnno - possible superqualifier of subQualifier

Returns:

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