Struct RewriteRule 

pub struct RewriteRule {
    pub name: String,
    pub pattern: Pattern,
    pub replacement: ReplacementFn,
    pub priority: i32,
    pub preserves_semantics: bool,
}

A graph rewrite rule.

Fields

name: String

Rule name

pattern: Pattern

Pattern to match

replacement: ReplacementFn

Replacement function

priority: i32

Rule priority (higher = applied first)

preserves_semantics: bool

Whether this rule preserves semantics

Implementations

impl RewriteRule

pub fn new(name: impl Into<String>) -> Self

Create a new rewrite rule.

pub fn with_pattern(self, pattern: Pattern) -> Self

Set the pattern to match.

pub fn with_replacement<F>(self, f: F) -> Self

where F: Fn(&Match) -> Result<NodeId, RewriteError> + 'static,

Set the replacement function.

pub fn with_priority(self, priority: i32) -> Self

Set the rule priority.

pub fn with_semantics_preservation(self, preserves: bool) -> Self

Mark whether this rule preserves semantics.