org.kiama

rewriting

package rewriting

Visibility
  1. Public
  2. All

Type Members

  1. abstract class CallbackRewriter extends Rewriter

    Strategy-based term rewriting with callbacks.

  2. 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.

  3. class PositionalRewriter extends CallbackRewriter

    Strategy-based term rewriting for terms with Scala parsing positions.

  4. class PositionedRewriter extends CallbackRewriter

    Strategy-based term rewriting for Kiama Positioned terms.

  5. trait Rewritable extends AnyRef

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

  6. trait Rewriter extends AnyRef

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

Value Members

  1. object NominalAST extends AnyRef

    Abstract syntax constructs that are common to all nominal rewriters.

  2. object NominalRewriter extends NominalRewriter

    Strategy-based term rewriting for nominal terms.

  3. object PositionalRewriter extends PositionalRewriter

    Strategy-based term rewriting for terms with Scala positions.

  4. object PositionedRewriter extends PositionedRewriter

    Strategy-based term rewriting for Kiama Positioned terms.

  5. object Rewriter extends Rewriter

    Strategy-based term rewriting for arbitrary terms.