| de.uka.ilkd.key.java.expression.Assignment de.uka.ilkd.key.java.expression.operator.UnsignedShiftRightAssignment
UnsignedShiftRightAssignment | public class UnsignedShiftRightAssignment extends Assignment (Code) | | Unsigned shift right assignment.
|
UnsignedShiftRightAssignment | public UnsignedShiftRightAssignment()(Code) | | Unsigned shift right assignment.
|
UnsignedShiftRightAssignment | public UnsignedShiftRightAssignment(Expression lhs, Expression rhs)(Code) | | Unsigned shift right assignment.
Parameters: lhs - an expression. Parameters: rhs - an expression. |
UnsignedShiftRightAssignment | public UnsignedShiftRightAssignment(ExtList children)(Code) | | Constructor for the transformation of COMPOST ASTs to KeY.
The first occurrence of an Expression in the given list is taken as
the left hand side
of the expression, the second occurrence is taken as the right hand
side of the expression.
Parameters: children - the children of this AST element as KeY classes. |
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 |
|
|