Struct ControlTable 

pub struct ControlTable { /* private fields */ }

Exact .gitignore sources and parsed matchers, keyed by governing directory.

Identical sources are stored and parsed once. A tree of package checkouts repeats a few .gitignore files thousands of times, and charging every copy for its bytes and matcher crossed the bound at a fraction of the distinct rules the tree holds (fdu-szkg). Each directory still pays for its own key, so a tree of empty control files cannot evade the bound, and removing the last holder of a content releases the content’s charge.

A source the limits cannot admit is refused, not an error: the table records the refusal and keeps no rules for that directory, and the scan that read it continues (fdu-1onj). A refusal ends when the directory’s control file is removed or a later read admits it.

Implementations

impl ControlTable

pub fn upsert( &mut self, path: &Path, source: Vec<u8>, ) -> Result<ControlAdmission>

Insert or replace one verified control source.

path names the control file relative to the index root. The source is retained exactly, while matching state is derived once per distinct content rather than per directory or per entry. A source the limits cannot admit is refused and recorded, and a source it replaces is dropped with it: rules no longer on disk must not keep applying. The line limit is checked first, so a source both limits refuse is refused for its line.

Errors

crate::Error::InvalidControlPath when path does not name a control file.

pub fn remove(&mut self, path: &Path) -> Result<bool>

Remove one control source, or the record of its refusal. Missing sources are no-ops.

Errors

crate::Error::InvalidControlPath when path does not name a control file.

pub fn matcher_for<'a>(&'a self, path: &'a Path) -> ControlMatcher<'a>

Matcher view for one retained path.

pub fn is_ignored(&self, path: &Path, is_dir: bool) -> bool

Evaluate complete ignore semantics without relying on retained parent facts.

The index hot path uses ControlMatcher::is_ignored with the parent’s stored classification. This standalone form evaluates each directory prefix so callers and tests receive the same answer even without an index entry in hand.

pub fn affected_subtree(path: &Path) -> Result<PathBuf>

Relative subtree whose classification may move when path changes.

pub fn refusals(&self) -> impl ExactSizeIterator<Item = RefusedControl> + '_

Every refused control file and its reason, in governing-directory order.

pub fn refused_len(&self) -> usize

Number of refused control files.

pub const fn limits(&self) -> ControlLimits

The limits this table admits sources under.

pub fn observation(&self) -> ControlObservation

This table’s coverage, listing at most crate::MAX_RETAINED_ISSUES refusals.

pub const fn source_bytes(&self) -> usize

Exact retained source bytes across the whole table.

pub const fn retained_cost(&self) -> usize

Bounded retained charge for the complete table.

pub fn source_is(&self, path: &Path, source: &[u8]) -> bool

Whether path already retains exactly source.

pub fn len(&self) -> usize

Number of retained control files.

pub fn is_empty(&self) -> bool

Whether no control file is retained. A table may still record refusals.

Trait Implementations

impl Clone for ControlTable

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 ControlTable

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

Formats the value using the given formatter.

impl Default for ControlTable

fn default() -> Self

Returns the “default value” for a type.