Struct Parser 

pub struct Parser<'eng, 'tokens> {
    pub tokens: Vec<Token<'tokens>>,
    pub meta: Arc<SourceMeta>,
    pub pos: usize,
    pub refs: RefMap,
    pub diag_engine: &'eng mut DiagnosticEngine<Code>,
    pub options: ParseOptions,
    pub source: Option<&'tokens str>,
    pub link_label_depth: u16,
}

Token-stream cursor + diagnostic engine. 'tokens ties borrowed lexemes to the source; 'eng ties the engine borrow to the caller.

Fields

tokens: Vec<Token<'tokens>>

meta: Arc<SourceMeta>

pos: usize

refs: RefMap

diag_engine: &'eng mut DiagnosticEngine<Code>

options: ParseOptions

source: Option<&'tokens str>

Original source string, if the caller supplied it (via with_source). Enables a safe, provenance-correct byte-offset reslice in raw_source_for_token_range instead of pointer arithmetic across token slices.

link_label_depth: u16

Current [...] link-label nesting depth. Recursive label parsing (and the unresolved-shortcut replay) is super-linear in the number of nested brackets; once this exceeds [MAX_LINK_LABEL_DEPTH] a [ is treated as literal text instead of opening yet another recursive parse. No real document nests link labels that deeply (CM forbids links inside link text), so this only bounds adversarial [[[[[... input.

Implementations

impl<'eng, 'tokens> Parser<'eng, 'tokens>

pub fn new( tokens: Vec<Token<'tokens>>, meta: Arc<SourceMeta>, diag_engine: &'eng mut DiagnosticEngine<Code>, ) -> Self

Build a parser positioned at the first token.

pub fn new_with_options( tokens: Vec<Token<'tokens>>, meta: Arc<SourceMeta>, diag_engine: &'eng mut DiagnosticEngine<Code>, options: ParseOptions, ) -> Self

Build a parser with explicit ParseOptions.

pub fn with_source(self, source: &'tokens str) -> Self

Attach the original source string so verbatim-slice reconstruction (raw HTML blocks, malformed-link bodies) can reslice it directly instead of reconstructing a pointer range across token lexemes.

pub fn parse(&mut self) -> Document

Drive the top-level loop until EOF. Force-advances on no-progress so a malformed token cannot wedge the parser.