org.qedeq.kernel.bo.logic.proof.checker
Interface BasicProofErrors

All Superinterfaces:

ErrorCodes

public interface BasicProofErrors
extends ErrorCodes

Error codes and messages for proof checker.

Author:

Michael Meyling

Field Summary

static int	CONDITIONS_AND_FORMULA_DONT_AGREE_CODE Error code.
static java.lang.String	CONDITIONS_AND_FORMULA_DONT_AGREE_TEXT Error message.
static int	CURRENT_MUST_BE_CONCLUSION_CODE Error code.
static java.lang.String	CURRENT_MUST_BE_CONCLUSION_TEXT Error message.
static int	EXPECTED_FORMULA_DIFFERS_2_CODE Error code.
static java.lang.String	EXPECTED_FORMULA_DIFFERS_2_TEXT Error message.
static int	EXPECTED_FORMULA_DIFFERS_CODE Error code.
static java.lang.String	EXPECTED_FORMULA_DIFFERS_TEXT Error message.
static int	FREE_SUBJECT_VARIABLES_SHOULD_NOT_GET_BOUND_CODE Error code.
static java.lang.String	FREE_SUBJECT_VARIABLES_SHOULD_NOT_GET_BOUND_TEXT Error message.
static int	HIGHER_PROOF_RULE_VERSION_NEEDED_CODE Error code.
static java.lang.String	HIGHER_PROOF_RULE_VERSION_NEEDED_TEXT Error message.
static java.lang.String	HIGHER_PROOF_RULE_VERSION_NEEDED_TEXT2 Error message.
static int	IMPLICATION_EXPECTED_CODE Error code.
static java.lang.String	IMPLICATION_EXPECTED_TEXT Error message.
static int	LAST_PROOF_LINE_MUST_BE_IDENTICAL_TO_PROPOSITION_CODE Error code.
static java.lang.String	LAST_PROOF_LINE_MUST_BE_IDENTICAL_TO_PROPOSITION_TEXT Error message.
static int	LOCAL_LABEL_ALREADY_EXISTS_CODE Error code.
static java.lang.String	LOCAL_LABEL_ALREADY_EXISTS_TEXT Error message.
static int	MISSING_PROOF_LINE_FOR_CONDITIONAL_PROOF_CODE Error code.
static java.lang.String	MISSING_PROOF_LINE_FOR_CONDITIONAL_PROOF_TEXT Error message.
static int	MUST_BE_HYPOTHESIS_OF_FIRST_REFERENCE_CODE Error code.
static java.lang.String	MUST_BE_HYPOTHESIS_OF_FIRST_REFERENCE_TEXT Error message.
static int	NO_FORMAL_PROOFS_SUPORTED_CODE Error code.
static java.lang.String	NO_FORMAL_PROOFS_SUPORTED_TEXT Error message.
static int	ONLY_FREE_SUBJECT_VARIABLES_ALLOWED_CODE Error code.
static java.lang.String	ONLY_FREE_SUBJECT_VARIABLES_ALLOWED_TEXT Error message.
static int	PROOF_LINE_MUST_NOT_BE_NULL_CODE Error code.
static java.lang.String	PROOF_LINE_MUST_NOT_BE_NULL_TEXT Error message.
static int	PROOF_METHOD_IS_NOT_SUPPORTED_CODE Error code.
static java.lang.String	PROOF_METHOD_IS_NOT_SUPPORTED_TEXT Error message.
static java.lang.String	PROOF_METHOD_IS_NOT_SUPPORTED_TEXT2 Error message.
static int	PROOF_METHOD_WAS_NOT_DEFINED_YET_CODE Error code.
static java.lang.String	PROOF_METHOD_WAS_NOT_DEFINED_YET_TEXT Error message.
static int	REASON_MUST_NOT_BE_NULL_CODE Error code.
static java.lang.String	REASON_MUST_NOT_BE_NULL_TEXT Error message.
static int	REFERENCE_TO_PROVED_FORMULA_IS_MISSING_CODE Error code.
static java.lang.String	REFERENCE_TO_PROVED_FORMULA_IS_MISSING_TEXT Error message.
static int	SUBJECT_VARIABLE_IS_MISSING_CODE Error code.
static java.lang.String	SUBJECT_VARIABLE_IS_MISSING_TEXT Error message.
static int	SUBSTITUTION_FORMULA_IS_MISSING_CODE Error code.
static java.lang.String	SUBSTITUTION_FORMULA_IS_MISSING_TEXT Error message.
static int	SUBSTITUTION_LOCATION_CONTAINS_BOUND_SUBJECT_VARIABLE_CODE Error code.
static java.lang.String	SUBSTITUTION_LOCATION_CONTAINS_BOUND_SUBJECT_VARIABLE_TEXT Error message.
static int	SUBSTITUTION_OPERATOR_FOUND_IN_PRECONDITION_CODE Error code.
static java.lang.String	SUBSTITUTION_OPERATOR_FOUND_IN_PRECONDITION_TEXT Error message.
static int	SUBSTITUTION_TERM_IS_MISSING_CODE Error code.
static java.lang.String	SUBSTITUTION_TERM_IS_MISSING_TEXT Error message.
static int	SUCH_A_LOCAL_LABEL_DOESNT_EXIST_CODE Error code.
static java.lang.String	SUCH_A_LOCAL_LABEL_DOESNT_EXIST_TEXT Error message.
static int	THIS_IS_NO_ALLOWED_BASIC_REASON_CODE Error code.
static java.lang.String	THIS_IS_NO_ALLOWED_BASIC_REASON_TEXT Error message.
static int	THIS_IS_NO_REFERENCE_TO_A_PROVED_FORMULA_CODE Error code.
static java.lang.String	THIS_IS_NO_REFERENCE_TO_A_PROVED_FORMULA_TEXT Error message.

