Package de.monticore.types.check

Class DeriveSymTypeOfLambdaExpressions

java.lang.Object

de.monticore.types.check.AbstractDeriveFromExpression

de.monticore.types.check.DeriveSymTypeOfLambdaExpressions

All Implemented Interfaces:

LambdaExpressionsHandler, LambdaExpressionsVisitor2, de.monticore.visitor.IHandler, de.monticore.visitor.IVisitor

@Deprecated
public class DeriveSymTypeOfLambdaExpressions
extends AbstractDeriveFromExpression
implements LambdaExpressionsVisitor2, LambdaExpressionsHandler

Deprecated.

part of typecheck1, use TypeCheck3 instead.

This Visitor can calculate a SymTypeExpression (type) for the expressions in LambdaExpressions It can be combined with other expressions in your language by creating a DelegatorVisitor

Field Summary

Fields

Modifier and Type	Field	Description
protected AbstractSynthesize	synthesize	Deprecated.
protected LambdaExpressionsTraverser	traverser	Deprecated.

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

ERROR_MSG, typeCheckResult

Constructor Summary

Constructors

Constructor	Description
DeriveSymTypeOfLambdaExpressions()	Deprecated.

Method Summary

Modifier and Type	Method	Description
SymTypeExpression	calculateTypeOfLambdaParameter(ASTLambdaParameter parameter)	Deprecated.
ISynthesize	getSynthesize()	Deprecated.
LambdaExpressionsTraverser	getTraverser()	Deprecated.
void	setSynthesize(AbstractSynthesize synthesize)	Deprecated.
void	setTraverser(LambdaExpressionsTraverser traverser)	Deprecated.
void	traverse(ASTLambdaExpression exp)	Deprecated.
void	traverse(ASTLambdaExpressionBody node)	Deprecated.

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

acceptThisAndReturnSymTypeExpression, acceptThisAndReturnSymTypeExpression, calculateInnerTypes, checkNotObscure, getScope, getTypeCheckResult, isIntegralType, isNumericType, logError, setTypeCheckResult, storeResultOrLogError

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.expressions.lambdaexpressions._visitor.LambdaExpressionsHandler

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

Methods inherited from interface de.monticore.expressions.lambdaexpressions._visitor.LambdaExpressionsVisitor2

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

Field Details

traverser

protected LambdaExpressionsTraverser traverser

Deprecated.

synthesize

protected AbstractSynthesize synthesize

Deprecated.

Constructor Details

DeriveSymTypeOfLambdaExpressions

public DeriveSymTypeOfLambdaExpressions()

Deprecated.

Method Details

setTraverser

public void setTraverser(LambdaExpressionsTraverser traverser)

Deprecated.

Specified by:

setTraverser in interface LambdaExpressionsHandler

getTraverser

public LambdaExpressionsTraverser getTraverser()

Deprecated.

Specified by:

getTraverser in interface de.monticore.visitor.IHandler

Specified by:

getTraverser in interface LambdaExpressionsHandler

Specified by:

getTraverser in class AbstractDeriveFromExpression

getSynthesize

public ISynthesize getSynthesize()

Deprecated.

setSynthesize

public void setSynthesize(AbstractSynthesize synthesize)

Deprecated.

traverse

public void traverse(ASTLambdaExpression exp)

Deprecated.

Specified by:

traverse in interface LambdaExpressionsHandler

traverse

public void traverse(ASTLambdaExpressionBody node)

Deprecated.

Specified by:

traverse in interface LambdaExpressionsHandler

calculateTypeOfLambdaParameter

public SymTypeExpression calculateTypeOfLambdaParameter(ASTLambdaParameter parameter)

Deprecated.