Package de.monticore.types.check

Class DeriveSymTypeOfAssignmentExpressions

java.lang.Object

de.monticore.types.check.AbstractDeriveFromExpression

de.monticore.types.check.DeriveSymTypeOfAssignmentExpressions

All Implemented Interfaces:

AssignmentExpressionsHandler, AssignmentExpressionsVisitor2, de.monticore.visitor.IHandler, de.monticore.visitor.IVisitor

@Deprecated
public class DeriveSymTypeOfAssignmentExpressions
extends AbstractDeriveFromExpression
implements AssignmentExpressionsVisitor2, AssignmentExpressionsHandler

Deprecated.

part of typecheck1, use TypeCheck3 instead.

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

Field Summary

Fields

Modifier and Type	Field	Description
protected AssignmentExpressionsTraverser	traverser	Deprecated.

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

ERROR_MSG, typeCheckResult

Constructor Summary

Constructors

Constructor	Description
DeriveSymTypeOfAssignmentExpressions()	Deprecated.

Method Summary

Modifier and Type	Method	Description
protected SymTypeExpression	addAssignment(SymTypeExpression left, SymTypeExpression right, de.se_rwth.commons.SourcePosition pos)	Deprecated.
protected SymTypeExpression	affix(ASTExpression expr, java.lang.String op, de.se_rwth.commons.SourcePosition pos)	Deprecated.
protected SymTypeExpression	affix(SymTypeExpression inner, java.lang.String op, de.se_rwth.commons.SourcePosition pos)	Deprecated.
protected SymTypeExpression	andAssignment(SymTypeExpression left, SymTypeExpression right, de.se_rwth.commons.SourcePosition pos)	Deprecated.
protected SymTypeExpression	arithmeticAssignment(SymTypeExpression left, SymTypeExpression right, java.lang.String op, de.se_rwth.commons.SourcePosition src)	Deprecated.
protected SymTypeExpression	assignment(SymTypeExpression left, SymTypeExpression right, int op, de.se_rwth.commons.SourcePosition pos)	Deprecated.
protected SymTypeExpression	assignment(SymTypeExpression left, SymTypeExpression right, de.se_rwth.commons.SourcePosition src)	Deprecated.
protected SymTypeExpression	binaryAssignment(SymTypeExpression left, SymTypeExpression right, java.lang.String op, de.se_rwth.commons.SourcePosition pos)	Deprecated.
protected SymTypeExpression	bitAssignment(SymTypeExpression left, SymTypeExpression right, java.lang.String op, de.se_rwth.commons.SourcePosition src)	Deprecated.
protected SymTypeExpression	derive(ASTAssignmentExpression expr)	Deprecated.
protected SymTypeExpression	divideAssignment(SymTypeExpression left, SymTypeExpression right, de.se_rwth.commons.SourcePosition pos)	Deprecated.
AssignmentExpressionsTraverser	getTraverser()	Deprecated.
protected SymTypeExpression	leftShiftAssignment(SymTypeExpression left, SymTypeExpression right, de.se_rwth.commons.SourcePosition pos)	Deprecated.
protected SymTypeExpression	moduloAssignment(SymTypeExpression left, SymTypeExpression right, de.se_rwth.commons.SourcePosition pos)	Deprecated.
protected SymTypeExpression	multiplyAssignment(SymTypeExpression left, SymTypeExpression right, de.se_rwth.commons.SourcePosition pos)	Deprecated.
protected SymTypeExpression	orAssignment(SymTypeExpression left, SymTypeExpression right, de.se_rwth.commons.SourcePosition pos)	Deprecated.
protected SymTypeExpression	rightShiftAssignment(SymTypeExpression left, SymTypeExpression right, de.se_rwth.commons.SourcePosition pos)	Deprecated.
void	setTraverser(AssignmentExpressionsTraverser traverser)	Deprecated.
protected SymTypeExpression	subtractAssignment(SymTypeExpression left, SymTypeExpression right, de.se_rwth.commons.SourcePosition pos)	Deprecated.
void	traverse(ASTAssignmentExpression expr)	Deprecated.
void	traverse(ASTDecPrefixExpression expr)	Deprecated.
void	traverse(ASTDecSuffixExpression expr)	Deprecated.
void	traverse(ASTIncPrefixExpression expr)	Deprecated.
void	traverse(ASTIncSuffixExpression expr)	Deprecated.
protected SymTypeExpression	unsignedRightShiftAssignment(SymTypeExpression left, SymTypeExpression right, de.se_rwth.commons.SourcePosition pos)	Deprecated.
protected SymTypeExpression	xorAssignment(SymTypeExpression left, SymTypeExpression right, de.se_rwth.commons.SourcePosition pos)	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.assignmentexpressions._visitor.AssignmentExpressionsHandler

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

Methods inherited from interface de.monticore.expressions.assignmentexpressions._visitor.AssignmentExpressionsVisitor2

endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, 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 Detail

traverser

protected AssignmentExpressionsTraverser traverser

Deprecated.

Constructor Detail

DeriveSymTypeOfAssignmentExpressions

public DeriveSymTypeOfAssignmentExpressions()

