Constant Field Values

Contents

• org.qedeq.*

org.qedeq.*

org.qedeq.kernel.bo.control.HigherLogicalErrors

public static final int	FUNCTION_ALREADY_DEFINED	40400
public static final String	FUNCTION_ALREADY_DEFINED_TEXT	"function was already defined for this argument number"
public static final int	PREDICATE_ALREADY_DEFINED	40400
public static final String	PREDICATE_ALREADY_DEFINED_TEXT	"predicate was already defined for this argument number"

org.qedeq.kernel.bo.logic.FormulaBasicErrors

public static final int	AT_LEAST_ONE_ARGUMENT_EXPECTED	30720
public static final String	AT_LEAST_ONE_ARGUMENT_EXPECTED_TEXT	"at least one argument expected for "
public static final int	ATOM_CONTENT_MUST_NOT_BE_EMPTY	30440
public static final String	ATOM_CONTENT_MUST_NOT_BE_EMPTY_TEXT	"atom content must not be empty"
public static final int	ATOM_CONTENT_MUST_NOT_BE_NULL	30430
public static final String	ATOM_CONTENT_MUST_NOT_BE_NULL_TEXT	"atom content must not be null"
public static final int	ATOM_MUST_NOT_BE_NULL	30410
public static final String	ATOM_MUST_NOT_BE_NULL_TEXT	"atom must not be null"
public static final int	BOUND_VARIABLE_ALREADY_FREE	30770
public static final String	BOUND_VARIABLE_ALREADY_FREE_TEXT	"these bound variables are already free in previous formulas: "
public static final int	CLASS_OPERATOR_STILL_UNKNOWN	30680
public static final String	CLASS_OPERATOR_STILL_UNKNOWN_TEXT	"the class operator is still undefined"
public static final int	ELEMENT_MUST_NOT_BE_NULL	30400
public static final String	ELEMENT_MUST_NOT_BE_NULL_TEXT	"element must not be null"
public static final int	EQUALITY_PREDICATE_NOT_YET_DEFINED	30570
public static final String	EQUALITY_PREDICATE_NOT_YET_DEFINED_TEXT	"the equality predicate was not yet defined"
public static final int	EXACTLY_ONE_ARGUMENT_EXPECTED	30710
public static final String	EXACTLY_ONE_ARGUMENT_EXPECTED_TEXT	"exactly one argument expected for the operator "
public static final int	EXACTLY_TWO_ARGUMENTS_EXPECTED	30760
public static final String	EXACTLY_TWO_ARGUMENTS_EXPECTED_TEXT	"exactly two or three arguments expected"
public static final int	EXACTLY_TWO_OR_THREE_ARGUMENTS_EXPECTED	30750
public static final String	EXACTLY_TWO_OR_THREE_ARGUMENTS_EXPECTED_TEXT	"exactly two or three arguments expected"
public static final int	FIRST_ARGUMENT_MUST_BE_AN_ATOM	30730
public static final String	FIRST_ARGUMENT_MUST_BE_AN_ATOM_TEXT	"first argument must be an atom"
public static final int	FREE_VARIABLE_ALREADY_BOUND	30780
public static final String	FREE_VARIABLE_ALREADY_BOUND_TEXT	"these free variables were already bound in previous formulas: "
public static final int	LIST_EXPECTED	30470
public static final String	LIST_EXPECTED_TEXT	"an atom is no formula"
public static final int	LIST_MUST_NOT_BE_NULL	30420
public static final String	LIST_MUST_NOT_BE_NULL_TEXT	"list must not be null"
public static final int	MORE_THAN_ONE_ARGUMENT_EXPECTED	30740
public static final String	MORE_THAN_ONE_ARGUMENT_EXPECTED_TEXT	"more than one argument expected for the operator "
public static final int	OPERATOR_CONTENT_MUST_NOT_BE_EMPTY	30460
public static final String	OPERATOR_CONTENT_MUST_NOT_BE_EMPTY_TEXT	"operator content must not be empty"
public static final int	OPERATOR_CONTENT_MUST_NOT_BE_NULL	30450
public static final String	OPERATOR_CONTENT_MUST_NOT_BE_NULL_TEXT	"operator content must not be null"
public static final int	SUBJECT_VARIABLE_ALREADY_BOUND_IN_FORMULA	30550
public static final String	SUBJECT_VARIABLE_ALREADY_BOUND_IN_FORMULA_TEXT	"subject variable is already bound in sub formula"
public static final int	SUBJECT_VARIABLE_EXPECTED	30540
public static final String	SUBJECT_VARIABLE_EXPECTED_TEXT	"subject variable expected"
public static final int	SUBJECT_VARIABLE_OCCURS_NOT_IN_RESTRICTION_FORMULA	30560
public static final String	SUBJECT_VARIABLE_OCCURS_NOT_IN_RESTRICTION_FORMULA_TEXT	"subject variable occurs not in restriction formula"
public static final int	UNKNOWN_FUNCTION_CONSTANT	30690
public static final String	UNKNOWN_FUNCTION_CONSTANT_TEXT	"this function constant is unknown (at least for this argument number): "
public static final int	UNKNOWN_LOGICAL_OPERATOR	30530
public static final String	UNKNOWN_LOGICAL_OPERATOR_TEXT	"this logical operator is unknown: "
public static final int	UNKNOWN_PREDICATE_CONSTANT	30590
public static final String	UNKNOWN_PREDICATE_CONSTANT_TEXT	"this predicate constant is unknown (at least for this argument number): "
public static final int	UNKNOWN_TERM_OPERATOR	30620
public static final String	UNKNOWN_TERM_OPERATOR_TEXT	"unknown term operator: "

org.qedeq.kernel.bo.logic.Operators

