Package de.monticore.expressions.assignmentexpressions.types3

Class AssignmentExpressionsTypeVisitor

java.lang.Object

de.monticore.types3.AbstractTypeVisitor

de.monticore.expressions.assignmentexpressions.types3.AssignmentExpressionsTypeVisitor

All Implemented Interfaces:

AssignmentExpressionsVisitor2, de.monticore.visitor.IVisitor

Direct Known Subclasses:

AssignmentExpressionsCTTIVisitor

public class AssignmentExpressionsTypeVisitor
extends AbstractTypeVisitor
implements AssignmentExpressionsVisitor2

Field Summary

Fields

Modifier and Type	Field	Description
protected static java.lang.String	ARITHMETIC_ASSIGNMENT_ERROR_CODE
protected static java.lang.String	BINARY_ASSIGNMENT_ERROR_CODE
protected static java.lang.String	BIT_ASSIGNMENT_ERROR_CODE

Fields inherited from class de.monticore.types3.AbstractTypeVisitor

ctx4Ast, LOG_NAME, tmpMap, type4Ast

Constructor Summary

Constructors

Constructor	Description
AssignmentExpressionsTypeVisitor()

Method Summary

Modifier and Type	Method	Description
protected SymTypeExpression	addAssignment(SymTypeExpression left, SymTypeExpression right, de.se_rwth.commons.SourcePosition pos)
protected SymTypeExpression	affix(SymTypeExpression inner, java.lang.String op, de.se_rwth.commons.SourcePosition pos)
protected SymTypeExpression	andAssignment(SymTypeExpression left, SymTypeExpression right, de.se_rwth.commons.SourcePosition pos)
protected SymTypeExpression	assignment(SymTypeExpression left, SymTypeExpression right, int op, de.se_rwth.commons.SourcePosition pos)
protected SymTypeExpression	assignment(SymTypeExpression left, SymTypeExpression right, de.se_rwth.commons.SourcePosition src)
protected SymTypeExpression	compoundAssignment(SymTypeExpression left, SymTypeExpression right, java.util.Optional<SymTypeExpression> interimResult, java.lang.String errorCode, java.lang.String op, de.se_rwth.commons.SourcePosition pos)	JLS 20, 15.26.2: A compound assignment expression of the form E1 op= E2 is equivalent to E1 = (T) ((E1) op (E2)), where T is the type of E1, except that E1 is evaluated only once.
protected SymTypeExpression	derive(ASTAssignmentExpression expr, SymTypeExpression left, SymTypeExpression right)	Deprecated, for removal: This API element is subject to removal in a future version.
protected SymTypeExpression	divideAssignment(SymTypeExpression left, SymTypeExpression right, de.se_rwth.commons.SourcePosition pos)
void	endVisit(ASTAssignmentExpression expr)
void	endVisit(ASTDecPrefixExpression expr)
void	endVisit(ASTDecSuffixExpression expr)
void	endVisit(ASTIncPrefixExpression expr)
void	endVisit(ASTIncSuffixExpression expr)
protected SymTypeExpression	getTypeForAssignmentOrLogError(java.lang.String errorCode, java.lang.String op, de.se_rwth.commons.SourcePosition pos, java.util.Optional<SymTypeExpression> result, SymTypeExpression left, SymTypeExpression right)
protected SymTypeExpression	leftShiftAssignment(SymTypeExpression left, SymTypeExpression right, de.se_rwth.commons.SourcePosition pos)
protected SymTypeExpression	moduloAssignment(SymTypeExpression left, SymTypeExpression right, de.se_rwth.commons.SourcePosition pos)
protected SymTypeExpression	multiplyAssignment(SymTypeExpression left, SymTypeExpression right, de.se_rwth.commons.SourcePosition pos)
protected SymTypeExpression	orAssignment(SymTypeExpression left, SymTypeExpression right, de.se_rwth.commons.SourcePosition pos)
protected SymTypeExpression	rightShiftAssignment(SymTypeExpression left, SymTypeExpression right, de.se_rwth.commons.SourcePosition pos)
void	setOperatorCalculator(TypeVisitorOperatorCalculator operatorCalculator)	Deprecated, for removal: This API element is subject to removal in a future version. is now a static delegate
protected SymTypeExpression	subtractAssignment(SymTypeExpression left, SymTypeExpression right, de.se_rwth.commons.SourcePosition pos)
protected SymTypeExpression	unsignedRightShiftAssignment(SymTypeExpression left, SymTypeExpression right, de.se_rwth.commons.SourcePosition pos)
protected SymTypeExpression	xorAssignment(SymTypeExpression left, SymTypeExpression right, de.se_rwth.commons.SourcePosition pos)

