Struct LinearEffectTracker 

pub struct LinearEffectTracker { /* private fields */ }

Tracks usage of linear (one-shot) effects to ensure they are used exactly once.

Implementations

impl LinearEffectTracker

pub fn new(linear_effects: Vec<String>) -> Self

Create a new linear effect tracker.

pub fn use_effect(&mut self, effect: &str)

Record one use of the given effect.

pub fn check_linear(&self, effect: &str) -> bool

Check whether a linear effect was used exactly once.

pub fn verify_all_linear(&self) -> bool

Verify all declared linear effects were used exactly once.

pub fn usage_count(&self, effect: &str) -> usize

Get the usage count of an effect.

pub fn overused_effects(&self) -> Vec<String>

Return the list of linear effects that were used more than once (violations).

pub fn unused_effects(&self) -> Vec<String>

Return the list of linear effects that were never used (also violations).

pub fn report(&self) -> String

Full verification report.