Struct moore_common::source::SourceManager [−][src]
pub struct SourceManager { /* fields omitted */ }
Expand description
A manager for source files and their assigned IDs.
Implementations
Obtain the source file for a given source ID.
Create a virtual file from the contents of a string and add it to the
source manager. Future calls to open()
with the given filename will
yield the provided contents.
Create a virtual file from the contents of a string and add it to the
source manager. The file can only be used with the returned Source
,
since there is no name associated with it by which it could be referred
to.