Package de.monticore.expressions.cocos

Class ExpressionValid

java.lang.Object

de.monticore.expressions.cocos.ExpressionValid

All Implemented Interfaces:

ExpressionsBasisASTExpressionCoCo, ExpressionsBasisVisitor2, de.monticore.visitor.IVisitor

@Deprecated
public class ExpressionValid
extends Object
implements ExpressionsBasisASTExpressionCoCo

Deprecated.

not compatible with target typing, thus, this needs to be replaced with multiple CoCos, which do pass the target type if available. These CoCos have to be created for each non-terminal that contains an Expression. Please refer to the TypeCheck3 documentation and specifically TypeCheck3.typeOf(ASTExpression, de.monticore.types.check.SymTypeExpression).

Field Summary

Fields

Modifier and Type	Field	Description
protected Optional<ASTExpression>	checkingNode	Deprecated.
protected TypeCalculator	typeCheck	Deprecated.

Constructor Summary

Constructors

Constructor	Description
ExpressionValid(TypeCalculator typeCheck)	Deprecated.

Method Summary

Modifier and Type	Method	Description
void	check(ASTExpression expr)	Deprecated.
void	endVisit(ASTExpression expr)	Deprecated.

Methods inherited from class java.lang.Object

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

Methods inherited from interface de.monticore.expressions.expressionsbasis._cocos.ExpressionsBasisASTExpressionCoCo

visit

Methods inherited from interface de.monticore.expressions.expressionsbasis._visitor.ExpressionsBasisVisitor2

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

Methods inherited from interface de.monticore.visitor.IVisitor

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

Field Details

checkingNode

protected Optional<ASTExpression> checkingNode

Deprecated.

typeCheck

protected TypeCalculator typeCheck

Deprecated.

Constructor Details

ExpressionValid

public ExpressionValid(TypeCalculator typeCheck)

Deprecated.

Method Details

endVisit

public void endVisit(ASTExpression expr)

Deprecated.

Specified by:

endVisit in interface ExpressionsBasisVisitor2

check

public void check(ASTExpression expr)

Deprecated.

Specified by:

check in interface ExpressionsBasisASTExpressionCoCo