gudusoft.gsqlparser

Class DynamicSqlProofHarness.MssqlRewriteAudit

Object

gudusoft.gsqlparser.DynamicSqlProofHarness.MssqlRewriteAudit

Enclosing class:

DynamicSqlProofHarness

public static final class DynamicSqlProofHarness.MssqlRewriteAudit
extends Object

Per-rule forward-window audit of the MSSQL pre-parse machinery (review round 2 replaced the unsound single global W with this table). A construct reachable by an EXCLUDED rule cannot be proven by token-window retreat at all; the others bound how many solid tokens the stable-region boundary must retreat from the first hole.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	DynamicSqlProofHarness.MssqlRewriteAudit.Enforcement How a rule's influence on the token stream is bounded — or not.
static class	DynamicSqlProofHarness.MssqlRewriteAudit.RewriteRule One audited pre-parse/lexer rule: its forward window, or why it is excluded.

Field Summary

Fields

Modifier and Type	Field and Description
static int	KEYWORD_PREPASS_WINDOW Parser keyword pre-pass (TParserMssqlSql yyparse rewrite): 1 forward solid token.
static int	RAW_REWRITE_WINDOW Ordinary raw-statement rewrites (MssqlSqlParser): 1 forward solid token.
static List<DynamicSqlProofHarness.MssqlRewriteAudit.RewriteRule>	RULES The full audited rule table (review round 2).
static int	SPLITTER_WINDOW Statement splitter decisions: up to 2 forward solid tokens.
static int	W_ORDINARY_DML Conservative local constant for the audited ordinary-DML subset: max of the bounded windows above plus one.

Method Summary

Methods inherited from class Object

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

Field Detail

KEYWORD_PREPASS_WINDOW

public static final int KEYWORD_PREPASS_WINDOW

Parser keyword pre-pass (TParserMssqlSql yyparse rewrite): 1 forward solid token.

See Also:

Constant Field Values

RAW_REWRITE_WINDOW

public static final int RAW_REWRITE_WINDOW

Ordinary raw-statement rewrites (MssqlSqlParser): 1 forward solid token.

See Also:

Constant Field Values

SPLITTER_WINDOW

public static final int SPLITTER_WINDOW

Statement splitter decisions: up to 2 forward solid tokens.

See Also:

Constant Field Values

W_ORDINARY_DML

public static final int W_ORDINARY_DML

Conservative local constant for the audited ordinary-DML subset: max of the bounded windows above plus one. NOT a global MSSQL constant — constructs reachable by #EXCLUDED_RULES are out.

See Also:

Constant Field Values

RULES

public static final List<DynamicSqlProofHarness.MssqlRewriteAudit.RewriteRule> RULES

The full audited rule table (review round 2).