Struct SourceInfoTable

pub struct SourceInfoTable { /* private fields */ }

Implementations

impl SourceInfoTable

pub fn lookup_file_path(&self, file: FileId) -> &PathBuf

Looks up the path of the file with the given id.

Panics

Panics if the file id does not exist in the file map

pub fn lookup_position(&self, pos: PositionId) -> &SourceLocation

Looks up the source location of the position with the given id.

Panics

Panics if the position id does not exist in the position map

pub fn get_position(&self, pos: PositionId) -> Option<&SourceLocation>

Looks up the source location of the position with the given id. If no such position exists, returns None

pub fn iter_file_map(&self) -> impl Iterator<Item = (&FileId, &PathBuf)>

Iterate over the stored file map, returning a tuple of references to the file id and the path

pub fn iter_file_paths(&self) -> impl Iterator<Item = &PathBuf>

Iterate over the paths of all files in the file map

pub fn iter_file_ids(&self) -> impl Iterator<Item = FileId> + '_

Iterate over all file ids in the file map

pub fn iter_position_map( &self, ) -> impl Iterator<Item = (&PositionId, &SourceLocation)>

Iterate over the stored position map, returning a tuple of references to the position id and the source location

pub fn iter_positions(&self) -> impl Iterator<Item = PositionId> + '_

Iterate over all position ids in the position map

pub fn iter_source_locations(&self) -> impl Iterator<Item = &SourceLocation>

Iterate over the source locations in the position map

pub fn add_file(&mut self, file: FileId, path: PathBuf)

Adds a file to the file map with the given id

pub fn push_file(&mut self, path: PathBuf) -> FileId

Adds a file to the file map and generates a new file id for it. If you want to add a file with a specific id, use SourceInfoTable::add_file

pub fn add_position(&mut self, pos: PositionId, file: FileId, line: LineNum)

pub fn push_position(&mut self, file: FileId, line: LineNum) -> PositionId

Adds a position to the position map and generates a new position id for it. If you want to add a position with a specific id, use SourceInfoTable::add_position

pub fn new_empty() -> Self

Creates a new empty source info table

pub fn new<F, P>(files: F, positions: P) -> SourceInfoResult<Self>

where F: IntoIterator<Item = (FileId, PathBuf)>, P: IntoIterator<Item = (PositionId, FileId, LineNum)>,

pub fn serialize<W: Write>(&self, f: W) -> Result<(), Error>

Trait Implementations

impl Clone for SourceInfoTable

fn clone(&self) -> SourceInfoTable

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for SourceInfoTable

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

Formats the value using the given formatter.

impl PartialEq for SourceInfoTable

fn eq(&self, other: &SourceInfoTable) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for SourceInfoTable

impl StructuralPartialEq for SourceInfoTable