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.
Visitor for Derivation of SymType from MCFunctionTypes
i.e. for
types/MCFunctionTypes.mc4
-
Field Summary
FieldsFields inherited from class de.monticore.types.check.AbstractSynthesizeFromType
typeCheckResult -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionDeprecated.voidhandle(ASTMCFunctionType functionType) Deprecated.voidhandle(ASTMCUnaryFunctionType functionType) Deprecated.voidsetTraverser(MCFunctionTypesTraverser traverser) Deprecated.Methods inherited from class de.monticore.types.check.AbstractSynthesizeFromType
checkNotObscure, getResult, getScope, getTypeCheckResult, init, setTypeCheckResultMethods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitMethods inherited from interface de.monticore.visitor.IHandler
handle, handle, handle, handle, handle, traverse, traverseMethods inherited from interface de.monticore.visitor.IVisitor
endVisit, endVisit, endVisit, endVisit, visit, visit, visit, visit
-
Field Details
-
traverser
Deprecated.
-
-
Constructor Details
-
SynthesizeSymTypeFromMCFunctionTypes
public SynthesizeSymTypeFromMCFunctionTypes()Deprecated.
-
-
Method Details
-
getTraverser
Deprecated.- Specified by:
getTraverserin interfacede.monticore.visitor.IHandler- Specified by:
getTraverserin interfaceMCFunctionTypesHandler- Specified by:
getTraverserin classAbstractSynthesizeFromType
-
setTraverser
Deprecated.- Specified by:
setTraverserin interfaceMCFunctionTypesHandler
-
handle
Deprecated.- Specified by:
handlein interfaceMCFunctionTypesHandler
-
handle
Deprecated.- Specified by:
handlein interfaceMCFunctionTypesHandler
-
TypeCheck3instead.