org.checkerframework.qualframework.poly

Class QualifierParameterTypeAnnotator<Q>

java.lang.Object

org.checkerframework.qualframework.base.TypeAnnotator<QualParams<Q>>

org.checkerframework.qualframework.poly.QualifierParameterTypeAnnotator<Q>

All Implemented Interfaces:

ExtendedTypeVisitor<QualifiedTypeMirror<QualParams<Q>>,Void>

public class QualifierParameterTypeAnnotator<Q>
extends TypeAnnotator<QualParams<Q>>

TypeAnnotator implementation for qualifier parameter checkers.

Field Summary

Fields inherited from class org.checkerframework.qualframework.base.TypeAnnotator

qualContext

Constructor Summary

Constructors

Constructor and Description
QualifierParameterTypeAnnotator(QualifierContext<QualParams<Q>> qualContext, QualifierParameterAnnotationConverter<Q> annotationConverter, QualifierHierarchy<Wildcard<Q>> containmentHierarchy)

Method Summary

Modifier and Type	Method and Description
QualifierParameterAnnotationConverter<Q>	getAnnotationConverter()
QualifierHierarchy<Wildcard<Q>>	getContainmentHierarchy()
protected QualParams<Q>	getQualifier(ExtendedTypeMirror type) Default handler to obtain an appropriate qualifier from an ExtendedTypeMirror.

Methods inherited from class org.checkerframework.qualframework.base.TypeAnnotator

visit, visitArray, visitDeclared, visitError, visitExecutable, visitIntersection, visitNoType, visitNull, visitParameterDeclaration, visitPrimitive, visitTypeDeclaration, visitTypeVariable, visitUnion, visitWildcard

Methods inherited from class java.lang.Object

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

Constructor Detail

QualifierParameterTypeAnnotator

public QualifierParameterTypeAnnotator(QualifierContext<QualParams<Q>> qualContext,
                                       QualifierParameterAnnotationConverter<Q> annotationConverter,
                                       QualifierHierarchy<Wildcard<Q>> containmentHierarchy)

Method Detail

getContainmentHierarchy

public QualifierHierarchy<Wildcard<Q>> getContainmentHierarchy()

getAnnotationConverter

public QualifierParameterAnnotationConverter<Q> getAnnotationConverter()

Overrides:

getAnnotationConverter in class TypeAnnotator<QualParams<Q>>

getQualifier

protected QualParams<Q> getQualifier(ExtendedTypeMirror type)

Description copied from class: TypeAnnotator

Default handler to obtain an appropriate qualifier from an ExtendedTypeMirror. The default implementation uses the AnnotationConverter to produce qualifier.

Overrides:

getQualifier in class TypeAnnotator<QualParams<Q>>