Field Detail

PROOF_LINE_MUST_NOT_BE_NULL_CODE

static final int PROOF_LINE_MUST_NOT_BE_NULL_CODE

Error code.

See Also:

Constant Field Values

PROOF_LINE_MUST_NOT_BE_NULL_TEXT

static final java.lang.String PROOF_LINE_MUST_NOT_BE_NULL_TEXT

Error message.

See Also:

Constant Field Values

REASON_MUST_NOT_BE_NULL_CODE

static final int REASON_MUST_NOT_BE_NULL_CODE

Error code.

See Also:

Constant Field Values

REASON_MUST_NOT_BE_NULL_TEXT

static final java.lang.String REASON_MUST_NOT_BE_NULL_TEXT

Error message.

See Also:

Constant Field Values

THIS_IS_NO_ALLOWED_BASIC_REASON_CODE

static final int THIS_IS_NO_ALLOWED_BASIC_REASON_CODE

Error code.

See Also:

Constant Field Values

THIS_IS_NO_ALLOWED_BASIC_REASON_TEXT

static final java.lang.String THIS_IS_NO_ALLOWED_BASIC_REASON_TEXT

Error message.

See Also:

Constant Field Values

THIS_IS_NO_REFERENCE_TO_A_PROVED_FORMULA_CODE

static final int THIS_IS_NO_REFERENCE_TO_A_PROVED_FORMULA_CODE

Error code.

See Also:

Constant Field Values

THIS_IS_NO_REFERENCE_TO_A_PROVED_FORMULA_TEXT

static final java.lang.String THIS_IS_NO_REFERENCE_TO_A_PROVED_FORMULA_TEXT

Error message.

See Also:

Constant Field Values

EXPECTED_FORMULA_DIFFERS_CODE

static final int EXPECTED_FORMULA_DIFFERS_CODE

Error code.

See Also:

Constant Field Values

EXPECTED_FORMULA_DIFFERS_TEXT

static final java.lang.String EXPECTED_FORMULA_DIFFERS_TEXT

Error message.

See Also:

Constant Field Values

EXPECTED_FORMULA_DIFFERS_2_CODE

static final int EXPECTED_FORMULA_DIFFERS_2_CODE

Error code.

See Also:

Constant Field Values

EXPECTED_FORMULA_DIFFERS_2_TEXT

static final java.lang.String EXPECTED_FORMULA_DIFFERS_2_TEXT

Error message.

See Also:

Constant Field Values

LOCAL_LABEL_ALREADY_EXISTS_CODE

static final int LOCAL_LABEL_ALREADY_EXISTS_CODE

Error code.

See Also:

Constant Field Values

LOCAL_LABEL_ALREADY_EXISTS_TEXT

static final java.lang.String LOCAL_LABEL_ALREADY_EXISTS_TEXT

Error message.

See Also:

Constant Field Values

SUCH_A_LOCAL_LABEL_DOESNT_EXIST_CODE

