Package de.monticore.types3.generics.util

Class SymTypeVariableReplaceVisitor

java.lang.Object

de.monticore.types3.util.SymTypeDeepCloneVisitor

de.monticore.types3.generics.util.SymTypeVariableReplaceVisitor

All Implemented Interfaces:

ISymTypeVisitor

public class SymTypeVariableReplaceVisitor
extends SymTypeDeepCloneVisitor

replaces TypeVariables using a given map e.g., T, {T->int,U->float} -> int e.g., List<T>, {T->int} -> List<int> Usage: calculate(symType, replaceMap)

Field Summary

Fields

Modifier and Type	Field	Description
protected java.util.Map<SymTypeVariable,SymTypeExpression>	replaceMap	Map for replacing Type Variables

Fields inherited from class de.monticore.types3.util.SymTypeDeepCloneVisitor

transformedSymTypes

Constructor Summary

Constructors

Constructor	Description
SymTypeVariableReplaceVisitor()

Method Summary

Modifier and Type	Method	Description
SymTypeExpression	calculate(SymTypeExpression symType, java.util.Map<SymTypeVariable,? extends SymTypeExpression> replaceMap)
java.util.Map<SymTypeVariable,SymTypeExpression>	getReplaceMap()
void	setReplaceMap(java.util.Map<SymTypeVariable,SymTypeExpression> replaceMap)
void	visit(SymTypeVariable typVar)

Methods inherited from class de.monticore.types3.util.SymTypeDeepCloneVisitor

applyToCollection, applyToCollection, calculate, getTransformedSymType, getTransformedSymTypes, popTransformedSubSymType, pushTransformedSymType, reset, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit

Methods inherited from class java.lang.Object

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

Field Detail

replaceMap

protected java.util.Map<SymTypeVariable,SymTypeExpression> replaceMap

Map for replacing Type Variables

Constructor Detail

SymTypeVariableReplaceVisitor

public SymTypeVariableReplaceVisitor()

Method Detail

getReplaceMap

public java.util.Map<SymTypeVariable,SymTypeExpression> getReplaceMap()

setReplaceMap

public void setReplaceMap(java.util.Map<SymTypeVariable,SymTypeExpression> replaceMap)

visit

public void visit(SymTypeVariable typVar)

Specified by:

visit in interface ISymTypeVisitor

Overrides:

visit in class SymTypeDeepCloneVisitor

calculate

public SymTypeExpression calculate(SymTypeExpression symType,
                                   java.util.Map<SymTypeVariable,? extends SymTypeExpression> replaceMap)