org.qedeq.kernel.bo.logic.model
Interface HeuristicErrorCodes

All Superinterfaces:

ErrorCodes

public interface HeuristicErrorCodes
extends ErrorCodes

Contains the error codes for heuristic model checks.

Author:

Michael Meyling

Field Summary

static int	EVALUATED_NOT_TRUE_CODE Error (or warning) number for: no tautology in our model.
static java.lang.String	EVALUATED_NOT_TRUE_TEXT Error (or warning) text for: no tautology in our model.
static int	PREDICATE_CALCULATION_FAILED_CODE Error code.
static java.lang.String	PREDICATE_CALCULATION_FAILED_TEXT Error message.
static int	RUNTIME_EXCEPTION_CODE Error (or warning) number for: unknown format for argument size.
static java.lang.String	RUNTIME_EXCEPTION_TEXT Error (or warning) text for: unknown format for argument size.
static int	UNKNOWN_ARGUMENT_FORMAT_CODE Error (or warning) number for: unknown format for argument size.
static java.lang.String	UNKNOWN_ARGUMENT_FORMAT_TEXT Error (or warning) text for: unknown format for argument size.
static int	UNKNOWN_FUNCTION_CONSTANT_CODE Error (or warning) number for: unknown function constant.
static java.lang.String	UNKNOWN_FUNCTION_CONSTANT_TEXT Error (or warning) text for: unknown function constant.
static int	UNKNOWN_IMPORT_MODULE_CODE Error (or warning) number for: unknown import module.
static java.lang.String	UNKNOWN_IMPORT_MODULE_TEXT Error (or warning) text for: unknown import module.
static java.lang.String	UNKNOWN_IMPORT_MODULE_TEXT_2 Error (or warning) text for: unknown import module.
static int	UNKNOWN_OPERATOR_CODE Error (or warning) number for: unknown operator.
static java.lang.String	UNKNOWN_OPERATOR_TEXT Error (or warning) text for: unknown operator.
static int	UNKNOWN_PREDICATE_CONSTANT_CODE Error (or warning) number for: unknown predicate constant.
static java.lang.String	UNKNOWN_PREDICATE_CONSTANT_TEXT Error (or warning) text for: unknown predicate constant.
static int	UNKNOWN_TERM_OPERATOR_CODE Error (or warning) number for: unknown term operator.
static java.lang.String	UNKNOWN_TERM_OPERATOR_TEXT Error (or warning) text for: unknown term operator.
static int	WRONG_CALLING_CONVENTION_CODE Error (or warning) number for: wrong calling convention, list expected.
static java.lang.String	WRONG_CALLING_CONVENTION_TEXT Error (or warning) text for: wrong calling convention, list expected.

Field Detail

EVALUATED_NOT_TRUE_CODE

static final int EVALUATED_NOT_TRUE_CODE

Error (or warning) number for: no tautology in our model.

See Also:

Constant Field Values

EVALUATED_NOT_TRUE_TEXT

static final java.lang.String EVALUATED_NOT_TRUE_TEXT

Error (or warning) text for: no tautology in our model.

See Also:

Constant Field Values

WRONG_CALLING_CONVENTION_CODE

static final int WRONG_CALLING_CONVENTION_CODE

Error (or warning) number for: wrong calling convention, list expected.

See Also:

Constant Field Values

WRONG_CALLING_CONVENTION_TEXT

static final java.lang.String WRONG_CALLING_CONVENTION_TEXT

Error (or warning) text for: wrong calling convention, list expected.

See Also:

Constant Field Values

UNKNOWN_OPERATOR_CODE

static final int UNKNOWN_OPERATOR_CODE

Error (or warning) number for: unknown operator.

See Also:

Constant Field Values

UNKNOWN_OPERATOR_TEXT

static final java.lang.String UNKNOWN_OPERATOR_TEXT

Error (or warning) text for: unknown operator.

See Also:

Constant Field Values

UNKNOWN_PREDICATE_CONSTANT_CODE

static final int UNKNOWN_PREDICATE_CONSTANT_CODE

Error (or warning) number for: unknown predicate constant.

See Also:

Constant Field Values

UNKNOWN_PREDICATE_CONSTANT_TEXT

static final java.lang.String UNKNOWN_PREDICATE_CONSTANT_TEXT

Error (or warning) text for: unknown predicate constant.

See Also:

Constant Field Values

UNKNOWN_TERM_OPERATOR_CODE

static final int UNKNOWN_TERM_OPERATOR_CODE

Error (or warning) number for: unknown term operator.

See Also:

Constant Field Values

UNKNOWN_TERM_OPERATOR_TEXT

static final java.lang.String UNKNOWN_TERM_OPERATOR_TEXT

Error (or warning) text for: unknown term operator.

See Also:

Constant Field Values

UNKNOWN_FUNCTION_CONSTANT_CODE

static final int UNKNOWN_FUNCTION_CONSTANT_CODE

Error (or warning) number for: unknown function constant.

See Also:

Constant Field Values

UNKNOWN_FUNCTION_CONSTANT_TEXT

static final java.lang.String UNKNOWN_FUNCTION_CONSTANT_TEXT

Error (or warning) text for: unknown function constant.

See Also:

Constant Field Values

UNKNOWN_ARGUMENT_FORMAT_CODE

static final int UNKNOWN_ARGUMENT_FORMAT_CODE

Error (or warning) number for: unknown format for argument size.

See Also:

Constant Field Values

UNKNOWN_ARGUMENT_FORMAT_TEXT

static final java.lang.String UNKNOWN_ARGUMENT_FORMAT_TEXT

Error (or warning) text for: unknown format for argument size.

See Also:

Constant Field Values

RUNTIME_EXCEPTION_CODE

static final int RUNTIME_EXCEPTION_CODE

Error (or warning) number for: unknown format for argument size.

See Also:

Constant Field Values

RUNTIME_EXCEPTION_TEXT

static final java.lang.String RUNTIME_EXCEPTION_TEXT

Error (or warning) text for: unknown format for argument size.

See Also:

Constant Field Values

UNKNOWN_IMPORT_MODULE_CODE

static final int UNKNOWN_IMPORT_MODULE_CODE

Error (or warning) number for: unknown import module.

See Also:

Constant Field Values

UNKNOWN_IMPORT_MODULE_TEXT

static final java.lang.String UNKNOWN_IMPORT_MODULE_TEXT

Error (or warning) text for: unknown import module.

See Also:

Constant Field Values

UNKNOWN_IMPORT_MODULE_TEXT_2

static final java.lang.String UNKNOWN_IMPORT_MODULE_TEXT_2

Error (or warning) text for: unknown import module.

See Also:

Constant Field Values

PREDICATE_CALCULATION_FAILED_CODE

static final int PREDICATE_CALCULATION_FAILED_CODE

Error code.

See Also:

Constant Field Values

PREDICATE_CALCULATION_FAILED_TEXT

static final java.lang.String PREDICATE_CALCULATION_FAILED_TEXT

Error message.

See Also:

Constant Field Values