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,java.util.IdentityHashMap<AnnotatedTypeMirror,AnnotatedTypeMirror>>

Enclosing class:

TypeVariableSubstitutor

protected class TypeVariableSubstitutor.Visitor
extends AnnotatedTypeCopier

Field Summary

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

copyAnnotations, visitingExecutableTypeParam

Constructor Summary

Constructors

Constructor and Description
Visitor(java.util.Map<javax.lang.model.type.TypeVariable,AnnotatedTypeMirror> typeParamToArg)

Method Summary

Modifier and Type	Method and Description
AnnotatedTypeMirror	visitArray(AnnotatedTypeMirror.AnnotatedArrayType original, java.util.IdentityHashMap<AnnotatedTypeMirror,AnnotatedTypeMirror> originalToCopy) Visits an array type.
AnnotatedTypeMirror	visitTypeVariable(AnnotatedTypeMirror.AnnotatedTypeVariable original, java.util.IdentityHashMap<AnnotatedTypeMirror,AnnotatedTypeMirror> originalToCopy) Visits a type variable.

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

makeCopy, makeOrReturnCopy, maybeCopyPrimaryAnnotations, visit, visit, 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 Detail

Visitor

public Visitor(java.util.Map<javax.lang.model.type.TypeVariable,AnnotatedTypeMirror> typeParamToArg)

Method Detail

visitArray

public AnnotatedTypeMirror visitArray(AnnotatedTypeMirror.AnnotatedArrayType original,
                                      java.util.IdentityHashMap<AnnotatedTypeMirror,AnnotatedTypeMirror> originalToCopy)

Description copied from interface: AnnotatedTypeVisitor

Visits an array type.

Specified by:

visitArray in interface AnnotatedTypeVisitor<AnnotatedTypeMirror,java.util.IdentityHashMap<AnnotatedTypeMirror,AnnotatedTypeMirror>>

Overrides:

visitArray in class AnnotatedTypeCopier

Parameters:

original - the type to visit

originalToCopy - a visitor-specified parameter

Returns:

a visitor-specified result

visitTypeVariable

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

Description copied from interface: AnnotatedTypeVisitor

Visits a type variable.

Specified by:

visitTypeVariable in interface AnnotatedTypeVisitor<AnnotatedTypeMirror,java.util.IdentityHashMap<AnnotatedTypeMirror,AnnotatedTypeMirror>>

Overrides:

visitTypeVariable in class AnnotatedTypeCopier

Parameters:

original - the type to visit

originalToCopy - a visitor-specified parameter

Returns:

a visitor-specified result