gudusoft.gsqlparser

Enum DynamicSqlProofHarness.MssqlRewriteAudit.Enforcement

Object

Enum<DynamicSqlProofHarness.MssqlRewriteAudit.Enforcement>

gudusoft.gsqlparser.DynamicSqlProofHarness.MssqlRewriteAudit.Enforcement

All Implemented Interfaces:

Serializable, Comparable<DynamicSqlProofHarness.MssqlRewriteAudit.Enforcement>

Enclosing class:

DynamicSqlProofHarness.MssqlRewriteAudit

public static enum DynamicSqlProofHarness.MssqlRewriteAudit.Enforcement
extends Enum<DynamicSqlProofHarness.MssqlRewriteAudit.Enforcement>

How a rule's influence on the token stream is bounded — or not.

Enum Constant Summary

Enum Constants

Enum Constant and Description
PENDING_COMMITMENT_CHECK Not yet enforceable here — lands with the commitment check (design R4 step 4).
REFUSED_BY_HARNESS Refused today by a harness check (see DynamicSqlProofHarness.MssqlRewriteAudit.RewriteRule.note).
WINDOWED Bounded window; covered by the W retreat.

Method Summary

Modifier and Type	Method and Description
static DynamicSqlProofHarness.MssqlRewriteAudit.Enforcement	valueOf(String name) Returns the enum constant of this type with the specified name.
static DynamicSqlProofHarness.MssqlRewriteAudit.Enforcement[]	values() Returns an array containing the constants of this enum type, in the order they are declared.

Methods inherited from class Enum

clone, compareTo, equals, finalize, getDeclaringClass, hashCode, name, ordinal, toString, valueOf

Methods inherited from class Object

getClass, notify, notifyAll, wait, wait, wait

Enum Constant Detail

WINDOWED

public static final DynamicSqlProofHarness.MssqlRewriteAudit.Enforcement WINDOWED

Bounded window; covered by the W retreat.

REFUSED_BY_HARNESS

public static final DynamicSqlProofHarness.MssqlRewriteAudit.Enforcement REFUSED_BY_HARNESS

Refused today by a harness check (see DynamicSqlProofHarness.MssqlRewriteAudit.RewriteRule.note).

PENDING_COMMITMENT_CHECK

public static final DynamicSqlProofHarness.MssqlRewriteAudit.Enforcement PENDING_COMMITMENT_CHECK

Not yet enforceable here — lands with the commitment check (design R4 step 4). Until then, constructs reachable by this rule must not be treated as provable.

Method Detail

values

public static DynamicSqlProofHarness.MssqlRewriteAudit.Enforcement[] values()

Returns an array containing the constants of this enum type, in the order they are declared. This method may be used to iterate over the constants as follows:

for (DynamicSqlProofHarness.MssqlRewriteAudit.Enforcement c : DynamicSqlProofHarness.MssqlRewriteAudit.Enforcement.values())
    System.out.println(c);

Returns:

an array containing the constants of this enum type, in the order they are declared

valueOf

public static DynamicSqlProofHarness.MssqlRewriteAudit.Enforcement valueOf(String name)

Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)

Parameters:

name - the name of the enum constant to be returned.

Returns:

the enum constant with the specified name

Throws:

IllegalArgumentException - if this enum type has no constant with the specified name

NullPointerException - if the argument is null