static final int SUCH_A_LOCAL_LABEL_DOESNT_EXIST_CODE

Error code.

See Also:

Constant Field Values

SUCH_A_LOCAL_LABEL_DOESNT_EXIST_TEXT

static final java.lang.String SUCH_A_LOCAL_LABEL_DOESNT_EXIST_TEXT

Error message.

See Also:

Constant Field Values

IMPLICATION_EXPECTED_CODE

static final int IMPLICATION_EXPECTED_CODE

Error code.

See Also:

Constant Field Values

IMPLICATION_EXPECTED_TEXT

static final java.lang.String IMPLICATION_EXPECTED_TEXT

Error message.

See Also:

Constant Field Values

MUST_BE_HYPOTHESIS_OF_FIRST_REFERENCE_CODE

static final int MUST_BE_HYPOTHESIS_OF_FIRST_REFERENCE_CODE

Error code.

See Also:

Constant Field Values

MUST_BE_HYPOTHESIS_OF_FIRST_REFERENCE_TEXT

static final java.lang.String MUST_BE_HYPOTHESIS_OF_FIRST_REFERENCE_TEXT

Error message.

See Also:

Constant Field Values

CURRENT_MUST_BE_CONCLUSION_CODE

static final int CURRENT_MUST_BE_CONCLUSION_CODE

Error code.

See Also:

Constant Field Values

CURRENT_MUST_BE_CONCLUSION_TEXT

static final java.lang.String CURRENT_MUST_BE_CONCLUSION_TEXT

Error message.

See Also:

Constant Field Values

LAST_PROOF_LINE_MUST_BE_IDENTICAL_TO_PROPOSITION_CODE

static final int LAST_PROOF_LINE_MUST_BE_IDENTICAL_TO_PROPOSITION_CODE

Error code.

See Also:

Constant Field Values

LAST_PROOF_LINE_MUST_BE_IDENTICAL_TO_PROPOSITION_TEXT

static final java.lang.String LAST_PROOF_LINE_MUST_BE_IDENTICAL_TO_PROPOSITION_TEXT

Error message.

See Also:

Constant Field Values

SUBSTITUTION_FORMULA_IS_MISSING_CODE

static final int SUBSTITUTION_FORMULA_IS_MISSING_CODE

Error code.

See Also:

Constant Field Values

SUBSTITUTION_FORMULA_IS_MISSING_TEXT

static final java.lang.String SUBSTITUTION_FORMULA_IS_MISSING_TEXT

Error message.

See Also:

Constant Field Values

REFERENCE_TO_PROVED_FORMULA_IS_MISSING_CODE

static final int REFERENCE_TO_PROVED_FORMULA_IS_MISSING_CODE

Error code.

See Also:

Constant Field Values

REFERENCE_TO_PROVED_FORMULA_IS_MISSING_TEXT

static final java.lang.String REFERENCE_TO_PROVED_FORMULA_IS_MISSING_TEXT

Error message.

See Also:

Constant Field Values

SUBSTITUTION_TERM_IS_MISSING_CODE

static final int SUBSTITUTION_TERM_IS_MISSING_CODE

Error code.

See Also:

Constant Field Values

SUBSTITUTION_TERM_IS_MISSING_TEXT

static final java.lang.String SUBSTITUTION_TERM_IS_MISSING_TEXT

Error message.

See Also:

Constant Field Values

ONLY_FREE_SUBJECT_VARIABLES_ALLOWED_CODE

static final int ONLY_FREE_SUBJECT_VARIABLES_ALLOWED_CODE

Error code.

See Also:

Constant Field Values

ONLY_FREE_SUBJECT_VARIABLES_ALLOWED_TEXT

static final java.lang.String ONLY_FREE_SUBJECT_VARIABLES_ALLOWED_TEXT

Error message.

See Also:

Constant Field Values

FREE_SUBJECT_VARIABLES_SHOULD_NOT_GET_BOUND_CODE

static final int FREE_SUBJECT_VARIABLES_SHOULD_NOT_GET_BOUND_CODE

Error code.

See Also:

Constant Field Values

FREE_SUBJECT_VARIABLES_SHOULD_NOT_GET_BOUND_TEXT

static final java.lang.String FREE_SUBJECT_VARIABLES_SHOULD_NOT_GET_BOUND_TEXT

Error message.

See Also:

Constant Field Values

SUBSTITUTION_LOCATION_CONTAINS_BOUND_SUBJECT_VARIABLE_CODE

