Package de.monticore.types.check

Class DeriveSymTypeOfUglyExpressions

java.lang.Object

de.monticore.types.check.AbstractDeriveFromExpression

de.monticore.types.check.DeriveSymTypeOfUglyExpressions

All Implemented Interfaces:

UglyExpressionsHandler, UglyExpressionsVisitor2, de.monticore.visitor.IHandler, de.monticore.visitor.IVisitor

@Deprecated
public class DeriveSymTypeOfUglyExpressions
extends AbstractDeriveFromExpression
implements UglyExpressionsVisitor2, UglyExpressionsHandler

Deprecated.

part of typecheck1, use TypeCheck3 instead.

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

Field Summary

Fields

Modifier and Type	Field	Description
protected ISynthesize	synthesize	Deprecated.
protected UglyExpressionsTraverser	traverser	Deprecated.

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

ERROR_MSG, typeCheckResult

Constructor Summary

Constructors

Constructor	Description
DeriveSymTypeOfUglyExpressions()	Deprecated.
DeriveSymTypeOfUglyExpressions(ISynthesize synthesize)	Deprecated.

Method Summary

Modifier and Type	Method	Description
protected List<SymTypeExpression>	calculateCorrectArguments(ASTArguments args)	Deprecated.
protected SymTypeExpression	calculateTypeCastExpression(ASTTypeCastExpression node, SymTypeExpression castResult, SymTypeExpression innerResult)	Deprecated.
void	deprecated_traverse(ASTMCReturnType returnType)	Deprecated.
void	deprecated_traverse(ASTMCType type)	Deprecated.
void	deprecated_traverse(ASTMCTypeArgument typeArgument)	Deprecated.
UglyExpressionsTraverser	getTraverser()	Deprecated.
void	setTraverser(UglyExpressionsTraverser traverser)	Deprecated.
protected boolean	testForCorrectArguments(List<FunctionSymbol> constructors, ASTArguments arguments)	Deprecated.
void	traverse(ASTArrayCreator creator)	Deprecated.
void	traverse(ASTClassCreator creator)	Deprecated.
void	traverse(ASTInstanceofExpression node)	Deprecated.
void	traverse(ASTTypeCastExpression 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.uglyexpressions._visitor.UglyExpressionsHandler

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

Methods inherited from interface de.monticore.expressions.uglyexpressions._visitor.UglyExpressionsVisitor2

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

Field Details

traverser

protected UglyExpressionsTraverser traverser

Deprecated.

synthesize

protected ISynthesize synthesize

Deprecated.

Constructor Details

DeriveSymTypeOfUglyExpressions

@Deprecated
public DeriveSymTypeOfUglyExpressions()

Deprecated.

DeriveSymTypeOfUglyExpressions

public DeriveSymTypeOfUglyExpressions(ISynthesize synthesize)

Deprecated.

Method Details

setTraverser

public void setTraverser(UglyExpressionsTraverser traverser)

Deprecated.

Specified by:

setTraverser in interface UglyExpressionsHandler

getTraverser

public UglyExpressionsTraverser getTraverser()

Deprecated.

Specified by:

getTraverser in interface de.monticore.visitor.IHandler

Specified by:

getTraverser in interface UglyExpressionsHandler

Specified by:

getTraverser in class AbstractDeriveFromExpression

traverse

public void traverse(ASTInstanceofExpression node)

Deprecated.

Specified by:

traverse in interface UglyExpressionsHandler

traverse

public void traverse(ASTTypeCastExpression node)

Deprecated.

Specified by:

traverse in interface UglyExpressionsHandler

calculateTypeCastExpression

protected SymTypeExpression calculateTypeCastExpression(ASTTypeCastExpression node,
 SymTypeExpression castResult,
 SymTypeExpression innerResult)

Deprecated.

traverse

public void traverse(ASTClassCreator creator)

Deprecated.

Specified by:

traverse in interface UglyExpressionsHandler

traverse

public void traverse(ASTArrayCreator creator)

Deprecated.

Specified by:

traverse in interface UglyExpressionsHandler

calculateCorrectArguments

protected List<SymTypeExpression> calculateCorrectArguments(ASTArguments args)

Deprecated.

testForCorrectArguments

protected boolean testForCorrectArguments(List<FunctionSymbol> constructors,
 ASTArguments arguments)

Deprecated.

deprecated_traverse

@Deprecated
public void deprecated_traverse(ASTMCType type)

Deprecated.

deprecated_traverse

@Deprecated
public void deprecated_traverse(ASTMCReturnType returnType)

Deprecated.

deprecated_traverse

@Deprecated
public void deprecated_traverse(ASTMCTypeArgument typeArgument)

Deprecated.