Struct ReadRecord 

pub struct ReadRecord {
    pub is_partial: bool,
    pub content: String,
    pub timestamp: u64,
}

Per-file read record written by ReadFile and consumed by EditTool / WriteFile.

Fields

is_partial: bool

True when the read used start_line/end_line and did NOT cover the whole file. A read with start_line=1 and end_line=total_lines is a full read.

content: String

Cached file content at read time (CRLF → LF normalised). Used for staleness-check content fallback (mtime changed but content identical).

timestamp: u64

File modification timestamp (mtime epoch millis) at read time. Compared against the on-disk mtime before allowing edits.

Trait Implementations

impl Clone for ReadRecord

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 ReadRecord

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

Formats the value using the given formatter.