public static final String	CLASS	"CLASS"
public static final String	CONJUNCTION_OPERATOR	"AND"
public static final String	DISJUNCTION_OPERATOR	"OR"
public static final String	EQUIVALENCE_OPERATOR	"EQUI"
public static final String	EXISTENTIAL_QUANTIFIER_OPERATOR	"EXISTS"
public static final String	FUNCTION_CONSTANT	"FUNCON"
public static final String	FUNCTION_VARIABLE	"FUNVAR"
public static final String	IMPLICATION_OPERATOR	"IMPL"
public static final String	NEGATION_OPERATOR	"NOT"
public static final String	PREDICATE_CONSTANT	"PREDCON"
public static final String	PREDICATE_VARIABLE	"PREDVAR"
public static final String	SUBJECT_VARIABLE	"VAR"
public static final String	UNIQUE_EXISTENTIAL_QUANTIFIER_OPERATOR	"EXISTSU"
public static final String	UNIVERSAL_QUANTIFIER_OPERATOR	"FORALL"

org.qedeq.kernel.bo.module.LoadingStateDescriptions

public static final int	STATE_CODE_LOADED	10
public static final int	STATE_CODE_LOADING_FROM_BUFFER	5
public static final int	STATE_CODE_LOADING_FROM_BUFFER_FAILED	6
public static final int	STATE_CODE_LOADING_FROM_WEB	3
public static final int	STATE_CODE_LOADING_FROM_WEB_FAILED	4
public static final int	STATE_CODE_LOADING_INTO_MEMORY	7
public static final int	STATE_CODE_LOADING_INTO_MEMORY_FAILED	8
public static final int	STATE_CODE_LOCATING_WITHIN_WEB	1
public static final int	STATE_CODE_LOCATING_WITHIN_WEB_FAILED	2
public static final int	STATE_CODE_UNDEFINED	0
public static final String	STATE_STRING_LOADED	"loaded"
public static final String	STATE_STRING_LOADING_FROM_BUFFER	"loading from local buffer"
public static final String	STATE_STRING_LOADING_FROM_BUFFER_FAILED	"loading from local buffer failed"
public static final String	STATE_STRING_LOADING_FROM_WEB	"loading from web"
public static final String	STATE_STRING_LOADING_FROM_WEB_FAILED	"loading from web failed"
public static final String	STATE_STRING_LOADING_INTO_MEMORY	"loading into memory"
public static final String	STATE_STRING_LOADING_INTO_MEMORY_FAILED	"loading into memory failed"
public static final String	STATE_STRING_LOCATING_WITHIN_WEB	"locating within web"
public static final String	STATE_STRING_LOCATING_WITHIN_WEB_FAILED	"locating within web failed"
public static final String	STATE_STRING_UNDEFINED	"undefined"

org.qedeq.kernel.bo.module.MathematicalStateDescriptions

public static final int	STATE_CODE_COMPLETELY_CHECKED	5
public static final int	STATE_CODE_EXTERNAL_CHECK_FAILED	2
public static final int	STATE_CODE_EXTERNAL_CHECKING	1
public static final int	STATE_CODE_INTERNAL_CHECK_FAILED	4
public static final int	STATE_CODE_INTERNAL_CHECKING	3
public static final int	STATE_CODE_UNCHECKED	0
public static final String	STATE_STRING_COMPLETELY_CHECKED	"checked"
public static final String	STATE_STRING_EXTERNAL_CHECK_FAILED	"import check failed"
public static final String	STATE_STRING_EXTERNAL_CHECKING	"checking imports"
public static final String	STATE_STRING_INTERNAL_CHECK_FAILED	"check failed"
public static final String	STATE_STRING_INTERNAL_CHECKING	"checking"
public static final String	STATE_STRING_UNCHECKED	"unchecked"

org.qedeq.kernel.common.SyntaxException

public static final int	EMPTY_ATTRIBUTE_CODE	9004
public static final String	EMPTY_ATTRIBUTE_TEXT_1	"Missing attribute: "
public static final String	EMPTY_ATTRIBUTE_TEXT_2	" in tag: "
public static final int	MISSING_ATTRIBUTE_CODE	9004
public static final String	MISSING_ATTRIBUTE_TEXT_1	"Missing attribute: "
public static final String	MISSING_ATTRIBUTE_TEXT_2	" in tag: "
public static final int	PROGRAMMING_ERROR_CODE	9999
public static final String	PROGRAMMING_ERROR_TEXT	"A programming error occurred."
public static final int	SAX_PARSER_EXCEPTION	9001
public static final int	UNEXPECTED_DATA_CODE	9003
public static final String	UNEXPECTED_DATA_TEXT	"Unexpected character data in tag: "
public static final int	UNEXPECTED_TAG_CODE	9002
public static final String	UNEXPECTED_TAG_TEXT	"Unexpected tag: "

org.qedeq.kernel.common.SyntaxExceptionList

public static final int

MAXIMUM

10

org.qedeq.kernel.parser.Operator

public static final int	FUNCTION	4
public static final int	INFIX	0
public static final int	POSTFIX	2
public static final int	SIMPLE_PREFIX	1

org.qedeq.kernel.utility.TextInput

public static final char	CR	10
public static final int	EOF	-1

org.qedeq.kernel.xml.handler.module.LiteratureItemHandler

public static final String

ITEM_TAG

"ITEM"

org.qedeq.kernel.xml.handler.module.SectionHandler

public static final String	INTRODUCTION_TAG	"INTRODUCTION"
public static final String	SECTION_TAG	"SECTION"
public static final String	TITLE_TAG	"TITLE"

org.qedeq.kernel.xml.parser.SaxParser

protected static final String

SCHEMA_FULL_CHECKING_FEATURE_ID

"http://apache.org/xml/features/validation/schema-full-checking"