Struct ValidatedMmap 

pub struct ValidatedMmap { /* private fields */ }

Validated memory-mapped region with bounds checking

All accesses are bounds-checked to prevent undefined behavior from corrupted or truncated files.

Implementations

impl ValidatedMmap

pub fn open( path: &Path, config: ValidationConfig, ) -> Result<Self, ValidationError>

Create a new ValidatedMmap with full validation

pub fn metadata(&self) -> &FileMetadata

Get file metadata

pub fn is_valid(&self) -> bool

Check if mmap is still valid

pub fn get_edge(&self, index: usize) -> Result<EdgeRef<'_>, ValidationError>

Get a validated edge reference

pub fn slice(&self, range: Range<usize>) -> Result<&[u8], ValidationError>

Get a slice of the data with bounds checking

pub fn iter_edges(&self) -> ValidatedEdgeIterator<'_>

Iterate over all edges with validation

pub fn num_edges(&self) -> usize

Get number of edges

pub fn invalidate(&self)

Mark mmap as invalid (e.g., after detecting truncation)

pub fn verify_all(&self) -> Result<usize, ValidationError>

Verify integrity of all edges