public static final class DynamicSqlProofHarness.MssqlRewriteAudit.RewriteRule extends Object
| Modifier and Type | Field and Description |
|---|---|
DynamicSqlProofHarness.MssqlRewriteAudit.Enforcement |
enforcement |
String |
name |
String |
note |
int |
window
Forward solid-token window; -1 when unbounded/non-token-local.
|
public final int window
public final DynamicSqlProofHarness.MssqlRewriteAudit.Enforcement enforcement
public boolean excluded()