Struct LeanLexer 

pub struct LeanLexer<'config> { /* private fields */ }

Lean 词法分析器

Implementations

impl<'config> LeanLexer<'config>

pub fn new(config: &'config LeanLanguage) -> Self

创建新的 Lean 词法分析器

Trait Implementations

impl<'config> Clone for LeanLexer<'config>

fn clone(&self) -> LeanLexer<'config>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'config> Debug for LeanLexer<'config>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'config> Lexer<LeanLanguage> for LeanLexer<'config>

fn lex<'a, S: Source + ?Sized>( &self, text: &'a S, _edits: &[TextEdit], cache: &'a mut impl LexerCache<LeanLanguage>, ) -> LexOutput<LeanLanguage>

Tokenizes the given source text into a sequence of tokens.