Constant Field Values (PMII - Principia Mathematica II)

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| Hilbert II - JAVA-Packages - Principia Mathematica II
PREV NEXT | FRAMES NO FRAMES

# Constant Field Values

Contents

- com.meyling.*

com.meyling.*

com.meyling.principia.argument.ArgumentConstants
`public static final String` | `ALREADY_ASSIGNED` | `"there is already an assignment"`
`public static final String` | `ARGUMENT_EXPECTED` | `"argument expected"`
`public static final String` | `AT_LEAST_ONE_ARGUMENT_EXPECTED` | `" at least one argument expected"`
`public static final int` | `CODE_CONSTRUCTOR_ARGUMENT_CHECK_FAILED` | `30`
`public static final int` | `CODE_CONSTRUCTOR_WRONG_ARGUMENT_NUMBER` | `10`
`public static final int` | `CODE_CONSTRUCTOR_WRONG_ARGUMENT_TYPE` | `20`
`public static final int` | `CODE_METHOD_ARGUMENT_CHECK_FAILED` | `40`
`public static final int` | `CODE_PARSER_ARGUMENT_EXPECTED` | `110`
`public static final int` | `CODE_PARSER_NO_ARGUMENT_SEPARATOR` | `130`
`public static final int` | `CODE_PARSER_NO_BEGIN_ARGUMENT_LIST` | `145`
`public static final int` | `CODE_PARSER_NO_END_ARGUMENT_LIST` | `140`
`public static final int` | `CODE_PARSER_NO_FURTHER_ARGUMENTS_EXPECTED` | `170`
`public static final int` | `CODE_PARSER_UNEXPECTED_ARGUMENT` | `180`
`public static final int` | `CODE_PARSER_UNKNOWN_ARGUMENT_CHAR` | `120`
`public static final int` | `CODE_PARSER_UNKNOWN_OPERATOR` | `150`
`public static final int` | `CODE_PARSER_WRONG_ATOM_FORMAT` | `160`
`public static final String` | `COULD_NOT_BE_EMPTY` | `"this element must have entries"`
`public static final String` | `COULD_NOT_CREATE` | `"Couldn\'t create "`
`public static final String` | `COUNTER` | `"positive integer"`
`public static final String` | `COUNTER_OR_PATTERN` | `"positive integer or pattern variable"`
`public static final String` | `EXPECTED_IN_ARGUMENT` | `" expected in list argument "`
`public static final String` | `FIFTH_ARGUMENT` | `" fifth argument "`
`public static final String` | `FIFTH_ARGUMENT_TYPE` | `" fifth argument must be a "`
`public static final String` | `FIRST_ARGUMENT` | `" first argument "`
`public static final String` | `FIRST_ARGUMENT_TYPE` | `" first argument must be a "`
`public static final String` | `FOURTH_ARGUMENT` | `" fourth argument "`
`public static final String` | `FOURTH_ARGUMENT_TYPE` | `" fourth argument must be a "`
`public static final String` | `MUST_BE_GREATER_THAN_NULL` | `" must be greater than 0"`
`public static final String` | `MUST_HAVE_COUNTER` | `", must have number"`
`public static final String` | `MUST_NOT_CONTAIN_PATTERN_VARIABLE` | `" must not contain a pattern variable"`
`public static final String` | `NO_ARGUMENT_NUMBER` | `"no argument number exists"`
`public static final String` | `NO_ARGUMENT_SEPARATOR` | `"argument seperator expected: \",\""`
`public static final String` | `NO_BEGIN_ARGUMENT_LIST` | `"begin of argument list expected: \"(\""`
`public static final String` | `NO_END_ARGUMENT_LIST` | `"end of argument list expected: \")\""`
`public static final String` | `NO_LETTER_DIGIT_STRING_FOUND` | `"non empty string containing letters or digits expected"`
`public static final String` | `NO_NEGATIVE_INTEGER` | `" a negative number is not allowed"`
`public static final String` | `NO_POSITIVE_INTEGER_FOUND` | `"non negative integer expected"`
`public static final String` | `NO_QUOTE_TERMINATION` | `"quoted string was not terminated"`
`public static final String` | `NO_QUOTED_STRING` | `"quoted string expected"`
`public static final String` | `NO_RECURSIVE_MATCH` | `"pattern variables couldn\'t match recursivly"`
`public static final String` | `NOT_ASSIGNED` | `"there is assigned value"`
`public static final String` | `NULLPOINTER_PARAMETER` | `"nullpointer is not accepted as an parameter"`
`public static final String` | `NUMBER` | `"number"`
`public static final String` | `OPERATOR_WITH_AT_LEAST_TWO_ARGUMENTS` | `" must have at least two arguments"`
`public static final String` | `OPERATOR_WITH_FIVE_ARGUMENTS` | `" must have exactly five arguments"`
`public static final String` | `OPERATOR_WITH_FOUR_ARGUMENTS` | `" must have exactly four arguments"`
`public static final String` | `OPERATOR_WITH_NO_ARGUMENTS` | `" must not have any argument"`
`public static final String` | `OPERATOR_WITH_ONE_ARGUMENT` | `" must have exactly one argument"`
`public static final String` | `OPERATOR_WITH_THREE_ARGUMENTS` | `" must have exactly three arguments"`
`public static final String` | `OPERATOR_WITH_TWO_ARGUMENTS` | `" must have exactly two arguments"`
`public static final String` | `PATTERN_VARIABLE` | `"pattern variable"`
`public static final String` | `PATTERN_VARIABLE_NOT_FOUND` | `"pattern variable not found"`
`public static final String` | `POSITIVE_INTEGER_EXPECTED` | `"positive (non zero) integer expected"`
`public static final String` | `QUOTED_STRING` | `"quoted string"`
`public static final String` | `SECOND_ARGUMENT` | `" second argument "`
`public static final String` | `SECOND_ARGUMENT_TYPE` | `" second argument must be a "`
`public static final String` | `THIRD_ARGUMENT` | `" third argument "`
`public static final String` | `THIRD_ARGUMENT_TYPE` | `" third argument must be a "`
`public static final String` | `UNKNOWN_ARGUMENT_CHAR` | `"unknown argument character "`
`public static final String` | `UNKNOWN_ARGUMENT_CLASS` | `"unknown argument class "`
`public static final String` | `UNKNOWN_CLASS` | `" the name for this class is unknown"`
`public static final String` | `UNKNOWN_OPERATOR` | `"unknown operator "`
`public static final String` | `WRONG_ARGUMENT_NUMBER` | `"argument number not in "`

