org.qedeq.kernel.bo.logic
Interface FormulaBasicErrors

All Known Implementing Classes:

FormulaChecker

public interface FormulaBasicErrors

Error codes and messages for formula checker.

Version:

$Revision: 1.4 $

Field Summary

static int	AT_LEAST_ONE_ARGUMENT_EXPECTED Error code.
static String	AT_LEAST_ONE_ARGUMENT_EXPECTED_TEXT Error message.
static int	ATOM_CONTENT_MUST_NOT_BE_EMPTY Error code.
static 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 String	ATOM_CONTENT_MUST_NOT_BE_NULL_TEXT Error message.
static int	ATOM_MUST_NOT_BE_NULL Error code.
static String	ATOM_MUST_NOT_BE_NULL_TEXT Error message.
static int	BOUND_VARIABLE_ALREADY_FREE Error code.
static String	BOUND_VARIABLE_ALREADY_FREE_TEXT Error message.
static int	CLASS_OPERATOR_STILL_UNKNOWN Error code.
static String	CLASS_OPERATOR_STILL_UNKNOWN_TEXT Error message.
static int	ELEMENT_MUST_NOT_BE_NULL Error code.
static String	ELEMENT_MUST_NOT_BE_NULL_TEXT Error message.
static int	EQUALITY_PREDICATE_NOT_YET_DEFINED Error code.
static String	EQUALITY_PREDICATE_NOT_YET_DEFINED_TEXT Error message.
static int	EXACTLY_ONE_ARGUMENT_EXPECTED Error code.
static String	EXACTLY_ONE_ARGUMENT_EXPECTED_TEXT Error message.
static int	EXACTLY_TWO_ARGUMENTS_EXPECTED Error code.
static String	EXACTLY_TWO_ARGUMENTS_EXPECTED_TEXT Error message.
static int	EXACTLY_TWO_OR_THREE_ARGUMENTS_EXPECTED Error code.
static String	EXACTLY_TWO_OR_THREE_ARGUMENTS_EXPECTED_TEXT Error message.
static int	FIRST_ARGUMENT_MUST_BE_AN_ATOM Error code.
static 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 String	FREE_VARIABLE_ALREADY_BOUND_TEXT Error message.
static int	LIST_EXPECTED Error code.
static String	LIST_EXPECTED_TEXT Error message.
static int	LIST_MUST_NOT_BE_NULL Error code.
static String	LIST_MUST_NOT_BE_NULL_TEXT Error message.
static int	MORE_THAN_ONE_ARGUMENT_EXPECTED Error code.
static String	MORE_THAN_ONE_ARGUMENT_EXPECTED_TEXT Error message.
static int	OPERATOR_CONTENT_MUST_NOT_BE_EMPTY Error code.
static 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 String	OPERATOR_CONTENT_MUST_NOT_BE_NULL_TEXT Error message.
static int	SUBJECT_VARIABLE_ALREADY_BOUND_IN_FORMULA Error code.
static String	SUBJECT_VARIABLE_ALREADY_BOUND_IN_FORMULA_TEXT Error message.
static int	SUBJECT_VARIABLE_EXPECTED Error code.
static String	SUBJECT_VARIABLE_EXPECTED_TEXT Error message.
static int	SUBJECT_VARIABLE_OCCURS_NOT_IN_RESTRICTION_FORMULA Error code.
static String	SUBJECT_VARIABLE_OCCURS_NOT_IN_RESTRICTION_FORMULA_TEXT Error message.
static int	UNKNOWN_FUNCTION_CONSTANT Error code.
static String	UNKNOWN_FUNCTION_CONSTANT_TEXT Error message.
static int	UNKNOWN_LOGICAL_OPERATOR Error code.
static String	UNKNOWN_LOGICAL_OPERATOR_TEXT Error message.
static int	UNKNOWN_PREDICATE_CONSTANT Error code.
static String	UNKNOWN_PREDICATE_CONSTANT_TEXT Error message.
static int	UNKNOWN_TERM_OPERATOR Error code.
static String	UNKNOWN_TERM_OPERATOR_TEXT Error message.

Field Detail

ELEMENT_MUST_NOT_BE_NULL

public static final int ELEMENT_MUST_NOT_BE_NULL

Error code.

See Also:

Constant Field Values

ELEMENT_MUST_NOT_BE_NULL_TEXT

public static final String ELEMENT_MUST_NOT_BE_NULL_TEXT

