Expand description
Checkpoint-based incremental parsing with rollback support. Incremental parsing implementation and helpers. Incremental parser with lexer checkpointing
This module provides a fully incremental parser that uses lexer checkpoints to efficiently re-lex only the changed portions of the input.
§Pipeline integration
Token caching and Parser::from_tokens are now wired together:
parse_with_checkpointscollects parser tokens (trivia-filtered, kind-converted) and caches them alongside the lexer checkpoints.reparse_from_checkpointassembles a mixed token list from cached tokens (before the edit) + freshly-lexed tokens (affected region) + cached or freshly-lexed tokens (after the edit), then callsParser::from_tokensto skip re-lexing the unchanged portions.
Structs§
- Checkpointed
Incremental Parser - Incremental parser with lexer checkpointing
- Incremental
Stats - Statistics for incremental parsing
- Simple
Edit - Simple edit structure for demos