parseWithDiagnostics method

ParseResult parseWithDiagnostics(
  1. String input
)

Parses a LaTeX string and returns a ParseResult containing AST and structured diagnostic information

Compared to the parse method, this method additionally returns all diagnostic information collected during parsing, supporting diagnostic panel APIs, error filtering, and categorical queries.

Implementation

ParseResult parseWithDiagnostics(String input) {
  // HLog.d(_tag, "开始解析 LaTeX (带诊断): $input");
  final tokens = LatexTokenizer(input).tokenize();
  final session = _ParseSession(tokens, input.length);
  final document = session.parse();
  return ParseResult(
    document: document,
    diagnostics: session.diagnostics.toList(),
  );
}