org.checkerframework.checker.tainting

Class TaintingQualChecker

java.lang.Object

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

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

org.checkerframework.checker.tainting.TaintingQualChecker

All Implemented Interfaces:

BaseContext, QualifierContext<QualParams<Tainting>>

public class TaintingQualChecker
extends QualifierParameterChecker<Tainting>

Constructor Summary

Constructors

Constructor and Description
TaintingQualChecker()

Method Summary

Modifier and Type	Method and Description
protected SurfaceSyntaxFormatterConfiguration<Tainting>	createSurfaceSyntaxFormatterConfiguration() Type systems should override this method to provide a configuration that is required to format qualifiers in an annotation syntax.
protected TaintingQualifiedTypeFactory	createTypeFactory() Constructs the QualifiedTypeFactory for use by this Checker.

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

createQualifiedTypeFormatter

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

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

TaintingQualChecker

public TaintingQualChecker()

Method Detail

createTypeFactory

protected TaintingQualifiedTypeFactory createTypeFactory()

Description copied from class: Checker

Constructs the QualifiedTypeFactory for use by this Checker.

Specified by:

createTypeFactory in class Checker<QualParams<Tainting>>

createSurfaceSyntaxFormatterConfiguration

protected SurfaceSyntaxFormatterConfiguration<Tainting> 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<Tainting>

Returns:

the configuration