rewriting

Type Members

1. trait CallbackRewriter extends Rewriter

   Strategy-based term rewriting with callbacks.

2. trait Cloner extends AnyRef

   Implementation of cloning operations.

3. trait MemoRewriter extends Rewriter

   Strategy-based term rewriting where all strategy results are memoised by identity on the subject term.

4. class NominalRewriter extends Rewriter

   An extension of strategy-based term rewriting with special support for nominal rewriting along the lines of FreshML and the FreshLib library for Haskell.

5. class PlusStrategy extends Strategy

   Helper class to contain commonality of choice in non-deterministic choice operator and then-else part of a conditional choice.

6. trait PositionedRewriter extends PositionStore with CallbackRewriter

   Strategy-based term rewriting that copies positions to rewritten terms.

7. trait Rewritable extends AnyRef

   Types that implement this interface can be rewritten using the methods of Kiama's Rewriter library.

8. trait Rewriter extends RewriterCore

   Strategy-based term rewriting in the style of Stratego (http://strategoxt.

9. trait RewriterCore extends AnyRef

   Core implementation of strategy-based rewriting.

10. abstract class Strategy extends (Any) ⇒ Option[Any]

    Any-rewriting strategies.