org.checkerframework.qualframework.poly

Class QualifierParameterChecker<Q>

java.lang.Object

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

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

All Implemented Interfaces:

BaseContext, QualifierContext<QualParams<Q>>

Direct Known Subclasses:

RegexQualPolyChecker, TaintingQualChecker

public abstract class QualifierParameterChecker<Q>
extends Checker<QualParams<Q>>

QualifierParameterChecker extends Checker to configure QualifiedTypeFormatters specific to QualParams qualifiers.

Constructor Summary

Constructors

Constructor and Description
QualifierParameterChecker()

Method Summary

Modifier and Type	Method and Description
QualifiedTypeFormatter<QualParams<Q>>	createQualifiedTypeFormatter() Create a QualifiedTypeFormatter to format QualifiedTypeMirrors into strings.
protected SurfaceSyntaxFormatterConfiguration<Q>	createSurfaceSyntaxFormatterConfiguration() Type systems should override this method to provide a configuration that is required to format qualifiers in an annotation syntax.

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

createTypeFactory, getAnnotationProvider, getChecker, getCheckerAdapter, getContext, getElementUtils, getInvisibleQualifiers, getOptionConfiguration, getProcessingEnvironment, getQualifiedTypeUtils, getTreeUtils, getTypeFactory, getTypeUtils

Methods inherited from class java.lang.Object

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

Constructor Detail

QualifierParameterChecker

public QualifierParameterChecker()

Method Detail

createQualifiedTypeFormatter

public QualifiedTypeFormatter<QualParams<Q>> createQualifiedTypeFormatter()

Description copied from class: Checker

Create a QualifiedTypeFormatter to format QualifiedTypeMirrors into strings.

Overrides:

createQualifiedTypeFormatter in class Checker<QualParams<Q>>

Returns:

the QualifiedTypeFormatter

createSurfaceSyntaxFormatterConfiguration

protected SurfaceSyntaxFormatterConfiguration<Q> createSurfaceSyntaxFormatterConfiguration()

Type systems should override this method to provide a configuration that is required to format qualifiers in an annotation syntax. Returning null will disable the "printQualifierParametersAsAnnotations" output mode.

Returns:

the configuration