| de.uka.ilkd.key.java.expression.Assignment de.uka.ilkd.key.java.expression.operator.ModuloAssignment
ModuloAssignment | public class ModuloAssignment extends Assignment (Code) | | Modulo assignment.
|
ModuloAssignment | public ModuloAssignment(ExtList children)(Code) | | Modulo assignment.
Parameters: children - an ExtList with all children of this nodethe first children in list will be the one on the leftside, the second the one on the right side. |
getArity | public int getArity()(Code) | | Get arity.
the int value. |
getNotation | public int getNotation()(Code) | | Get notation.
the int value. |
getPrecedence | public int getPrecedence()(Code) | | Get precedence.
the int value. |
visit | public void visit(Visitor v)(Code) | | calls the corresponding method of a visitor in order to
perform some action/transformation on this element
Parameters: v - the Visitor |
|
|