sofya.mutator.verifier
Interface VerificationResult

public interface VerificationResult

Records the result of applying verification to a class or method. If the verification failed, additional information can be obtained about the cause of failure.

Version:

10/19/2005

Author:

Alex Kinneer

Method Summary

Verifier.Pass	getLevel() Reports the verification pass that was reached during verification.
java.lang.String	getMessage() Gets a message associated with the verification result, which may be an explanation of why verification failed.
int	getResult() Gets the result of verification.

Method Detail

getResult

int getResult()

Gets the result of verification.

Returns:

A value indicating the result of verification. Zero indicates that verification succeeded, one indicates that verification failed but no specific cause is available, and values two or larger indicate specific verification failures.

getMessage

java.lang.String getMessage()

Gets a message associated with the verification result, which may be an explanation of why verification failed.

Returns:

A message describing the verification result. If the verification failed, this message should explain the cause.

getLevel

Verifier.Pass getLevel()

Reports the verification pass that was reached during verification. Sometimes the verifier may fail on an earlier pass before reaching the requested verification pass.

Returns:

The verification pass reached by the verifier. If verification succeeded, this will be the pass requested. Otherwise, this will be the verification pass at which the verification failed.