Deprecated.

Method Detail

setTraverser

public void setTraverser(AssignmentExpressionsTraverser traverser)

Deprecated.

Specified by:

setTraverser in interface AssignmentExpressionsHandler

getTraverser

public AssignmentExpressionsTraverser getTraverser()

Deprecated.

Specified by:

getTraverser in interface AssignmentExpressionsHandler

Specified by:

getTraverser in interface de.monticore.visitor.IHandler

Specified by:

getTraverser in class AbstractDeriveFromExpression

traverse

public void traverse(ASTIncSuffixExpression expr)

Deprecated.

Specified by:

traverse in interface AssignmentExpressionsHandler

traverse

public void traverse(ASTDecSuffixExpression expr)

Deprecated.

Specified by:

traverse in interface AssignmentExpressionsHandler

traverse

public void traverse(ASTIncPrefixExpression expr)

Deprecated.

Specified by:

traverse in interface AssignmentExpressionsHandler

traverse

public void traverse(ASTDecPrefixExpression expr)

Deprecated.

Specified by:

traverse in interface AssignmentExpressionsHandler

affix

protected SymTypeExpression affix(ASTExpression expr,
                                  java.lang.String op,
                                  de.se_rwth.commons.SourcePosition pos)

Deprecated.

affix

protected SymTypeExpression affix(SymTypeExpression inner,
                                  java.lang.String op,
                                  de.se_rwth.commons.SourcePosition pos)

Deprecated.

traverse

public void traverse(ASTAssignmentExpression expr)

Deprecated.

Specified by:

traverse in interface AssignmentExpressionsHandler

derive

protected SymTypeExpression derive(ASTAssignmentExpression expr)

Deprecated.

assignment

protected SymTypeExpression assignment(SymTypeExpression left,
                                       SymTypeExpression right,
                                       int op,
                                       de.se_rwth.commons.SourcePosition pos)

Deprecated.

addAssignment

protected SymTypeExpression addAssignment(SymTypeExpression left,
                                          SymTypeExpression right,
                                          de.se_rwth.commons.SourcePosition pos)

Deprecated.

subtractAssignment

protected SymTypeExpression subtractAssignment(SymTypeExpression left,
                                               SymTypeExpression right,
                                               de.se_rwth.commons.SourcePosition pos)

Deprecated.

multiplyAssignment

protected SymTypeExpression multiplyAssignment(SymTypeExpression left,
                                               SymTypeExpression right,
                                               de.se_rwth.commons.SourcePosition pos)

Deprecated.

moduloAssignment

protected SymTypeExpression moduloAssignment(SymTypeExpression left,
                                             SymTypeExpression right,
                                             de.se_rwth.commons.SourcePosition pos)

Deprecated.

divideAssignment

protected SymTypeExpression divideAssignment(SymTypeExpression left,
                                             SymTypeExpression right,
                                             de.se_rwth.commons.SourcePosition pos)

Deprecated.

andAssignment

protected SymTypeExpression andAssignment(SymTypeExpression left,
                                          SymTypeExpression right,
                                          de.se_rwth.commons.SourcePosition pos)

Deprecated.

orAssignment

protected SymTypeExpression orAssignment(SymTypeExpression left,
                                         SymTypeExpression right,
                                         de.se_rwth.commons.SourcePosition pos)

Deprecated.

xorAssignment

protected SymTypeExpression xorAssignment(SymTypeExpression left,
                                          SymTypeExpression right,
                                          de.se_rwth.commons.SourcePosition pos)

Deprecated.

rightShiftAssignment

protected SymTypeExpression rightShiftAssignment(SymTypeExpression left,
                                                 SymTypeExpression right,
                                                 de.se_rwth.commons.SourcePosition pos)

Deprecated.

leftShiftAssignment

protected SymTypeExpression leftShiftAssignment(SymTypeExpression left,
                                                SymTypeExpression right,
                                                de.se_rwth.commons.SourcePosition pos)

Deprecated.

unsignedRightShiftAssignment

protected SymTypeExpression unsignedRightShiftAssignment(SymTypeExpression left,
                                                         SymTypeExpression right,
                                                         de.se_rwth.commons.SourcePosition pos)

Deprecated.

binaryAssignment

protected SymTypeExpression binaryAssignment(SymTypeExpression left,
                                             SymTypeExpression right,
                                             java.lang.String op,
                                             de.se_rwth.commons.SourcePosition pos)

Deprecated.

bitAssignment

protected SymTypeExpression bitAssignment(SymTypeExpression left,
                                          SymTypeExpression right,
                                          java.lang.String op,
                                          de.se_rwth.commons.SourcePosition src)

Deprecated.

arithmeticAssignment

protected SymTypeExpression arithmeticAssignment(SymTypeExpression left,
                                                 SymTypeExpression right,
                                                 java.lang.String op,
                                                 de.se_rwth.commons.SourcePosition src)

Deprecated.

assignment

protected SymTypeExpression assignment(SymTypeExpression left,
                                       SymTypeExpression right,
                                       de.se_rwth.commons.SourcePosition src)

Deprecated.