|
Hilbert II - Version 0.03.01 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
org.qedeq.* |
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 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.ModuleConstants | ||
public static final int |
STATE_CODE_COMPLETE_CHECK_FAILED |
9 |
public static final int |
STATE_CODE_COMPLETE_CHECKING |
9 |
public static final int |
STATE_CODE_COMPLETELY_CHECKED |
10 |
public static final int |
STATE_CODE_CREATED |
8 |
public static final int |
STATE_CODE_CREATED_WITH_ERRORS |
7 |
public static final int |
STATE_CODE_CREATING |
6 |
public static final int |
STATE_CODE_INTERNAL_CHECK_FAILED |
9 |
public static final int |
STATE_CODE_INTERNAL_CHECKING |
9 |
public static final int |
STATE_CODE_INTERNALLY_CHECKED |
10 |
public static final String |
STATE_STRING_COMPLETE_CHECK_FAILED |
"check failed" |
public static final String |
STATE_STRING_COMPLETE_CHECKING |
"checking" |
public static final String |
STATE_STRING_COMPLETELY_CHECKED |
"checked" |
public static final String |
STATE_STRING_CREATED |
"created without errors" |
public static final String |
STATE_STRING_CREATED_WITH_ERRORS |
"created with errors" |
public static final String |
STATE_STRING_CREATING |
"creating" |
public static final String |
STATE_STRING_INTERNAL_CHECK_FAILED |
"internal check failed" |
public static final String |
STATE_STRING_INTERNAL_CHECKING |
"internally checking" |
public static final String |
STATE_STRING_INTERNALLY_CHECKED |
"internally checked" |
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.ExceptionList | ||
public static final int |
MAXIMUM |
10 |
org.qedeq.kernel.xml.parser.SaxParser | ||
protected static final String |
SCHEMA_FULL_CHECKING_FEATURE_ID |
"http://apache.org/xml/features/validation/schema-full-checking" |
org.qedeq.kernel.xml.parser.SyntaxException | ||
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 |
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: " |
|
Hilbert II - Version 0.03.01 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
©left GNU General Public Licence All Rights Reserved. |