Hilbert II - JAVA-Packages - Principia Mathematica II

Constant Field Values


Contents
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"


Hilbert II - JAVA-Packages - Principia Mathematica II

©left GNU General Public Licence
All Rights Reserved.