Package de.monticore.types3.generics.util

Class SymTypeInferenceVariableReplaceVisitor

java.lang.Object

de.monticore.types3.util.SymTypeDeepCloneVisitor

de.monticore.types3.generics.util.SymTypeInferenceVariableReplaceVisitor

All Implemented Interfaces:

ISymTypeVisitor

public class SymTypeInferenceVariableReplaceVisitor
extends SymTypeDeepCloneVisitor

replaces InferenceVariables using a given map e.g., a, @code {a->int,b->float} -> int e.g., List<a>, {a->int} -> List<int> Usage: calculate(symType, replaceMap)

Field Summary

Fields

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

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

transformedSymTypes

Constructor Summary

Constructors

Constructor	Description
SymTypeInferenceVariableReplaceVisitor()

Method Summary

Modifier and Type	Method	Description
SymTypeExpression	calculate(SymTypeExpression symType, java.util.Map<SymTypeInferenceVariable,? extends SymTypeExpression> replaceMap)
java.util.Map<SymTypeInferenceVariable,SymTypeExpression>	getReplaceMap()
void	setReplaceMap(java.util.Map<SymTypeInferenceVariable,SymTypeExpression> replaceMap)
void	visit(SymTypeInferenceVariable 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<SymTypeInferenceVariable,SymTypeExpression> replaceMap

Map for replacing Type Variables

Constructor Detail

SymTypeInferenceVariableReplaceVisitor

public SymTypeInferenceVariableReplaceVisitor()

Method Detail

getReplaceMap

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

setReplaceMap

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

visit

public void visit(SymTypeInferenceVariable typVar)

Specified by:

visit in interface ISymTypeVisitor

Overrides:

visit in class SymTypeDeepCloneVisitor

calculate

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