MCPcopy Create free account
hub / github.com/agenticsorg/lean-agentic / current

Method current

leanr-syntax/src/parser.rs:687–689  ·  view source on GitHub ↗

Get current token

(&self)

Source from the content-addressed store, hash-verified

685
686 /// Get current token
687 fn current(&self) -> &Token {
688 &self.tokens[self.pos.min(self.tokens.len() - 1)]
689 }
690
691 /// Advance to next token
692 fn advance(&mut self) -> Token {

Callers 7

parse_declMethod · 0.80
parse_paramsMethod · 0.80
parse_atomic_exprMethod · 0.80
parse_patternMethod · 0.80
parse_identMethod · 0.80
checkMethod · 0.80
expectMethod · 0.80

Calls 1

lenMethod · 0.45

Tested by

no test coverage detected