sofya.mutator.verifier
Class Verifier.Pass

java.lang.Object
  sofya.mutator.verifier.Verifier.Pass

Enclosing interface:

Verifier

public static final class Verifier.Pass
extends java.lang.Object

Type-safe enumeration used for specifying levels of verification.

Field Summary

static int	IONE Constant for verification pass 1.
static int	ITHREE_A Constant for verification pass 3a.
static int	ITHREE_B Constant for verification pass 3b.
static int	ITWO Constant for verification pass 2.
static Verifier.Pass	ONE Type-safe constant for verification pass 1.
static Verifier.Pass	THREE_A Type-safe constant for verification pass 3a.
static Verifier.Pass	THREE_B Type-safe constant for verification pass 3b.
static Verifier.Pass	TWO Type-safe constant for verification pass 2.

Method Summary

int	toInt() Gets the integer constant associated with this verification pass.

Methods inherited from class java.lang.Object

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

Field Detail

IONE

public static final int IONE

Constant for verification pass 1.

See Also:

Constant Field Values

ITWO

public static final int ITWO

Constant for verification pass 2.

See Also:

Constant Field Values

ITHREE_A

public static final int ITHREE_A

Constant for verification pass 3a.

See Also:

Constant Field Values

ITHREE_B

public static final int ITHREE_B

Constant for verification pass 3b.

See Also:

Constant Field Values

ONE

public static final Verifier.Pass ONE

Type-safe constant for verification pass 1.

TWO

public static final Verifier.Pass TWO

Type-safe constant for verification pass 2.

THREE_A

public static final Verifier.Pass THREE_A

Type-safe constant for verification pass 3a.

THREE_B

public static final Verifier.Pass THREE_B

Type-safe constant for verification pass 3b.

Method Detail

toInt

public int toInt()

Gets the integer constant associated with this verification pass.

Returns:

The integer constant associated with this verification pass.