public class ProgramSVCollector extends JavaASTWalker
Constructor and Description |
---|
ProgramSVCollector(ProgramElement root,
ImmutableList<SchemaVariable> vars)
create the ProgramSVCollector
|
ProgramSVCollector(ProgramElement root,
ImmutableList<SchemaVariable> vars,
SVInstantiations svInst)
create the ProgramSVCollector
|
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<SchemaVariable> |
getSchemaVariables() |
void |
start()
starts the walker
|
depth, root, walk
public ProgramSVCollector(ProgramElement root, ImmutableList<SchemaVariable> vars)
root
- the ProgramElement where to beginvars
- the IListpublic ProgramSVCollector(ProgramElement root, ImmutableList<SchemaVariable> vars, SVInstantiations svInst)
root
- the ProgramElement where to beginvars
- the IListsvInst
- the SVInstantiations previously found in order to determine
the needed labels for the UnwindLoop construct.public void start()
start
in class JavaASTWalker
public ImmutableList<SchemaVariable> getSchemaVariables()
protected void doAction(ProgramElement node)
doAction
in class JavaASTWalker
ProgramTransformerWithSV
Copyright © 2003-2019 The KeY-Project.