org.checkerframework.framework.type

Class QualifierUpperBounds

java.lang.Object

org.checkerframework.framework.type.QualifierUpperBounds

public class QualifierUpperBounds
extends Object

Class that computes and stores the qualifier upper bounds for type uses.

Constructor Summary

Constructors

Constructor and Description
QualifierUpperBounds(AnnotatedTypeFactory typeFactory) Creates a QualifierUpperBounds from the given checker, using that checker to determine the annotations that are in the type hierarchy.

Method Summary

Modifier and Type	Method and Description
void	addType(Class<?> type, AnnotationMirror theQual) Add default qualifier, theQual, for the given class.
void	addTypeKind(TypeKind typeKind, AnnotationMirror theQual) Add default qualifier, theQual, for the given TypeKind.
Set<AnnotationMirror>	getBoundQualifiers(TypeMirror type) Returns the set of qualifiers that are the upper bounds for a use of the type.

Methods inherited from class java.lang.Object

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

Constructor Detail

QualifierUpperBounds

public QualifierUpperBounds(AnnotatedTypeFactory typeFactory)

Creates a QualifierUpperBounds from the given checker, using that checker to determine the annotations that are in the type hierarchy.

Method Detail

addTypeKind

public void addTypeKind(TypeKind typeKind,
                        AnnotationMirror theQual)

Add default qualifier, theQual, for the given TypeKind.

addType

public void addType(Class<?> type,
                    AnnotationMirror theQual)

Add default qualifier, theQual, for the given class.

getBoundQualifiers

public Set<AnnotationMirror> getBoundQualifiers(TypeMirror type)

Returns the set of qualifiers that are the upper bounds for a use of the type.

Parameters:

type - the TypeMirror

Returns:

the set of qualifiers that are the upper bounds for a use of the type