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
-
ξ
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef β Any
-
ξ
final
def
##(): Int
- Definition Classes
- AnyRef β Any
-
ξ
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef β Any
-
ξ
def
andThen[A](g: (Node) β A): (Node) β A
- Definition Classes
- Function1
- Annotations
- @unspecialized()
-
ξ
def
apply(n: Node): Node
- Definition Classes
- BasicTransformer β Function1
-
ξ
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
ξ
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @native() @throws( ... )
-
ξ
def
compose[A](g: (A) β Node): (A) β Node
- Definition Classes
- Function1
- Annotations
- @unspecialized()
-
ξ
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
ξ
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef β Any
-
ξ
def
finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
ξ
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef β Any
- Annotations
- @native()
-
ξ
def
hashCode(): Int
- Definition Classes
- AnyRef β Any
- Annotations
- @native()
-
ξ
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
ξ
val
name: String
a name for this rewrite rule
-
ξ
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
ξ
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
ξ
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
ξ
final
def
synchronized[T0](arg0: β T0): T0
- Definition Classes
- AnyRef
-
ξ
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
-
ξ
def
unchanged(n: Node, ns: Seq[Node]): Boolean
- Attributes
- protected
- Definition Classes
- BasicTransformer
-
ξ
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
ξ
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
ξ
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @throws( ... )