Struct kailua_env::source::Source

pub struct Source { /* fields omitted */ }

A source used for resolving locations.

All source-dependent Unit values are issued by Source, by adding a new file. Files themselves can be updated or removed in the interactive setting; it is the caller's responsibility that existing locations are properly updated to a new file.

Methods

impl Source

fn new() -> Source

fn add(&mut self, file: SourceFile) -> Span

fn replace(&mut self, unit: Unit, file: SourceFile) -> Option<Span>

fn remove(&mut self, unit: Unit) -> Option<SourceFile>

fn file<'a>(&'a self, unit: Unit) -> Option<&'a SourceFile>

fn files(&self) -> Values<Unit, SourceFile>

fn slice_from_span<'a>(&'a self, span: Span) -> Option<SourceSlice<'a>>

fn iter_from_span(&self, span: Span) -> Option<SourceDataIter>

fn get_file(&self, unit: Unit) -> Option<&SourceFile>