| de.uka.ilkd.key.java.JavaNonTerminalProgramElement
 de.uka.ilkd.key.java.declaration.Throws
| Field Summary | |
| final protected ArrayOfTypeReference | exceptions
Exceptions. |
| exceptions | | final protected ArrayOfTypeReference exceptions(Code) | | Exceptions.
|
| Throws | | public Throws()(Code) | | Throws.
|
| Throws | | public Throws(TypeReference exception)(Code) | | Throws.
Parameters:
exception - a type reference. |
| Throws | | public Throws(TypeReference[] list)(Code) | | Throws.
Parameters:
list - a type reference array. |
| Throws | | public Throws(ExtList children)(Code) | | Constructor for the transformation of COMPOST ASTs to KeY.
Parameters:
children - the children of this AST element as KeY classes.May contain:several of TypeReference (as references to thrown exceptions), Comments |
| 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 |
| getExceptions | | public ArrayOfTypeReference getExceptions()(Code) | | Get exceptions.
the type reference mutable list. |
| getTypeReferenceCount | | public int getTypeReferenceCount()(Code) | | Get the number of type references in this container.
the number of type references. |
| 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 |
|
|