Package de.monticore.types.check

Class SynthesizeSymTypeFromMCFunctionTypes

java.lang.Object

de.monticore.types.check.AbstractSynthesizeFromType

de.monticore.types.check.SynthesizeSymTypeFromMCFunctionTypes

All Implemented Interfaces:

MCFunctionTypesHandler, MCFunctionTypesVisitor2, de.monticore.visitor.IHandler, de.monticore.visitor.IVisitor

@Deprecated
public class SynthesizeSymTypeFromMCFunctionTypes
extends AbstractSynthesizeFromType
implements MCFunctionTypesVisitor2, MCFunctionTypesHandler

Deprecated.

part of typecheck1, use TypeCheck3 instead.

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

Field Summary

Fields

Modifier and Type	Field	Description
protected MCFunctionTypesTraverser	traverser	Deprecated.

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

typeCheckResult

Constructor Summary

Constructors

Constructor	Description
SynthesizeSymTypeFromMCFunctionTypes()	Deprecated.

Method Summary

Modifier and Type	Method	Description
MCFunctionTypesTraverser	getTraverser()	Deprecated.
void	handle(ASTMCFunctionType functionType)	Deprecated.
void	handle(ASTMCUnaryFunctionType functionType)	Deprecated.
void	setTraverser(MCFunctionTypesTraverser traverser)	Deprecated.

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.mcfunctiontypes._visitor.MCFunctionTypesHandler

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

Methods inherited from interface de.monticore.types.mcfunctiontypes._visitor.MCFunctionTypesVisitor2

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

Field Details

traverser

protected MCFunctionTypesTraverser traverser

Deprecated.

Constructor Details

SynthesizeSymTypeFromMCFunctionTypes

public SynthesizeSymTypeFromMCFunctionTypes()

Deprecated.

Method Details

getTraverser

public MCFunctionTypesTraverser getTraverser()

Deprecated.

Specified by:

getTraverser in interface de.monticore.visitor.IHandler

Specified by:

getTraverser in interface MCFunctionTypesHandler

Specified by:

getTraverser in class AbstractSynthesizeFromType

setTraverser

public void setTraverser(MCFunctionTypesTraverser traverser)

Deprecated.

Specified by:

setTraverser in interface MCFunctionTypesHandler

handle

public void handle(ASTMCFunctionType functionType)

Deprecated.

Specified by:

handle in interface MCFunctionTypesHandler

handle

public void handle(ASTMCUnaryFunctionType functionType)

Deprecated.

Specified by:

handle in interface MCFunctionTypesHandler