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.