com.meyling.principia.io.IoConstants
`public static final String` | `INTEGER_TOO_BIG` | `"integer must be smaller or equal to 2147483647"`
`public static final String` | `NO_LEADING_ZERO_ALLOWED` | `"integer is not allowed to have leading zeros"`
`public static final String` | `NO_LETTER_DIGIT_STRING_FOUND` | `"non empty string containing letters or digits expected"`
`public static final String` | `NO_POSITIVE_INTEGER_FOUND` | `"non negative integer expected"`
`public static final String` | `NO_QUOTE_TERMINATION` | `"quoted string was not terminated"`
`public static final String` | `NO_QUOTED_STRING` | `"quoted string expected"`
`public static final String` | `NULLPOINTER_PARAMETER` | `"nullpointer is not accepted as an parameter"`
`public static final String` | `QUOTED_STRING` | `"quoted string"`

com.meyling.principia.logic.basic.BasicConstants
`public static final String` | `ALREADY_CONTAINS_PATTERN_VARIABLE` | `"formula has already pattern variables"`
`public static final String` | `ARGUMENT_LIST` | `"argument list"`
`public static final String` | `FORMULA` | `"formula"`
`public static final String` | `INCORRECT_LINE` | `"incorrect proof, error in proof line "`
`public static final String` | `MIXED_FREE_BOUND` | `" must have free and bound variables with empty intersection"`
`public static final String` | `NO_FORMULA_NUMBER` | `"no formula number exists"`
`public static final String` | `POSITIVE_INTEGER_EXPECTED_IN_ARGUMENT` | `"positive (non zero) integer expected in list argument "`
`public static final String` | `PRECONDITIONS_NOT_FULLFILLED` | `" preconditions not fullfilled"`
`public static final String` | `QUALIFIED_MUST_BE_FREE` | `" qualified variable must be free in formula"`
`public static final String` | `RESULT_NOT_EQUAL_WITH_EXPECTED` | `" result is not equal with expected"`
`public static final String` | `SUBJECT_VARIABLE` | `"subject variable"`
`public static final String` | `SUBJECT_VARIABLE_EXPECTED_IN_SECOND_ARGUMENT` | `"subject variable expected in second argument list at "`
`public static final String` | `WRONG_FORMULA_NUMBER` | `"formula number not in "`

