| java.lang.Object
 de.uka.ilkd.key.java.visitor.JavaASTWalker
de.uka.ilkd.key.java.visitor.JavaASTCollector
| JavaASTCollector | | public class JavaASTCollector extends JavaASTWalker (Code) | | Walks through a java AST in depth-left-fist-order.
You can set the type of nodes you want to collect and then start the
walker. The found nodes of the given type are returned as a
ListOfJavaProgramElement
|
| JavaASTCollector | | public JavaASTCollector(ProgramElement root, Class type)(Code) | | create the JavaASTWalker
Parameters:
root - the ProgramElement where to begin
Parameters:
type - the Class representing the type of nodes that haveto be collected |
| doAction | | protected void doAction(ProgramElement node)(Code) | | the action that is performed just before leaving the node the
last time
|
| getNodes | | public ListOfProgramElement getNodes()(Code) | | returns the found nodes of the specified type
the found nodes of the specified type as list |
|
|