Package org.checkerframework.framework.type

Class SubtypeIsSubsetQualifierHierarchy

java.lang.Object

org.checkerframework.framework.type.QualifierHierarchy

org.checkerframework.framework.type.ElementQualifierHierarchy

org.checkerframework.framework.type.MostlyNoElementQualifierHierarchy

org.checkerframework.framework.type.AbstractSetInclusionQualifierHierarchy

org.checkerframework.framework.type.SubtypeIsSubsetQualifierHierarchy

@AnnotatedFor("nullness")
public class SubtypeIsSubsetQualifierHierarchy
extends AbstractSetInclusionQualifierHierarchy

A QualifierHierarchy where, when a qualifier has arguments, the subtype relation is determined by a subset test on the elements (arguments). The elements must be strings.

Field Summary

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

bottoms, bottomsMap, kindToElementlessQualifier, qualifierKindHierarchy, tops, topsMap

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

atypeFactory

Constructor Summary

Constructors

Constructor	Description
SubtypeIsSubsetQualifierHierarchy(Collection<Class<? extends Annotation>> qualifierClasses, ProcessingEnvironment processingEnv, GenericAnnotatedTypeFactory<?,?,?,?> atypeFactory)	Creates a SubtypeIsSubsetQualifierHierarchy from the given classes.

Method Summary

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

greatestLowerBoundWithElements, isSubtypeWithElements, leastUpperBoundWithElements

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

greatestLowerBoundQualifiers, isSubtypeQualifiers, leastUpperBoundQualifiers

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

createBottomsMap, createElementlessQualifierMap, createQualifierKindHierarchy, createTopsMap, findAnnotationInHierarchy, findAnnotationInSameHierarchy, getBottomAnnotation, getBottomAnnotations, getPolymorphicAnnotation, getQualifierKind, getQualifierKind, getTopAnnotation, getTopAnnotations, isPolymorphicQualifier, isValid

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

assertSameSize, assertSameSize, canHaveEmptyAnnotationSet, getWidth, greatestLowerBoundQualifiersOnly, greatestLowerBoundShallow, greatestLowerBoundsQualifiersOnly, greatestLowerBoundsQualifiersOnly, greatestLowerBoundsShallow, isSubtypeQualifiersOnly, isSubtypeQualifiersOnly, isSubtypeShallow, isSubtypeShallow, isSubtypeShallow, isSubtypeShallow, isTop, leastUpperBoundQualifiersOnly, leastUpperBoundShallow, leastUpperBoundsQualifiersOnly, leastUpperBoundsQualifiersOnly, leastUpperBoundsShallow, numberOfIterationsBeforeWidening, updateMappingToMutableSet, widenedUpperBound

Methods inherited from class java.lang.Object

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

Constructor Details

SubtypeIsSubsetQualifierHierarchy

public SubtypeIsSubsetQualifierHierarchy(Collection<Class<? extends Annotation>> qualifierClasses,
 ProcessingEnvironment processingEnv,
 GenericAnnotatedTypeFactory<?,?,?,?> atypeFactory)

Creates a SubtypeIsSubsetQualifierHierarchy from the given classes.

Parameters:

qualifierClasses - classes of annotations that are the qualifiers for this hierarchy

processingEnv - processing environment

atypeFactory - the associated type factory