Skip to content

Instantly share code, notes, and snippets.

@akimichi

akimichi/gist:4106260

Forked from jonifreeman/gist:3667222
Created November 18, 2012 17:06
Show Gist options
  • Save akimichi/4106260 to your computer and use it in GitHub Desktop.
Save akimichi/4106260 to your computer and use it in GitHub Desktop.
Download ZIP
Kiama rewrite
Raw
gistfile1.scala
scala> import org.kiama.rewriting.Rewriter._
import org.kiama.rewriting.Rewriter._
scala> trait Expr
defined trait Expr
scala> case class Constant(x: Int) extends Expr
defined class Constant
scala> case class Add(e1: Expr, e2: Expr) extends Expr
defined class Add
scala> val e = Add(Constant(1), Constant(2))
e: Add = Add(Constant(1),Constant(2))
scala> val rewritePlus5 = everywheretd (rule { case Constant(x) => Constant(x+5) })
rewritePlus5: org.kiama.rewriting.Rewriter.Strategy = <function1>
scala> rewrite (rewritePlus5) (e)
res0: Add = Add(Constant(6),Constant(7))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment