| de.uka.ilkd.key.java.expression.Operator de.uka.ilkd.key.java.expression.operator.Positive
Positive | public Positive(Expression expr)(Code) | | Positive.
Parameters: expr - the Expression |
Positive | public Positive(ExtList children)(Code) | | Positive.
Parameters: children - an ExtList with all children of this node |
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. |
isLeftAssociative | public boolean isLeftAssociative()(Code) | | Checks if this operator is left or right associative. Ordinary
unary operators are right associative.
true , if the operator is left associative,false otherwise. |
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 |
|
|