org.qedeq.kernel.bo.logic.wf
Interface FormulaBasicErrors

All Superinterfaces:

ErrorCodes

All Known Implementing Classes:

FormulaCheckerImpl

public interface FormulaBasicErrors
extends ErrorCodes

Error codes and messages for formula checker.

Author:

Michael Meyling

Field Summary

static int	AT_LEAST_ONE_ARGUMENT_EXPECTED Error code.
static java.lang.String	AT_LEAST_ONE_ARGUMENT_EXPECTED_TEXT Error message.
static int	ATOM_CONTENT_MUST_NOT_BE_EMPTY Error code.
static java.lang.String	ATOM_CONTENT_MUST_NOT_BE_EMPTY_TEXT Error message: first argument must be an atom.
static int	ATOM_CONTENT_MUST_NOT_BE_NULL Error code.
static java.lang.String	ATOM_CONTENT_MUST_NOT_BE_NULL_TEXT Error message.
static int	ATOM_MUST_NOT_BE_NULL Error code.
static java.lang.String	ATOM_MUST_NOT_BE_NULL_TEXT Error message.
static int	BOUND_VARIABLE_ALREADY_FREE Error code.
static java.lang.String	BOUND_VARIABLE_ALREADY_FREE_TEXT Error message.
static int	CLASS_OPERATOR_STILL_UNKNOWN Error code.
static java.lang.String	CLASS_OPERATOR_STILL_UNKNOWN_TEXT Error message.
static int	ELEMENT_MUST_NOT_BE_NULL Error code.
static java.lang.String	ELEMENT_MUST_NOT_BE_NULL_TEXT Error message.
static int	EQUALITY_PREDICATE_NOT_YET_DEFINED Error code.
static java.lang.String	EQUALITY_PREDICATE_NOT_YET_DEFINED_TEXT Error message.
static int	EXACTLY_ONE_ARGUMENT_EXPECTED Error code.
static java.lang.String	EXACTLY_ONE_ARGUMENT_EXPECTED_TEXT Error message.
static int	EXACTLY_TWO_ARGUMENTS_EXPECTED Error code.
static java.lang.String	EXACTLY_TWO_ARGUMENTS_EXPECTED_TEXT Error message.
static int	EXACTLY_TWO_OR_THREE_ARGUMENTS_EXPECTED Error code.
static java.lang.String	EXACTLY_TWO_OR_THREE_ARGUMENTS_EXPECTED_TEXT Error message.
static int	FIRST_ARGUMENT_MUST_BE_AN_ATOM Error code.
static java.lang.String	FIRST_ARGUMENT_MUST_BE_AN_ATOM_TEXT Error message: first argument must be an atom.
static int	FREE_VARIABLE_ALREADY_BOUND Error code.
static java.lang.String	FREE_VARIABLE_ALREADY_BOUND_TEXT Error message.
static int	LIST_EXPECTED Error code.
static java.lang.String	LIST_EXPECTED_TEXT Error message.
static int	LIST_MUST_NOT_BE_NULL Error code.
static java.lang.String	LIST_MUST_NOT_BE_NULL_TEXT Error message.
static int	MORE_THAN_ONE_ARGUMENT_EXPECTED Error code.
static java.lang.String	MORE_THAN_ONE_ARGUMENT_EXPECTED_TEXT Error message.
static int	OPERATOR_CONTENT_MUST_NOT_BE_EMPTY Error code.
static java.lang.String	OPERATOR_CONTENT_MUST_NOT_BE_EMPTY_TEXT Error message: first argument must be an atom.
static int	OPERATOR_CONTENT_MUST_NOT_BE_NULL Error code.
static java.lang.String	OPERATOR_CONTENT_MUST_NOT_BE_NULL_TEXT Error message.
static int	SUBJECT_VARIABLE_ALREADY_BOUND_IN_FORMULA Error code.
static java.lang.String	SUBJECT_VARIABLE_ALREADY_BOUND_IN_FORMULA_TEXT Error message.
static int	SUBJECT_VARIABLE_EXPECTED Error code.
static java.lang.String	SUBJECT_VARIABLE_EXPECTED_TEXT Error message.
static int	SUBJECT_VARIABLE_OCCURS_NOT_IN_RESTRICTION_FORMULA Error code.
static java.lang.String	SUBJECT_VARIABLE_OCCURS_NOT_IN_RESTRICTION_FORMULA_TEXT Error message.
static int	UNKNOWN_FUNCTION_CONSTANT Error code.
static java.lang.String	UNKNOWN_FUNCTION_CONSTANT_TEXT Error message.
static int	UNKNOWN_LOGICAL_OPERATOR Error code.
static java.lang.String	UNKNOWN_LOGICAL_OPERATOR_TEXT Error message.
static int	UNKNOWN_PREDICATE_CONSTANT Error code.
static java.lang.String	UNKNOWN_PREDICATE_CONSTANT_TEXT Error message.
static int	UNKNOWN_TERM_OPERATOR Error code.
static java.lang.String	UNKNOWN_TERM_OPERATOR_TEXT Error message.

