Package de.monticore.types3.generics.util

Class SymTypeFreeVariableReplaceVisitor

java.lang.Object

de.monticore.types3.util.SymTypeDeepCloneVisitor

de.monticore.types3.generics.util.SymTypeFreeVariableReplaceVisitor

All Implemented Interfaces:

ISymTypeVisitor

public class SymTypeFreeVariableReplaceVisitor
extends SymTypeDeepCloneVisitor

Replaces type variables, that are free in the given enclosing scope, with inference variables. Returns both, the new type, and a map from the replaced variables to the replacement. Usage: calculate(symType, enclosingScope)

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	SymTypeFreeVariableReplaceVisitor.Result	just a pair

Field Summary

Fields

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

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

transformedSymTypes

Constructor Summary

Constructors

Constructor	Description
SymTypeFreeVariableReplaceVisitor()

Method Summary

Modifier and Type	Method	Description
SymTypeFreeVariableReplaceVisitor.Result	calculate(SymTypeExpression symType, IBasicSymbolsScope enclosingScope)
protected IBasicSymbolsScope	getEnclosingScope()
protected java.util.Map<SymTypeVariable,SymTypeInferenceVariable>	getReplaceMap()
void	setEnclosingScope(IBasicSymbolsScope enclosingScope)
void	setReplaceMap(java.util.Map<SymTypeVariable,SymTypeInferenceVariable> replaceMap)
void	visit(SymTypeVariable typeVar)

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,SymTypeInferenceVariable> replaceMap

Map for replacing Type Variables

enclosingScope

protected IBasicSymbolsScope enclosingScope

Constructor Detail

SymTypeFreeVariableReplaceVisitor

public SymTypeFreeVariableReplaceVisitor()

Method Detail

getReplaceMap

protected java.util.Map<SymTypeVariable,SymTypeInferenceVariable> getReplaceMap()

setReplaceMap

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

getEnclosingScope

protected IBasicSymbolsScope getEnclosingScope()

setEnclosingScope

public void setEnclosingScope(IBasicSymbolsScope enclosingScope)

visit

public void visit(SymTypeVariable typeVar)

Specified by:

visit in interface ISymTypeVisitor

Overrides:

visit in class SymTypeDeepCloneVisitor

calculate

public SymTypeFreeVariableReplaceVisitor.Result calculate(SymTypeExpression symType,
                                                          IBasicSymbolsScope enclosingScope)