org.checkerframework.checker.experimental.tainting_qual

Class TaintingQualifiedTypeFactory

java.lang.Object

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

org.checkerframework.checker.experimental.tainting_qual.TaintingQualifiedTypeFactory

All Implemented Interfaces:

QualifiedTypeFactory<Tainting>

public class TaintingQualifiedTypeFactory
extends DefaultQualifiedTypeFactory<Tainting>

Constructor Summary

Constructors

Constructor and Description
TaintingQualifiedTypeFactory(QualifierContext<Tainting> context)

Method Summary

Modifier and Type	Method and Description
protected TaintingAnnotationConverter	createAnnotationConverter() Constructs an AnnotationConverter for the current type system.
protected QualifierHierarchy<Tainting>	createQualifierHierarchy() Constructs a QualifierHierarchy for the current type system.
protected TreeAnnotator<Tainting>	createTreeAnnotator() Constructs the TreeAnnotator to be used by this type factory.

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

computeQualifiedTypeParameterBounds, constructorFromUse, createFlowAnalysis, createQualifiedTypes, createTypeAnnotator, createTypeHierarchy, createTypeVariableSubstitutor, getAnnotationConverter, getContext, getDeclAnnotations, getDecoratedElement, getPath, getQualifiedType, getQualifiedType, getQualifiedTypeFromTypeTree, getQualifiedTypeParameterBounds, getQualifiedTypes, getQualifierHierarchy, getReceiverType, getTypeHierarchy, methodFromUse, methodFromUse, postAsMemberOf, postDirectSuperTypes

Methods inherited from class java.lang.Object

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

Constructor Detail

TaintingQualifiedTypeFactory

public TaintingQualifiedTypeFactory(QualifierContext<Tainting> context)

Method Detail

createQualifierHierarchy

protected QualifierHierarchy<Tainting> createQualifierHierarchy()

Description copied from class: DefaultQualifiedTypeFactory

Constructs a QualifierHierarchy for the current type system. Every checker must override this method to return an appropriate QualifierHierarchy subclass for that checker.

Specified by:

createQualifierHierarchy in class DefaultQualifiedTypeFactory<Tainting>

createAnnotationConverter

protected TaintingAnnotationConverter createAnnotationConverter()

Description copied from class: DefaultQualifiedTypeFactory

Constructs an AnnotationConverter for the current type system. Every checker must override this method to return an appropriate AnnotationConverter subclass for that checker.

Specified by:

createAnnotationConverter in class DefaultQualifiedTypeFactory<Tainting>

createTreeAnnotator

protected TreeAnnotator<Tainting> createTreeAnnotator()

Description copied from class: DefaultQualifiedTypeFactory

Constructs the TreeAnnotator to be used by this type factory. Checkers that need custom TreeAnnotator behavior should override this method to return an instance of their custom TreeAnnotator subclass.

Overrides:

createTreeAnnotator in class DefaultQualifiedTypeFactory<Tainting>