Struct FileWhitelistData 

pub struct FileWhitelistData {
    pub file_hash: String,
    pub line_ranges_read: Vec<(usize, usize)>,
    pub total_lines: usize,
}

Fields

file_hash: String

line_ranges_read: Vec<(usize, usize)>

total_lines: usize

Implementations

impl FileWhitelistData

pub fn new( file_hash: String, line_ranges_read: Vec<(usize, usize)>, total_lines: usize, ) -> Self

pub fn is_read_enough(&self) -> bool

pub fn get_percentage_read(&self) -> f64

pub fn get_unread_ranges(&self) -> Vec<(usize, usize)>

pub fn add_range(&mut self, start: usize, end: usize)

Record [start, end] as read, merging it into the existing intervals so line_ranges_read stays a bounded set of disjoint ranges. Without the merge, re-reading a file appended duplicate ranges forever (unbounded memory per session).

pub fn merge_ranges(&mut self, new: impl IntoIterator<Item = (usize, usize)>)

Merge new ranges into line_ranges_read, keeping it sorted and disjoint (adjacent inclusive ranges like (1,3) and (4,5) collapse to (1,5)).

pub fn needs_more_reading(&self) -> bool

pub fn covers_range(&self, start: usize, end: usize) -> bool

Whether every line in one inclusive range was visible to the model for this exact file hash.

Trait Implementations

impl Clone for FileWhitelistData

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 FileWhitelistData

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for FileWhitelistData

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl From<&FileWhitelistData> for FileWhitelistDataSnapshot

fn from(d: &FileWhitelistData) -> Self

Converts to this type from the input type.

impl Serialize for FileWhitelistData

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

where __S: Serializer,

Serialize this value into the given Serde serializer.