Struct FileReadHistory 

pub struct FileReadHistory { /* private fields */ }

File read history tracker

Maintains a history of file read operations for validation. Used by EditTool to ensure files are read before editing, and by WriteTool to ensure files are read before overwriting.

Requirements: 4.5

Implementations

impl FileReadHistory

pub fn new() -> Self

Create a new empty FileReadHistory

pub fn record_read(&mut self, record: FileReadRecord)

Record a file read operation

pub fn has_read(&self, path: &PathBuf) -> bool

Check if a file has been read

pub fn get_record(&self, path: &PathBuf) -> Option<&FileReadRecord>

Get the read record for a file

pub fn remove_record(&mut self, path: &PathBuf) -> Option<FileReadRecord>

Remove a read record (e.g., after successful write)

pub fn clear(&mut self)

Clear all read records

pub fn len(&self) -> usize

Get the number of tracked files

pub fn is_empty(&self) -> bool

Check if the history is empty

pub fn tracked_files(&self) -> Vec<&PathBuf>

Get all tracked file paths

pub fn is_file_modified( &self, path: &PathBuf, current_mtime: SystemTime, ) -> Option<bool>

Check if a file has been modified since it was read

Returns:

• Some(true) if the file has been modified
• Some(false) if the file has not been modified
• None if the file has not been read or mtime is not available

Trait Implementations

impl Debug for FileReadHistory

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

Formats the value using the given formatter.

impl Default for FileReadHistory

fn default() -> FileReadHistory

Returns the “default value” for a type.