com.meyling.principia.logic.basic.BasicCreator
`public static final String` | `BASIC_FORMULA_PATTERN_VARIABLE` | `"FPATTERN"`
`public static final String` | `BASIC_SUBJECT_VARIABLE_PATTERN_VARIABLE` | `"SPATTERN"`
`public static final String` | `CONJUNCTION` | `"AND"`
`public static final String` | `DISJUNCTION` | `"OR"`
`public static final String` | `EQUIVALENCE` | `"EQUI"`
`public static final String` | `EXISTENTIAL_QUANTIFIER` | `"EXISTS"`
`public static final String` | `IMPLICATION` | `"IMPL"`
`public static final String` | `NEGATION` | `"NOT"`
`public static final String` | `PREDICATE_VARIABLE` | `"PREDVAR"`
`public static final String` | `PROPOSITION_VARIABLE` | `"PROP"`
`public static final String` | `REGULAR_ARGUMENT_LIST` | `"L"`
`public static final String` | `SUBJECT_VARIABLE` | `"VAR"`
`public static final String` | `UNIVERSAL_QUANTIFIER` | `"FORALL"`

com.meyling.principia.logic.basic.PackageTest
`public static final String` | `ACTUAL_OUTPUT_FILE_POSTFIX` | `".output"`
`public static final String` | `END` | `"end"`
`public static final String` | `EXCEPTION_TEST_FILE_PREFIX` | `"exception.test."`
`public static final String` | `EXPECTED_OUTPUT_FILE_POSTFIX` | `".output.expected"`
`public static final String` | `FAIL` | `"fail"`
`public static final String` | `FALSE` | `"false"`
`public static final String` | `FILE_PATH` | `"com/meyling/principia/logic/basic/test/"`
`public static final String` | `INPUT_FILE_POSTFIX` | `".input"`
`public static final String` | `NEXT` | `"next"`
`public static final String` | `RESULT` | `"result"`
`public static final String` | `TEST_FILE_PREFIX` | `"test."`
`public static final String` | `TRUE` | `"true"`

com.meyling.principia.logic.paragraph.ParagraphConstants
`public static final String` | `RULE_NOT_DECLARED` | `" rule must be declared"`

com.meyling.principia.logic.paragraph.ParagraphCreator
`public static final String` | `PARAGRAPH_ABBREVIATION` | `"ABBREVIATION"`
`public static final String` | `PARAGRAPH_AXIOM` | `"AXIOM"`
`public static final String` | `PARAGRAPH_LINK_LABEL` | `"LABEL"`
`public static final String` | `PARAGRAPH_PARAGRAPH` | `"PARAGRAPH"`
`public static final String` | `PARAGRAPH_PROOF_LINE` | `"LINE"`
`public static final String` | `PARAGRAPH_PROOF_LINE_LIST` | `"PROOF"`
`public static final String` | `PARAGRAPH_PROPOSITION` | `"PROPOSITION"`
`public static final String` | `PARAGRAPH_RULE_DECLARATION` | `"DECLARERULE"`
`public static final String` | `PARAGRAPH_SENTENCE` | `"SENTENCE"`

