| de.uka.ilkd.key.java.expression.operator.TypeOperator
 de.uka.ilkd.key.java.expression.operator.Instanceof
| Instanceof | | public Instanceof(ExtList children)(Code) | | Instanceof.
Parameters:
children - an ExtList with all children of this nodethe first children in list will be the expression on the leftside, the second the one on the right side a type reference. |
| getArity | | public int getArity()(Code) | | Get arity.
the int value. |
| 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 |
| 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 |
|
|