org.qedeq.kernel.bo.service.logic
Interface LogicErrors

All Superinterfaces:

ErrorCodes

public interface LogicErrors
extends ErrorCodes

Error codes and messages for service package.

Author:

Michael Meyling

Field Summary

static int	CLASS_OPERATOR_ALREADY_DEFINED_CODE Error code.
static java.lang.String	CLASS_OPERATOR_ALREADY_DEFINED_TEXT Error message.
static int	DEFINITION_FORMULA_FOR_FUNCTION_MUST_BE_AN_EQUAL_RELATION_CODE Error code.
static java.lang.String	DEFINITION_FORMULA_FOR_FUNCTION_MUST_BE_AN_EQUAL_RELATION_TEXT Error message.
static int	DEFINITION_FORMULA_FOR_FUNCTION_MUST_START_WITH_EQUAL_RELATION_CODE Error code.
static java.lang.String	DEFINITION_FORMULA_FOR_FUNCTION_MUST_START_WITH_EQUAL_RELATION_TEXT Error message.
static int	FIRST_OPERAND_MUST_BE_A_NEW_FUNCTION_CONSTANT_CODE Error code.
static java.lang.String	FIRST_OPERAND_MUST_BE_A_NEW_FUNCTION_CONSTANT_TEXT Error message.
static int	FUNCTION_ALREADY_DEFINED_CODE Error code.
static java.lang.String	FUNCTION_ALREADY_DEFINED_TEXT Error message.
static int	FUNCTION_NAME_IN_FORMULA_MUST_SAME_CODE Error code.
static java.lang.String	FUNCTION_NAME_IN_FORMULA_MUST_SAME_TEXT Error message.
static int	IDENTITY_OPERATOR_ALREADY_EXISTS_CODE Error code.
static java.lang.String	IDENTITY_OPERATOR_ALREADY_EXISTS_TEXT Error message.
static int	IDENTITY_OPERATOR_MUST_BE_DEFINED_FIRST_CODE Error code.
static java.lang.String	IDENTITY_OPERATOR_MUST_BE_DEFINED_FIRST_TEXT Error message.
static int	MODULE_HAS_NO_HEADER_CODE Error code.
static int	MODULE_HAS_NO_HEADER_SPECIFICATION_CODE Error code.
static java.lang.String	MODULE_HAS_NO_HEADER_SPECIFICATION_TEXT Error message.
static java.lang.String	MODULE_HAS_NO_HEADER_TEXT Error message.
static int	MODULE_IMPORT_CHECK_FAILED_CODE Error code.
static java.lang.String	MODULE_IMPORT_CHECK_FAILED_TEXT Error message.
static int	MUST_BE_A_SUBJECT_VARIABLE_CODE Error code.
static java.lang.String	MUST_BE_A_SUBJECT_VARIABLE_TEXT Error message.
static int	MUST_HAVE_NAME_OF_PREDICATE_CODE Error code.
static java.lang.String	MUST_HAVE_NAME_OF_PREDICATE_TEXT Error message.
static int	NEW_RULE_HAS_LOWER_VERSION_NUMBER_CODE Error code.
static java.lang.String	NEW_RULE_HAS_LOWER_VERSION_NUMBER_TEXT Error message.
static int	NO_DEFINITION_FORMULA_FOR_FUNCTION_CODE Error code.
static java.lang.String	NO_DEFINITION_FORMULA_FOR_FUNCTION_TEXT Error message.
static int	NO_FORMAL_PROOF_FOUND_CODE Error code.
static java.lang.String	NO_FORMAL_PROOF_FOUND_TEXT Error message.
static int	NODE_FORMULAS_MUST_BE_WELL_FORMED_CODE Error code.
static java.lang.String	NODE_FORMULAS_MUST_BE_WELL_FORMED_TEXT Error message.
static int	NUMBER_OF_FREE_SUBJECT_VARIABLES_NOT_EQUAL_CODE Error code.
static java.lang.String	NUMBER_OF_FREE_SUBJECT_VARIABLES_NOT_EQUAL_TEXT Error message.
static int	OLD_OR_NEW_RULE_HAS_INVALID_VERSION_NUMBER_PATTERN_CODE Error code.
static java.lang.String	OLD_OR_NEW_RULE_HAS_INVALID_VERSION_NUMBER_PATTERN_TEXT Error message.
static int	OTHER_RULE_VERSION_EXPECTED_CODE Error code.
static java.lang.String	OTHER_RULE_VERSION_EXPECTED_TEXT1 Error message.
static java.lang.String	OTHER_RULE_VERSION_EXPECTED_TEXT2 Error message.
static int	PREDICATE_ALREADY_DEFINED_CODE Error code.
static java.lang.String	PREDICATE_ALREADY_DEFINED_TEXT Error message.
static int	PREDICATE_DEFINITION_NEEDS_EQUIVALENCE_OPERATOR_CODE Error code.
static java.lang.String	PREDICATE_DEFINITION_NEEDS_EQUIVALENCE_OPERATOR_TEXT Error message.
static int	PREDICATE_DEFINITION_NEEDS_PREDICATE_CONSTANT_CODE Error code.
static java.lang.String	PREDICATE_DEFINITION_NEEDS_PREDICATE_CONSTANT_TEXT Error message.
static int	PROPOSITION_FORMULA_MUST_NOT_BE_NULL_CODE Error code.
static java.lang.String	PROPOSITION_FORMULA_MUST_NOT_BE_NULL_TEXT Error message.
static int	RULE_ALREADY_DEFINED_CODE Error code.
static java.lang.String	RULE_ALREADY_DEFINED_TEXT Error message.
static int	RULE_DECLARED_IN_DIFFERENT_IMPORT_MODULES_CODE Error code.
static java.lang.String	RULE_DECLARED_IN_DIFFERENT_IMPORT_MODULES_TEXT Error message.
static int	RULE_DEFINITIONS_DONT_MIX_CODE Error code.
static java.lang.String	RULE_DEFINITIONS_DONT_MIX_TEXT Error message.
static int	RULE_HAS_BEEN_DECLARED_BEFORE_CODE Error code.
static java.lang.String	RULE_HAS_BEEN_DECLARED_BEFORE_TEXT Error message.
static int	RULE_HAS_NO_NAME_OR_VERSION_CODE Error code.
static java.lang.String	RULE_HAS_NO_NAME_OR_VERSION_TEXT Error message.
static int	RULE_VERSION_HAS_STILL_NO_PROOF_CHECKER_CODE Error code.
static java.lang.String	RULE_VERSION_HAS_STILL_NO_PROOF_CHECKER_TEXT Error message.
static int	RULE_WAS_NOT_DECLARED_BEFORE_CODE Error code.
static java.lang.String	RULE_WAS_NOT_DECLARED_BEFORE_TEXT Error message.
static int	SECOND_OPERAND_MUST_BE_A_TERM_CODE Error code.
static java.lang.String	SECOND_OPERAND_MUST_BE_A_TERM_TEXT Error message.
static int	SUBJECT_VARIABLE_OCCURS_NOT_FREE_CODE Error code.
static java.lang.String	SUBJECT_VARIABLE_OCCURS_NOT_FREE_TEXT Error message.
static int	THIS_IS_NOT_VALID_VERSION_FORMAT_CODE Error code.
static java.lang.String	THIS_IS_NOT_VALID_VERSION_FORMAT_TEXT Error message.