Field Detail

ELEMENT_MUST_NOT_BE_NULL

static final int ELEMENT_MUST_NOT_BE_NULL

Error code.

See Also:

Constant Field Values

ELEMENT_MUST_NOT_BE_NULL_TEXT

static final java.lang.String ELEMENT_MUST_NOT_BE_NULL_TEXT

Error message.

See Also:

Constant Field Values

ATOM_MUST_NOT_BE_NULL

static final int ATOM_MUST_NOT_BE_NULL

Error code.

See Also:

Constant Field Values

ATOM_MUST_NOT_BE_NULL_TEXT

static final java.lang.String ATOM_MUST_NOT_BE_NULL_TEXT

Error message.

See Also:

Constant Field Values

LIST_MUST_NOT_BE_NULL

static final int LIST_MUST_NOT_BE_NULL

Error code.

See Also:

Constant Field Values

LIST_MUST_NOT_BE_NULL_TEXT

static final java.lang.String LIST_MUST_NOT_BE_NULL_TEXT

Error message.

See Also:

Constant Field Values

ATOM_CONTENT_MUST_NOT_BE_NULL

static final int ATOM_CONTENT_MUST_NOT_BE_NULL

Error code.

See Also:

Constant Field Values

ATOM_CONTENT_MUST_NOT_BE_NULL_TEXT

static final java.lang.String ATOM_CONTENT_MUST_NOT_BE_NULL_TEXT

Error message.

See Also:

Constant Field Values

ATOM_CONTENT_MUST_NOT_BE_EMPTY

static final int ATOM_CONTENT_MUST_NOT_BE_EMPTY

Error code.

See Also:

Constant Field Values

ATOM_CONTENT_MUST_NOT_BE_EMPTY_TEXT

static final java.lang.String ATOM_CONTENT_MUST_NOT_BE_EMPTY_TEXT

Error message: first argument must be an atom.

See Also:

Constant Field Values

OPERATOR_CONTENT_MUST_NOT_BE_NULL

static final int OPERATOR_CONTENT_MUST_NOT_BE_NULL

Error code.

See Also:

Constant Field Values

OPERATOR_CONTENT_MUST_NOT_BE_NULL_TEXT

static final java.lang.String OPERATOR_CONTENT_MUST_NOT_BE_NULL_TEXT

Error message.

See Also:

Constant Field Values

OPERATOR_CONTENT_MUST_NOT_BE_EMPTY

static final int OPERATOR_CONTENT_MUST_NOT_BE_EMPTY

Error code.

See Also:

Constant Field Values

OPERATOR_CONTENT_MUST_NOT_BE_EMPTY_TEXT

static final java.lang.String OPERATOR_CONTENT_MUST_NOT_BE_EMPTY_TEXT

Error message: first argument must be an atom.

See Also:

Constant Field Values

LIST_EXPECTED

static final int LIST_EXPECTED

Error code.

See Also:

Constant Field Values

LIST_EXPECTED_TEXT

static final java.lang.String LIST_EXPECTED_TEXT

Error message.

See Also:

Constant Field Values

UNKNOWN_LOGICAL_OPERATOR

static final int UNKNOWN_LOGICAL_OPERATOR

Error code.

See Also:

Constant Field Values

UNKNOWN_LOGICAL_OPERATOR_TEXT

static final java.lang.String UNKNOWN_LOGICAL_OPERATOR_TEXT

Error message.

See Also:

Constant Field Values

SUBJECT_VARIABLE_EXPECTED

static final int SUBJECT_VARIABLE_EXPECTED

Error code.

See Also:

Constant Field Values

SUBJECT_VARIABLE_EXPECTED_TEXT

static final java.lang.String SUBJECT_VARIABLE_EXPECTED_TEXT

Error message.

See Also:

Constant Field Values

SUBJECT_VARIABLE_ALREADY_BOUND_IN_FORMULA

static final int SUBJECT_VARIABLE_ALREADY_BOUND_IN_FORMULA

Error code.

See Also:

Constant Field Values

SUBJECT_VARIABLE_ALREADY_BOUND_IN_FORMULA_TEXT

static final java.lang.String SUBJECT_VARIABLE_ALREADY_BOUND_IN_FORMULA_TEXT

Error message.

See Also:

Constant Field Values

SUBJECT_VARIABLE_OCCURS_NOT_IN_RESTRICTION_FORMULA

static final int SUBJECT_VARIABLE_OCCURS_NOT_IN_RESTRICTION_FORMULA

Error code.

See Also:

Constant Field Values

SUBJECT_VARIABLE_OCCURS_NOT_IN_RESTRICTION_FORMULA_TEXT

static final java.lang.String SUBJECT_VARIABLE_OCCURS_NOT_IN_RESTRICTION_FORMULA_TEXT

Error message.

See Also:

Constant Field Values

EQUALITY_PREDICATE_NOT_YET_DEFINED

static final int EQUALITY_PREDICATE_NOT_YET_DEFINED

Error code.

