org.checkerframework.framework.type

Class AnnotatedTypeReplacer

java.lang.Object

org.checkerframework.framework.type.AnnotatedTypeReplacer

public class AnnotatedTypeReplacer
extends Object

Duplicates annotated types and replaces components according to a replacement map.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected static class	AnnotatedTypeReplacer.Visitor AnnotatedTypeCopier maintains a mapping of typeVisited ⇒ copyOfTypeVisited When a reference, typeVisited, is encountered again, it will use the recorded reference, copyOfTypeVisited, instead of generating a new copy of typeVisited.

Constructor Summary

Constructors

Constructor and Description
AnnotatedTypeReplacer()

Method Summary

Modifier and Type	Method and Description
static AnnotatedTypeMirror	replace(AnnotatedTypeMirror type, Map<? extends AnnotatedTypeMirror,? extends AnnotatedTypeMirror> replacementMap) Return a copy of type after making the specified replacements.

Methods inherited from class java.lang.Object

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

Constructor Detail

AnnotatedTypeReplacer

public AnnotatedTypeReplacer()

Method Detail

replace

public static AnnotatedTypeMirror replace(AnnotatedTypeMirror type,
                                          Map<? extends AnnotatedTypeMirror,? extends AnnotatedTypeMirror> replacementMap)

Return a copy of type after making the specified replacements.

Parameters:

type - the type that will be copied with replaced components

replacementMap - a mapping of referenceToReplace ⇒ referenceOfReplacement

Returns:

a duplicate of type in which every reference that was a key in replacementMap has been replaced by its corresponding value