org.kiama

rewriting

package rewriting

Visibility
  1. Public
  2. All

Type Members

  1. class CallbackRewriter extends Rewriter

    Strategy-based term rewriting with callbacks.

  2. class PositionalRewriter extends CallbackRewriter

    Strategy-based term rewriting for terms with positions.

  3. trait Rewritable extends AnyRef

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

  4. class Rewriter extends AnyRef

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

Value Members

  1. object PositionalRewriter extends PositionalRewriter

    Strategy-based term rewriting for terms with positions.

  2. object Rewriter extends Rewriter

    Strategy-based term rewriting for arbitrary terms.