org.checkerframework.framework.type

Class AnnotatedTypeReplacer.Visitor

java.lang.Object

org.checkerframework.framework.type.AnnotatedTypeCopier

org.checkerframework.framework.type.AnnotatedTypeReplacer.Visitor

All Implemented Interfaces:

AnnotatedTypeVisitor<AnnotatedTypeMirror,IdentityHashMap<AnnotatedTypeMirror,AnnotatedTypeMirror>>

Enclosing class:

AnnotatedTypeReplacer

protected static class AnnotatedTypeReplacer.Visitor
extends AnnotatedTypeCopier

AnnotatedTypeCopier maintains a mapping of typeVisited &rArr; copyOfTypeVisited When a reference, typeVisited, is encountered again, it will use the recorded reference, copyOfTypeVisited, instead of generating a new copy of typeVisited. Visitor pre-populates this mapping so that references are replaced not by their copies but by those in the replacementMap provided in the constructor.

All types NOT in the replacement map are duplicated as per AnnotatedTypeCopier.visit

Field Summary

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

copyAnnotations, visitingExecutableTypeParam

Constructor Summary

Constructors

Constructor and Description
Visitor(Map<? extends AnnotatedTypeMirror,? extends AnnotatedTypeMirror> mappings)

Method Summary

Modifier and Type	Method and Description
AnnotatedTypeMirror	visit(AnnotatedTypeMirror type) A Convenience method equivalent to v.visit(t, null).
AnnotatedTypeMirror	visitTypeVariable(AnnotatedTypeMirror.AnnotatedTypeVariable original, IdentityHashMap<AnnotatedTypeMirror,AnnotatedTypeMirror> originalToCopy) Visits a type variable.

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

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

Visitor

public Visitor(Map<? extends AnnotatedTypeMirror,? extends AnnotatedTypeMirror> mappings)

Method Detail

visit

public AnnotatedTypeMirror visit(AnnotatedTypeMirror type)

Description copied from interface: AnnotatedTypeVisitor

A Convenience method equivalent to v.visit(t, null).

Specified by:

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

Overrides:

visit in class AnnotatedTypeCopier

Parameters:

type - the type to visit

Returns:

a visitor-specified result

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