Error message.

See Also:

Constant Field Values

ATOM_MUST_NOT_BE_NULL

public static final int ATOM_MUST_NOT_BE_NULL

Error code.

See Also:

Constant Field Values

ATOM_MUST_NOT_BE_NULL_TEXT

public static final String ATOM_MUST_NOT_BE_NULL_TEXT

Error message.

See Also:

Constant Field Values

LIST_MUST_NOT_BE_NULL

public static final int LIST_MUST_NOT_BE_NULL

Error code.

See Also:

Constant Field Values

LIST_MUST_NOT_BE_NULL_TEXT

public static final String LIST_MUST_NOT_BE_NULL_TEXT

Error message.

See Also:

Constant Field Values

ATOM_CONTENT_MUST_NOT_BE_NULL

public static final int ATOM_CONTENT_MUST_NOT_BE_NULL

Error code.

See Also:

Constant Field Values

ATOM_CONTENT_MUST_NOT_BE_NULL_TEXT

public static final String ATOM_CONTENT_MUST_NOT_BE_NULL_TEXT

Error message.

See Also:

Constant Field Values

ATOM_CONTENT_MUST_NOT_BE_EMPTY

public static final int ATOM_CONTENT_MUST_NOT_BE_EMPTY

Error code.

See Also:

Constant Field Values

ATOM_CONTENT_MUST_NOT_BE_EMPTY_TEXT

public static final 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

public static final int OPERATOR_CONTENT_MUST_NOT_BE_NULL

Error code.

See Also:

Constant Field Values

OPERATOR_CONTENT_MUST_NOT_BE_NULL_TEXT

public static final String OPERATOR_CONTENT_MUST_NOT_BE_NULL_TEXT

Error message.

See Also:

Constant Field Values

OPERATOR_CONTENT_MUST_NOT_BE_EMPTY

public static final int OPERATOR_CONTENT_MUST_NOT_BE_EMPTY

Error code.

See Also:

Constant Field Values

OPERATOR_CONTENT_MUST_NOT_BE_EMPTY_TEXT

public static final String OPERATOR_CONTENT_MUST_NOT_BE_EMPTY_TEXT

Error message: first argument must be an atom.

See Also:

Constant Field Values

LIST_EXPECTED

public static final int LIST_EXPECTED

Error code.

See Also:

Constant Field Values

LIST_EXPECTED_TEXT

public static final String LIST_EXPECTED_TEXT

Error message.

See Also:

Constant Field Values

UNKNOWN_LOGICAL_OPERATOR

public static final int UNKNOWN_LOGICAL_OPERATOR

Error code.

See Also:

Constant Field Values

UNKNOWN_LOGICAL_OPERATOR_TEXT

public static final String UNKNOWN_LOGICAL_OPERATOR_TEXT

Error message.

See Also:

Constant Field Values

SUBJECT_VARIABLE_EXPECTED

public static final int SUBJECT_VARIABLE_EXPECTED

Error code.

See Also:

Constant Field Values

SUBJECT_VARIABLE_EXPECTED_TEXT

public static final String SUBJECT_VARIABLE_EXPECTED_TEXT

Error message.

See Also:

Constant Field Values

SUBJECT_VARIABLE_ALREADY_BOUND_IN_FORMULA

public static final int SUBJECT_VARIABLE_ALREADY_BOUND_IN_FORMULA

Error code.

See Also:

Constant Field Values

SUBJECT_VARIABLE_ALREADY_BOUND_IN_FORMULA_TEXT

public static final String SUBJECT_VARIABLE_ALREADY_BOUND_IN_FORMULA_TEXT

Error message.

See Also:

Constant Field Values

SUBJECT_VARIABLE_OCCURS_NOT_IN_RESTRICTION_FORMULA

public 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

public static final String SUBJECT_VARIABLE_OCCURS_NOT_IN_RESTRICTION_FORMULA_TEXT

Error message.

See Also:

Constant Field Values

EQUALITY_PREDICATE_NOT_YET_DEFINED

public static final int EQUALITY_PREDICATE_NOT_YET_DEFINED

Error code.

See Also:

Constant Field Values

EQUALITY_PREDICATE_NOT_YET_DEFINED_TEXT

public static final String EQUALITY_PREDICATE_NOT_YET_DEFINED_TEXT

Error message.

See Also:

Constant Field Values

UNKNOWN_PREDICATE_CONSTANT

