Package de.monticore.types.check

Class DeriveSymTypeOfExpression

java.lang.Object

de.monticore.types.check.AbstractDeriveFromExpression

de.monticore.types.check.DeriveSymTypeOfExpression

All Implemented Interfaces:

ExpressionsBasisHandler, ExpressionsBasisVisitor2, de.monticore.visitor.IHandler, de.monticore.visitor.IVisitor

@Deprecated
public class DeriveSymTypeOfExpression
extends AbstractDeriveFromExpression
implements ExpressionsBasisVisitor2, ExpressionsBasisHandler

Deprecated.

part of typecheck1, use TypeCheck3 instead.

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

Field Summary

Fields

Modifier and Type	Field	Description
protected ExpressionsBasisTraverser	traverser	Deprecated.

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

ERROR_MSG, typeCheckResult

Constructor Summary

Constructors

Constructor	Description
DeriveSymTypeOfExpression()	Deprecated.

Method Summary

Modifier and Type	Method	Description
protected Optional<SymTypeExpression>	calculateNameExpression(ASTNameExpression expr)	Deprecated.
IBasicSymbolsScope	getScope(IExpressionsBasisScope expressionsBasisScope)	Deprecated.
ExpressionsBasisTraverser	getTraverser()	Deprecated.
void	setTraverser(ExpressionsBasisTraverser traverser)	Deprecated.
void	traverse(ASTNameExpression expr)	Deprecated.

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

acceptThisAndReturnSymTypeExpression, acceptThisAndReturnSymTypeExpression, calculateInnerTypes, checkNotObscure, 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.expressions.expressionsbasis._visitor.ExpressionsBasisHandler

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

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

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

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

Field Details

traverser

protected ExpressionsBasisTraverser traverser

Deprecated.

Constructor Details

DeriveSymTypeOfExpression

public DeriveSymTypeOfExpression()

Deprecated.

Method Details

getScope

public IBasicSymbolsScope getScope(IExpressionsBasisScope expressionsBasisScope)

Deprecated.

Overrides:

getScope in class AbstractDeriveFromExpression

getTraverser

public ExpressionsBasisTraverser getTraverser()

Deprecated.

Specified by:

getTraverser in interface ExpressionsBasisHandler

Specified by:

getTraverser in interface de.monticore.visitor.IHandler

Specified by:

getTraverser in class AbstractDeriveFromExpression

setTraverser

public void setTraverser(ExpressionsBasisTraverser traverser)

Deprecated.

Specified by:

setTraverser in interface ExpressionsBasisHandler

traverse

public void traverse(ASTNameExpression expr)

Deprecated.

Specified by:

traverse in interface ExpressionsBasisHandler

calculateNameExpression

protected Optional<SymTypeExpression> calculateNameExpression(ASTNameExpression expr)

Deprecated.