com.google.javascript.rhino.jstype

Class TemplateTypeMapReplacer

java.lang.Object

com.google.javascript.rhino.jstype.ModificationVisitor

com.google.javascript.rhino.jstype.TemplateTypeMapReplacer

All Implemented Interfaces:

Visitor<JSType>

public class TemplateTypeMapReplacer
extends ModificationVisitor

Uses a TemplateTypeMap to replace TemplateTypes with their associated JSType values.

Field Summary

Fields

Modifier and Type	Field and Description
private TemplateTypeMap	replacements
private ArrayDeque<TemplateType>	visitedTypes

Constructor Summary

Constructors

Constructor and Description
TemplateTypeMapReplacer(JSTypeRegistry registry, TemplateTypeMap replacements)

Method Summary

Modifier and Type	Method and Description
JSType	caseTemplateType(TemplateType type) Template type's case.
private boolean	hasVisitedType(TemplateType type) Checks if the specified type has already been visited during the Visitor's traversal of a JSType.
private boolean	isRecursive(TemplateType currentType, JSType replacementType) Returns whether the replacement type is a templatized type which contains the current type.
private boolean	isSameType(TemplateType currentType, TemplateType replacementType)

Methods inherited from class com.google.javascript.rhino.jstype.ModificationVisitor

caseAllType, caseBooleanType, caseEnumElementType, caseFunctionType, caseNamedType, caseNoObjectType, caseNoType, caseNullType, caseNumberType, caseObjectType, caseProxyObjectType, caseStringType, caseTemplatizedType, caseUnionType, caseUnknownType, caseVoidType

Methods inherited from class java.lang.Object

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

Field Detail

replacements

private final TemplateTypeMap replacements

visitedTypes

private ArrayDeque<TemplateType> visitedTypes

Constructor Detail

TemplateTypeMapReplacer

public TemplateTypeMapReplacer(JSTypeRegistry registry,
                               TemplateTypeMap replacements)

Method Detail

caseTemplateType

public JSType caseTemplateType(TemplateType type)

Description copied from interface: Visitor

Template type's case.

Specified by:

caseTemplateType in interface Visitor<JSType>

Overrides:

caseTemplateType in class ModificationVisitor

isRecursive

private boolean isRecursive(TemplateType currentType,
                            JSType replacementType)

Returns whether the replacement type is a templatized type which contains the current type. e.g. current type T is being replaced with Foo

isSameType

private boolean isSameType(TemplateType currentType,
                           TemplateType replacementType)

hasVisitedType

private boolean hasVisitedType(TemplateType type)

Checks if the specified type has already been visited during the Visitor's traversal of a JSType.