Package de.monticore.types.check

Class AbstractDeriveFromExpression

java.lang.Object

de.monticore.types.check.AbstractDeriveFromExpression

Direct Known Subclasses:

DeriveSymTypeOfAssignmentExpressions, DeriveSymTypeOfBitExpressions, DeriveSymTypeOfBSCommonExpressions, DeriveSymTypeOfExpression, DeriveSymTypeOfJavaClassExpressions, DeriveSymTypeOfLambdaExpressions, DeriveSymTypeOfUglyExpressions

@Deprecated
public abstract class AbstractDeriveFromExpression
extends Object

Deprecated.

part of typecheck1, use TypeCheck3 instead.

Field Summary

Fields

Modifier and Type	Field	Description
protected static final String	ERROR_MSG	Deprecated.
protected TypeCheckResult	typeCheckResult	Deprecated.

Constructor Summary

Constructors

Constructor	Description
AbstractDeriveFromExpression()	Deprecated.

Method Summary

Modifier and Type	Method	Description
protected SymTypeExpression	acceptThisAndReturnSymTypeExpression(ASTExpression expression)	Deprecated. Helper method to calculate the SymTypeExpression of a subexpression in a traverse method
protected SymTypeExpression	acceptThisAndReturnSymTypeExpression(ASTLiteral literal)	Deprecated. Helper method to calculate the SymTypeExpression of a subliteral in a traverse method
protected List<SymTypeExpression>	calculateInnerTypes(ASTExpression... expressions)	Deprecated.
protected boolean	checkNotObscure(List<SymTypeExpression> typesOfInnerExpressions)	Deprecated.
IBasicSymbolsScope	getScope(IExpressionsBasisScope expressionsBasisScope)	Deprecated.
abstract ExpressionsBasisTraverser	getTraverser()	Deprecated.
TypeCheckResult	getTypeCheckResult()	Deprecated.
boolean	isIntegralType(SymTypeExpression type)	Deprecated. test if the expression is of integral type (long, int, char, short, byte)
boolean	isNumericType(SymTypeExpression type)	Deprecated. test if the expression is of numeric type (double, float, long, int, char, short, byte)
protected void	logError(String errorCode, de.se_rwth.commons.SourcePosition start)	Deprecated.
void	setTypeCheckResult(TypeCheckResult typeCheckResult)	Deprecated.
protected void	storeResultOrLogError(SymTypeExpression result, ASTExpression expression, String errorCode)	Deprecated. Helper method to store the calculated result or log an error if it is not present

Methods inherited from class java.lang.Object

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

Field Details

typeCheckResult

protected TypeCheckResult typeCheckResult

Deprecated.

ERROR_MSG

protected static final String ERROR_MSG

Deprecated.

See Also:

• Constant Field Values

Constructor Details

AbstractDeriveFromExpression

public AbstractDeriveFromExpression()

Deprecated.

Method Details

getTraverser

public abstract ExpressionsBasisTraverser getTraverser()

Deprecated.

getScope

public IBasicSymbolsScope getScope(IExpressionsBasisScope expressionsBasisScope)

Deprecated.

setTypeCheckResult

public void setTypeCheckResult(TypeCheckResult typeCheckResult)

Deprecated.

getTypeCheckResult

public TypeCheckResult getTypeCheckResult()

Deprecated.

logError

protected void logError(String errorCode,
 de.se_rwth.commons.SourcePosition start)

Deprecated.

storeResultOrLogError

protected void storeResultOrLogError(SymTypeExpression result,
 ASTExpression expression,
 String errorCode)

Deprecated.

Helper method to store the calculated result or log an error if it is not present

Parameters:

result - the calculated result

expression - the expression the SymTypeExpressions is calculated for

errorCode - the code which is logged in case of an error

acceptThisAndReturnSymTypeExpression

protected SymTypeExpression acceptThisAndReturnSymTypeExpression(ASTExpression expression)

Deprecated.

Helper method to calculate the SymTypeExpression of a subexpression in a traverse method

Parameters:

expression - the expression the SymTypeExpressions is calculated for

Returns:

the SymTypeExpression of the expression

acceptThisAndReturnSymTypeExpression

protected SymTypeExpression acceptThisAndReturnSymTypeExpression(ASTLiteral literal)

Deprecated.

Helper method to calculate the SymTypeExpression of a subliteral in a traverse method

Parameters:

literal - the literal the SymTypeExpressions is calculated for

Returns:

the SymTypeExpression of the literal

isNumericType

public boolean isNumericType(SymTypeExpression type)

Deprecated.

test if the expression is of numeric type (double, float, long, int, char, short, byte)

isIntegralType

public boolean isIntegralType(SymTypeExpression type)

Deprecated.

test if the expression is of integral type (long, int, char, short, byte)

calculateInnerTypes

protected List<SymTypeExpression> calculateInnerTypes(ASTExpression... expressions)

Deprecated.

checkNotObscure

protected boolean checkNotObscure(List<SymTypeExpression> typesOfInnerExpressions)

Deprecated.