blob: 27bb116d152559c32fc43ca9438630c92cd17815 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
|
#include "traverser.h"
#include "visitor.h"
#include "node.h"
#include "state.h"
void Traverser::execute()
{
State state(NULL);
traverse(this->root, state);
}
void Traverser::traverse(const AbstractNode &node, const State &state)
{
// FIXME: Handle abort
State newstate = state;
newstate.setNumChildren(node.getChildren().size());
if (traversaltype == PREFIX || traversaltype == PRE_AND_POSTFIX) {
newstate.setPrefix(true);
newstate.setParent(state.parent());
node.accept(newstate, this->visitor);
}
newstate.setParent(&node);
const std::list<AbstractNode*> &children = node.getChildren();
for (std::list<AbstractNode*>::const_iterator iter = children.begin();
iter != children.end();
iter++) {
traverse(**iter, newstate);
}
if (traversaltype == POSTFIX || traversaltype == PRE_AND_POSTFIX) {
newstate.setParent(state.parent());
newstate.setPrefix(false);
newstate.setPostfix(true);
node.accept(newstate, this->visitor);
}
}
|
