Package de.monticore.types.check

Class SynthesizeSymTypeFromMCCollectionTypes

java.lang.Object

de.monticore.types.check.AbstractSynthesizeFromType

de.monticore.types.check.SynthesizeSymTypeFromMCCollectionTypes

All Implemented Interfaces:

MCCollectionTypesHandler, MCCollectionTypesVisitor2, de.monticore.visitor.IHandler, de.monticore.visitor.IVisitor

@Deprecated
public class SynthesizeSymTypeFromMCCollectionTypes
extends AbstractSynthesizeFromType
implements MCCollectionTypesVisitor2, MCCollectionTypesHandler

Deprecated.

part of typecheck1, use TypeCheck3 instead.

Visitor for Derivation of SymType from MCBasicTypes i.e. for types/MCBasicTypes.mc4

Field Summary

Fields

Modifier and Type	Field	Description
protected MCCollectionTypesTraverser	traverser	Deprecated.

Fields inherited from class de.monticore.types.check.AbstractSynthesizeFromType

typeCheckResult

Constructor Summary

Constructors

Constructor	Description
SynthesizeSymTypeFromMCCollectionTypes()	Deprecated.

Method Summary

Modifier and Type	Method	Description
void	endVisit(ASTMCListType t)	Deprecated. We use mainly endVisit, because the result is synthesized along the tree, when walking upwards
void	endVisit(ASTMCOptionalType t)	Deprecated.
void	endVisit(ASTMCSetType t)	Deprecated.
MCCollectionTypesTraverser	getTraverser()	Deprecated.
void	setTraverser(MCCollectionTypesTraverser traverser)	Deprecated.
void	synthesizeTypeWithOneArgument(ASTMCType type, String name)	Deprecated.
void	traverse(ASTMCMapType node)	Deprecated. Map has two arguments: to retrieve them properly, the traverse method is adapted (looking deeper into the visitor), instead of the endVisit method:

Methods inherited from class de.monticore.types.check.AbstractSynthesizeFromType

checkNotObscure, getResult, getScope, getTypeCheckResult, init, setTypeCheckResult

Methods inherited from class java.lang.Object

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

Methods inherited from interface de.monticore.visitor.IHandler

handle, handle, handle, handle, handle, traverse, traverse

Methods inherited from interface de.monticore.visitor.IVisitor

endVisit, endVisit, endVisit, endVisit, visit, visit, visit, visit

Methods inherited from interface de.monticore.types.mccollectiontypes._visitor.MCCollectionTypesHandler

handle, handle, handle, handle, handle, handle, handle, handle, handle, handle, handle, handle, handle, traverse, traverse, traverse, traverse, traverse, traverse, traverse, traverse, traverse

Methods inherited from interface de.monticore.types.mccollectiontypes._visitor.MCCollectionTypesVisitor2

endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit

Field Details

traverser

protected MCCollectionTypesTraverser traverser

Deprecated.

Constructor Details

SynthesizeSymTypeFromMCCollectionTypes

public SynthesizeSymTypeFromMCCollectionTypes()

Deprecated.

Method Details

setTraverser

public void setTraverser(MCCollectionTypesTraverser traverser)

Deprecated.

Specified by:

setTraverser in interface MCCollectionTypesHandler

getTraverser

public MCCollectionTypesTraverser getTraverser()

Deprecated.

Specified by:

getTraverser in interface de.monticore.visitor.IHandler

Specified by:

getTraverser in interface MCCollectionTypesHandler

Specified by:

getTraverser in class AbstractSynthesizeFromType

endVisit

public void endVisit(ASTMCListType t)

Deprecated.

We use mainly endVisit, because the result is synthesized along the tree, when walking upwards

Specified by:

endVisit in interface MCCollectionTypesVisitor2

endVisit

public void endVisit(ASTMCSetType t)

Deprecated.

Specified by:

endVisit in interface MCCollectionTypesVisitor2

endVisit

public void endVisit(ASTMCOptionalType t)

Deprecated.

Specified by:

endVisit in interface MCCollectionTypesVisitor2

synthesizeTypeWithOneArgument

public void synthesizeTypeWithOneArgument(ASTMCType type,
 String name)

Deprecated.

traverse

public void traverse(ASTMCMapType node)

Deprecated.

Map has two arguments: to retrieve them properly, the traverse method is adapted (looking deeper into the visitor), instead of the endVisit method:

Specified by:

traverse in interface MCCollectionTypesHandler