|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
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 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
©left GNU General Public Licence All Rights Reserved. |