com.meyling.principia.logic.rule.RuleConstants
`public static final String` | `AXIOM_IS_NO_IMPLICATION` | `"referenced axiom is no implication"`
`public static final String` | `CONJUNCTION_RULE_NOT_POSSIBLE` | `" conjunction of both formulas lead not to a formula"`
`public static final String` | `FIRST_NOT_FIRST_PART_OF_SECOND_PROOF_LINE` | `" second referenced proof line must have first referenced proof line as first part formula"`
`public static final String` | `FIRST_PROOF_LINE_NO_IMPLICATION` | `" first referenced proof line must be an implication"`
`public static final String` | `IMPLICATON_FIRST_ALREADY_OR_SECOND_NOT_FREE` | `" referenced proof line has already subject variable in first part formula or the second part formula doesn\'t has the new subject variable as a free one"`
`public static final String` | `IMPLICATON_FIRST_NOT_FREE_OR_SECOND_ALREADY` | `" referenced proof line has already subject variable in second part formula or the first part formula doesn\'t has the new subject variable as a free one"`
`public static final String` | `LAST_PART_FIRST_PART_NOT_EQUAL` | `" last part of first referenced implication must be equal to first part of second referenced implication"`
`public static final String` | `NO_ELEMENTARY_EQUIVALENCE` | `"referenced sentence build no equivalence, second implication must be the reverse of the first"`
`public static final String` | `NO_PATTERN_VARIABLE_ALLOWED` | `"this formula must not contain pattern variables"`
`public static final String` | `OPERATOR_NOT_SUPPORTED` | `" this rule doesn\'t support this operator: "`
`public static final String` | `PROOF_LINE_NO_IMPLICATION` | `" referenced proof line must be an implication"`
`public static final String` | `REFERENCED_PROOFLINES_NOT_SIMULAR` | `" the second referenced proof line must be the reverse of the first referenced proof line"`
`public static final String` | `REPLACING_ABBREVIATION_NOT_POSSIBLE` | `" replacement lead not to a formula"`
`public static final String` | `REPLACING_BOUND_VARIABLE_NOT_POSSIBLE` | `" replacement lead not to a formula"`
`public static final String` | `REPLACING_EQUIVALENCE_NOT_POSSIBLE` | `" replacement by equivalent formula lead not to a formula"`
`public static final String` | `REPLACING_PREDICATE_VARIABLE_NOT_POSSIBLE` | `" replacement lead not to a formula"`
`public static final String` | `REPLACING_PROPOSITION_VARIABLE_NOT_POSSIBLE` | `" replacement lead not to a formula"`
`public static final String` | `REPLACING_WITH_ABBREVIATION_NOT_POSSIBLE` | `" replacement lead not to a formula"`
`public static final String` | `RIGHT_ADDITION_OF_FORMULA_NOT_POSSIBLE` | `"right addition of formula not possible (mixed free bound variables)"`
`public static final String` | `RULE_DECLARATION_CONDITION_NOT_FULLFILLED` | `" rule declaration condition not fullfilled"`
`public static final String` | `RULE_DECLARATION_MISSING` | `": this rule must be declared before"`
`public static final String` | `RULE_VERSION_CONFLICT` | `"module rule version conflicts with this needed rule version, module rule version needed: "`
`public static final String` | `SECOND_PROOF_LINE_NO_IMPLICATION` | `" second referenced proof line must be an implication"`
`public static final String` | `SENTENCE_IS_NO_IMPLICATION` | `"referenced sentence is no implication"`
`public static final String` | `SUBSTITUTION_NOT_SUCCESSFULL` | `" referenced formula doesn\'t match desired result"`
`public static final String` | `WRONG_OCCURENCE_NUMBER` | `" wrong occurence number"`