Field Detail

IDENTITY_OPERATOR_ALREADY_EXISTS_CODE

static final int IDENTITY_OPERATOR_ALREADY_EXISTS_CODE

Error code.

See Also:

Constant Field Values

IDENTITY_OPERATOR_ALREADY_EXISTS_TEXT

static final java.lang.String IDENTITY_OPERATOR_ALREADY_EXISTS_TEXT

Error message.

See Also:

Constant Field Values

PREDICATE_DEFINITION_NEEDS_EQUIVALENCE_OPERATOR_CODE

static final int PREDICATE_DEFINITION_NEEDS_EQUIVALENCE_OPERATOR_CODE

Error code.

See Also:

Constant Field Values

PREDICATE_DEFINITION_NEEDS_EQUIVALENCE_OPERATOR_TEXT

static final java.lang.String PREDICATE_DEFINITION_NEEDS_EQUIVALENCE_OPERATOR_TEXT

Error message.

See Also:

Constant Field Values

PREDICATE_DEFINITION_NEEDS_PREDICATE_CONSTANT_CODE

static final int PREDICATE_DEFINITION_NEEDS_PREDICATE_CONSTANT_CODE

Error code.

See Also:

Constant Field Values

PREDICATE_DEFINITION_NEEDS_PREDICATE_CONSTANT_TEXT

static final java.lang.String PREDICATE_DEFINITION_NEEDS_PREDICATE_CONSTANT_TEXT

Error message.

See Also:

Constant Field Values

MUST_HAVE_NAME_OF_PREDICATE_CODE

static final int MUST_HAVE_NAME_OF_PREDICATE_CODE

