org.qedeq.kernel.bo.logic.proof.finder
Interface FinderErrors

All Superinterfaces:

ErrorCodes

public interface FinderErrors
extends ErrorCodes

Error codes and messages for proof finder package.

Author:

Michael Meyling

Field Summary

static int	PROOF_FOUND_CODE Error code.
static java.lang.String	PROOF_FOUND_TEXT Error message.
static int	PROOF_NOT_FOUND_CODE Error code.
static java.lang.String	PROOF_NOT_FOUND_TEXT Error message.

Field Detail

PROOF_NOT_FOUND_CODE

static final int PROOF_NOT_FOUND_CODE

Error code.

See Also:

Constant Field Values

PROOF_NOT_FOUND_TEXT

static final java.lang.String PROOF_NOT_FOUND_TEXT

Error message.

See Also:

Constant Field Values

PROOF_FOUND_CODE

static final int PROOF_FOUND_CODE

Error code.

See Also:

Constant Field Values

PROOF_FOUND_TEXT

static final java.lang.String PROOF_FOUND_TEXT

Error message.

See Also:

Constant Field Values