com.meyling.principia.logic.rule.RuleCreator
`public static final String` | `RULE_ADD_AXIOM` | `"ADDAXIOM"`
`public static final String` | `RULE_ADD_SENTENCE` | `"ADDSENTENCE"`
`public static final String` | `RULE_APPLY_AXIOM` | `"APPLYAXIOM"`
`public static final String` | `RULE_APPLY_SENTENCE` | `"APPLYSENTENCE"`
`public static final String` | `RULE_CONJUNCTION_RULE` | `"CONJUNCTION"`
`public static final String` | `RULE_ELEMENTARY_EQUIVALENCE` | `"IMPLICATIONEQUIVALENT"`
`public static final String` | `RULE_GENERALIZATION` | `"GENERALIZATION"`
`public static final String` | `RULE_HYPOTHETICAL_SYLLOGISM` | `"HYPOTHETICALSYLLOGISM"`
`public static final String` | `RULE_LEFT_ADDITION` | `"LEFTADDITION"`
`public static final String` | `RULE_LEFT_ADDITION_CONJUNCTION` | `"LEFTADDITIONCONJUNCTION"`
`public static final String` | `RULE_LEFT_ADDITION_EQUIVALENCE` | `"LEFTADDITIONEQUIVALENCE"`
`public static final String` | `RULE_LEFT_ADDITION_IMPLICATION` | `"LEFTADDITIONIMPLICATION"`
`public static final String` | `RULE_LINK_REFERENCE` | `"LINK"`
`public static final String` | `RULE_MODUS_PONENS` | `"MODUSPONENS"`
`public static final String` | `RULE_PARTICULARIZATION` | `"PARTICULARIZATION"`
`public static final String` | `RULE_RENAME_BOUND_SUBJECT_VARIABLE` | `"RENAMEBOUNDVARIABLE"`
`public static final String` | `RULE_RENAME_FREE_SUBJECT_VARIABLE` | `"RENAMEFREEVARIABLE"`
`public static final String` | `RULE_REPLACE_PREDICATE_VARIABLE` | `"REPLACEPREDICATE"`
`public static final String` | `RULE_REPLACE_PROPOSITION_VARIABLE` | `"REPLACEPROP"`
`public static final String` | `RULE_REVERSE_ABBREVIATION` | `"REVERSEABBREVIATION"`
`public static final String` | `RULE_REVERSE_IMPLICATION` | `"REVERSEIMPLICATION"`
`public static final String` | `RULE_RIGHT_ADDITION` | `"RIGHTADDITION"`
`public static final String` | `RULE_RIGHT_ADDITION_CONJUNCTION` | `"RIGHTADDITIONCONJUNCTION"`
`public static final String` | `RULE_RIGHT_ADDITION_EQUIVALENCE` | `"RIGHTADDITIONEQUIVALENCE"`
`public static final String` | `RULE_RIGHT_ADDITION_IMPLICATION` | `"RIGHTADDITIONIMPLICATION"`
`public static final String` | `RULE_SUBST_LINE` | `"SUBSTLINE"`
`public static final String` | `RULE_USE_ABBREVIATION` | `"USEABBREVIATION"`

