com.google.javascript.rhino.jstype
Class TemplateTypeMapReplacer

java.lang.Object
  extended by com.google.javascript.rhino.jstype.ModificationVisitor
      extended by 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.


Constructor Summary
TemplateTypeMapReplacer(JSTypeRegistry registry, TemplateTypeMap replacements)
           
 
Method Summary
 JSType caseTemplateType(TemplateType type)
          Template type's case.
 
Methods inherited from class com.google.javascript.rhino.jstype.ModificationVisitor
caseAllType, caseBooleanType, caseEnumElementType, caseFunctionType, caseNoObjectType, caseNoType, caseNullType, caseNumberType, caseObjectType, caseStringType, caseTemplatizedType, caseUnionType, caseUnknownType, caseVoidType
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

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