org.checkerframework.checker.regex

Class RegexQualPolyChecker

java.lang.Object

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

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

org.checkerframework.checker.regex.RegexQualPolyChecker

All Implemented Interfaces:

BaseContext, QualifierContext<QualParams<Regex>>

public class RegexQualPolyChecker
extends QualifierParameterChecker<Regex>

Checker for the Regex-Qual-Param type system.

Constructor Summary

Constructors

Constructor and Description
RegexQualPolyChecker()

Method Summary

Modifier and Type	Method and Description
protected SurfaceSyntaxFormatterConfiguration<Regex>	createSurfaceSyntaxFormatterConfiguration() Type systems should override this method to provide a configuration that is required to format qualifiers in an annotation syntax.
protected RegexQualifiedTypeFactory	createTypeFactory() Constructs the QualifiedTypeFactory for use by this Checker.
protected Set<?>	getInvisibleQualifiers() Return a list of qualifiers that should not be printed unless printAllQualifiers is enabled.

Methods inherited from class org.checkerframework.qualframework.poly.QualifierParameterChecker

createQualifiedTypeFormatter

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

getAnnotationProvider, getChecker, getCheckerAdapter, getContext, getElementUtils, 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

RegexQualPolyChecker

public RegexQualPolyChecker()

Method Detail

createTypeFactory

protected RegexQualifiedTypeFactory createTypeFactory()

Description copied from class: Checker

Constructs the QualifiedTypeFactory for use by this Checker.

Specified by:

createTypeFactory in class Checker<QualParams<Regex>>

getInvisibleQualifiers

protected Set<?> getInvisibleQualifiers()

Description copied from class: Checker

Return a list of qualifiers that should not be printed unless printAllQualifiers is enabled.

Overrides:

getInvisibleQualifiers in class Checker<QualParams<Regex>>

createSurfaceSyntaxFormatterConfiguration

protected SurfaceSyntaxFormatterConfiguration<Regex> createSurfaceSyntaxFormatterConfiguration()

Description copied from class: QualifierParameterChecker

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.

Overrides:

createSurfaceSyntaxFormatterConfiguration in class QualifierParameterChecker<Regex>

Returns:

the configuration