com.meyling.principia.module.ModuleConstants
`public static final String` | `ABBREVIATION_EXPECTED_IN_ARGUMENT` | `"abbreviation expected in list argument "`
`public static final String` | `ALL_BOUND_OR_BOUND_FREE_NOT_EMPTY_INTERSECTION` | `" subject variables of referenced proof line and bound ones of formula have not empty intersection or bound ones of proof line and free ones of formula have not empty intersection"`
`public static final String` | `AXIOM_EXPECTED_IN_ARGUMENT` | `"axiom expected in list argument "`
`public static final String` | `CONVENTION` | `" convention: "`
`public static final String` | `COULD_NOT_BE_ADDED` | `" could not be added"`
`public static final String` | `DIFFERENT_PATTERN_VARIABLES` | `"must only have different pattern variables as arguments"`
`public static final String` | `FILE_EXISTS_ALREADY` | `"file exists already: "`
`public static final String` | `FREE_BOUND_NOT_EMPTY_INTERSECTION` | `" free variables of referenced proof line and bound ones of formula have not empty intersection or bound ones of proof line and free ones of formula have not empty intersection"`
`public static final String` | `INCORRECT_LINE` | `" incorrect proof, error in proof line "`
`public static final String` | `LABEL_ALREADY_EXISTS` | `"label already exist: "`
`public static final String` | `LABEL_ALREADY_EXISTS_IN` | `"already referenced as an label in "`
`public static final String` | `LAST_LINE_NOT_EQUAL_WITH_EXPECTED` | `" incorrect proof, last formula not equivalent to proposition"`
`public static final String` | `MALFORMED_MODULE_ADDRESS` | `"malformed module address: "`
`public static final String` | `MODULE_EXPECTED` | `"module format expected"`
`public static final String` | `MODULE_IMPORT_FAILED` | `"module import failed: "`
`public static final String` | `MODULE_NOT_FOUND` | `"module not found: "`
`public static final String` | `MODULE_SPECIFICATION_DIFFERS_FROM_NAME` | `"module specification differs from module name: "`
`public static final String` | `MUST_BE_DIGIT_PERIOD_STRING` | `" must only contain digits and periods in form \"n.nn.nn(.nn)*\" like in \"1.00.00\""`
`public static final String` | `MUST_BE_LETTER_DIGIT_PERIOD_STRING` | `" must only contain letters and digits"`
`public static final String` | `MUST_BE_LETTER_DIGIT_STRING` | `" must only contain letters and digits"`
`public static final String` | `MUST_END_WITH_DIGIT` | `" must start with a digit"`
`public static final String` | `MUST_NOT_END_WITH_PERIOD` | `" must not end with a period"`
`public static final String` | `MUST_START_WITH_DIGIT` | `" must start with a digit"`
`public static final String` | `MUST_START_WITH_LETTER` | `" must start with a letter"`
`public static final String` | `NO_DIRECT_PERIODS` | `" must not have two periods directly after another"`
`public static final String` | `NO_EMPTY_STRING` | `" no empty string allowed"`
`public static final String` | `NO_FOLLOWING_TEXT_ALLOWED` | `"no following text allowed"`
`public static final String` | `NO_MODULE_ADDRESS` | `"module address unknown"`
`public static final String` | `NO_PATTERN_VARIABLE_IN_AXIOM` | `"an axiom must not contain pattern variables"`
`public static final String` | `NO_PATTERN_VARIABLE_IN_PROPOSITION` | `"a sentence must not contain pattern variables"`
`public static final String` | `NO_PERIODS_WITHOUT_DIGIT` | `" must not have two periods directly after another"`
`public static final String` | `NO_URL` | `"no valid URL like http://www.meyling.com/principia/"`
`public static final String` | `ONLY_LOWER_CASE_CHARS` | `" only lower case characters allowed"`
`public static final String` | `OPERATOR_WITH_ONE_TO_TWO_ARGUMENTS` | `" must have one to two arguments"`
`public static final String` | `OPERATOR_WITH_TWO_TO_FOUR_ARGUMENTS` | `" must have two to four arguments"`
`public static final String` | `OPERATOR_WITH_TWO_TO_THREE_ARGUMENTS` | `" must have two to three arguments"`
`public static final String` | `PART_MUST_START_WITH_LETTER` | `" every part must start with a letter"`
`public static final String` | `PATTERN_VARIABLES_MUST_STAND_FOR_SUBJECT_VARIABLES` | `" all pattern variables must stand for (unknown) subject variables"`
`public static final String` | `POSITIVE_INTEGER_EXPECTED_IN_ARGUMENT` | `"positive (non zero) integer expected in list argument "`
`public static final String` | `PRECONDITIONS_NOT_FULLFILLED` | `" preconditions not fullfilled"`
`public static final String` | `PROOF_LINES_OUT_OF_RANGE` | `" referenced proof line must be lower than current"`
`public static final String` | `REFERENCED_ABBREVIATION_DOES_NOT_EXIST` | `"referenced abbreviation does not exist"`
`public static final String` | `REFERENCED_AXIOM_DOES_NOT_EXIST` | `"referenced axiom does not exist"`
`public static final String` | `REFERENCED_FORMULA_DOES_NOT_EXIST` | `"referenced formula (axiom or sentence) does not exist"`
`public static final String` | `REFERENCED_RULE_DOES_NOT_EXIST` | `"referenced rule does not exist"`
`public static final String` | `REFERENCED_RULE_IS_NOT_DECLARED` | `"referenced rule is not declared"`
`public static final String` | `REFERENCED_SENTENCE_DOES_NOT_EXIST` | `"referenced sentence does not exist"`
`public static final String` | `RESULT_NOT_EQUAL_WITH_EXPECTED` | `" result is not equal with expected"`
`public static final String` | `RULE` | `"logical rule"`
`public static final String` | `RULE_ALREADY_DECLARED` | `"rule is already declared"`
`public static final String` | `SAME_PATTERN_VARIABLES` | `"must have the same pattern variables as the argument before"`
`public static final String` | `SENTENCE_EXPECTED_IN_ARGUMENT` | `"sentence expected in list argument "`
`public static final int` | `STATE_CODE_CHECKING` | `6`
`public static final int` | `STATE_CODE_LOADED_AND_VERIFIED` | `8`
`public static final int` | `STATE_CODE_LOADING_FROM_BUFFER` | `3`
`public static final int` | `STATE_CODE_LOADING_FROM_BUFFER_FAILED` | `4`
`public static final int` | `STATE_CODE_LOADING_FROM_WEB` | `1`
`public static final int` | `STATE_CODE_LOADING_FROM_WEB_FAILED` | `2`
`public static final int` | `STATE_CODE_LOADING_INTO_MEMORY` | `5`
`public static final int` | `STATE_CODE_LOADING_INTO_MEMORY_FAILED` | `7`
`public static final int` | `STATE_CODE_UNDEFINED` | `0`
`public static final String` | `STATE_STRING_CHECKING` | `"checking"`
`public static final String` | `STATE_STRING_LOADED_AND_VERIFIED` | `"loaded and verified"`
`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_UNDEFINED` | `"undefined"`
`public static final String` | `SUBJECT_VARIABLE_EXPECTED_IN_SECOND_ARGUMENT` | `"subject variable expected in second argument list at "`
`public static final String` | `THIS_NO_RULE` | `"this is no rule"`
`public static final String` | `URL_WITH_EMPTY_FILE` | `"this url has an empty file: "`
`public static final String` | `VARIABLE_ALREADY_BOUND` | `" variable already bound in formula"`
`public static final String` | `VARIABLE_ALREADY_FREE` | `" variable already free in formula"`
`public static final String` | `VARIABLE_NOT_BOUND` | `" variable not bound in formula"`
`public static final String` | `VARIABLE_NOT_FREE` | `" variable not free in formula"`

