gudusoft.gsqlparser

Class DynamicSqlProofHarness.ProofParseResult

Object

gudusoft.gsqlparser.DynamicSqlProofHarness.ProofParseResult

Enclosing class:

DynamicSqlProofHarness

public static final class DynamicSqlProofHarness.ProofParseResult
extends Object

Result of DynamicSqlProofHarness.proofParse(java.lang.String, gudusoft.gsqlparser.EDbVendor); ok == false means the proof must refuse.

Field Summary

Fields

Modifier and Type	Field and Description
int	createTableReparseEvents Typed subset: CREATE TABLE / CREATE INDEX trimmed-body reparses (outside yyparse).
int	keywordRollbackEvents Typed subset of recoveryEvents: deterministic keyword-to-identifier rollback attempts.
boolean	ok
String	reason Human-readable refusal cause; null when ok.
int	recoveryEvents Total recovery events: yyparse error handling + CREATE TABLE second-parse recovery.
int	syntaxErrorCount

Method Summary

Modifier and Type	Method and Description
String	toString()

Methods inherited from class Object

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

Field Detail

ok

public final boolean ok

syntaxErrorCount

public final int syntaxErrorCount

recoveryEvents

public final int recoveryEvents

Total recovery events: yyparse error handling + CREATE TABLE second-parse recovery.

keywordRollbackEvents

public final int keywordRollbackEvents

Typed subset of recoveryEvents: deterministic keyword-to-identifier rollback attempts. Refused today (sound, conservative); typed separately so a future audited-rewrite refinement can relax it without changing this surface.

createTableReparseEvents

public final int createTableReparseEvents

Typed subset: CREATE TABLE / CREATE INDEX trimmed-body reparses (outside yyparse).

reason

public final String reason

Human-readable refusal cause; null when ok.

Method Detail

toString

public String toString()

Overrides:

toString in class Object