Struct FileIndex 

pub struct FileIndex {
    pub entries: Vec<FileEntry>,
    /* private fields */
}

The indexed result of one filesystem walk. All rules share this index — the walk happens once per alint check invocation.

path_set is a lazy HashSet<Arc<Path>> over file entries. Built once on first call to FileIndex::contains_file / FileIndex::file_path_set and re-used across all subsequent lookups. Cross-file rules that ask “does this exact path exist?” (most importantly file_exists instantiated by for_each_dir) hit the set instead of doing an O(N) linear scan over every entry. At 1M files in a 5,000-package monorepo, this turns the fan-out shape from O(D × N) = 5 × 10⁹ ops to O(D) = 5,000 lookups.

Fields

entries: Vec<FileEntry>

Implementations

impl FileIndex

pub fn from_entries(entries: Vec<FileEntry>) -> Self

Construct a FileIndex from raw entries. Equivalent to FileIndex { entries, ..Default::default() } but spelled out so test/bench fixtures don’t have to know about the internal lazy path_set field.

pub fn files(&self) -> impl Iterator<Item = &FileEntry>

pub fn dirs(&self) -> impl Iterator<Item = &FileEntry>

pub fn total_size(&self) -> u64

pub fn file_path_set(&self) -> &HashSet<Arc<Path>>

Get (lazily building on first call) the hash-indexed set of all file (non-dir) paths in this index. Subsequent calls return the cached set. Concurrent first calls are safe (OnceLock ensures a single initialiser wins).

pub fn contains_file(&self, rel: &Path) -> bool

O(1) “does this exact relative path exist as a file?” query. Triggers the lazy build of the path set on first call. Use this instead of iterating files() whenever a rule needs to check a fully-qualified path — at scale, the hash lookup is several orders of magnitude faster.

pub fn find_file(&self, rel: &Path) -> Option<&FileEntry>

Find a file entry by its exact relative path. Uses the lazy path set for the existence check, then re-scans entries linearly to return the matching &FileEntry (entries are pinned, but the set stores Arc<Path> keys not direct entry references). Most callers want the boolean answer — prefer FileIndex::contains_file.

Trait Implementations

impl Debug for FileIndex

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

Formats the value using the given formatter.

impl Default for FileIndex

fn default() -> FileIndex

Returns the “default value” for a type.