| Class Summary | |
abstract class
|
BasicTransformer
extends (Node) => Node
A class for XML transformations.
|
abstract class
|
RewriteRule
extends BasicTransformer
a RewriteRule, when applied to a term, yields either
the resulting of rewriting or the term itself it the rule
is not applied.
|
class
|
RuleTransformer
(rules : RewriteRule*) extends BasicTransformer
|