Class TypeVariableSubstitutor.Visitor

java.lang.Object
org.checkerframework.framework.type.AnnotatedTypeCopier
org.checkerframework.framework.type.TypeVariableSubstitutor.Visitor
All Implemented Interfaces:
AnnotatedTypeVisitor<AnnotatedTypeMirror,IdentityHashMap<AnnotatedTypeMirror,AnnotatedTypeMirror>>
Enclosing class:
TypeVariableSubstitutor

protected class TypeVariableSubstitutor.Visitor extends AnnotatedTypeCopier
Visitor that makes the substitution. This is an inner class so that its methods cannot be called by clients of TypeVariableSubstitutor.