Struct ChangeTracker 

pub struct ChangeTracker { /* private fields */ }

Tracks changes to a symbol table for incremental validation

Implementations

impl ChangeTracker

pub fn new() -> Self

pub fn begin_batch(&mut self) -> usize

Start a batch of changes that will be validated together

pub fn end_batch(&mut self)

End the current batch

pub fn record_domain_addition(&mut self, domain: impl Into<String>)

Record a domain addition

pub fn record_domain_modification(&mut self, domain: impl Into<String>)

Record a domain modification

pub fn record_domain_removal(&mut self, domain: impl Into<String>)

Record a domain removal

pub fn record_predicate_addition(&mut self, predicate: impl Into<String>)

Record a predicate addition

pub fn record_predicate_modification(&mut self, predicate: impl Into<String>)

Record a predicate modification

pub fn record_predicate_removal(&mut self, predicate: impl Into<String>)

Record a predicate removal

pub fn record_variable_addition(&mut self, variable: impl Into<String>)

Record a variable binding addition

pub fn record_variable_modification(&mut self, variable: impl Into<String>)

Record a variable binding modification

pub fn record_variable_removal(&mut self, variable: impl Into<String>)

Record a variable binding removal

pub fn record_hierarchy_addition( &mut self, subtype: impl Into<String>, supertype: impl Into<String>, )

Record a hierarchy relationship addition

pub fn record_hierarchy_removal( &mut self, subtype: impl Into<String>, supertype: impl Into<String>, )

Record a hierarchy relationship removal

pub fn changes(&self) -> &[Change]

Get all changes

pub fn domains_affected(&self) -> &HashSet<String>

Get domains affected by changes

pub fn predicates_affected(&self) -> &HashSet<String>

Get predicates affected by changes

pub fn variables_affected(&self) -> &HashSet<String>

Get variables affected by changes

pub fn has_changes(&self) -> bool

Check if any changes have been recorded

pub fn clear(&mut self)

Clear all tracked changes

pub fn stats(&self) -> ChangeStats

Get change statistics

Trait Implementations

impl Clone for ChangeTracker

fn clone(&self) -> ChangeTracker

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ChangeTracker

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

Formats the value using the given formatter.

impl Default for ChangeTracker

fn default() -> ChangeTracker

Returns the “default value” for a type.