Struct WindowedFile 

pub struct WindowedFile { /* private fields */ }

A seekable file read through one reusable, budget-charged window.

Implementations

impl WindowedFile

pub fn open( path: impl AsRef<Path>, max_window_bytes: usize, context: &ExecutionContext, ) -> Result<Self, Diagnostic>

Opens a file and reserves the complete reusable window up front.

Errors

Returns MOLFRAME-E1902 if the window does not fit the shared execution budget, or MOLFRAME-E1901 if the file or buffer cannot be opened.

pub const fn capacity(&self) -> usize

Maximum resident source-window capacity.

Trait Implementations

impl Debug for WindowedFile

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

Formats the value using the given formatter.

impl SourceBytes for WindowedFile

fn window( &mut self, start: u64, len: usize, ) -> Result<ByteWindow<'_>, Diagnostic>

Returns at most len bytes starting at the global byte offset start.

fn len_hint(&self) -> Option<u64>

Exact source length when known without consuming the source.