Package de.monticore.types.check

Class FullSynthesizeFromMCFunctionTypes

java.lang.Object

de.monticore.types.check.AbstractSynthesize

de.monticore.types.check.FullSynthesizeFromMCFunctionTypes

All Implemented Interfaces:

ISynthesize

@Deprecated
public class FullSynthesizeFromMCFunctionTypes
extends AbstractSynthesize

Deprecated.

part of typecheck1, use TypeCheck3 instead.

Field Summary

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

traverser, typeCheckResult

Constructor Summary

Constructors

Constructor	Description
FullSynthesizeFromMCFunctionTypes()	Deprecated.
FullSynthesizeFromMCFunctionTypes(MCFunctionTypesTraverser traverser)	Deprecated.

Method Summary

Modifier and Type	Method	Description
void	init(MCFunctionTypesTraverser traverser)	Deprecated.

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

getTraverser, getTypeCheckResult, synthesizeType, synthesizeType, synthesizeType

Methods inherited from class java.lang.Object

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

Constructor Details

FullSynthesizeFromMCFunctionTypes

public FullSynthesizeFromMCFunctionTypes()

Deprecated.

FullSynthesizeFromMCFunctionTypes

public FullSynthesizeFromMCFunctionTypes(MCFunctionTypesTraverser traverser)

Deprecated.

Method Details

init

public void init(MCFunctionTypesTraverser traverser)

Deprecated.