Package org.checkerframework.framework.type

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.

Field Summary

Fields inherited from class org.checkerframework.framework.type.AnnotatedTypeCopier

copyAnnotations, visitingExecutableTypeParam

Constructor Summary

Constructors

Constructor	Description
Visitor(Map<TypeVariable,AnnotatedTypeMirror> typeParamToArg, boolean copyArgument)	Creates the Visitor.

Method Summary

Modifier and Type	Method	Description
protected <T extends AnnotatedTypeMirror> T	makeCopy(T original)	Returns a copy of the given type.
AnnotatedTypeMirror	visitTypeVariable(AnnotatedTypeMirror.AnnotatedTypeVariable original, IdentityHashMap<AnnotatedTypeMirror,AnnotatedTypeMirror> originalToCopy)	Visits a type variable.

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

makeOrReturnCopy, maybeCopyPrimaryAnnotations, visit, visit, visitArray, visitDeclared, visitExecutable, visitIntersection, visitNoType, visitNull, visitPrimitive, visitUnion, visitWildcard

Methods inherited from class java.lang.Object

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

Constructor Details

Visitor

public Visitor(Map<TypeVariable,AnnotatedTypeMirror> typeParamToArg,
 boolean copyArgument)

Creates the Visitor.

Parameters:

typeParamToArg - mapping from TypeVariable to the AnnotatedTypeMirror that will replace it

copyArgument - whether or not a copy of type argument should be substituted

Method Details

makeCopy

protected <T extends AnnotatedTypeMirror> T makeCopy(T original)

Description copied from class: AnnotatedTypeCopier

Returns a copy of the given type.

Overrides:

makeCopy in class AnnotatedTypeCopier

Type Parameters:

T - the type of the AnnotatedTypeMirror to copy

Parameters:

original - an AnnotatedTypeMirror (more specifically, a T)

Returns:

a copy of the given AnnotatedTypeMirror

visitTypeVariable

public AnnotatedTypeMirror visitTypeVariable(AnnotatedTypeMirror.AnnotatedTypeVariable original,
 IdentityHashMap<AnnotatedTypeMirror,AnnotatedTypeMirror> originalToCopy)

Description copied from interface: AnnotatedTypeVisitor

Visits a type variable.

Specified by:

visitTypeVariable in interface AnnotatedTypeVisitor<AnnotatedTypeMirror,IdentityHashMap<AnnotatedTypeMirror,AnnotatedTypeMirror>>

Overrides:

visitTypeVariable in class AnnotatedTypeCopier

Parameters:

original - the type to visit

originalToCopy - a visitor-specified parameter

Returns:

a visitor-specified result