org.checkerframework.qualframework.poly

Class QualifiedParameterTypeVariableSubstitutor<Q>

java.lang.Object

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

org.checkerframework.qualframework.poly.QualifiedParameterTypeVariableSubstitutor<Q>

public abstract class QualifiedParameterTypeVariableSubstitutor<Q>
extends TypeVariableSubstitutor<QualParams<Q>>

TypeVariableSubstitutor that handles the qualifier parameter specific logic or combining TypeVariable uses with substituted types.

Constructor Summary

Constructors

Constructor and Description
QualifiedParameterTypeVariableSubstitutor()

Method Summary

Modifier and Type	Method and Description
protected abstract PolyQual<Q>	combineForSubstitution(PolyQual<Q> a, PolyQual<Q> b)
protected abstract Wildcard<Q>	combineForSubstitution(Wildcard<Q> a, Wildcard<Q> b) Combine two wildcards into one when substituting a qualified type into a qualified type variable use (for example, substituting [T := C《Q=TAINTED》] into the use T + 《Q=UNTAINTED》).
protected QualifiedTypeMirror<QualParams<Q>>	substituteTypeVariable(QualifiedTypeMirror<QualParams<Q>> argument, QualifiedTypeMirror.QualifiedTypeVariable<QualParams<Q>> use) see org.checkerframework.framework.type.TypeVariableSubstitutor#substituteTypeVariable(AnnotatedTypeMirror, AnnotatedTypeVariable)

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

setAdapter, substitute

Methods inherited from class java.lang.Object

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

Constructor Detail

QualifiedParameterTypeVariableSubstitutor

public QualifiedParameterTypeVariableSubstitutor()

Method Detail

combineForSubstitution

protected abstract Wildcard<Q> combineForSubstitution(Wildcard<Q> a,
                                                      Wildcard<Q> b)

Combine two wildcards into one when substituting a qualified type into a qualified type variable use (for example, substituting [T := C《Q=TAINTED》] into the use T + 《Q=UNTAINTED》).

combineForSubstitution

protected abstract PolyQual<Q> combineForSubstitution(PolyQual<Q> a,
                                                      PolyQual<Q> b)

substituteTypeVariable

protected QualifiedTypeMirror<QualParams<Q>> substituteTypeVariable(QualifiedTypeMirror<QualParams<Q>> argument,
                                                                    QualifiedTypeMirror.QualifiedTypeVariable<QualParams<Q>> use)

Description copied from class: TypeVariableSubstitutor

see org.checkerframework.framework.type.TypeVariableSubstitutor#substituteTypeVariable(AnnotatedTypeMirror, AnnotatedTypeVariable)

Overrides:

substituteTypeVariable in class TypeVariableSubstitutor<QualParams<Q>>