Package de.monticore.types.check

Class DeriveSymTypeOfBitExpressions

java.lang.Object

de.monticore.types.check.AbstractDeriveFromExpression

de.monticore.types.check.DeriveSymTypeOfBitExpressions

All Implemented Interfaces:

BitExpressionsHandler, BitExpressionsVisitor2, de.monticore.visitor.IHandler, de.monticore.visitor.IVisitor

@Deprecated
public class DeriveSymTypeOfBitExpressions
extends AbstractDeriveFromExpression
implements BitExpressionsVisitor2, BitExpressionsHandler

Deprecated.

part of typecheck1, use TypeCheck3 instead.

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

Field Summary

Fields

Modifier and Type	Field	Description
protected BitExpressionsTraverser	traverser	Deprecated.

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

ERROR_MSG, typeCheckResult

Constructor Summary

Constructors

Constructor	Description
DeriveSymTypeOfBitExpressions()	Deprecated.

Method Summary

Modifier and Type	Method	Description
protected SymTypeExpression	calculateTypeBinary(SymTypeExpression leftResult, SymTypeExpression rightResult, String operator, de.se_rwth.commons.SourcePosition pos)	Deprecated.
protected SymTypeExpression	calculateTypeShift(SymTypeExpression leftResult, SymTypeExpression rightResult, String op, de.se_rwth.commons.SourcePosition pos)	Deprecated.
protected SymTypeExpression	deriveBinary(ASTBinaryExpression expr, String operator)	Deprecated.
SymTypeExpression	deriveShift(ASTShiftExpression expr, String op)	Deprecated.
protected SymTypeExpression	getBinaryNumericPromotion(SymTypeExpression left, SymTypeExpression right, String op, de.se_rwth.commons.SourcePosition pos)	Deprecated. helper method to calculate the type of the BinaryExpressions
BitExpressionsTraverser	getTraverser()	Deprecated.
void	setTraverser(BitExpressionsTraverser traverser)	Deprecated.
protected SymTypeExpression	shiftCalculator(SymTypeExpression left, SymTypeExpression right, String op, de.se_rwth.commons.SourcePosition pos)	Deprecated. helper method to calculate the type of the ShiftExpressions cannot be linked with the BinaryExpressions because they are not calculated the same way
void	traverse(ASTBinaryAndExpression expr)	Deprecated.
void	traverse(ASTBinaryOrOpExpression expr)	Deprecated.
void	traverse(ASTBinaryXorExpression expr)	Deprecated.
void	traverse(ASTLeftShiftExpression expr)	Deprecated.
void	traverse(ASTLogicalRightShiftExpression expr)	Deprecated.
void	traverse(ASTRightShiftExpression expr)	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.expressions.bitexpressions._visitor.BitExpressionsHandler

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

Methods inherited from interface de.monticore.expressions.bitexpressions._visitor.BitExpressionsVisitor2

endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, visit, visit, visit, visit, 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 BitExpressionsTraverser traverser

Deprecated.

Constructor Details

DeriveSymTypeOfBitExpressions

public DeriveSymTypeOfBitExpressions()

Deprecated.

Method Details

setTraverser

public void setTraverser(BitExpressionsTraverser traverser)

Deprecated.

Specified by:

setTraverser in interface BitExpressionsHandler

getTraverser

public BitExpressionsTraverser getTraverser()

Deprecated.

Specified by:

getTraverser in interface BitExpressionsHandler

Specified by:

getTraverser in interface de.monticore.visitor.IHandler

Specified by:

getTraverser in class AbstractDeriveFromExpression

traverse

public void traverse(ASTLeftShiftExpression expr)

Deprecated.

Specified by:

traverse in interface BitExpressionsHandler

traverse

public void traverse(ASTRightShiftExpression expr)

Deprecated.

Specified by:

traverse in interface BitExpressionsHandler

traverse

public void traverse(ASTLogicalRightShiftExpression expr)

Deprecated.

Specified by:

traverse in interface BitExpressionsHandler

deriveShift

public SymTypeExpression deriveShift(ASTShiftExpression expr,
 String op)

Deprecated.

calculateTypeShift

protected SymTypeExpression calculateTypeShift(SymTypeExpression leftResult,
 SymTypeExpression rightResult,
 String op,
 de.se_rwth.commons.SourcePosition pos)

Deprecated.

shiftCalculator

protected SymTypeExpression shiftCalculator(SymTypeExpression left,
 SymTypeExpression right,
 String op,
 de.se_rwth.commons.SourcePosition pos)

Deprecated.

helper method to calculate the type of the ShiftExpressions cannot be linked with the BinaryExpressions because they are not calculated the same way

traverse

public void traverse(ASTBinaryAndExpression expr)

Deprecated.

Specified by:

traverse in interface BitExpressionsHandler

traverse

public void traverse(ASTBinaryOrOpExpression expr)

Deprecated.

Specified by:

traverse in interface BitExpressionsHandler

traverse

public void traverse(ASTBinaryXorExpression expr)

Deprecated.

Specified by:

traverse in interface BitExpressionsHandler

deriveBinary

protected SymTypeExpression deriveBinary(ASTBinaryExpression expr,
 String operator)

Deprecated.

calculateTypeBinary

protected SymTypeExpression calculateTypeBinary(SymTypeExpression leftResult,
 SymTypeExpression rightResult,
 String operator,
 de.se_rwth.commons.SourcePosition pos)

Deprecated.

getBinaryNumericPromotion

protected SymTypeExpression getBinaryNumericPromotion(SymTypeExpression left,
 SymTypeExpression right,
 String op,
 de.se_rwth.commons.SourcePosition pos)

Deprecated.

helper method to calculate the type of the BinaryExpressions