org.checkerframework.framework.type

Class AnnotatedTypeCopierWithReplacement

java.lang.Object

org.checkerframework.framework.type.AnnotatedTypeCopierWithReplacement

public class AnnotatedTypeCopierWithReplacement
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	AnnotatedTypeCopierWithReplacement.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
AnnotatedTypeCopierWithReplacement()

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

AnnotatedTypeCopierWithReplacement

public AnnotatedTypeCopierWithReplacement()

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