org.checkerframework.checker.tainting

Class TaintingQualifiedTypeFactory

java.lang.Object

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

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

org.checkerframework.checker.tainting.TaintingQualifiedTypeFactory

All Implemented Interfaces:

QualifiedTypeFactory<QualParams<Tainting>>

public class TaintingQualifiedTypeFactory
extends QualifierParameterTypeFactory<Tainting>

Constructor Summary

Constructors

Constructor and Description
TaintingQualifiedTypeFactory(QualifierContext<QualParams<Tainting>> context)

Method Summary

Modifier and Type	Method and Description
protected TaintingAnnotationConverter	createAnnotationConverter() Constructs an AnnotationConverter for the current type system.
protected QualifierHierarchy<Tainting>	createGroundQualifierHierarchy() Create a QualifierHierarchy for ground qualifiers (represented by instances of Q).
protected QualifierParameterTreeAnnotator<Tainting>	createTreeAnnotator() Constructs the TreeAnnotator to be used by this type factory.
TypeVariableSubstitutor<QualParams<Tainting>>	createTypeVariableSubstitutor()

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

createQualifierHierarchy, createTypeAnnotator, getAnnotationConverter, getGroundQualifierHierarchy, methodFromUse, postAsMemberOf, postDirectSuperTypes

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

computeQualifiedTypeParameterBounds, constructorFromUse, createFlowAnalysis, createQualifiedTypes, createTypeHierarchy, getContext, getDeclAnnotations, getDecoratedElement, getPath, getQualifiedType, getQualifiedType, getQualifiedTypeFromTypeTree, getQualifiedTypeParameterBounds, getQualifiedTypes, getQualifierHierarchy, getReceiverType, getTypeHierarchy, methodFromUse

Methods inherited from class java.lang.Object

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

Constructor Detail

TaintingQualifiedTypeFactory

public TaintingQualifiedTypeFactory(QualifierContext<QualParams<Tainting>> context)

Method Detail

createGroundQualifierHierarchy

protected QualifierHierarchy<Tainting> createGroundQualifierHierarchy()

Description copied from class: QualifierParameterTypeFactory

Create a QualifierHierarchy for ground qualifiers (represented by instances of Q).

Specified by:

createGroundQualifierHierarchy in class QualifierParameterTypeFactory<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 QualifierParameterTypeFactory<Tainting>

createTreeAnnotator

protected QualifierParameterTreeAnnotator<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 QualifierParameterTypeFactory<Tainting>

createTypeVariableSubstitutor

public TypeVariableSubstitutor<QualParams<Tainting>> createTypeVariableSubstitutor()

Specified by:

createTypeVariableSubstitutor in interface QualifiedTypeFactory<QualParams<Tainting>>

Overrides:

createTypeVariableSubstitutor in class DefaultQualifiedTypeFactory<QualParams<Tainting>>

Returns:

a TypeVariableSubstitutor