pub trait STeXModuleStore {
const FULL: bool;
// Required method
fn get_module(
&mut self,
module: &ModuleReference,
in_path: Option<&Arc<Path>>,
) -> Result<STeXParseData, GetModuleError>;
// Provided methods
fn add_text<Pos: StringPosition>(
&self,
r: StringRange<Pos>,
text: &str,
language: Language,
needs_usemodule: &dyn Fn(&SymbolUri) -> bool,
) -> Option<STeXToken<Pos>> { ... }
fn add_verbalization(
&mut self,
s: &str,
symbol: &SymbolUri,
language: Language,
) { ... }
}Required Associated Constants§
Required Methods§
Sourcefn get_module(
&mut self,
module: &ModuleReference,
in_path: Option<&Arc<Path>>,
) -> Result<STeXParseData, GetModuleError>
fn get_module( &mut self, module: &ModuleReference, in_path: Option<&Arc<Path>>, ) -> Result<STeXParseData, GetModuleError>
§Errors
Provided Methods§
fn add_text<Pos: StringPosition>( &self, r: StringRange<Pos>, text: &str, language: Language, needs_usemodule: &dyn Fn(&SymbolUri) -> bool, ) -> Option<STeXToken<Pos>>
fn add_verbalization(&mut self, s: &str, symbol: &SymbolUri, language: Language)
Dyn Compatibility§
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety".