org.checkerframework.qualframework.base

Class TypeVariableSubstitutorAdapter<Q>

java.lang.Object

org.checkerframework.framework.type.TypeVariableSubstitutor

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

public class TypeVariableSubstitutorAdapter<Q>
extends TypeVariableSubstitutor

Adapt substitution to the Qual Framework

Nested Class Summary

Nested classes/interfaces inherited from class org.checkerframework.framework.type.TypeVariableSubstitutor

TypeVariableSubstitutor.Visitor

Constructor Summary

Constructors

Constructor and Description
TypeVariableSubstitutorAdapter(TypeVariableSubstitutor<Q> underlying, TypeMirrorConverter<Q> converter)

Method Summary

Modifier and Type	Method and Description
protected AnnotatedTypeMirror	substituteTypeVariable(AnnotatedTypeMirror argument, AnnotatedTypeMirror.AnnotatedTypeVariable use) Given the types of a type parameter declaration, the argument to that type parameter declaration, and a given use of that declaration, return a substitute for the use with the correct annotations.
protected QualifiedTypeMirror<Q>	superSubstituteTypeVariable(QualifiedTypeMirror<Q> argument, QualifiedTypeMirror.QualifiedTypeVariable<Q> use)

Methods inherited from class org.checkerframework.framework.type.TypeVariableSubstitutor

substitute

Methods inherited from class java.lang.Object

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

Constructor Detail

TypeVariableSubstitutorAdapter

public TypeVariableSubstitutorAdapter(TypeVariableSubstitutor<Q> underlying,
                                      TypeMirrorConverter<Q> converter)

Method Detail

substituteTypeVariable

protected AnnotatedTypeMirror substituteTypeVariable(AnnotatedTypeMirror argument,
                                                     AnnotatedTypeMirror.AnnotatedTypeVariable use)

Description copied from class: TypeVariableSubstitutor

Given the types of a type parameter declaration, the argument to that type parameter declaration, and a given use of that declaration, return a substitute for the use with the correct annotations. To determine what primary annotations are correct for the substitute the following rules are used: If the type variable use has a primary annotation then apply that primary annotation to the substitute. Otherwise, use the annotations of the argument.

Overrides:

substituteTypeVariable in class TypeVariableSubstitutor

Parameters:

argument - the argument to declaration (this will be a value in typeParamToArg)

use - the use that is being replaced

Returns:

a shallow copy of argument with the appropriate annotations applied

superSubstituteTypeVariable

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