Class AnnotatedTypeFactory.CapturedTypeVarSubstitutor

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

public static class AnnotatedTypeFactory.CapturedTypeVarSubstitutor extends AnnotatedTypeCopier
Substitutes references to captured types in type using capturedTypeVarToAnnotatedTypeVar.

Unlike AnnotatedTypeFactory.typeVarSubstitutor, this class does not copy the type. Call substitute to use.