Struct RuleLibrary 

pub struct RuleLibrary { /* private fields */ }

Validated rule collection with indexes for matcher candidate lookup.

Implementations

impl RuleLibrary

pub fn new() -> Self

Creates an empty rule library.

pub fn builtin_rules() -> Result<&'static RuleLibrary, RuleLibraryError>

Returns the lazily loaded builtin compiler rule library.

Builtin sources are embedded at compile time and validated while the library is initialized.

pub fn from_rules( rules: Vec<Rule>, kind: RuleKind, ) -> Result<Self, RuleLibraryError>

Builds a library from already constructed rules.

Rules are structurally validated before insertion.

pub fn from_dsl_str( source: &str, kind: RuleKind, ) -> Result<Self, RuleLibraryError>

Parses and validates rules from a DSL source string.

pub fn from_dsl_file( path: impl AsRef<Path>, kind: RuleKind, ) -> Result<Self, RuleLibraryError>

Loads, parses, and validates rules from a DSL file.

pub fn add_rule( &mut self, rule: Rule, kind: RuleKind, validate: bool, ) -> Result<RuleId, RuleLibraryError>

Adds one rule to the library and returns its assigned id.

When validate is true, structural validation runs before indexing. Builtin rule loading may pass false after DSL lowering has already produced trusted validated rules.

pub fn extend_rules( &mut self, rules: Vec<Rule>, kind: RuleKind, ) -> Result<SmallVec<[RuleId; 8]>, RuleLibraryError>

Extends the library with structurally validated rules of one kind.

The update is atomic with respect to this library: if any rule fails, the original library is left unchanged.

pub fn len(&self) -> usize

Returns the number of rules in this library.

pub fn is_empty(&self) -> bool

Returns whether this library contains no rules.

pub fn rules(&self) -> &[Rule]

Returns all rules in insertion order.

pub fn get(&self, id: RuleId) -> Option<&Rule>

Returns a rule by id.

pub fn metadata(&self, id: RuleId) -> Option<&RuleMetadata>

Returns precomputed metadata for a rule id.

pub fn id_by_name(&self, name: &str) -> Option<RuleId>

Looks up a rule id by rule name.

pub fn get_by_name(&self, name: &str) -> Option<&Rule>

Looks up a rule by rule name.

pub fn contains(&self, name: &str) -> bool

Returns whether a rule with name exists.

pub fn candidates_for_first_instruction( &self, instruction: &Instruction, ) -> Result<&[RuleId], RuleLibraryError>

Returns rules whose first match instruction has the same matcher key.

pub fn rules_by_kind(&self, kind: RuleKind) -> &[RuleId]

Returns rules registered under a coarse compiler kind.

pub fn filter_rule_ids_by_instruction_keys( &self, op_instructions: &[Instruction], target_instructions: &[Instruction], ) -> Result<SmallVec<[RuleId; 16]>, RuleLibraryError>

Filters rules by required match-side and rewrite-side instruction keys.

A rule is returned only when every instruction key in its match pattern is present in op_instructions and every rewrite target key is present in target_instructions.

Trait Implementations

impl Clone for RuleLibrary

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RuleLibrary

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

Formats the value using the given formatter.

impl Default for RuleLibrary

fn default() -> Self

Returns the “default value” for a type.