Struct orecc_front::codebase::Codebase

pub struct Codebase { /* private fields */ }

Codebase. A struct that holds all your code in memory (codespan forces this)

Implementations

impl Codebase

pub fn new() -> Self

Create a new codebase.

pub fn add(&mut self, name: String, source: String) -> usize

Add a file to the codebase, returning the handle that can be used to refer to it again.

pub fn get(&self, file_id: usize) -> Result<&SimpleFile<String, Rc<str>>, Error>

Get the file corresponding to the given id.

pub fn emit(&mut self, diagnostic: Diagnostic<usize>)

Emit a diagnostic

pub fn files(&self) -> &Vec<SimpleFile<String, Rc<str>>>

pub fn errors(&self) -> usize

Get the number of errors emitted

pub fn warnings(&self) -> usize

Get the number of warnings emitted

Trait Implementations

impl Debug for Codebase

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

Formats the value using the given formatter.

impl Default for Codebase

fn default() -> Codebase

Returns the “default value” for a type.

impl<'a> Files<'a> for Codebase

type FileId = usize

A unique identifier for files in the file provider. This will be used for rendering diagnostic::Labels in the corresponding source files.

type Name = String

The user-facing name of a file, to be displayed in diagnostics.

type Source = &'a str

The source code of a file.

fn name(&self, file_id: usize) -> Result<String, Error>

The user-facing name of a file.

fn source(&self, file_id: usize) -> Result<&str, Error>

The source code of a file.

fn line_index(&self, file_id: usize, 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.

fn line_range( &self, file_id: usize, line_index: usize ) -> Result<Range<usize>, Error>

The byte range of line in the source of the file.

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.

fn column_number( &'a self, id: Self::FileId, line_index: usize, byte_index: usize ) -> Result<usize, Error>

The user-facing column number at the given line index and byte index.

fn location( &'a self, id: Self::FileId, byte_index: usize ) -> Result<Location, Error>

Convenience method for returning line and column number at the given byte index in the file.