Error code.

See Also:

Constant Field Values

MUST_HAVE_NAME_OF_PREDICATE_TEXT

static final java.lang.String MUST_HAVE_NAME_OF_PREDICATE_TEXT

Error message.

See Also:

Constant Field Values

FUNCTION_ALREADY_DEFINED_CODE

static final int FUNCTION_ALREADY_DEFINED_CODE

Error code.

See Also:

Constant Field Values

FUNCTION_ALREADY_DEFINED_TEXT

static final java.lang.String FUNCTION_ALREADY_DEFINED_TEXT

Error message.

See Also:

Constant Field Values

NO_DEFINITION_FORMULA_FOR_FUNCTION_CODE

static final int NO_DEFINITION_FORMULA_FOR_FUNCTION_CODE

Error code.

See Also:

Constant Field Values

NO_DEFINITION_FORMULA_FOR_FUNCTION_TEXT

static final java.lang.String NO_DEFINITION_FORMULA_FOR_FUNCTION_TEXT

Error message.

See Also:

Constant Field Values

DEFINITION_FORMULA_FOR_FUNCTION_MUST_START_WITH_EQUAL_RELATION_CODE

static final int DEFINITION_FORMULA_FOR_FUNCTION_MUST_START_WITH_EQUAL_RELATION_CODE

Error code.

See Also:

Constant Field Values

DEFINITION_FORMULA_FOR_FUNCTION_MUST_START_WITH_EQUAL_RELATION_TEXT

static final java.lang.String DEFINITION_FORMULA_FOR_FUNCTION_MUST_START_WITH_EQUAL_RELATION_TEXT

Error message.

See Also:

Constant Field Values

PREDICATE_ALREADY_DEFINED_CODE

static final int PREDICATE_ALREADY_DEFINED_CODE

Error code.

See Also:

Constant Field Values

PREDICATE_ALREADY_DEFINED_TEXT

static final java.lang.String PREDICATE_ALREADY_DEFINED_TEXT

Error message.

See Also:

Constant Field Values

MUST_BE_A_SUBJECT_VARIABLE_CODE

static final int MUST_BE_A_SUBJECT_VARIABLE_CODE

Error code.

See Also:

Constant Field Values

MUST_BE_A_SUBJECT_VARIABLE_TEXT

static final java.lang.String MUST_BE_A_SUBJECT_VARIABLE_TEXT

Error message.

See Also:

Constant Field Values

SUBJECT_VARIABLE_OCCURS_NOT_FREE_CODE

static final int SUBJECT_VARIABLE_OCCURS_NOT_FREE_CODE

Error code.

See Also:

Constant Field Values

SUBJECT_VARIABLE_OCCURS_NOT_FREE_TEXT

static final java.lang.String SUBJECT_VARIABLE_OCCURS_NOT_FREE_TEXT

Error message.

See Also:

Constant Field Values

NUMBER_OF_FREE_SUBJECT_VARIABLES_NOT_EQUAL_CODE

static final int NUMBER_OF_FREE_SUBJECT_VARIABLES_NOT_EQUAL_CODE

Error code.

See Also:

Constant Field Values

NUMBER_OF_FREE_SUBJECT_VARIABLES_NOT_EQUAL_TEXT

static final java.lang.String NUMBER_OF_FREE_SUBJECT_VARIABLES_NOT_EQUAL_TEXT

Error message.

See Also:

Constant Field Values

IDENTITY_OPERATOR_MUST_BE_DEFINED_FIRST_CODE

static final int IDENTITY_OPERATOR_MUST_BE_DEFINED_FIRST_CODE

Error code.

See Also:

Constant Field Values

IDENTITY_OPERATOR_MUST_BE_DEFINED_FIRST_TEXT

static final java.lang.String IDENTITY_OPERATOR_MUST_BE_DEFINED_FIRST_TEXT

Error message.

See Also:

Constant Field Values

DEFINITION_FORMULA_FOR_FUNCTION_MUST_BE_AN_EQUAL_RELATION_CODE

static final int DEFINITION_FORMULA_FOR_FUNCTION_MUST_BE_AN_EQUAL_RELATION_CODE

Error code.

See Also:

Constant Field Values

DEFINITION_FORMULA_FOR_FUNCTION_MUST_BE_AN_EQUAL_RELATION_TEXT

static final java.lang.String DEFINITION_FORMULA_FOR_FUNCTION_MUST_BE_AN_EQUAL_RELATION_TEXT

Error message.

See Also:

Constant Field Values

