Package org.checkerframework.framework.type

Class SubtypeIsSupersetQualifierHierarchy

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.SubtypeIsSupersetQualifierHierarchy

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

A QualifierHierarchy where, when a qualifier has arguments, the subtype relation is determined by a superset 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
SubtypeIsSupersetQualifierHierarchy(Collection<Class<? extends Annotation>> qualifierClasses, ProcessingEnvironment processingEnv, GenericAnnotatedTypeFactory<?,?,?,?> atypeFactory)	Creates a SubtypeIsSupersetQualifierHierarchy 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

SubtypeIsSupersetQualifierHierarchy

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

Creates a SubtypeIsSupersetQualifierHierarchy from the given classes.

Parameters:

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

processingEnv - processing environment

atypeFactory - the associated type factory