Struct MappedStrings 

pub struct MappedStrings { /* private fields */ }

Strings implementation backed by files guaranteed to be present once the graph is loaded

Trait Implementations

impl OptStrings for MappedStrings

fn message(&self) -> &[u8]

Returns an array with all messages, separated by b'\n'

fn message_offset(&self, node: NodeId) -> Option<u64>

Returns the position of the first character of node’s message in Self::message, or None if it is out of bound, or Some(u64::MAX) if the node has no message

fn tag_name(&self) -> &[u8]

Returns an array with all messages, separated by b'\n'

fn tag_name_offset(&self, node: NodeId) -> Option<u64>

Returns the position of the first character of node’s tag_name in Self::tag_name, or None if it is out of bound, or Some(u64::MAX) if the node has no tag_name

impl PropertiesBackend for MappedStrings

type DataFilesAvailability = GuaranteedDataFiles

fn map_if_available<T, U>( v: <Self::DataFilesAvailability as DataFilesAvailability>::Result<'_, T>, f: impl FnOnce(T) -> U, ) -> <Self::DataFilesAvailability as DataFilesAvailability>::Result<'_, U>

Applies the given function f to the value v if the value is available

fn zip_if_available<'err, T1, T2>( v1: <Self::DataFilesAvailability as DataFilesAvailability>::Result<'err, T1>, v2: <Self::DataFilesAvailability as DataFilesAvailability>::Result<'err, T2>, ) -> <Self::DataFilesAvailability as DataFilesAvailability>::Result<'err, (T1, T2)>

Returns (v1, v2) if both are available, or an error otherwise