Enum SemanticRuleMatcher 

pub enum SemanticRuleMatcher {
    EquivalentSequence,
    ExactApiSequence {
        api_names: &'static [&'static str],
    },
    DirectConstruct {
        kind: OperationKind,
        fallible_kind: FallibleKind,
        direct_propagation: Option<DirectPropagation>,
    },
    ResourceLifecycle,
}

A closed, declarative matching strategy for a registered semantic rule.

This is deliberately a small enum rather than an open rewrite language: adding an unreviewed syntax form must not turn the registry into a general equivalence engine. Rules select a pre-audited strategy and provide all values that strategy needs in their declaration.

Variants

EquivalentSequence

Match equal-length operation sequences when every aligned node has the same kind and compatible compiler-confirmed type evidence.

ExactApiSequence

Match a single closed compiler-confirmed API sequence. The operation kinds remain part of the rule pattern; these names prevent a generic pair of value transformations from being described as serialization.

Fields

api_names: &'static [&'static str]

One resolved API name required at each aligned operation position.

DirectConstruct

Match exactly one compiler-confirmed construct with the supplied operation, fallible family, and optional direct-propagation form.

Fields

kind: OperationKind

The only operation kind the construct may carry.

fallible_kind: FallibleKind

The standard fallible family the helper must have resolved.

direct_propagation: Option<DirectPropagation>

An additional closed direct-propagation fact, when required.

ResourceLifecycle

Match one compiler-confirmed acquire/release pair of the same closed resource category, including its explicit lifetime edge.

Trait Implementations

impl Clone for SemanticRuleMatcher

fn clone(&self) -> SemanticRuleMatcher

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for SemanticRuleMatcher

impl Debug for SemanticRuleMatcher

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for SemanticRuleMatcher

impl PartialEq for SemanticRuleMatcher

fn eq(&self, other: &SemanticRuleMatcher) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for SemanticRuleMatcher