| de.uka.ilkd.key.java.JavaNonTerminalProgramElement
 de.uka.ilkd.key.java.reference.PackageReference
| PackageReference | | public PackageReference(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: a ProgramElementName (as the name of the method reference), a ReferencePrefix (as accessPath to the package), 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 |
| getName | | final public String getName()(Code) | | Get name.
the string. |
| getPackageReference | | public PackageReference getPackageReference()(Code) | | Get the package reference.
the package reference. |
| getReferencePrefix | | public ReferencePrefix getReferencePrefix()(Code) | | Get reference prefix.
the reference prefix. |
| 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 |
|
|