pub struct DefaultMouth<ET: EngineTypes> { /* private fields */ }Expand description
The default implementation of Mouth. Well optimized to be fast, but at the cost of not keeping track
of “the depth of current macro expansions” - I found that to be an acceptable loss, since afaict, the only thing that
is done with that information
is to print a corresponding number of .s if \tracingcommands is set. By omitting that and just concatenating
all expansions into a single Vec from which to pop(), we gain a massive speedup.
§Errors
Implementations§
Source§impl<ET: EngineTypes> DefaultMouth<ET>
impl<ET: EngineTypes> DefaultMouth<ET>
Sourcepub fn into<ET2: EngineTypes<Token = ET::Token, File = ET::File>>(
self,
) -> DefaultMouth<ET2>
pub fn into<ET2: EngineTypes<Token = ET::Token, File = ET::File>>( self, ) -> DefaultMouth<ET2>
Trivial conversion between different compatible EngineTypes.
Sourcepub fn into_tokens<ET2: EngineTypes<Char = ET::Char, File = ET::File>, F: FnMut(ET::Token) -> ET2::Token>(
self,
token: F,
) -> DefaultMouth<ET2>
pub fn into_tokens<ET2: EngineTypes<Char = ET::Char, File = ET::File>, F: FnMut(ET::Token) -> ET2::Token>( self, token: F, ) -> DefaultMouth<ET2>
Less trivial conversion between different EngineTypes with compatible Tokens.
Trait Implementations§
Source§impl<ET: EngineTypes> Mouth<ET> for DefaultMouth<ET>
impl<ET: EngineTypes> Mouth<ET> for DefaultMouth<ET>
fn file_trace( &self, ) -> impl Iterator<Item = SourceReference<<ET::File as File>::SourceRefID>> + '_
Source§fn current_sourceref(&self) -> SourceReference<<ET::File as File>::SourceRefID>
fn current_sourceref(&self) -> SourceReference<<ET::File as File>::SourceRefID>
Get the current
SourceReference of the Mouth (file/line/column).Source§fn start_ref(&self) -> SourceReference<<ET::File as File>::SourceRefID>
fn start_ref(&self) -> SourceReference<<ET::File as File>::SourceRefID>
The mouth (can) track(s) two
SourceReferences: the current one (see current_sourceref)
and the position
of the last Token encountered in the top-loop of an engine run that was not the result of an expansion.
The latter is returned by this function. The intuition being that this one indicates the start of the macro
responsible for what is currently happening, even if the Mouth is already further along because more Tokens
have been eaten as arguments to a macro etc.Source§fn update_start_ref(&mut self)
fn update_start_ref(&mut self)
Tells the mouth to update the start reference to the current
SourceReference (see start_ref).Source§fn get_args(&mut self) -> [Vec<ET::Token>; 9]
fn get_args(&mut self) -> [Vec<ET::Token>; 9]
We (can) reuse an array of Token vectors for macro arguments and reuse it to avoid frequent memory allocations.
This method provides such an array. If it is not pushed to the mouth using
push_macro_exp,
later, it should be given back to the mouth using return_args later.Source§fn return_args(&mut self, exp: [Vec<ET::Token>; 9])
fn return_args(&mut self, exp: [Vec<ET::Token>; 9])
Return the array of Token vectors to the mouth. Should only be called with an array that was previously obtained
using
get_args.Source§fn endinput(
&mut self,
aux: &mut EngineAux<ET>,
state: &ET::State,
) -> Result<(), InvalidCharacter<ET::Char>>
fn endinput( &mut self, aux: &mut EngineAux<ET>, state: &ET::State, ) -> Result<(), InvalidCharacter<ET::Char>>
Source§fn line_number(&self) -> usize
fn line_number(&self) -> usize
The current line number in the top-most file in the
Mouth.Source§fn push_macro_exp(&mut self, exp: MacroExpansion<ET::Token>)
fn push_macro_exp(&mut self, exp: MacroExpansion<ET::Token>)
Push a
MacroExpansion (with arguments already read) to the Mouth. The Mouth will return the Tokens lazily,
resolving the parameter tokens in the expansion in the process.Source§fn push_slice_rev(&mut self, exp: &[ET::Token])
fn push_slice_rev(&mut self, exp: &[ET::Token])
Source§fn push_string(&mut self, s: StringLineSource<ET::Char>)
fn push_string(&mut self, s: StringLineSource<ET::Char>)
Source§fn requeue(&mut self, t: ET::Token)
fn requeue(&mut self, t: ET::Token)
Push a
Token back to the Mouth. This is useful for e.g. \futurelet, \expandafter, or when
reading keywords, numbers, dimensions, etc. that often read “too far ahead” and need to back up.
This method should not be called directly, but rather through EngineReferences::requeue
or Gullet::requeue.Source§fn get_next(
&mut self,
aux: &mut EngineAux<ET>,
state: &ET::State,
) -> Result<Option<ET::Token>, InvalidCharacter<ET::Char>>
fn get_next( &mut self, aux: &mut EngineAux<ET>, state: &ET::State, ) -> Result<Option<ET::Token>, InvalidCharacter<ET::Char>>
Get the next
Token from the Mouth.
This method should not be called directly, but rather through EngineReferences::get_next
or Gullet::get_next_opt. Read moreSource§fn iterate<R, E, F: FnMut(&mut EngineAux<ET>, ET::Token) -> TeXResult<Option<R>, ET>>(
&mut self,
aux: &mut EngineAux<ET>,
state: &ET::State,
cont: F,
eof: E,
) -> TeXResult<R, ET>
fn iterate<R, E, F: FnMut(&mut EngineAux<ET>, ET::Token) -> TeXResult<Option<R>, ET>>( &mut self, aux: &mut EngineAux<ET>, state: &ET::State, cont: F, eof: E, ) -> TeXResult<R, ET>
Iterate over the
Tokens in the Mouth until cont returns false. Can be faster than repeatedly calling
get_next_opt, but
blocking both state changes and expanding macros. Useful for e.g. reading macro arguments or the expansion list
in \def.
This method should not be called directly, but rather through EngineReferences::iterate
or Gullet::iterate. Read moreSource§fn preview(
&self,
int: &<ET::CSName as CSName<ET::Char>>::Handler,
cc: &CategoryCodeScheme<ET::Char>,
esc: Option<ET::Char>,
) -> String
fn preview( &self, int: &<ET::CSName as CSName<ET::Char>>::Handler, cc: &CategoryCodeScheme<ET::Char>, esc: Option<ET::Char>, ) -> String
For debugging purposes, this method returns a string representation of the upcoming stuff in the
Mouth.Source§fn read_until_endgroup<E, F: FnMut(&mut EngineAux<ET>, ET::Token) -> TeXResult<(), ET>>(
&mut self,
aux: &mut EngineAux<ET>,
state: &ET::State,
cont: F,
eof: E,
) -> TeXResult<ET::Token, ET>
fn read_until_endgroup<E, F: FnMut(&mut EngineAux<ET>, ET::Token) -> TeXResult<(), ET>>( &mut self, aux: &mut EngineAux<ET>, state: &ET::State, cont: F, eof: E, ) -> TeXResult<ET::Token, ET>
Convenience method reading
Tokens in the Mouth until the next EndGroup
Token is encountered and returns that. Useful whenever a group is to be taken; e.g. when reading macro arguments.
This method should not be called directly, but rather through EngineReferences::read_until_endgroup
or Gullet::read_until_endgroup. Read moreAuto Trait Implementations§
impl<ET> Freeze for DefaultMouth<ET>
impl<ET> RefUnwindSafe for DefaultMouth<ET>where
<<ET as EngineTypes>::File as File>::SourceRefID: RefUnwindSafe,
<<ET as EngineTypes>::File as File>::LineSource: RefUnwindSafe,
<ET as EngineTypes>::Token: RefUnwindSafe,
<ET as EngineTypes>::Char: RefUnwindSafe,
impl<ET> Send for DefaultMouth<ET>where
<<ET as EngineTypes>::File as File>::SourceRefID: Send,
<<ET as EngineTypes>::File as File>::LineSource: Send,
<ET as EngineTypes>::Char: Send,
impl<ET> Sync for DefaultMouth<ET>where
<<ET as EngineTypes>::File as File>::SourceRefID: Sync,
<<ET as EngineTypes>::File as File>::LineSource: Sync,
<ET as EngineTypes>::Char: Sync,
impl<ET> Unpin for DefaultMouth<ET>where
<<ET as EngineTypes>::File as File>::SourceRefID: Unpin,
<<ET as EngineTypes>::File as File>::LineSource: Unpin,
<ET as EngineTypes>::Token: Unpin,
<ET as EngineTypes>::Char: Unpin,
impl<ET> UnsafeUnpin for DefaultMouth<ET>
impl<ET> UnwindSafe for DefaultMouth<ET>where
<<ET as EngineTypes>::File as File>::SourceRefID: UnwindSafe,
<<ET as EngineTypes>::File as File>::LineSource: UnwindSafe,
<ET as EngineTypes>::Token: UnwindSafe,
<ET as EngineTypes>::Char: UnwindSafe,
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more