Methods inherited from class de.monticore.types3.AbstractTypeVisitor

getAsBasicSymbolsScope, getInferenceContext4Ast, getType4Ast, setContext4Ast, setType4Ast

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.AssignmentExpressionsVisitor2

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

Methods inherited from interface de.monticore.visitor.IVisitor

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

Field Detail

ARITHMETIC_ASSIGNMENT_ERROR_CODE

protected static final java.lang.String ARITHMETIC_ASSIGNMENT_ERROR_CODE

See Also:

Constant Field Values

BIT_ASSIGNMENT_ERROR_CODE

protected static final java.lang.String BIT_ASSIGNMENT_ERROR_CODE

See Also:

Constant Field Values

BINARY_ASSIGNMENT_ERROR_CODE

protected static final java.lang.String BINARY_ASSIGNMENT_ERROR_CODE

See Also:

Constant Field Values

Constructor Detail

AssignmentExpressionsTypeVisitor

public AssignmentExpressionsTypeVisitor()

Method Detail

setOperatorCalculator

@Deprecated(forRemoval=true)
public void setOperatorCalculator(TypeVisitorOperatorCalculator operatorCalculator)

Deprecated, for removal: This API element is subject to removal in a future version.

is now a static delegate

endVisit

public void endVisit(ASTIncSuffixExpression expr)

Specified by:

endVisit in interface AssignmentExpressionsVisitor2

endVisit

public void endVisit(ASTDecSuffixExpression expr)

Specified by:

endVisit in interface AssignmentExpressionsVisitor2

endVisit

public void endVisit(ASTIncPrefixExpression expr)

Specified by:

endVisit in interface AssignmentExpressionsVisitor2

endVisit

public void endVisit(ASTDecPrefixExpression expr)

Specified by:

endVisit in interface AssignmentExpressionsVisitor2

affix

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

endVisit

public void endVisit(ASTAssignmentExpression expr)

Specified by:

endVisit in interface AssignmentExpressionsVisitor2

derive

@Deprecated(forRemoval=true)
protected SymTypeExpression derive(ASTAssignmentExpression expr,
                                   SymTypeExpression left,
                                   SymTypeExpression right)

Deprecated, for removal: This API element is subject to removal in a future version.

assignment

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

addAssignment

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

subtractAssignment

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

multiplyAssignment

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

moduloAssignment

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

divideAssignment

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

andAssignment

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

orAssignment

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

xorAssignment

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

rightShiftAssignment

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

leftShiftAssignment

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

unsignedRightShiftAssignment

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

compoundAssignment

protected SymTypeExpression compoundAssignment(SymTypeExpression left,
                                               SymTypeExpression right,
                                               java.util.Optional<SymTypeExpression> interimResult,
                                               java.lang.String errorCode,
                                               java.lang.String op,
                                               de.se_rwth.commons.SourcePosition pos)

JLS 20, 15.26.2: A compound assignment expression of the form E1 op= E2 is equivalent to E1 = (T) ((E1) op (E2)), where T is the type of E1, except that E1 is evaluated only once.

Parameters:

interimResult - type of ((E1) op (E2))

assignment

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

getTypeForAssignmentOrLogError

protected SymTypeExpression getTypeForAssignmentOrLogError(java.lang.String errorCode,
                                                           java.lang.String op,
                                                           de.se_rwth.commons.SourcePosition pos,
                                                           java.util.Optional<SymTypeExpression> result,
                                                           SymTypeExpression left,
                                                           SymTypeExpression right)