public class ProgramSVCollector extends JavaASTWalker
Modifier and Type | Field and Description |
---|---|
private SVInstantiations |
instantiations
the instantiations needed for unwind loop constructs
|
private ImmutableList<SchemaVariable> |
result |
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
private ImmutableList<SchemaVariable> result
private SVInstantiations instantiations
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