public class CopyAssignment extends Assignment
Constructor and Description |
---|
CopyAssignment(Expression lhs,
Expression rhs)
Constructor for the transformation of COMPOST ASTs to KeY.
|
CopyAssignment(ExtList children)
Constructor for the transformation of COMPOST ASTs to KeY.
|
Modifier and Type | Method and Description |
---|---|
int |
getArity()
Get arity.
|
int |
getNotation()
Get notation.
|
int |
getPrecedence()
Get precedence.
|
void |
prettyPrint(PrettyPrinter p)
Pretty printing the source element.
|
void |
visit(Visitor v)
calls the corresponding method of a visitor in order to
perform some action/transformation on this element
|
getKeYJavaType, isLeftAssociative, reuseSignature
getArguments, getChildAt, getChildCount, getExpressionAt, getExpressionCount, getFirstElement, getFirstElementIncludingBlocks, getLastElement, isToBeParenthesized, precedes
compatibleBlockSize, computeHashCode, equals, equalsModRenaming, getArrayPos, match, matchChildren
getComments, hashCode, 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
public CopyAssignment(ExtList children)
children
- the children of this AST element as KeY classes.public CopyAssignment(Expression lhs, Expression rhs)
lhs
- the Expression the value is assigned torhs
- the Expression the value which is assigned to lhspublic int getArity()
public int getPrecedence()
getPrecedence
in class Operator
public int getNotation()
getNotation
in class Operator
public void visit(Visitor v)
v
- the Visitorpublic void prettyPrint(PrettyPrinter p) throws java.io.IOException
JavaSourceElement
prettyPrint
in interface SourceElement
prettyPrint
in class JavaProgramElement
p
- a pretty printer.java.io.IOException
- occasionally thrown.