| java.lang.Object de.uka.ilkd.key.java.visitor.JavaASTWalker de.uka.ilkd.key.java.visitor.ProgramSVCollector
ProgramSVCollector | public class ProgramSVCollector extends JavaASTWalker (Code) | | This visitor is used to collect all appearing SchemaVariables in a
java program
|
Constructor Summary | |
public | ProgramSVCollector(ProgramElement root, ListOfSchemaVariable vars) | public | ProgramSVCollector(ProgramElement root, ListOfSchemaVariable vars, SVInstantiations svInst) create the ProgramSVCollector
Parameters: root - the ProgramElement where to begin Parameters: vars - the ListOfSchemaVariable where to add the new foundones Parameters: svInst - the SVInstantiations previously found in order to determinethe needed labels for the UnwindLoop construct. |
ProgramSVCollector | public ProgramSVCollector(ProgramElement root, ListOfSchemaVariable vars)(Code) | | create the ProgramSVCollector
Parameters: root - the ProgramElement where to begin Parameters: vars - the ListOfSchemaVariable where to add the new foundones |
ProgramSVCollector | public ProgramSVCollector(ProgramElement root, ListOfSchemaVariable vars, SVInstantiations svInst)(Code) | | create the ProgramSVCollector
Parameters: root - the ProgramElement where to begin Parameters: vars - the ListOfSchemaVariable where to add the new foundones Parameters: svInst - the SVInstantiations previously found in order to determinethe needed labels for the UnwindLoop construct. |
doAction | protected void doAction(ProgramElement node)(Code) | | the action that is performed just before leaving the node the
last time
|
getSchemaVariables | public ListOfSchemaVariable getSchemaVariables()(Code) | | |
performActionOnAnnotationArray | protected void performActionOnAnnotationArray(Annotation[] a)(Code) | | |
start | public void start()(Code) | | starts the walker
|
|
|