|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| org.qedeq.* |
|---|
| org.qedeq.base.io.TextInput | ||
|---|---|---|
public static final char |
CR |
10 |
public static final int |
EOF |
-1 |
| org.qedeq.kernel.bo.logic.common.ExistenceChecker | ||
|---|---|---|
public static final java.lang.String |
NAME_EQUAL |
"equal" |
| org.qedeq.kernel.bo.logic.common.Operators | ||
|---|---|---|
public static final java.lang.String |
CLASS_OP |
"CLASS" |
public static final java.lang.String |
CONJUNCTION_OPERATOR |
"AND" |
public static final java.lang.String |
DISJUNCTION_OPERATOR |
"OR" |
public static final java.lang.String |
EQUIVALENCE_OPERATOR |
"EQUI" |
public static final java.lang.String |
EXISTENTIAL_QUANTIFIER_OPERATOR |
"EXISTS" |
public static final java.lang.String |
FUNCTION_CONSTANT |
"FUNCON" |
public static final java.lang.String |
FUNCTION_VARIABLE |
"FUNVAR" |
public static final java.lang.String |
IMPLICATION_OPERATOR |
"IMPL" |
public static final java.lang.String |
META_VARIABLE |
"METAVAR" |
public static final java.lang.String |
NEGATION_OPERATOR |
"NOT" |
public static final java.lang.String |
PREDICATE_CONSTANT |
"PREDCON" |
public static final java.lang.String |
PREDICATE_VARIABLE |
"PREDVAR" |
public static final java.lang.String |
SUBJECT_VARIABLE |
"VAR" |
public static final java.lang.String |
UNIQUE_EXISTENTIAL_QUANTIFIER_OPERATOR |
"EXISTSU" |
public static final java.lang.String |
UNIVERSAL_QUANTIFIER_OPERATOR |
"FORALL" |
| org.qedeq.kernel.bo.logic.model.HeuristicErrorCodes | ||
|---|---|---|
public static final int |
EVALUATED_NOT_TRUE_CODE |
77007 |
public static final java.lang.String |
EVALUATED_NOT_TRUE_TEXT |
"no tautology in our model" |
public static final int |
PREDICATE_CALCULATION_FAILED_CODE |
40710 |
public static final java.lang.String |
PREDICATE_CALCULATION_FAILED_TEXT |
"calculation for predicate failed: " |
public static final int |
RUNTIME_EXCEPTION_CODE |
77777 |
public static final java.lang.String |
RUNTIME_EXCEPTION_TEXT |
"runtime problem: " |
public static final int |
UNKNOWN_ARGUMENT_FORMAT_CODE |
77100 |
public static final java.lang.String |
UNKNOWN_ARGUMENT_FORMAT_TEXT |
"unknown format for argument size: " |
public static final int |
UNKNOWN_FUNCTION_CONSTANT_CODE |
77092 |
public static final java.lang.String |
UNKNOWN_FUNCTION_CONSTANT_TEXT |
"unknown function constant: " |
public static final int |
UNKNOWN_IMPORT_MODULE_CODE |
78082 |
public static final java.lang.String |
UNKNOWN_IMPORT_MODULE_TEXT |
"unknown (or not loaded) import module " |
public static final java.lang.String |
UNKNOWN_IMPORT_MODULE_TEXT_2 |
" for " |
public static final int |
UNKNOWN_OPERATOR_CODE |
77080 |
public static final java.lang.String |
UNKNOWN_OPERATOR_TEXT |
"unknown operator: " |
public static final int |
UNKNOWN_PREDICATE_CONSTANT_CODE |
77082 |
public static final java.lang.String |
UNKNOWN_PREDICATE_CONSTANT_TEXT |
"unknown predicate constant: " |
public static final int |
UNKNOWN_TERM_OPERATOR_CODE |
77084 |
public static final java.lang.String |
UNKNOWN_TERM_OPERATOR_TEXT |
"unknown term operator: " |
public static final int |
WRONG_CALLING_CONVENTION_CODE |
77091 |
public static final java.lang.String |
WRONG_CALLING_CONVENTION_TEXT |
"wrong calling convention, list expected" |
| org.qedeq.kernel.bo.logic.proof.checker.BasicProofErrors | ||
|---|---|---|
public static final int |
CONDITIONS_AND_FORMULA_DONT_AGREE_CODE |
37410 |
public static final java.lang.String |
CONDITIONS_AND_FORMULA_DONT_AGREE_TEXT |
"the conditions for this proof line doesn\'t agree with the formula " |
public static final int |
CURRENT_MUST_BE_CONCLUSION_CODE |
37190 |
public static final java.lang.String |
CURRENT_MUST_BE_CONCLUSION_TEXT |
"this proof line must be the conclusion of the first reference: " |
public static final int |
EXPECTED_FORMULA_DIFFERS_2_CODE |
37142 |
public static final java.lang.String |
EXPECTED_FORMULA_DIFFERS_2_TEXT |
"this is not the expected part formula" |
public static final int |
EXPECTED_FORMULA_DIFFERS_CODE |
37140 |
public static final java.lang.String |
EXPECTED_FORMULA_DIFFERS_TEXT |
"this is not the expected part formula, please check with label: " |
public static final int |
FREE_SUBJECT_VARIABLES_SHOULD_NOT_GET_BOUND_CODE |
37250 |
public static final java.lang.String |
FREE_SUBJECT_VARIABLES_SHOULD_NOT_GET_BOUND_TEXT |
"free subject variables should not get bound during substitution" |
public static final int |
HIGHER_PROOF_RULE_VERSION_NEEDED_CODE |
37440 |
public static final java.lang.String |
HIGHER_PROOF_RULE_VERSION_NEEDED_TEXT |
"you need a higher rule version for applying this rule here, needed: " |
public static final java.lang.String |
HIGHER_PROOF_RULE_VERSION_NEEDED_TEXT2 |
", current: " |
public static final int |
IMPLICATION_EXPECTED_CODE |
37170 |
public static final java.lang.String |
IMPLICATION_EXPECTED_TEXT |
"this proof line label must point to an implication (with two arguments): " |
public static final int |
LAST_PROOF_LINE_MUST_BE_IDENTICAL_TO_PROPOSITION_CODE |
37200 |
public static final java.lang.String |
LAST_PROOF_LINE_MUST_BE_IDENTICAL_TO_PROPOSITION_TEXT |
"the last proof line must be identical to the proposition formula" |
public static final int |
LOCAL_LABEL_ALREADY_EXISTS_CODE |
37150 |
public static final java.lang.String |
LOCAL_LABEL_ALREADY_EXISTS_TEXT |
"this proof line label exists already in this proof: " |
public static final int |
MISSING_PROOF_LINE_FOR_CONDITIONAL_PROOF_CODE |
37370 |
public static final java.lang.String |
MISSING_PROOF_LINE_FOR_CONDITIONAL_PROOF_TEXT |
"missing proof lines for conditional proof" |
public static final int |
MUST_BE_HYPOTHESIS_OF_FIRST_REFERENCE_CODE |
37180 |
public static final java.lang.String |
MUST_BE_HYPOTHESIS_OF_FIRST_REFERENCE_TEXT |
"this proof line label must be the hypothesis for the first reference: " |
public static final int |
NO_FORMAL_PROOFS_SUPORTED_CODE |
37400 |
public static final java.lang.String |
NO_FORMAL_PROOFS_SUPORTED_TEXT |
"the module has rule version that forbids formal proofs: " |
public static final int |
ONLY_FREE_SUBJECT_VARIABLES_ALLOWED_CODE |
37240 |
public static final java.lang.String |
ONLY_FREE_SUBJECT_VARIABLES_ALLOWED_TEXT |
"only free subject variables as parameters allowed" |
public static final int |
PROOF_LINE_MUST_NOT_BE_NULL_CODE |
37100 |
public static final java.lang.String |
PROOF_LINE_MUST_NOT_BE_NULL_TEXT |
"proof line must not be empty" |
public static final int |
PROOF_METHOD_IS_NOT_SUPPORTED_CODE |
37430 |
public static final java.lang.String |
PROOF_METHOD_IS_NOT_SUPPORTED_TEXT |
"proof method is not supported for this proof checker: " |
public static final java.lang.String |
PROOF_METHOD_IS_NOT_SUPPORTED_TEXT2 |
", we only support: " |
public static final int |
PROOF_METHOD_WAS_NOT_DEFINED_YET_CODE |
37420 |
public static final java.lang.String |
PROOF_METHOD_WAS_NOT_DEFINED_YET_TEXT |
"proof method was not defined yet: " |
public static final int |
REASON_MUST_NOT_BE_NULL_CODE |
37110 |
public static final java.lang.String |
REASON_MUST_NOT_BE_NULL_TEXT |
"reason must not be empty" |
public static final int |
REFERENCE_TO_PROVED_FORMULA_IS_MISSING_CODE |
37220 |
public static final java.lang.String |
REFERENCE_TO_PROVED_FORMULA_IS_MISSING_TEXT |
"this is not a reference to a proved formula: " |
public static final int |
SUBJECT_VARIABLE_IS_MISSING_CODE |
37270 |
public static final java.lang.String |
SUBJECT_VARIABLE_IS_MISSING_TEXT |
"subject variable is missing" |
public static final int |
SUBSTITUTION_FORMULA_IS_MISSING_CODE |
37210 |
public static final java.lang.String |
SUBSTITUTION_FORMULA_IS_MISSING_TEXT |
"the substitution formula is missing" |
public static final int |
SUBSTITUTION_LOCATION_CONTAINS_BOUND_SUBJECT_VARIABLE_CODE |
37260 |
public static final java.lang.String |
SUBSTITUTION_LOCATION_CONTAINS_BOUND_SUBJECT_VARIABLE_TEXT |
"the substitution location contains subject variables that are bound within the replacement formula" |
public static final int |
SUBSTITUTION_OPERATOR_FOUND_IN_PRECONDITION_CODE |
37380 |
public static final java.lang.String |
SUBSTITUTION_OPERATOR_FOUND_IN_PRECONDITION_TEXT |
"the operator that should be substituted was found within a precondition" |
public static final int |
SUBSTITUTION_TERM_IS_MISSING_CODE |
37230 |
public static final java.lang.String |
SUBSTITUTION_TERM_IS_MISSING_TEXT |
"the substitution term is missing" |
public static final int |
SUCH_A_LOCAL_LABEL_DOESNT_EXIST_CODE |
37160 |
public static final java.lang.String |
SUCH_A_LOCAL_LABEL_DOESNT_EXIST_TEXT |
"this proof line label dosn\'t (yet) exist in this proof: " |
public static final int |
THIS_IS_NO_ALLOWED_BASIC_REASON_CODE |
37120 |
public static final java.lang.String |
THIS_IS_NO_ALLOWED_BASIC_REASON_TEXT |
"this is no allowed basic rule: " |
public static final int |
THIS_IS_NO_REFERENCE_TO_A_PROVED_FORMULA_CODE |
37130 |
public static final java.lang.String |
THIS_IS_NO_REFERENCE_TO_A_PROVED_FORMULA_TEXT |
"this is not a reference to a proved formula: " |
| org.qedeq.kernel.bo.logic.proof.finder.FinderErrors | ||
|---|---|---|
public static final int |
PROOF_FOUND_CODE |
23791210 |
public static final java.lang.String |
PROOF_FOUND_TEXT |
"Proof found! During search we generated this number of proof lines: " |
public static final int |
PROOF_NOT_FOUND_CODE |
23791200 |
public static final java.lang.String |
PROOF_NOT_FOUND_TEXT |
"Proof not found with current restrictions. During search we generated this number of proof lines: " |
| org.qedeq.kernel.bo.logic.wf.FormulaBasicErrors | ||
|---|---|---|
public static final int |
AT_LEAST_ONE_ARGUMENT_EXPECTED |
30720 |
public static final java.lang.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 java.lang.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 java.lang.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 java.lang.String |
ATOM_MUST_NOT_BE_NULL_TEXT |
"atom must not be null" |
public static final int |
BOUND_VARIABLE_ALREADY_FREE |
30770 |
public static final java.lang.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 java.lang.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 java.lang.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 java.lang.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 java.lang.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 java.lang.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 java.lang.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 java.lang.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 java.lang.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 java.lang.String |
LIST_EXPECTED_TEXT |
"an atom is no formula" |
public static final int |
LIST_MUST_NOT_BE_NULL |
30420 |
public static final java.lang.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 java.lang.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 java.lang.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 java.lang.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 java.lang.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 java.lang.String |
SUBJECT_VARIABLE_EXPECTED_TEXT |
"subject variable expected" |
public static final int |
SUBJECT_VARIABLE_OCCURS_NOT_IN_RESTRICTION_FORMULA |
30560 |
public static final java.lang.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 java.lang.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 java.lang.String |
UNKNOWN_LOGICAL_OPERATOR_TEXT |
"this logical operator is unknown: " |
public static final int |
UNKNOWN_PREDICATE_CONSTANT |
30590 |
public static final java.lang.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 java.lang.String |
UNKNOWN_TERM_OPERATOR_TEXT |
"unknown term operator: " |
| org.qedeq.kernel.bo.module.ModuleErrors | ||
|---|---|---|
public static final int |
LABEL_DEFINED_MORE_THAN_ONCE_CODE |
10002 |
public static final java.lang.String |
LABEL_DEFINED_MORE_THAN_ONCE_TEXT |
"Id or label defined more than once: " |
public static final int |
MODULE_REFERENCE_NOT_FOUND_CODE |
6100017 |
public static final java.lang.String |
MODULE_REFERENCE_NOT_FOUND_TEXT |
"module reference not found for: " |
public static final int |
NODE_REFERENCE_HAS_MORE_THAN_ONE_DOT_CODE |
610011 |
public static final java.lang.String |
NODE_REFERENCE_HAS_MORE_THAN_ONE_DOT_TEXT |
"node reference has more than one dots: " |
public static final int |
NODE_REFERENCE_MUST_HAVE_ONLY_ONE_PROOF_LINE_REFERENCE_CODE |
610013 |
public static final java.lang.String |
NODE_REFERENCE_MUST_HAVE_ONLY_ONE_PROOF_LINE_REFERENCE_TEXT |
"node reference must have only one proof line reference: " |
public static final int |
NODE_REFERENCE_MUST_HAVE_ONLY_ONE_SUB_REFERENCE_CODE |
610013 |
public static final java.lang.String |
NODE_REFERENCE_MUST_HAVE_ONLY_ONE_SUB_REFERENCE_TEXT |
"node reference must have only one sub reference: " |
public static final int |
NODE_REFERENCE_NOT_FOUND_CODE |
610007 |
public static final java.lang.String |
NODE_REFERENCE_NOT_FOUND_TEXT |
"node reference not found for: " |
public static final int |
QEDEQ_MODULE_NOT_LOADED_CODE |
90500 |
public static final java.lang.String |
QEDEQ_MODULE_NOT_LOADED_TEXT |
"QEDEQ module couldn\'t be loaded." |
public static final int |
REFERENCE_CAN_NOT_CONTAIN_SUB_AND_LINE_REFERENCE_CODE |
90512 |
public static final java.lang.String |
REFERENCE_CAN_NOT_CONTAIN_SUB_AND_LINE_REFERENCE_TEXT |
"reference can not contain sub reference and proof line reference simultaneously: " |
| org.qedeq.kernel.bo.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.bo.service.basis.RuntimeVisitorException | ||
|---|---|---|
public static final int |
UNEXPECTED_RUNTIME_EXCEPTION_CODE |
92001 |
public static final java.lang.String |
UNEXPECTED_RUNTIME_EXCEPTION_MSG |
"unexpected runtime exception occurred" |
| org.qedeq.kernel.bo.service.basis.ServiceErrors | ||
|---|---|---|
public static final int |
IO_ERROR_CODE |
9090 |
public static final java.lang.String |
IO_ERROR_TEXT |
"Reading or writing failed." |
public static final int |
LOADING_FROM_FILE_BUFFER_FAILED_CODE |
90700 |
public static final java.lang.String |
LOADING_FROM_FILE_BUFFER_FAILED_TEXT |
"Loading module from file buffer failed." |
public static final int |
LOADING_FROM_LOCAL_FILE_FAILED_CODE |
90710 |
public static final java.lang.String |
LOADING_FROM_LOCAL_FILE_FAILED_TEXT |
"Loading module from local file failed." |
public static final int |
LOADING_FROM_WEB_FAILED_CODE |
90720 |
public static final java.lang.String |
LOADING_FROM_WEB_FAILED_TEXT |
"Loading module from web failed." |
public static final int |
RECURSIVE_IMPORT_OF_MODULES_IS_FORBIDDEN_CODE |
90722 |
public static final java.lang.String |
RECURSIVE_IMPORT_OF_MODULES_IS_FORBIDDEN_TEXT |
"Recursive import of modules is forbidden, label: " |
public static final int |
RUNTIME_ERROR_CODE |
90100 |
public static final java.lang.String |
RUNTIME_ERROR_TEXT |
"Programming error occured." |
| org.qedeq.kernel.bo.service.dependency.DependencyErrors | ||
|---|---|---|
public static final int |
IMPORT_OF_MODULE_FAILED_CODE |
90723 |
public static final java.lang.String |
IMPORT_OF_MODULE_FAILED_TEXT |
"Import of module failed, label: " |
public static final int |
RECURSIVE_IMPORT_OF_MODULES_IS_FORBIDDEN_CODE |
90722 |
public static final java.lang.String |
RECURSIVE_IMPORT_OF_MODULES_IS_FORBIDDEN_TEXT |
"Recursive import of modules is forbidden, label: " |
| org.qedeq.kernel.bo.service.latex.LatexErrorCodes | ||
|---|---|---|
public static final int |
BRACKET_END_NOT_FOUND_CODE |
80017 |
public static final java.lang.String |
BRACKET_END_NOT_FOUND_TEXT |
"ending \"}\" for \"{\" not found" |
public static final int |
BRACKET_START_NOT_FOUND_CODE |
80016 |
public static final java.lang.String |
BRACKET_START_NOT_FOUND_TEXT |
"expected, but not found: \"{\"" |
public static final int |
COMMAND_NOT_SUPPORTED_CODE |
80017 |
public static final java.lang.String |
COMMAND_NOT_SUPPORTED_TEXT |
"LaTeX command not supported: " |
public static final int |
QREF_EMPTY_CODE |
80008 |
public static final java.lang.String |
QREF_EMPTY_TEXT |
"empty reference: \"\\qref{}\"" |
public static final int |
QREF_END_NOT_FOUND_CODE |
80007 |
public static final java.lang.String |
QREF_END_NOT_FOUND_TEXT |
"ending \"}\" for \"\\qref{\" not found within 1024 characters" |
public static final int |
QREF_PARSING_EXCEPTION_CODE |
80010 |
public static final java.lang.String |
QREF_PARSING_EXCEPTION_TEXT |
"parsing of \"\\qref{\" failed" |
public static final int |
QREF_SUB_END_NOT_FOUND_CODE |
80009 |
public static final java.lang.String |
QREF_SUB_END_NOT_FOUND_TEXT |
"ending \"]\" for \"\\qref{..}[\" not found" |
| org.qedeq.kernel.bo.service.logic.LogicErrors | ||
|---|---|---|
public static final int |
CLASS_OPERATOR_ALREADY_DEFINED_CODE |
123478 |
public static final java.lang.String |
CLASS_OPERATOR_ALREADY_DEFINED_TEXT |
"class operator already defined within this module: " |
public static final int |
DEFINITION_FORMULA_FOR_FUNCTION_MUST_BE_AN_EQUAL_RELATION_CODE |
40540 |
public static final java.lang.String |
DEFINITION_FORMULA_FOR_FUNCTION_MUST_BE_AN_EQUAL_RELATION_TEXT |
"a function definition must be an equal relation" |
public static final int |
DEFINITION_FORMULA_FOR_FUNCTION_MUST_START_WITH_EQUAL_RELATION_CODE |
40740 |
public static final java.lang.String |
DEFINITION_FORMULA_FOR_FUNCTION_MUST_START_WITH_EQUAL_RELATION_TEXT |
"definition formula for new function must start with an equal relation" |
public static final int |
FIRST_OPERAND_MUST_BE_A_NEW_FUNCTION_CONSTANT_CODE |
40550 |
public static final java.lang.String |
FIRST_OPERAND_MUST_BE_A_NEW_FUNCTION_CONSTANT_TEXT |
"first operand of equal relation must be the new function constant" |
public static final int |
FUNCTION_ALREADY_DEFINED_CODE |
40400 |
public static final java.lang.String |
FUNCTION_ALREADY_DEFINED_TEXT |
"function was already defined for this argument number: " |
public static final int |
FUNCTION_NAME_IN_FORMULA_MUST_SAME_CODE |
37395 |
public static final java.lang.String |
FUNCTION_NAME_IN_FORMULA_MUST_SAME_TEXT |
"function name in formula must be same as in definition, expected: " |
public static final int |
IDENTITY_OPERATOR_ALREADY_EXISTS_CODE |
123476 |
public static final java.lang.String |
IDENTITY_OPERATOR_ALREADY_EXISTS_TEXT |
"identity operator already defined with" |
public static final int |
IDENTITY_OPERATOR_MUST_BE_DEFINED_FIRST_CODE |
40530 |
public static final java.lang.String |
IDENTITY_OPERATOR_MUST_BE_DEFINED_FIRST_TEXT |
"the identity operator must be defined firstly before you can define a function constant" |
public static final int |
MODULE_HAS_NO_HEADER_CODE |
37310 |
public static final int |
MODULE_HAS_NO_HEADER_SPECIFICATION_CODE |
37320 |
public static final java.lang.String |
MODULE_HAS_NO_HEADER_SPECIFICATION_TEXT |
"module has no header specification" |
public static final java.lang.String |
MODULE_HAS_NO_HEADER_TEXT |
"module has no header" |
public static final int |
MODULE_IMPORT_CHECK_FAILED_CODE |
11231 |
public static final java.lang.String |
MODULE_IMPORT_CHECK_FAILED_TEXT |
"import check failed: " |
public static final int |
MUST_BE_A_SUBJECT_VARIABLE_CODE |
40500 |
public static final java.lang.String |
MUST_BE_A_SUBJECT_VARIABLE_TEXT |
"a subject variable was expected here, but we found: " |
public static final int |
MUST_HAVE_NAME_OF_PREDICATE_CODE |
40720 |
public static final java.lang.String |
MUST_HAVE_NAME_OF_PREDICATE_TEXT |
"predicate name found is not as expected: " |
public static final int |
NEW_RULE_HAS_LOWER_VERSION_NUMBER_CODE |
37360 |
public static final java.lang.String |
NEW_RULE_HAS_LOWER_VERSION_NUMBER_TEXT |
"the new declared rule version must be higher than the old one: " |
public static final int |
NO_DEFINITION_FORMULA_FOR_FUNCTION_CODE |
40730 |
public static final java.lang.String |
NO_DEFINITION_FORMULA_FOR_FUNCTION_TEXT |
"no definition formula for new function found" |
public static final int |
NO_FORMAL_PROOF_FOUND_CODE |
37240 |
public static final java.lang.String |
NO_FORMAL_PROOF_FOUND_TEXT |
"no correct formal proof found" |
public static final int |
NODE_FORMULAS_MUST_BE_WELL_FORMED_CODE |
37250 |
public static final java.lang.String |
NODE_FORMULAS_MUST_BE_WELL_FORMED_TEXT |
"only nodes with well formed formulas can be checked" |
public static final int |
NUMBER_OF_FREE_SUBJECT_VARIABLES_NOT_EQUAL_CODE |
40520 |
public static final java.lang.String |
NUMBER_OF_FREE_SUBJECT_VARIABLES_NOT_EQUAL_TEXT |
"number of subject variables in definition not equal to number of free subject variables of formula or term" |
public static final int |
OLD_OR_NEW_RULE_HAS_INVALID_VERSION_NUMBER_PATTERN_CODE |
37370 |
public static final java.lang.String |
OLD_OR_NEW_RULE_HAS_INVALID_VERSION_NUMBER_PATTERN_TEXT |
"the version numbers have not the allowed pattern (old or new rule version): " |
public static final int |
OTHER_RULE_VERSION_EXPECTED_CODE |
37350 |
public static final java.lang.String |
OTHER_RULE_VERSION_EXPECTED_TEXT1 |
"we expected this rule verson: " |
public static final java.lang.String |
OTHER_RULE_VERSION_EXPECTED_TEXT2 |
" but we got: " |
public static final int |
PREDICATE_ALREADY_DEFINED_CODE |
40400 |
public static final java.lang.String |
PREDICATE_ALREADY_DEFINED_TEXT |
"predicate was already defined for this argument number: " |
public static final int |
PREDICATE_DEFINITION_NEEDS_EQUIVALENCE_OPERATOR_CODE |
30810 |
public static final java.lang.String |
PREDICATE_DEFINITION_NEEDS_EQUIVALENCE_OPERATOR_TEXT |
"a predicate definition needs an equivalence relation (with two parameters)" |
public static final int |
PREDICATE_DEFINITION_NEEDS_PREDICATE_CONSTANT_CODE |
30810 |
public static final java.lang.String |
PREDICATE_DEFINITION_NEEDS_PREDICATE_CONSTANT_TEXT |
"a predicate definition needs an predicate constant as the first parameter" |
public static final int |
PROPOSITION_FORMULA_MUST_NOT_BE_NULL_CODE |
37230 |
public static final java.lang.String |
PROPOSITION_FORMULA_MUST_NOT_BE_NULL_TEXT |
"proposition formula must not be null" |
public static final int |
RULE_ALREADY_DEFINED_CODE |
37260 |
public static final java.lang.String |
RULE_ALREADY_DEFINED_TEXT |
"rule was already defined for this version: " |
public static final int |
RULE_DECLARED_IN_DIFFERENT_IMPORT_MODULES_CODE |
37390 |
public static final java.lang.String |
RULE_DECLARED_IN_DIFFERENT_IMPORT_MODULES_TEXT |
"this rule is defined in two different modules: " |
public static final int |
RULE_DEFINITIONS_DONT_MIX_CODE |
37270 |
public static final java.lang.String |
RULE_DEFINITIONS_DONT_MIX_TEXT |
"rule version was defined in different modules: " |
public static final int |
RULE_HAS_BEEN_DECLARED_BEFORE_CODE |
37340 |
public static final java.lang.String |
RULE_HAS_BEEN_DECLARED_BEFORE_TEXT |
"a rule with this version was already declared: " |
public static final int |
RULE_HAS_NO_NAME_OR_VERSION_CODE |
37380 |
public static final java.lang.String |
RULE_HAS_NO_NAME_OR_VERSION_TEXT |
"this rule has no name or version: " |
public static final int |
RULE_VERSION_HAS_STILL_NO_PROOF_CHECKER_CODE |
37250 |
public static final java.lang.String |
RULE_VERSION_HAS_STILL_NO_PROOF_CHECKER_TEXT |
"this rule version has still no proof checker implementation: " |
public static final int |
RULE_WAS_NOT_DECLARED_BEFORE_CODE |
37330 |
public static final java.lang.String |
RULE_WAS_NOT_DECLARED_BEFORE_TEXT |
"a rule with this name was not declared yet: " |
public static final int |
SECOND_OPERAND_MUST_BE_A_TERM_CODE |
40560 |
public static final java.lang.String |
SECOND_OPERAND_MUST_BE_A_TERM_TEXT |
"first operand of equal relation must be the new function constant" |
public static final int |
SUBJECT_VARIABLE_OCCURS_NOT_FREE_CODE |
40510 |
public static final java.lang.String |
SUBJECT_VARIABLE_OCCURS_NOT_FREE_TEXT |
"subject variable doesn\'t occur free in formula or term: " |
public static final int |
THIS_IS_NOT_VALID_VERSION_FORMAT_CODE |
37300 |
public static final java.lang.String |
THIS_IS_NOT_VALID_VERSION_FORMAT_TEXT |
"a version must be formed like a.b.c with nonegative integers a, b, c; out problem is: " |
| org.qedeq.kernel.se.common.CheckLevel | ||
|---|---|---|
public static final int |
FAILURE |
10 |
public static final int |
SUCCESS |
20 |
public static final int |
UNCHECKED |
0 |
| org.qedeq.kernel.se.state.DependencyStateDescriptions | ||
|---|---|---|
public static final int |
STATE_CODE_LOADED_REQUIRED_MODULES |
17 |
public static final int |
STATE_CODE_LOADING_REQUIRED_MODULES |
15 |
public static final int |
STATE_CODE_LOADING_REQUIRED_MODULES_FAILED |
16 |
public static final int |
STATE_CODE_UNDEFINED |
0 |
public static final java.lang.String |
STATE_STRING_LOADED_REQUIRED_MODULES |
"loaded required modules" |
public static final java.lang.String |
STATE_STRING_LOADING_REQUIRED_MODULES |
"loading required modules" |
public static final java.lang.String |
STATE_STRING_LOADING_REQUIRED_MODULES_FAILED |
"loading required modules failed" |
public static final java.lang.String |
STATE_STRING_UNDEFINED |
"undefined" |
| org.qedeq.kernel.se.state.FormallyProvedStateDescriptions | ||
|---|---|---|
public static final int |
STATE_CODE_COMPLETELY_CHECKED |
25 |
public static final int |
STATE_CODE_EXTERNAL_CHECKING |
21 |
public static final int |
STATE_CODE_EXTERNAL_CHECKING_FAILED |
22 |
public static final int |
STATE_CODE_INTERNAL_CHECKING |
23 |
public static final int |
STATE_CODE_INTERNAL_CHECKING_FAILED |
24 |
public static final int |
STATE_CODE_UNCHECKED |
0 |
public static final java.lang.String |
STATE_STRING_COMPLETELY_CHECKED |
"correct formal proofs for every proposition" |
public static final java.lang.String |
STATE_STRING_EXTERNAL_CHECKING |
"checking imports" |
public static final java.lang.String |
STATE_STRING_EXTERNAL_CHECKING_FAILED |
"checking imports failed" |
public static final java.lang.String |
STATE_STRING_INTERNAL_CHECKING |
"checking formal proofs" |
public static final java.lang.String |
STATE_STRING_INTERNAL_CHECKING_FAILED |
"checking formal proofs failed" |
public static final java.lang.String |
STATE_STRING_UNCHECKED |
"unchecked" |
| org.qedeq.kernel.se.state.LoadingImportsStateDescriptions | ||
|---|---|---|
public static final int |
STATE_CODE_LOADED_IMPORTED_MODULES |
14 |
public static final int |
STATE_CODE_LOADING_IMPORTS |
12 |
public static final int |
STATE_CODE_LOADING_IMPORTS_FAILED |
13 |
public static final int |
STATE_CODE_UNDEFINED |
0 |
public static final java.lang.String |
STATE_STRING_LOADED_IMPORTED_MODULES |
"loaded imported modules" |
public static final java.lang.String |
STATE_STRING_LOADING_IMPORTS |
"loading imported modules" |
public static final java.lang.String |
STATE_STRING_LOADING_IMPORTS_FAILED |
"loading imported modules failed" |
public static final java.lang.String |
STATE_STRING_UNDEFINED |
"undefined" |
| org.qedeq.kernel.se.state.LoadingStateDescriptions | ||
|---|---|---|
public static final int |
STATE_CODE_DELETED |
-1 |
public static final int |
STATE_CODE_LOADED |
11 |
public static final int |
STATE_CODE_LOADING_FROM_BUFFER |
7 |
public static final int |
STATE_CODE_LOADING_FROM_BUFFER_FAILED |
8 |
public static final int |
STATE_CODE_LOADING_FROM_LOCAL_FILE |
5 |
public static final int |
STATE_CODE_LOADING_FROM_LOCAL_FILE_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 |
9 |
public static final int |
STATE_CODE_LOADING_INTO_MEMORY_FAILED |
10 |
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 java.lang.String |
STATE_STRING_DELETED |
"deleted" |
public static final java.lang.String |
STATE_STRING_LOADED |
"loaded" |
public static final java.lang.String |
STATE_STRING_LOADING_FROM_BUFFER |
"loading from local buffer" |
public static final java.lang.String |
STATE_STRING_LOADING_FROM_BUFFER_FAILED |
"loading from local buffer failed" |
public static final java.lang.String |
STATE_STRING_LOADING_FROM_LOCAL_FILE |
"loading from local file" |
public static final java.lang.String |
STATE_STRING_LOADING_FROM_LOCAL_FILE_FAILED |
"loading from local file failed" |
public static final java.lang.String |
STATE_STRING_LOADING_FROM_WEB |
"loading from web" |
public static final java.lang.String |
STATE_STRING_LOADING_FROM_WEB_FAILED |
"loading from web failed" |
public static final java.lang.String |
STATE_STRING_LOADING_INTO_MEMORY |
"loading into memory" |
public static final java.lang.String |
STATE_STRING_LOADING_INTO_MEMORY_FAILED |
"loading into memory failed" |
public static final java.lang.String |
STATE_STRING_LOCATING_WITHIN_WEB |
"locating within web" |
public static final java.lang.String |
STATE_STRING_LOCATING_WITHIN_WEB_FAILED |
"locating within web failed" |
public static final java.lang.String |
STATE_STRING_UNDEFINED |
"undefined" |
| org.qedeq.kernel.se.state.WellFormedStateDescriptions | ||
|---|---|---|
public static final int |
STATE_CODE_COMPLETELY_CHECKED |
20 |
public static final int |
STATE_CODE_EXTERNAL_CHECKING |
16 |
public static final int |
STATE_CODE_EXTERNAL_CHECKING_FAILED |
17 |
public static final int |
STATE_CODE_INTERNAL_CHECKING |
18 |
public static final int |
STATE_CODE_INTERNAL_CHECKING_FAILED |
19 |
public static final int |
STATE_CODE_UNCHECKED |
0 |
public static final java.lang.String |
STATE_STRING_COMPLETELY_CHECKED |
"well formed" |
public static final java.lang.String |
STATE_STRING_EXTERNAL_CHECKING |
"checking imports" |
public static final java.lang.String |
STATE_STRING_EXTERNAL_CHECKING_FAILED |
"checking imports failed" |
public static final java.lang.String |
STATE_STRING_INTERNAL_CHECKING |
"wf checking" |
public static final java.lang.String |
STATE_STRING_INTERNAL_CHECKING_FAILED |
"wf checking failed" |
public static final java.lang.String |
STATE_STRING_UNCHECKED |
"unchecked" |
| org.qedeq.kernel.se.visitor.InterruptException | ||
|---|---|---|
public static final int |
THREAD_INTERUPTED_EXCEPTION_CODE |
87001 |
public static final java.lang.String |
THREAD_INTERUPTED_EXCEPTION_MSG |
"Process execution was canceled" |
| org.qedeq.kernel.xml.common.XmlSyntaxException | ||
|---|---|---|
public static final int |
EMPTY_ATTRIBUTE_CODE |
9004 |
public static final java.lang.String |
EMPTY_ATTRIBUTE_TEXT_1 |
"Missing attribute: " |
public static final java.lang.String |
EMPTY_ATTRIBUTE_TEXT_2 |
" in tag: " |
public static final int |
IO_ERROR_CODE |
9900 |
public static final java.lang.String |
IO_ERROR_TEXT |
"An IO error occurred." |
public static final int |
MISSING_ATTRIBUTE_CODE |
9004 |
public static final java.lang.String |
MISSING_ATTRIBUTE_TEXT_1 |
"XML structure problem. Missing neccessary attribute: " |
public static final java.lang.String |
MISSING_ATTRIBUTE_TEXT_2 |
" in tag: " |
public static final int |
PROGRAMMING_ERROR_CODE |
9999 |
public static final java.lang.String |
PROGRAMMING_ERROR_TEXT |
"A programming error occurred." |
public static final int |
SAX_ERROR_CODE |
9910 |
public static final java.lang.String |
SAX_ERROR_TEXT |
"A XML syntax error occurred." |
public static final int |
SAX_PARSER_EXCEPTION |
9001 |
public static final int |
UNEXPECTED_DATA_CODE |
9003 |
public static final java.lang.String |
UNEXPECTED_DATA_TEXT |
"XML structure problem. Unexpected character data in tag: " |
public static final int |
UNEXPECTED_TAG_CODE |
9002 |
public static final java.lang.String |
UNEXPECTED_TAG_TEXT |
"XML structure problem. Unexpected tag: " |
| org.qedeq.kernel.xml.dao.DaoErrors | ||
|---|---|---|
public static final int |
PARSER_CONFIGURATION_ERROR_CODE |
892773010 |
public static final java.lang.String |
PARSER_CONFIGURATION_ERROR_TEXT |
"Parser configuration error." |
public static final int |
PARSER_CONFIGURATION_OPTION_ERROR_CODE |
754123030 |
public static final java.lang.String |
PARSER_CONFIGURATION_OPTION_ERROR_TEXT |
"Option not recognized or supported." |
public static final int |
WRITING_MODULE_FILE_FAILED_CODE |
892771000 |
public static final java.lang.String |
WRITING_MODULE_FILE_FAILED_TEXT |
"Writing of following QEDEQ module file failed: " |
| org.qedeq.kernel.xml.handler.module.LiteratureItemHandler | ||
|---|---|---|
public static final java.lang.String |
ITEM_TAG |
"ITEM" |
| org.qedeq.kernel.xml.handler.module.SectionHandler | ||
|---|---|---|
public static final java.lang.String |
INTRODUCTION_TAG |
"INTRODUCTION" |
public static final java.lang.String |
SECTION_TAG |
"SECTION" |
public static final java.lang.String |
TITLE_TAG |
"TITLE" |
| org.qedeq.kernel.xml.handler.parser.ParserErrors | ||
|---|---|---|
public static final int |
PARSER_CONFIGURATION_ERROR_CODE |
754123010 |
public static final java.lang.String |
PARSER_CONFIGURATION_ERROR_TEXT |
"Parser configuration error." |
public static final int |
PARSER_FACTORY_CONFIGURATION_CODE |
754123030 |
public static final java.lang.String |
PARSER_FACTORY_CONFIGURATION_TEXT |
"Probably SAX Parser not in classpath, add for example \"xercesImpl.jar\" and \"xml-apis.jar\"." |
public static final int |
PARSER_PROGRAMMING_ERROR_CODE |
754123000 |
public static final java.lang.String |
PARSER_PROGRAMMING_ERROR_TEXT |
"Parsing programming error." |
public static final int |
XML_FILE_PARSING_FAILED_CODE |
754123020 |
public static final java.lang.String |
XML_FILE_PARSING_FAILED_TEXT |
"XML file parsing failed." |
| org.qedeq.kernel.xml.parser.SaxErrorHandler | ||
|---|---|---|
public static final int |
SAX_PARSER_EXCEPTION |
9001 |
| org.qedeq.kernel.xml.parser.SaxParser | ||
|---|---|---|
protected static final java.lang.String |
SCHEMA_FULL_CHECKING_FEATURE_ID |
"http://apache.org/xml/features/validation/schema-full-checking" |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||