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.