Rewriter Tutorial

• Introduction
• Usage
  • Pattern Options
• A Simple Example
• Specifying attributes in the pattern
• Specifying variable inputs in the pattern
• Specifying domains in the pattern
  • Matching operations from a specific domain
  • Creating replacement operations in a specific domain
  • Complete rewrite example
• Specifying outputs in the pattern
  • Matching operations with multiple outputs
  • Creating replacement operations with named outputs
  • Complete rewrite example
• Using the match_condition parameter for pattern-matching
• Using MatchContext for Advanced Condition Checking
  • MatchContext Properties
  • Example Usage
• OR Patterns
• Utilizing commute parameter for pattern-matching
  • 1. Creating a rule-set with different patterns.
  • 2. Using the commute parameter while creating a rule.
• Node and Value Level Checkers
  • Value-Level Checkers
    • Basic Usage
    • Example Usage
  • Node-Level Checkers
    • Basic Usage
    • Example Usage
  • Combining Checkers
  • Execution Timing and Limitations
    • When Checkers Are Called
    • Limitations with Pattern Disjunctions
  • Error Handling