com.meyling.principia.module.ModuleCreator
`public static final String` | `MODULE_AUTHOR` | `"AUTHOR"`
`public static final String` | `MODULE_AUTHOR_LIST` | `"AUTHORS"`
`public static final String` | `MODULE_DESCRIPTION` | `"DESCRIPTION"`
`public static final String` | `MODULE_EMAIL` | `"EMAIL"`
`public static final String` | `MODULE_HEADER` | `"HEADER"`
`public static final String` | `MODULE_HEADLINE` | `"HEADLINE"`
`public static final String` | `MODULE_IMPORT` | `"IMPORT"`
`public static final String` | `MODULE_IMPORT_LIST` | `"IMPORTS"`
`public static final String` | `MODULE_LOCATION` | `"LOCATION"`
`public static final String` | `MODULE_LOCATION_LIST` | `"LOCATIONS"`
`public static final String` | `MODULE_MODULE` | `"MODULE"`
`public static final String` | `MODULE_NAME` | `"NAME"`
`public static final String` | `MODULE_PARAGRAPH_LIST` | `"PARAGRAPHS"`
`public static final String` | `MODULE_SPECIFICATION` | `"SPEC"`
`public static final String` | `MODULE_USEDBY_LIST` | `"USEDBY"`
`public static final String` | `MODULE_VERSION` | `"VERSION"`

com.meyling.principia.module.PackageTest
`public static final String` | `ACTUAL_OUTPUT_FILE_POSTFIX` | `".output"`
`public static final String` | `END` | `"end"`
`public static final String` | `EXCEPTION_TEST_FILE_PREFIX` | `"exception.test."`
`public static final String` | `EXPECTED_OUTPUT_FILE_POSTFIX` | `".output.expected"`
`public static final String` | `FAIL` | `"fail"`
`public static final String` | `FALSE` | `"false"`
`public static final String` | `FILE_PATH` | `"com/meyling/principia/module/test/"`
`public static final String` | `INPUT_FILE_POSTFIX` | `".input"`
`public static final String` | `NEXT` | `"next"`
`public static final String` | `RESULT` | `"result"`
`public static final String` | `TEST_FILE_PREFIX` | `"test."`
`public static final String` | `TRUE` | `"true"`

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| Hilbert II - JAVA-Packages - Principia Mathematica II
PREV NEXT | FRAMES NO FRAMES

©left GNU General Public Licence All Rights Reserved.