org.checkerframework.checker.experimental.tainting_qual

Class TaintingChecker

java.lang.Object

org.checkerframework.qualframework.base.Checker<Tainting>

org.checkerframework.checker.experimental.tainting_qual.TaintingChecker

All Implemented Interfaces:

BaseContext, QualifierContext<Tainting>

public class TaintingChecker
extends Checker<Tainting>

Constructor Summary

Constructors

Constructor and Description
TaintingChecker()

Method Summary

Modifier and Type	Method and Description
protected TaintingQualifiedTypeFactory	createTypeFactory() Constructs the QualifiedTypeFactory for use by this Checker.

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

createQualifiedTypeFormatter, 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

TaintingChecker

public TaintingChecker()

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