See Also:

Constant Field Values

EQUALITY_PREDICATE_NOT_YET_DEFINED_TEXT

static final java.lang.String EQUALITY_PREDICATE_NOT_YET_DEFINED_TEXT

Error message.

See Also:

Constant Field Values

UNKNOWN_PREDICATE_CONSTANT

static final int UNKNOWN_PREDICATE_CONSTANT

Error code.

See Also:

Constant Field Values

UNKNOWN_PREDICATE_CONSTANT_TEXT

static final java.lang.String UNKNOWN_PREDICATE_CONSTANT_TEXT

Error message.

See Also:

Constant Field Values

UNKNOWN_TERM_OPERATOR

static final int UNKNOWN_TERM_OPERATOR

Error code.

See Also:

Constant Field Values

UNKNOWN_TERM_OPERATOR_TEXT

static final java.lang.String UNKNOWN_TERM_OPERATOR_TEXT

Error message.

See Also:

Constant Field Values

CLASS_OPERATOR_STILL_UNKNOWN

static final int CLASS_OPERATOR_STILL_UNKNOWN

Error code.

See Also:

Constant Field Values

CLASS_OPERATOR_STILL_UNKNOWN_TEXT

static final java.lang.String CLASS_OPERATOR_STILL_UNKNOWN_TEXT

Error message.

See Also:

Constant Field Values

UNKNOWN_FUNCTION_CONSTANT

static final int UNKNOWN_FUNCTION_CONSTANT

Error code.

See Also:

Constant Field Values

UNKNOWN_FUNCTION_CONSTANT_TEXT

static final java.lang.String UNKNOWN_FUNCTION_CONSTANT_TEXT

Error message.

See Also:

Constant Field Values

EXACTLY_ONE_ARGUMENT_EXPECTED

static final int EXACTLY_ONE_ARGUMENT_EXPECTED

Error code.

See Also:

Constant Field Values

EXACTLY_ONE_ARGUMENT_EXPECTED_TEXT

static final java.lang.String EXACTLY_ONE_ARGUMENT_EXPECTED_TEXT

Error message.

See Also:

Constant Field Values

AT_LEAST_ONE_ARGUMENT_EXPECTED

static final int AT_LEAST_ONE_ARGUMENT_EXPECTED

Error code.

See Also:

Constant Field Values

AT_LEAST_ONE_ARGUMENT_EXPECTED_TEXT

static final java.lang.String AT_LEAST_ONE_ARGUMENT_EXPECTED_TEXT

Error message.

See Also:

Constant Field Values

FIRST_ARGUMENT_MUST_BE_AN_ATOM

static final int FIRST_ARGUMENT_MUST_BE_AN_ATOM

Error code.

See Also:

Constant Field Values

FIRST_ARGUMENT_MUST_BE_AN_ATOM_TEXT

static final java.lang.String FIRST_ARGUMENT_MUST_BE_AN_ATOM_TEXT

Error message: first argument must be an atom.

See Also:

Constant Field Values

MORE_THAN_ONE_ARGUMENT_EXPECTED

static final int MORE_THAN_ONE_ARGUMENT_EXPECTED

Error code.

See Also:

Constant Field Values

MORE_THAN_ONE_ARGUMENT_EXPECTED_TEXT

static final java.lang.String MORE_THAN_ONE_ARGUMENT_EXPECTED_TEXT

Error message.

See Also:

Constant Field Values

EXACTLY_TWO_OR_THREE_ARGUMENTS_EXPECTED

static final int EXACTLY_TWO_OR_THREE_ARGUMENTS_EXPECTED

Error code.

See Also:

Constant Field Values

EXACTLY_TWO_OR_THREE_ARGUMENTS_EXPECTED_TEXT

static final java.lang.String EXACTLY_TWO_OR_THREE_ARGUMENTS_EXPECTED_TEXT

Error message.

See Also:

Constant Field Values

EXACTLY_TWO_ARGUMENTS_EXPECTED

static final int EXACTLY_TWO_ARGUMENTS_EXPECTED

Error code.

See Also:

Constant Field Values

EXACTLY_TWO_ARGUMENTS_EXPECTED_TEXT

static final java.lang.String EXACTLY_TWO_ARGUMENTS_EXPECTED_TEXT

Error message.

See Also:

Constant Field Values

BOUND_VARIABLE_ALREADY_FREE

static final int BOUND_VARIABLE_ALREADY_FREE

Error code.

See Also:

Constant Field Values

BOUND_VARIABLE_ALREADY_FREE_TEXT

static final java.lang.String BOUND_VARIABLE_ALREADY_FREE_TEXT

Error message.

See Also:

Constant Field Values

FREE_VARIABLE_ALREADY_BOUND

static final int FREE_VARIABLE_ALREADY_BOUND

Error code.

See Also:

Constant Field Values

FREE_VARIABLE_ALREADY_BOUND_TEXT

static final java.lang.String FREE_VARIABLE_ALREADY_BOUND_TEXT

Error message.

See Also:

Constant Field Values