de.uka.ilkd.key.java.visitor

Class JavaASTCollector

java.lang.Object

de.uka.ilkd.key.java.visitor.JavaASTWalker

de.uka.ilkd.key.java.visitor.JavaASTCollector

public class JavaASTCollector
extends JavaASTWalker

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 IList

Field Summary

Fields

Modifier and Type	Field and Description
private ImmutableList<ProgramElement>	resultList the list of found elements
private java.lang.Class<?>	type the type of nodes to be collected

Constructor Summary

Constructors

Constructor and Description
JavaASTCollector(ProgramElement root, java.lang.Class<?> type) create the JavaASTWalker

Method Summary

Modifier and Type	Method and Description
protected void	doAction(ProgramElement node) the action that is performed just before leaving the node the last time
ImmutableList<ProgramElement>	getNodes() returns the found nodes of the specified type

Methods inherited from class de.uka.ilkd.key.java.visitor.JavaASTWalker

depth, root, start, walk

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

type

private java.lang.Class<?> type

the type of nodes to be collected

resultList

private ImmutableList<ProgramElement> resultList

the list of found elements

Constructor Detail

JavaASTCollector

public JavaASTCollector(ProgramElement root,
                        java.lang.Class<?> type)

create the JavaASTWalker

Parameters:

root - the ProgramElement where to begin

type - the Class representing the type of nodes that have to be collected

Method Detail

doAction

protected void doAction(ProgramElement node)

the action that is performed just before leaving the node the last time

Specified by:

doAction in class JavaASTWalker

getNodes

public ImmutableList<ProgramElement> getNodes()

returns the found nodes of the specified type

Returns:

the found nodes of the specified type as list