org.checkerframework.qualframework.base

Class TypeVariableSubstitutor<Q>

java.lang.Object

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

Direct Known Subclasses:

QualifiedParameterTypeVariableSubstitutor

public class TypeVariableSubstitutor<Q>
extends Object

TypeVariableSubstitutor replaces type variables from a declaration with arguments to its use.

Constructor Summary

Constructors

Constructor and Description
TypeVariableSubstitutor()

Method Summary

Modifier and Type	Method and Description
void	setAdapter(TypeVariableSubstitutorAdapter<Q> adapter)
QualifiedTypeMirror<Q>	substitute(Map<TypeVariable,QualifiedTypeMirror<Q>> typeParamToArg, QualifiedTypeMirror<Q> typeMirror) Currently substitution is performed by AnnotatedTypes class.
protected QualifiedTypeMirror<Q>	substituteTypeVariable(QualifiedTypeMirror<Q> argument, QualifiedTypeMirror.QualifiedTypeVariable<Q> use) see org.checkerframework.framework.type.TypeVariableSubstitutor#substituteTypeVariable(AnnotatedTypeMirror, AnnotatedTypeVariable)

Methods inherited from class java.lang.Object

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

Constructor Detail

TypeVariableSubstitutor

public TypeVariableSubstitutor()

Method Detail

substitute

public QualifiedTypeMirror<Q> substitute(Map<TypeVariable,QualifiedTypeMirror<Q>> typeParamToArg,
                                         QualifiedTypeMirror<Q> typeMirror)

Currently substitution is performed by AnnotatedTypes class. There are no hooks in the qual system to make that functionality flow through this method. When that is plumbed, this method should be implemented.

substituteTypeVariable

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

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

setAdapter

public void setAdapter(TypeVariableSubstitutorAdapter<Q> adapter)