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.

Revision: r1.4 - 14 Jun 2003 - 13:11 - EelcoVisser
Stratego > TermAnnotation > GenericTermTraversal
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback