gudusoft.gsqlparser.pp2.region

Class ParseRecoveryEngine

Object

gudusoft.gsqlparser.pp2.region.ParseRecoveryEngine

public final class ParseRecoveryEngine
extends Object

Parses statement regions produced by StatementBoundaryDetector.detect(Pp2TokenStream, EDbVendor) and tags each one as AST_OK, AST_ERROR, or TRIVIA.

Per-region parsing with fresh parsers on success

parseAll(List) pre-marks every TRIVIA range and every non-trivia range whose source slice exceeds Pp2FormatOptions.maxRegionParseChars (the latter becomes AST_ERROR with an engine note). Every remaining range is parsed individually. The pool's single parser serves as the probe; if the probe parse succeeds, the engine re-parses the same slice into a freshly allocated TGSqlParser so the outcome's RegionParseOutcome.getParser() contains exactly one statement and can be handed to FormatterFactory.pp(parser, opt) without rendering its siblings. AST_ERROR outcomes do not need a dedicated parser — the lexical fallback (S14 / S31) renders them.

This is plan §13/R1's "fresh parser per region" contingency adopted as the default. The cost is one extra parser allocation and re-parse per AST_OK region; the benefit is that every outcome returned from a single parseAll call is mutually valid in any consumption order and GuardedAstDelegate (S13) can safely invoke pp's statement-iterating renderer on each one without observing neighbours.

A previous draft of this engine attempted a "lazy full-script first" optimisation: one parse() on the entire original SQL, with all happy-path outcomes sharing the parser snapshot. That broke FormatterFactory.pp(parser, opt) which iterates every statement in parser.sqlstatements — each outcome would have rendered the whole script. The optimisation is deferred (plan §16/Q3 / S37) and may be re-introduced once a render API that targets a single statement exists.

Safety valves and failure modes

• Regions whose source span exceeds Pp2FormatOptions.maxRegionParseChars skip the parse attempt entirely and are returned as AST_ERROR with an engine note — the lexical fallback (S14 / S31) handles the rendering.
• Any Throwable thrown by TGSqlParser.parse() is caught and converted to an AST_ERROR outcome. The pool is still reset before the next attempt, so a single misbehaving region does not corrupt the rest of the script.
• Trivia regions — those containing nothing but whitespace, line comments, block comments, and (optionally) the trailing terminator — are short-circuited to TRIVIA without invoking the parser.

AST lifetime

The pool is size-1. Each parseRegion(StatementRange) call overwrites the prior region's parser state in place, which means a parser reference from an earlier parseRegion call becomes stale once the next call returns. See the outcome class Javadoc for the contract. parseAll(List), by contrast, allocates a fresh parser per AST_OK region, so outcomes returned from a single parseAll call are mutually valid and outlive the engine call itself (each carries an isolated parser of its own).

This class is single-threaded by construction (the pool's threading contract); concurrent use is undefined.

Plan reference: §5.1, §7.3/S12, §7.4/S12, §10.4, §13/R1.

Constructor Summary

Constructors

Constructor and Description
ParseRecoveryEngine(EDbVendor vendor, String originalSql, Pp2TokenStream stream, Pp2FormatOptions opts)

Method Summary

Modifier and Type	Method and Description
ParserPool	getPool() Pool access — exposed for tests / introspection.
EDbVendor	getVendor() EDbVendor this engine targets.
boolean	isTrivia(StatementRange range) True when the range contains no solid tokens — only whitespace, comments, and at most a trailing ;, or a trailing GO in the older form of a range (see trailingGoOffset(gudusoft.gsqlparser.pp2.region.StatementRange)).
List<RegionParseOutcome>	parseAll(List<StatementRange> ranges) Parse all ranges.
RegionParseOutcome	parseRegion(StatementRange range) Parse a single region.
String	sliceFor(StatementRange range) Source slice covered by the range.

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ParseRecoveryEngine

public ParseRecoveryEngine(EDbVendor vendor,
                           String originalSql,
                           Pp2TokenStream stream,
                           Pp2FormatOptions opts)

Method Detail

getPool

public ParserPool getPool()

Pool access — exposed for tests / introspection.

getVendor

public EDbVendor getVendor()

EDbVendor this engine targets.

parseAll

public List<RegionParseOutcome> parseAll(List<StatementRange> ranges)

Parse all ranges. The pipeline:

1. Tag every TRIVIA range up front (no parser involvement).
2. Tag every non-trivia range whose source slice exceeds Pp2FormatOptions.maxRegionParseChars as AST_ERROR with an engine note.
3. For every remaining range, run a probe parse on the pool. On AST_OK, re-parse the slice into a freshly-allocated TGSqlParser so the outcome's parser holds exactly one statement and is safe to hand to FormatterFactory.pp(parser, opt).

Parameters:

ranges - non-null list of statement ranges, in source order

Returns:

one outcome per input range, in the same order

Throws:

NullPointerException - if ranges or any element is null

parseRegion

public RegionParseOutcome parseRegion(StatementRange range)

Parse a single region. Never throws.

Behaviour:

1. If the region is trivia, returns TRIVIA without touching the parser.
2. If the region's source span exceeds opts.maxRegionParseChars, returns AST_ERROR with an engine note. Skips parsing entirely.
3. Otherwise resets the pool, hands the region source slice to the parser, and captures the outcome. Any Throwable from parse() is wrapped as AST_ERROR.

isTrivia

public boolean isTrivia(StatementRange range)

True when the range contains no solid tokens — only whitespace, comments, and at most a trailing ;, or a trailing GO in the older form of a range (see trailingGoOffset(gudusoft.gsqlparser.pp2.region.StatementRange)). Trivia ranges are short-circuited to TRIVIA and never reach the parser.

sliceFor

public String sliceFor(StatementRange range)

Source slice covered by the range. Sliced from the original input via the range's byte offsets (see the S11 hand-off note: parsing against the original input preserves comment / whitespace context the parser may key on for some shapes).

A GO batch separator is not inside a range (see StatementRange): the GSP MSSQL parser reads one as the end of a statement and the start of the next, which RegionParseOutcome's single-statement guard would refuse. A range in the older form, ending with its GO, is sliced before it.