static final int SUBSTITUTION_LOCATION_CONTAINS_BOUND_SUBJECT_VARIABLE_CODE

Error code.

See Also:

Constant Field Values

SUBSTITUTION_LOCATION_CONTAINS_BOUND_SUBJECT_VARIABLE_TEXT

static final java.lang.String SUBSTITUTION_LOCATION_CONTAINS_BOUND_SUBJECT_VARIABLE_TEXT

Error message.

See Also:

Constant Field Values

SUBJECT_VARIABLE_IS_MISSING_CODE

static final int SUBJECT_VARIABLE_IS_MISSING_CODE

Error code.

See Also:

Constant Field Values

SUBJECT_VARIABLE_IS_MISSING_TEXT

static final java.lang.String SUBJECT_VARIABLE_IS_MISSING_TEXT

Error message.

See Also:

Constant Field Values

MISSING_PROOF_LINE_FOR_CONDITIONAL_PROOF_CODE

static final int MISSING_PROOF_LINE_FOR_CONDITIONAL_PROOF_CODE

Error code.

See Also:

Constant Field Values

MISSING_PROOF_LINE_FOR_CONDITIONAL_PROOF_TEXT

static final java.lang.String MISSING_PROOF_LINE_FOR_CONDITIONAL_PROOF_TEXT

Error message.

See Also:

Constant Field Values

SUBSTITUTION_OPERATOR_FOUND_IN_PRECONDITION_CODE

static final int SUBSTITUTION_OPERATOR_FOUND_IN_PRECONDITION_CODE

Error code.

See Also:

Constant Field Values

SUBSTITUTION_OPERATOR_FOUND_IN_PRECONDITION_TEXT

static final java.lang.String SUBSTITUTION_OPERATOR_FOUND_IN_PRECONDITION_TEXT

Error message.

See Also:

Constant Field Values

NO_FORMAL_PROOFS_SUPORTED_CODE

static final int NO_FORMAL_PROOFS_SUPORTED_CODE

Error code.

See Also:

Constant Field Values

NO_FORMAL_PROOFS_SUPORTED_TEXT

static final java.lang.String NO_FORMAL_PROOFS_SUPORTED_TEXT

Error message.

See Also:

Constant Field Values

CONDITIONS_AND_FORMULA_DONT_AGREE_CODE

static final int CONDITIONS_AND_FORMULA_DONT_AGREE_CODE

Error code.

See Also:

Constant Field Values

CONDITIONS_AND_FORMULA_DONT_AGREE_TEXT

static final java.lang.String CONDITIONS_AND_FORMULA_DONT_AGREE_TEXT

Error message.

See Also:

Constant Field Values

PROOF_METHOD_WAS_NOT_DEFINED_YET_CODE

static final int PROOF_METHOD_WAS_NOT_DEFINED_YET_CODE

Error code.

See Also:

Constant Field Values

PROOF_METHOD_WAS_NOT_DEFINED_YET_TEXT

static final java.lang.String PROOF_METHOD_WAS_NOT_DEFINED_YET_TEXT

Error message.

See Also:

Constant Field Values

PROOF_METHOD_IS_NOT_SUPPORTED_CODE

static final int PROOF_METHOD_IS_NOT_SUPPORTED_CODE

Error code.

See Also:

Constant Field Values

PROOF_METHOD_IS_NOT_SUPPORTED_TEXT

static final java.lang.String PROOF_METHOD_IS_NOT_SUPPORTED_TEXT

Error message.

See Also:

Constant Field Values

PROOF_METHOD_IS_NOT_SUPPORTED_TEXT2

static final java.lang.String PROOF_METHOD_IS_NOT_SUPPORTED_TEXT2

Error message. Part two.

See Also:

Constant Field Values

HIGHER_PROOF_RULE_VERSION_NEEDED_CODE

static final int HIGHER_PROOF_RULE_VERSION_NEEDED_CODE

Error code.

See Also:

Constant Field Values

HIGHER_PROOF_RULE_VERSION_NEEDED_TEXT

static final java.lang.String HIGHER_PROOF_RULE_VERSION_NEEDED_TEXT

Error message.

See Also:

Constant Field Values

HIGHER_PROOF_RULE_VERSION_NEEDED_TEXT2

static final java.lang.String HIGHER_PROOF_RULE_VERSION_NEEDED_TEXT2

Error message. Part 2.

See Also:

Constant Field Values