public abstract class Assignment extends Operator implements ExpressionStatement
Constructor and Description |
---|
Assignment() |
Assignment(Expression lhs)
Unary Assignment (e.g. +=, ++).
|
Assignment(Expression lhs,
Expression rhs)
Assignment.
|
Assignment(ExtList children)
Constructor for the transformation of COMPOST ASTs to KeY.
|
Modifier and Type | Method and Description |
---|---|
KeYJavaType |
getKeYJavaType(Services javaServ,
ExecutionContext ec)
retrieves the type of the assignment expression
|
boolean |
isLeftAssociative()
Checks if this operator is left or right associative.
|
java.lang.String |
reuseSignature(Services services,
ExecutionContext ec)
overriden from Operator
|
getArguments, getArity, getChildAt, getChildCount, getExpressionAt, getExpressionCount, getFirstElement, getFirstElementIncludingBlocks, getLastElement, getNotation, getPrecedence, isToBeParenthesized, precedes
compatibleBlockSize, computeHashCode, equals, equalsModRenaming, getArrayPos, match, matchChildren
getComments, hashCode, prettyPrint, prettyPrintMain
getEndPosition, getParentClass, getPositionInfo, getRelativePosition, getStartPosition, setParentClass, toSource, toString, toString
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
getComments, match
equalsModRenaming, getEndPosition, getFirstElement, getFirstElementIncludingBlocks, getLastElement, getPositionInfo, getRelativePosition, getStartPosition, prettyPrint, visit
public Assignment()
public Assignment(ExtList children)
children
- the children of this AST element as KeY classes.
In this case the order of the children is IMPORTANT.
May contain:
2 of Expression (the first Expression as left hand
side, the second as right hand side),
Commentspublic Assignment(Expression lhs)
lhs
- an expression.public Assignment(Expression lhs, Expression rhs)
lhs
- an expression.rhs
- an expression.public boolean isLeftAssociative()
isLeftAssociative
in class Operator
true
, if the operator is left associative,
false
otherwise.public KeYJavaType getKeYJavaType(Services javaServ, ExecutionContext ec)
getKeYJavaType
in interface Expression
getKeYJavaType
in class Operator
javaServ
- the Services offering access to the Java modelec
- the ExecutionContext in which the expression is evaluatedpublic java.lang.String reuseSignature(Services services, ExecutionContext ec)
reuseSignature
in class Operator
ec
- TODO