Struct codespan_reporting::files::SimpleFile
source · pub struct SimpleFile<Name, Source> { /* private fields */ }
Expand description
A file database that contains a single source file.
Because there is only single file in this database we use ()
as a FileId
.
This is useful for simple language tests, but it might be worth creating a custom implementation when a language scales beyond a certain size.
Implementations§
Trait Implementations§
source§impl<Name: Clone, Source: Clone> Clone for SimpleFile<Name, Source>
impl<Name: Clone, Source: Clone> Clone for SimpleFile<Name, Source>
source§fn clone(&self) -> SimpleFile<Name, Source>
fn clone(&self) -> SimpleFile<Name, Source>
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl<'a, Name, Source> Files<'a> for SimpleFile<Name, Source>where
Name: 'a + Display + Clone,
Source: 'a + AsRef<str>,
impl<'a, Name, Source> Files<'a> for SimpleFile<Name, Source>where
Name: 'a + Display + Clone,
Source: 'a + AsRef<str>,
§type FileId = ()
type FileId = ()
A unique identifier for files in the file provider. This will be used
for rendering
diagnostic::Label
s in the corresponding source files.source§fn line_index(&self, (): (), byte_index: usize) -> Result<usize, Error>
fn line_index(&self, (): (), byte_index: usize) -> Result<usize, Error>
The index of the line at the given byte index.
If the byte index is past the end of the file, returns the maximum line index in the file.
This means that this function only fails if the file is not present. Read more
source§fn line_range(&self, (): (), line_index: usize) -> Result<Range<usize>, Error>
fn line_range(&self, (): (), line_index: usize) -> Result<Range<usize>, Error>
The byte range of line in the source of the file.
source§fn line_number(
&'a self,
id: Self::FileId,
line_index: usize
) -> Result<usize, Error>
fn line_number(
&'a self,
id: Self::FileId,
line_index: usize
) -> Result<usize, Error>
The user-facing line number at the given line index.
It is not necessarily checked that the specified line index
is actually in the file. Read more