| java.lang.Object
 de.uka.ilkd.key.java.JavaSourceElement
de.uka.ilkd.key.java.JavaProgramElement
de.uka.ilkd.key.java.JavaNonTerminalProgramElement
de.uka.ilkd.key.java.expression.Operator
All known Subclasses: de.uka.ilkd.key.java.expression.operator.LogicalNot, de.uka.ilkd.key.java.expression.operator.BinaryNot, de.uka.ilkd.key.java.expression.Assignment, de.uka.ilkd.key.java.expression.operator.Conditional, de.uka.ilkd.key.java.expression.operator.LogicalOr, de.uka.ilkd.key.java.expression.operator.BinaryOperator, de.uka.ilkd.key.java.expression.operator.ComparativeOperator, de.uka.ilkd.key.java.expression.operator.Positive, de.uka.ilkd.key.java.expression.operator.UnsignedShiftRight, de.uka.ilkd.key.java.expression.operator.Negative, de.uka.ilkd.key.java.expression.ParenthesizedExpression, de.uka.ilkd.key.java.expression.operator.ShiftRight, de.uka.ilkd.key.java.expression.operator.TypeOperator, de.uka.ilkd.key.java.expression.operator.LogicalAnd, de.uka.ilkd.key.java.expression.operator.ShiftLeft,
| Field Summary | |
| final public static int | INFIX
| | final public static int | POSTFIX
| | final public static int | PREFIX
Relative positioning of the operator. | | final protected ArrayOfExpression | children
Children. |
| INFIX | | final public static int INFIX(Code) | | |
| POSTFIX | | final public static int POSTFIX(Code) | | |
| PREFIX | | final public static int PREFIX(Code) | | Relative positioning of the operator.
|
| children | | final protected ArrayOfExpression children(Code) | | Children.
|
| Operator | | public Operator()(Code) | | |
| Operator | | public Operator(Expression lhs, Expression rhs)(Code) | | Operator.
Parameters:
lhs - an expression.
Parameters:
rhs - an expression. |
| Operator | | public Operator(ExtList children)(Code) | | Constructor for the transformation of COMPOST ASTs to KeY.
Parameters:
children - the children of this AST element as KeY classes.In this case the order of the children is IMPORTANT. May contain:2 of Expression (the first Expression as left handside, the second as right hand side), Comments |
| Operator | | public Operator(Expression unaryChild)(Code) | | Operator.
Parameters:
unaryChild - an expression. |
| Operator | | public Operator(Expression[] arguments)(Code) | | Operator.
Parameters:
arguments - an array of expression. |
| getArguments | | public ArrayOfExpression getArguments()(Code) | | return arguments
|
| getArity | | abstract public int getArity()(Code) | | getArity() == getASTchildren().size()
|
| getChildAt | | public ProgramElement getChildAt(int index)(Code) | | Returns the child at the specified index in this node's "virtual"
child array
Parameters:
index - an index into this node's "virtual" child array the program element at the given position
exception:
ArrayIndexOutOfBoundsException - if index is outof bounds |
| getChildCount | | public int getChildCount()(Code) | | Returns the number of children of this node.
an int giving the number of children of this node |
| getExpressionCount | | public int getExpressionCount()(Code) | | Get the number of expressions in this container.
the number of expressions. |
| getNotation | | abstract public int getNotation()(Code) | | INFIX, PREFIX, or POSTFIX. |
| getPrecedence | | abstract public int getPrecedence()(Code) | | 0 is the "highest" precedence (obtained by parantheses),
13 the "lowest".
|
| isLeftAssociative | | public boolean isLeftAssociative()(Code) | | Checks if this operator is left or right associative. The associativity
defines the order in which the arguments are evaluated (left-to-right
or right-to-left). The default is left associative. Unary operators,
assignments and conditionals are right associative.
true, if the operator is left associative,false otherwise. |
| isToBeParenthesized | | public boolean isToBeParenthesized()(Code) | | |
| precedes | | public static boolean precedes(Operator a, Operator b)(Code) | | true, if a has a higher priority (a lower precendence value)than b. |
|
|