Package de.monticore.types.check

Class SynthesizeSymTypeFromMCSimpleGenericTypes

java.lang.Object

de.monticore.types.check.AbstractSynthesizeFromType

de.monticore.types.check.SynthesizeSymTypeFromMCSimpleGenericTypes

All Implemented Interfaces:

MCSimpleGenericTypesHandler, MCSimpleGenericTypesVisitor2, de.monticore.visitor.IHandler, de.monticore.visitor.IVisitor

Direct Known Subclasses:

SynthesizeFromMCSGT4Grammar

@Deprecated
public class SynthesizeSymTypeFromMCSimpleGenericTypes
extends AbstractSynthesizeFromType
implements MCSimpleGenericTypesVisitor2, MCSimpleGenericTypesHandler

Deprecated.

part of typecheck1, use TypeCheck3 instead.

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

Field Summary

Fields

Modifier and Type	Field	Description
protected MCSimpleGenericTypesTraverser	traverser	Deprecated.

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

typeCheckResult

Constructor Summary

Constructors

Constructor	Description
SynthesizeSymTypeFromMCSimpleGenericTypes()	Deprecated.

Method Summary

Modifier and Type	Method	Description
MCSimpleGenericTypesTraverser	getTraverser()	Deprecated.
protected SymTypeExpression	handleIfNotFound(ASTMCGenericType type, List<SymTypeExpression> arguments)	Deprecated. extension method for error handling
void	setTraverser(MCSimpleGenericTypesTraverser traverser)	Deprecated.
void	traverse(ASTMCBasicGenericType genericType)	Deprecated. We use mainly endVisit, because the result is synthesized along the tree, when walking upwards

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.mcsimplegenerictypes._visitor.MCSimpleGenericTypesHandler

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

Methods inherited from interface de.monticore.types.mcsimplegenerictypes._visitor.MCSimpleGenericTypesVisitor2

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

Field Details

traverser

protected MCSimpleGenericTypesTraverser traverser

Deprecated.

Constructor Details

SynthesizeSymTypeFromMCSimpleGenericTypes

public SynthesizeSymTypeFromMCSimpleGenericTypes()

Deprecated.

Method Details

getTraverser

public MCSimpleGenericTypesTraverser getTraverser()

Deprecated.

Specified by:

getTraverser in interface de.monticore.visitor.IHandler

Specified by:

getTraverser in interface MCSimpleGenericTypesHandler

Specified by:

getTraverser in class AbstractSynthesizeFromType

setTraverser

public void setTraverser(MCSimpleGenericTypesTraverser traverser)

Deprecated.

Specified by:

setTraverser in interface MCSimpleGenericTypesHandler

traverse

public void traverse(ASTMCBasicGenericType genericType)

Deprecated.

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

Specified by:

traverse in interface MCSimpleGenericTypesHandler

handleIfNotFound

protected SymTypeExpression handleIfNotFound(ASTMCGenericType type,
 List<SymTypeExpression> arguments)

Deprecated.

extension method for error handling