FIRST_OPERAND_MUST_BE_A_NEW_FUNCTION_CONSTANT_CODE

static final int FIRST_OPERAND_MUST_BE_A_NEW_FUNCTION_CONSTANT_CODE

Error code.

See Also:

Constant Field Values

FIRST_OPERAND_MUST_BE_A_NEW_FUNCTION_CONSTANT_TEXT

static final java.lang.String FIRST_OPERAND_MUST_BE_A_NEW_FUNCTION_CONSTANT_TEXT

Error message.

See Also:

Constant Field Values

SECOND_OPERAND_MUST_BE_A_TERM_CODE

static final int SECOND_OPERAND_MUST_BE_A_TERM_CODE

Error code.

See Also:

Constant Field Values

SECOND_OPERAND_MUST_BE_A_TERM_TEXT

static final java.lang.String SECOND_OPERAND_MUST_BE_A_TERM_TEXT

Error message.

See Also:

Constant Field Values

MODULE_IMPORT_CHECK_FAILED_CODE

static final int MODULE_IMPORT_CHECK_FAILED_CODE

Error code.

See Also:

Constant Field Values

MODULE_IMPORT_CHECK_FAILED_TEXT

static final java.lang.String MODULE_IMPORT_CHECK_FAILED_TEXT

Error message.

See Also:

Constant Field Values

PROPOSITION_FORMULA_MUST_NOT_BE_NULL_CODE

static final int PROPOSITION_FORMULA_MUST_NOT_BE_NULL_CODE

Error code.

See Also:

Constant Field Values

PROPOSITION_FORMULA_MUST_NOT_BE_NULL_TEXT

static final java.lang.String PROPOSITION_FORMULA_MUST_NOT_BE_NULL_TEXT

Error message.

See Also:

Constant Field Values

NODE_FORMULAS_MUST_BE_WELL_FORMED_CODE

static final int NODE_FORMULAS_MUST_BE_WELL_FORMED_CODE

Error code.

See Also:

Constant Field Values

NODE_FORMULAS_MUST_BE_WELL_FORMED_TEXT

static final java.lang.String NODE_FORMULAS_MUST_BE_WELL_FORMED_TEXT

Error message.

See Also:

Constant Field Values

NO_FORMAL_PROOF_FOUND_CODE

static final int NO_FORMAL_PROOF_FOUND_CODE

Error code.

See Also:

Constant Field Values

NO_FORMAL_PROOF_FOUND_TEXT

static final java.lang.String NO_FORMAL_PROOF_FOUND_TEXT

Error message.

See Also:

Constant Field Values

RULE_VERSION_HAS_STILL_NO_PROOF_CHECKER_CODE

static final int RULE_VERSION_HAS_STILL_NO_PROOF_CHECKER_CODE

Error code.

See Also:

Constant Field Values

RULE_VERSION_HAS_STILL_NO_PROOF_CHECKER_TEXT

static final java.lang.String RULE_VERSION_HAS_STILL_NO_PROOF_CHECKER_TEXT

Error message.

See Also:

Constant Field Values

RULE_ALREADY_DEFINED_CODE

static final int RULE_ALREADY_DEFINED_CODE

Error code.

See Also:

Constant Field Values

RULE_ALREADY_DEFINED_TEXT

static final java.lang.String RULE_ALREADY_DEFINED_TEXT

Error message.

See Also:

Constant Field Values

RULE_DEFINITIONS_DONT_MIX_CODE

static final int RULE_DEFINITIONS_DONT_MIX_CODE

Error code.

See Also:

Constant Field Values

RULE_DEFINITIONS_DONT_MIX_TEXT

static final java.lang.String RULE_DEFINITIONS_DONT_MIX_TEXT

Error message.

See Also:

Constant Field Values

CLASS_OPERATOR_ALREADY_DEFINED_CODE

static final int CLASS_OPERATOR_ALREADY_DEFINED_CODE

Error code.

See Also:

Constant Field Values

CLASS_OPERATOR_ALREADY_DEFINED_TEXT

static final java.lang.String CLASS_OPERATOR_ALREADY_DEFINED_TEXT

Error message.

See Also:

Constant Field Values

THIS_IS_NOT_VALID_VERSION_FORMAT_CODE

static final int THIS_IS_NOT_VALID_VERSION_FORMAT_CODE

Error code.

See Also:

Constant Field Values

THIS_IS_NOT_VALID_VERSION_FORMAT_TEXT

static final java.lang.String THIS_IS_NOT_VALID_VERSION_FORMAT_TEXT

Error message.

See Also:

