| de.uka.ilkd.key.java.expression.operator.BinaryOperator de.uka.ilkd.key.java.expression.operator.Times
Times | public Times(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. |
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 |
|
|