RewriteRule

abstract class RewriteRule extends BasicTransformer

A RewriteRule, when applied to a term, yields either the result of rewriting the term or the term itself if the rule is not applied.

A RewriteRule, when applied to a term, yields either the result of rewriting the term or the term itself if the rule is not applied.

Authors

Burak Emir

trait Node => Node
class Object
trait Matchable
class Any

Value members

Concrete methods

override def transform(ns: Seq[Node]): Seq[Node]
Definition Classes
override def transform(n: Node): Seq[Node]
Definition Classes

Inherited methods

@unspecialized
def andThen[A](g: Node => A): Node => A
Inherited from
Function1
def apply(n: Node): Node
Inherited from
BasicTransformer
@unspecialized
def compose[A](g: A => Node): A => Node
Inherited from
Function1
override def toString(): String
Definition Classes
Function1 -> Any
Inherited from
Function1
def transform(it: Iterator[Node], nb: NodeBuffer): Seq[Node]

Call transform(Node) for each node in ns, append results to NodeBuffer.

Call transform(Node) for each node in ns, append results to NodeBuffer.

Inherited from
BasicTransformer
protected def unchanged(n: Node, ns: Seq[Node]): Boolean
Inherited from
BasicTransformer