Struct RegionTaint 

pub struct RegionTaint { /* private fields */ }

Taint tracking state for a single region.

Tracks the current maximum taint level across all content in the region, along with per-entry source tracking to support taint recovery on eviction.

Implementations

impl RegionTaint

pub fn new() -> Self

Create a new RegionTaint defaulting to Public (no tainted data).

pub fn level(&self) -> TaintLevel

Get the current taint level of this region.

pub fn add_entry(&mut self, taint: TaintLevel)

Record that a new entry was added with the given taint level. Updates the region’s current taint level if necessary.

pub fn remove_oldest(&mut self)

Record that the oldest entry was removed (e.g., sliding window eviction). Recomputes taint from remaining entries.

pub fn remove_at(&mut self, idx: usize)

Record that the entry at idx was removed. Recomputes taint from remaining entries.

pub fn clear(&mut self)

Record that all entries were cleared.

pub fn recompute(&mut self)

Recompute the taint level from remaining entries. Called after eviction to allow taint recovery.

pub fn entry_count(&self) -> usize

Get the number of tracked entries.

pub fn from_entry_taints(entry_taints: Vec<TaintLevel>) -> Self

Get the taint level of a specific entry by index. Rebuild from a persisted list of per-entry taints.

current_level is derived rather than stored, so a restored region ends up at exactly the level its entries justify - and recovers as they evict, the same as one that was never persisted.

pub fn entry_taint(&self, index: usize) -> Option<TaintLevel>

Trait Implementations

impl Clone for RegionTaint

fn clone(&self) -> RegionTaint

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RegionTaint

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

Formats the value using the given formatter.

impl Default for RegionTaint

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for RegionTaint

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for RegionTaint

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.