Generic Term Traversal

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.