Constant Field Values

MODULE_HAS_NO_HEADER_CODE

static final int MODULE_HAS_NO_HEADER_CODE

Error code.

See Also:

Constant Field Values

MODULE_HAS_NO_HEADER_TEXT

static final java.lang.String MODULE_HAS_NO_HEADER_TEXT

Error message.

See Also:

Constant Field Values

MODULE_HAS_NO_HEADER_SPECIFICATION_CODE

static final int MODULE_HAS_NO_HEADER_SPECIFICATION_CODE

Error code.

See Also:

Constant Field Values

MODULE_HAS_NO_HEADER_SPECIFICATION_TEXT

static final java.lang.String MODULE_HAS_NO_HEADER_SPECIFICATION_TEXT

Error message.

See Also:

Constant Field Values

RULE_WAS_NOT_DECLARED_BEFORE_CODE

static final int RULE_WAS_NOT_DECLARED_BEFORE_CODE

Error code.

See Also:

Constant Field Values

RULE_WAS_NOT_DECLARED_BEFORE_TEXT

static final java.lang.String RULE_WAS_NOT_DECLARED_BEFORE_TEXT

Error message.

See Also:

Constant Field Values

RULE_HAS_BEEN_DECLARED_BEFORE_CODE

static final int RULE_HAS_BEEN_DECLARED_BEFORE_CODE

Error code.

See Also:

Constant Field Values

RULE_HAS_BEEN_DECLARED_BEFORE_TEXT

static final java.lang.String RULE_HAS_BEEN_DECLARED_BEFORE_TEXT

Error message.

See Also:

Constant Field Values

OTHER_RULE_VERSION_EXPECTED_CODE

static final int OTHER_RULE_VERSION_EXPECTED_CODE

Error code.

See Also:

Constant Field Values

OTHER_RULE_VERSION_EXPECTED_TEXT1

static final java.lang.String OTHER_RULE_VERSION_EXPECTED_TEXT1

Error message.

See Also:

Constant Field Values

OTHER_RULE_VERSION_EXPECTED_TEXT2

static final java.lang.String OTHER_RULE_VERSION_EXPECTED_TEXT2

Error message.

See Also:

Constant Field Values

NEW_RULE_HAS_LOWER_VERSION_NUMBER_CODE

static final int NEW_RULE_HAS_LOWER_VERSION_NUMBER_CODE

Error code.

See Also:

Constant Field Values

NEW_RULE_HAS_LOWER_VERSION_NUMBER_TEXT

static final java.lang.String NEW_RULE_HAS_LOWER_VERSION_NUMBER_TEXT

Error message.

See Also:

Constant Field Values

OLD_OR_NEW_RULE_HAS_INVALID_VERSION_NUMBER_PATTERN_CODE

static final int OLD_OR_NEW_RULE_HAS_INVALID_VERSION_NUMBER_PATTERN_CODE

Error code.

See Also:

Constant Field Values

OLD_OR_NEW_RULE_HAS_INVALID_VERSION_NUMBER_PATTERN_TEXT

static final java.lang.String OLD_OR_NEW_RULE_HAS_INVALID_VERSION_NUMBER_PATTERN_TEXT

Error message.

See Also:

Constant Field Values

RULE_HAS_NO_NAME_OR_VERSION_CODE

static final int RULE_HAS_NO_NAME_OR_VERSION_CODE

Error code.

See Also:

Constant Field Values

RULE_HAS_NO_NAME_OR_VERSION_TEXT

static final java.lang.String RULE_HAS_NO_NAME_OR_VERSION_TEXT

Error message.

See Also:

Constant Field Values

RULE_DECLARED_IN_DIFFERENT_IMPORT_MODULES_CODE

static final int RULE_DECLARED_IN_DIFFERENT_IMPORT_MODULES_CODE

Error code.

See Also:

Constant Field Values

RULE_DECLARED_IN_DIFFERENT_IMPORT_MODULES_TEXT

static final java.lang.String RULE_DECLARED_IN_DIFFERENT_IMPORT_MODULES_TEXT

Error message.

See Also:

Constant Field Values

FUNCTION_NAME_IN_FORMULA_MUST_SAME_CODE

static final int FUNCTION_NAME_IN_FORMULA_MUST_SAME_CODE

Error code.

See Also:

Constant Field Values

FUNCTION_NAME_IN_FORMULA_MUST_SAME_TEXT

static final java.lang.String FUNCTION_NAME_IN_FORMULA_MUST_SAME_TEXT

Error message.

See Also:

Constant Field Values