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.
- Version
1.0
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- RewriteRule
- BasicTransformer
- Function1
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Instance Constructors
- new RewriteRule()
Value Members
-
def
andThen[A](g: (Node) ⇒ A): (Node) ⇒ A
- Definition Classes
- Function1
- Annotations
- @unspecialized()
-
def
apply(n: Node): Node
- Definition Classes
- BasicTransformer → Function1
-
def
compose[A](g: (A) ⇒ Node): (A) ⇒ Node
- Definition Classes
- Function1
- Annotations
- @unspecialized()
-
val
name: String
a name for this rewrite rule
-
def
toString(): String
- Definition Classes
- Function1 → AnyRef → Any
-
def
transform(n: Node): Seq[Node]
- Definition Classes
- RewriteRule → BasicTransformer
-
def
transform(ns: Seq[Node]): Seq[Node]
Call transform(Node) to each node in ns, yield ns if nothing changes, otherwise a new sequence of concatenated results.
Call transform(Node) to each node in ns, yield ns if nothing changes, otherwise a new sequence of concatenated results.
- Definition Classes
- RewriteRule → BasicTransformer
-
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.
- Definition Classes
- BasicTransformer