Generic Term Traversal
Stratego -- Strategies for Program Transformation
A
generic term traversal is a traversal strategy that is parameterized with the transformation or
transformations that should be applied when visiting subterms.
The generic term traversal strategies defined in the
Stratego Standard Library? can be divided into two
main categories:
- One pass traversals? do one (possibly partial) traversal over a term
- Fixpoint traversals? keep traversing a term until no more applications of the specified strategy can be found
Generic term traversal operators support the definition of
generic term traversal strategies such as
topdown
and
bottomup
.