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 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, Map<SymTypeInferenceVariable,? extends SymTypeExpression> replaceMap)
Map<SymTypeInferenceVariable,SymTypeExpression>	getReplaceMap()
void	setReplaceMap(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 Details

replaceMap

protected Map<SymTypeInferenceVariable,SymTypeExpression> replaceMap

Map for replacing Type Variables

Constructor Details

SymTypeInferenceVariableReplaceVisitor

public SymTypeInferenceVariableReplaceVisitor()

Method Details

getReplaceMap

public Map<SymTypeInferenceVariable,SymTypeExpression> getReplaceMap()

setReplaceMap

public void setReplaceMap(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,
 Map<SymTypeInferenceVariable,? extends SymTypeExpression> replaceMap)