Struct ExecReadTarget 

pub struct ExecReadTarget {
    pub path: String,
    pub start_line: usize,
    pub end_line: usize,
    pub verbatim: bool,
}

A parsed bounded shell read: the target path plus the requested slice.

Fields

path: String

start_line: usize

end_line: usize

Inclusive end line of the requested slice.

verbatim: bool

Whether the command output is the file’s own lines. Only a bare sed -n '<range>p' <file> (no pipe) is verbatim: piped stages and awk programs transform the output, so it must never be served as positioned file evidence for a verbatim query (and vice versa in replay mode). Loop guards use path/slice regardless of this flag.

Trait Implementations

impl Clone for ExecReadTarget

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 ExecReadTarget

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

Formats the value using the given formatter.

impl Eq for ExecReadTarget

impl PartialEq for ExecReadTarget

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for ExecReadTarget