public static final int UNKNOWN_PREDICATE_CONSTANT

Error code.

See Also:

Constant Field Values

UNKNOWN_PREDICATE_CONSTANT_TEXT

public static final String UNKNOWN_PREDICATE_CONSTANT_TEXT

Error message.

See Also:

Constant Field Values

UNKNOWN_TERM_OPERATOR

public static final int UNKNOWN_TERM_OPERATOR

Error code.

See Also:

Constant Field Values

UNKNOWN_TERM_OPERATOR_TEXT

public static final String UNKNOWN_TERM_OPERATOR_TEXT

Error message.

See Also:

Constant Field Values

CLASS_OPERATOR_STILL_UNKNOWN

public static final int CLASS_OPERATOR_STILL_UNKNOWN

Error code.

See Also:

Constant Field Values

CLASS_OPERATOR_STILL_UNKNOWN_TEXT

public static final String CLASS_OPERATOR_STILL_UNKNOWN_TEXT

Error message.

See Also:

Constant Field Values

UNKNOWN_FUNCTION_CONSTANT

public static final int UNKNOWN_FUNCTION_CONSTANT

Error code.

See Also:

Constant Field Values

UNKNOWN_FUNCTION_CONSTANT_TEXT

public static final String UNKNOWN_FUNCTION_CONSTANT_TEXT

Error message.

See Also:

Constant Field Values

EXACTLY_ONE_ARGUMENT_EXPECTED

public static final int EXACTLY_ONE_ARGUMENT_EXPECTED

Error code.

See Also:

Constant Field Values

EXACTLY_ONE_ARGUMENT_EXPECTED_TEXT

public static final String EXACTLY_ONE_ARGUMENT_EXPECTED_TEXT

Error message.

See Also:

Constant Field Values

AT_LEAST_ONE_ARGUMENT_EXPECTED

public static final int AT_LEAST_ONE_ARGUMENT_EXPECTED

Error code.

See Also:

Constant Field Values

AT_LEAST_ONE_ARGUMENT_EXPECTED_TEXT

public static final String AT_LEAST_ONE_ARGUMENT_EXPECTED_TEXT

Error message.

See Also:

Constant Field Values

FIRST_ARGUMENT_MUST_BE_AN_ATOM

public static final int FIRST_ARGUMENT_MUST_BE_AN_ATOM

Error code.

See Also:

Constant Field Values

FIRST_ARGUMENT_MUST_BE_AN_ATOM_TEXT

public static final 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

public static final int MORE_THAN_ONE_ARGUMENT_EXPECTED

Error code.

See Also:

Constant Field Values

MORE_THAN_ONE_ARGUMENT_EXPECTED_TEXT

public static final String MORE_THAN_ONE_ARGUMENT_EXPECTED_TEXT

Error message.

See Also:

Constant Field Values

EXACTLY_TWO_OR_THREE_ARGUMENTS_EXPECTED

public static final int EXACTLY_TWO_OR_THREE_ARGUMENTS_EXPECTED

Error code.

See Also:

Constant Field Values

EXACTLY_TWO_OR_THREE_ARGUMENTS_EXPECTED_TEXT

public static final String EXACTLY_TWO_OR_THREE_ARGUMENTS_EXPECTED_TEXT

Error message.

See Also:

Constant Field Values

EXACTLY_TWO_ARGUMENTS_EXPECTED

public static final int EXACTLY_TWO_ARGUMENTS_EXPECTED

Error code.

See Also:

Constant Field Values

EXACTLY_TWO_ARGUMENTS_EXPECTED_TEXT

public static final String EXACTLY_TWO_ARGUMENTS_EXPECTED_TEXT

Error message.

See Also:

Constant Field Values

BOUND_VARIABLE_ALREADY_FREE

public static final int BOUND_VARIABLE_ALREADY_FREE

Error code.

See Also:

Constant Field Values

BOUND_VARIABLE_ALREADY_FREE_TEXT

public static final String BOUND_VARIABLE_ALREADY_FREE_TEXT

Error message.

See Also:

Constant Field Values

FREE_VARIABLE_ALREADY_BOUND

public static final int FREE_VARIABLE_ALREADY_BOUND

Error code.

See Also:

Constant Field Values

FREE_VARIABLE_ALREADY_BOUND_TEXT

public static final String FREE_VARIABLE_ALREADY_BOUND_TEXT

Error message.

See Also:

Constant Field Values