Hilbert II - JAVA-Packages - Principia Mathematica II

com.meyling.principia.module
Interface ModuleConstants

All Superinterfaces:
ArgumentConstants, BasicConstants
All Known Subinterfaces:
ParagraphConstants, RuleConstants

public interface ModuleConstants
extends BasicConstants

This interface provides constants of this package.

Version:
$Revision: 1.14 $
Author:
Michael Meyling

Field Summary
static String ABBREVIATION_EXPECTED_IN_ARGUMENT
           
static String ALL_BOUND_OR_BOUND_FREE_NOT_EMPTY_INTERSECTION
           
static String AXIOM_EXPECTED_IN_ARGUMENT
           
static String CONVENTION
           
static String COULD_NOT_BE_ADDED
           
static String DIFFERENT_PATTERN_VARIABLES
           
static String FILE_EXISTS_ALREADY
           
static String FREE_BOUND_NOT_EMPTY_INTERSECTION
           
static String INCORRECT_LINE
           
static String LABEL_ALREADY_EXISTS
           
static String LABEL_ALREADY_EXISTS_IN
           
static String LAST_LINE_NOT_EQUAL_WITH_EXPECTED
           
static String MALFORMED_MODULE_ADDRESS
           
static String MODULE_EXPECTED
           
static String MODULE_IMPORT_FAILED
           
static String MODULE_NOT_FOUND
           
static String MODULE_SPECIFICATION_DIFFERS_FROM_NAME
           
static String MUST_BE_DIGIT_PERIOD_STRING
           
static String MUST_BE_LETTER_DIGIT_PERIOD_STRING
           
static String MUST_BE_LETTER_DIGIT_STRING
           
static String MUST_END_WITH_DIGIT
           
static String MUST_NOT_END_WITH_PERIOD
           
static String MUST_START_WITH_DIGIT
           
static String MUST_START_WITH_LETTER
           
static String NO_DIRECT_PERIODS
           
static String NO_EMPTY_STRING
           
static String NO_FOLLOWING_TEXT_ALLOWED
           
static String NO_MODULE_ADDRESS
           
static String NO_PATTERN_VARIABLE_IN_AXIOM
           
static String NO_PATTERN_VARIABLE_IN_PROPOSITION
           
static String NO_PERIODS_WITHOUT_DIGIT
           
static String NO_URL
           
static String ONLY_LOWER_CASE_CHARS
           
static String OPERATOR_WITH_ONE_TO_TWO_ARGUMENTS
           
static String OPERATOR_WITH_TWO_TO_FOUR_ARGUMENTS
           
static String OPERATOR_WITH_TWO_TO_THREE_ARGUMENTS
           
static String PART_MUST_START_WITH_LETTER
           
static String PATTERN_VARIABLES_MUST_STAND_FOR_SUBJECT_VARIABLES
           
static String POSITIVE_INTEGER_EXPECTED_IN_ARGUMENT
           
static String PRECONDITIONS_NOT_FULLFILLED
           
static String PROOF_LINES_OUT_OF_RANGE
           
static String REFERENCED_ABBREVIATION_DOES_NOT_EXIST
           
static String REFERENCED_AXIOM_DOES_NOT_EXIST
           
static String REFERENCED_FORMULA_DOES_NOT_EXIST
           
static String REFERENCED_RULE_DOES_NOT_EXIST
           
static String REFERENCED_RULE_IS_NOT_DECLARED
           
static String REFERENCED_SENTENCE_DOES_NOT_EXIST
           
static String RESULT_NOT_EQUAL_WITH_EXPECTED
           
static String RULE
           
static String RULE_ALREADY_DECLARED
           
static String SAME_PATTERN_VARIABLES
           
static String SENTENCE_EXPECTED_IN_ARGUMENT
           
static int STATE_CODE_CHECKING
           
static int STATE_CODE_LOADED_AND_VERIFIED
           
static int STATE_CODE_LOADING_FROM_BUFFER
           
static int STATE_CODE_LOADING_FROM_BUFFER_FAILED
           
static int STATE_CODE_LOADING_FROM_WEB
           
static int STATE_CODE_LOADING_FROM_WEB_FAILED
           
static int STATE_CODE_LOADING_INTO_MEMORY
           
static int STATE_CODE_LOADING_INTO_MEMORY_FAILED
           
static int STATE_CODE_UNDEFINED
           
static String STATE_STRING_CHECKING
           
static String STATE_STRING_LOADED_AND_VERIFIED
           
static String STATE_STRING_LOADING_FROM_BUFFER
           
static String STATE_STRING_LOADING_FROM_BUFFER_FAILED
           
static String STATE_STRING_LOADING_FROM_WEB
           
static String STATE_STRING_LOADING_FROM_WEB_FAILED
           
static String STATE_STRING_LOADING_INTO_MEMORY
           
static String STATE_STRING_LOADING_INTO_MEMORY_FAILED
           
static String STATE_STRING_UNDEFINED
           
static String SUBJECT_VARIABLE_EXPECTED_IN_SECOND_ARGUMENT
           
static String THIS_NO_RULE
           
static String URL_WITH_EMPTY_FILE
           
static String VARIABLE_ALREADY_BOUND
           
static String VARIABLE_ALREADY_FREE
           
static String VARIABLE_NOT_BOUND
           
static String VARIABLE_NOT_FREE
           
 
Fields inherited from interface com.meyling.principia.logic.basic.BasicConstants
ALREADY_CONTAINS_PATTERN_VARIABLE, ARGUMENT_LIST, FORMULA, MIXED_FREE_BOUND, NO_FORMULA_NUMBER, QUALIFIED_MUST_BE_FREE, SUBJECT_VARIABLE, WRONG_FORMULA_NUMBER
 
Fields inherited from interface com.meyling.principia.argument.ArgumentConstants
ALREADY_ASSIGNED, ARGUMENT_EXPECTED, AT_LEAST_ONE_ARGUMENT_EXPECTED, CODE_CONSTRUCTOR_ARGUMENT_CHECK_FAILED, CODE_CONSTRUCTOR_WRONG_ARGUMENT_NUMBER, CODE_CONSTRUCTOR_WRONG_ARGUMENT_TYPE, CODE_METHOD_ARGUMENT_CHECK_FAILED, CODE_PARSER_ARGUMENT_EXPECTED, CODE_PARSER_NO_ARGUMENT_SEPARATOR, CODE_PARSER_NO_BEGIN_ARGUMENT_LIST, CODE_PARSER_NO_END_ARGUMENT_LIST, CODE_PARSER_NO_FURTHER_ARGUMENTS_EXPECTED, CODE_PARSER_UNEXPECTED_ARGUMENT, CODE_PARSER_UNKNOWN_ARGUMENT_CHAR, CODE_PARSER_UNKNOWN_OPERATOR, CODE_PARSER_WRONG_ATOM_FORMAT, COULD_NOT_BE_EMPTY, COULD_NOT_CREATE, COUNTER, COUNTER_OR_PATTERN, EXPECTED_IN_ARGUMENT, FIFTH_ARGUMENT, FIFTH_ARGUMENT_TYPE, FIRST_ARGUMENT, FIRST_ARGUMENT_TYPE, FOURTH_ARGUMENT, FOURTH_ARGUMENT_TYPE, MUST_BE_GREATER_THAN_NULL, MUST_HAVE_COUNTER, MUST_NOT_CONTAIN_PATTERN_VARIABLE, NO_ARGUMENT_NUMBER, NO_ARGUMENT_SEPARATOR, NO_BEGIN_ARGUMENT_LIST, NO_END_ARGUMENT_LIST, NO_LETTER_DIGIT_STRING_FOUND, NO_NEGATIVE_INTEGER, NO_POSITIVE_INTEGER_FOUND, NO_QUOTE_TERMINATION, NO_QUOTED_STRING, NO_RECURSIVE_MATCH, NOT_ASSIGNED, NULLPOINTER_PARAMETER, NUMBER, OPERATOR_WITH_AT_LEAST_TWO_ARGUMENTS, OPERATOR_WITH_FIVE_ARGUMENTS, OPERATOR_WITH_FOUR_ARGUMENTS, OPERATOR_WITH_NO_ARGUMENTS, OPERATOR_WITH_ONE_ARGUMENT, OPERATOR_WITH_THREE_ARGUMENTS, OPERATOR_WITH_TWO_ARGUMENTS, PATTERN_VARIABLE, PATTERN_VARIABLE_NOT_FOUND, POSITIVE_INTEGER_EXPECTED, QUOTED_STRING, SECOND_ARGUMENT, SECOND_ARGUMENT_TYPE, THIRD_ARGUMENT, THIRD_ARGUMENT_TYPE, UNKNOWN_ARGUMENT_CHAR, UNKNOWN_ARGUMENT_CLASS, UNKNOWN_CLASS, UNKNOWN_OPERATOR, WRONG_ARGUMENT_NUMBER
 

Field Detail

RULE

public static final String RULE
See Also:
Constant Field Values

NO_PATTERN_VARIABLE_IN_AXIOM

public static final String NO_PATTERN_VARIABLE_IN_AXIOM
See Also:
Constant Field Values

NO_PATTERN_VARIABLE_IN_PROPOSITION

public static final String NO_PATTERN_VARIABLE_IN_PROPOSITION
See Also:
Constant Field Values

AXIOM_EXPECTED_IN_ARGUMENT

public static final String AXIOM_EXPECTED_IN_ARGUMENT
See Also:
Constant Field Values

SENTENCE_EXPECTED_IN_ARGUMENT

public static final String SENTENCE_EXPECTED_IN_ARGUMENT
See Also:
Constant Field Values

DIFFERENT_PATTERN_VARIABLES

public static final String DIFFERENT_PATTERN_VARIABLES
See Also:
Constant Field Values

SAME_PATTERN_VARIABLES

public static final String SAME_PATTERN_VARIABLES
See Also:
Constant Field Values

ABBREVIATION_EXPECTED_IN_ARGUMENT

public static final String ABBREVIATION_EXPECTED_IN_ARGUMENT
See Also:
Constant Field Values

POSITIVE_INTEGER_EXPECTED_IN_ARGUMENT

public static final String POSITIVE_INTEGER_EXPECTED_IN_ARGUMENT
See Also:
Constant Field Values

SUBJECT_VARIABLE_EXPECTED_IN_SECOND_ARGUMENT

public static final String SUBJECT_VARIABLE_EXPECTED_IN_SECOND_ARGUMENT
See Also:
Constant Field Values

INCORRECT_LINE

public static final String INCORRECT_LINE
See Also:
Constant Field Values

LAST_LINE_NOT_EQUAL_WITH_EXPECTED

public static final String LAST_LINE_NOT_EQUAL_WITH_EXPECTED
See Also:
Constant Field Values

RESULT_NOT_EQUAL_WITH_EXPECTED

public static final String RESULT_NOT_EQUAL_WITH_EXPECTED
See Also:
Constant Field Values

PRECONDITIONS_NOT_FULLFILLED

public static final String PRECONDITIONS_NOT_FULLFILLED
See Also:
Constant Field Values

ALL_BOUND_OR_BOUND_FREE_NOT_EMPTY_INTERSECTION

public static final String ALL_BOUND_OR_BOUND_FREE_NOT_EMPTY_INTERSECTION
See Also:
Constant Field Values

FREE_BOUND_NOT_EMPTY_INTERSECTION

public static final String FREE_BOUND_NOT_EMPTY_INTERSECTION
See Also:
Constant Field Values

PROOF_LINES_OUT_OF_RANGE

public static final String PROOF_LINES_OUT_OF_RANGE
See Also:
Constant Field Values

VARIABLE_NOT_BOUND

public static final String VARIABLE_NOT_BOUND
See Also:
Constant Field Values

VARIABLE_ALREADY_FREE

public static final String VARIABLE_ALREADY_FREE
See Also:
Constant Field Values

VARIABLE_NOT_FREE

public static final String VARIABLE_NOT_FREE
See Also:
Constant Field Values

VARIABLE_ALREADY_BOUND

public static final String VARIABLE_ALREADY_BOUND
See Also:
Constant Field Values

PATTERN_VARIABLES_MUST_STAND_FOR_SUBJECT_VARIABLES

public static final String PATTERN_VARIABLES_MUST_STAND_FOR_SUBJECT_VARIABLES
See Also:
Constant Field Values

NO_EMPTY_STRING

public static final String NO_EMPTY_STRING
See Also:
Constant Field Values

ONLY_LOWER_CASE_CHARS

public static final String ONLY_LOWER_CASE_CHARS
See Also:
Constant Field Values

MUST_START_WITH_LETTER

public static final String MUST_START_WITH_LETTER
See Also:
Constant Field Values

PART_MUST_START_WITH_LETTER

public static final String PART_MUST_START_WITH_LETTER
See Also:
Constant Field Values

MUST_START_WITH_DIGIT

public static final String MUST_START_WITH_DIGIT
See Also:
Constant Field Values

MUST_END_WITH_DIGIT

public static final String MUST_END_WITH_DIGIT
See Also:
Constant Field Values

MUST_NOT_END_WITH_PERIOD

public static final String MUST_NOT_END_WITH_PERIOD
See Also:
Constant Field Values

MUST_BE_LETTER_DIGIT_STRING

public static final String MUST_BE_LETTER_DIGIT_STRING
See Also:
Constant Field Values

MUST_BE_LETTER_DIGIT_PERIOD_STRING

public static final String MUST_BE_LETTER_DIGIT_PERIOD_STRING
See Also:
Constant Field Values

NO_PERIODS_WITHOUT_DIGIT

public static final String NO_PERIODS_WITHOUT_DIGIT
See Also:
Constant Field Values

NO_DIRECT_PERIODS

public static final String NO_DIRECT_PERIODS
See Also:
Constant Field Values

MUST_BE_DIGIT_PERIOD_STRING

public static final String MUST_BE_DIGIT_PERIOD_STRING
See Also:
Constant Field Values

REFERENCED_ABBREVIATION_DOES_NOT_EXIST

public static final String REFERENCED_ABBREVIATION_DOES_NOT_EXIST
See Also:
Constant Field Values

REFERENCED_AXIOM_DOES_NOT_EXIST

public static final String REFERENCED_AXIOM_DOES_NOT_EXIST
See Also:
Constant Field Values

REFERENCED_SENTENCE_DOES_NOT_EXIST

public static final String REFERENCED_SENTENCE_DOES_NOT_EXIST
See Also:
Constant Field Values

REFERENCED_FORMULA_DOES_NOT_EXIST

public static final String REFERENCED_FORMULA_DOES_NOT_EXIST
See Also:
Constant Field Values

REFERENCED_RULE_IS_NOT_DECLARED

public static final String REFERENCED_RULE_IS_NOT_DECLARED
See Also:
Constant Field Values

REFERENCED_RULE_DOES_NOT_EXIST

public static final String REFERENCED_RULE_DOES_NOT_EXIST
See Also:
Constant Field Values

RULE_ALREADY_DECLARED

public static final String RULE_ALREADY_DECLARED
See Also:
Constant Field Values

OPERATOR_WITH_TWO_TO_FOUR_ARGUMENTS

public static final String OPERATOR_WITH_TWO_TO_FOUR_ARGUMENTS
See Also:
Constant Field Values

OPERATOR_WITH_ONE_TO_TWO_ARGUMENTS

public static final String OPERATOR_WITH_ONE_TO_TWO_ARGUMENTS
See Also:
Constant Field Values

OPERATOR_WITH_TWO_TO_THREE_ARGUMENTS

public static final String OPERATOR_WITH_TWO_TO_THREE_ARGUMENTS
See Also:
Constant Field Values

COULD_NOT_BE_ADDED

public static final String COULD_NOT_BE_ADDED
See Also:
Constant Field Values

LABEL_ALREADY_EXISTS_IN

public static final String LABEL_ALREADY_EXISTS_IN
See Also:
Constant Field Values

LABEL_ALREADY_EXISTS

public static final String LABEL_ALREADY_EXISTS
See Also:
Constant Field Values

CONVENTION

public static final String CONVENTION
See Also:
Constant Field Values

MODULE_EXPECTED

public static final String MODULE_EXPECTED
See Also:
Constant Field Values

MODULE_NOT_FOUND

public static final String MODULE_NOT_FOUND
See Also:
Constant Field Values

MODULE_IMPORT_FAILED

public static final String MODULE_IMPORT_FAILED
See Also:
Constant Field Values

NO_URL

public static final String NO_URL
See Also:
Constant Field Values

MODULE_SPECIFICATION_DIFFERS_FROM_NAME

public static final String MODULE_SPECIFICATION_DIFFERS_FROM_NAME
See Also:
Constant Field Values

URL_WITH_EMPTY_FILE

public static final String URL_WITH_EMPTY_FILE
See Also:
Constant Field Values

NO_MODULE_ADDRESS

public static final String NO_MODULE_ADDRESS
See Also:
Constant Field Values

THIS_NO_RULE

public static final String THIS_NO_RULE
See Also:
Constant Field Values

NO_FOLLOWING_TEXT_ALLOWED

public static final String NO_FOLLOWING_TEXT_ALLOWED
See Also:
Constant Field Values

FILE_EXISTS_ALREADY

public static final String FILE_EXISTS_ALREADY
See Also:
Constant Field Values

MALFORMED_MODULE_ADDRESS

public static final String MALFORMED_MODULE_ADDRESS
See Also:
Constant Field Values

STATE_CODE_UNDEFINED

public static final int STATE_CODE_UNDEFINED
See Also:
Constant Field Values

STATE_STRING_UNDEFINED

public static final String STATE_STRING_UNDEFINED
See Also:
Constant Field Values

STATE_CODE_LOADING_FROM_WEB

public static final int STATE_CODE_LOADING_FROM_WEB
See Also:
Constant Field Values

STATE_STRING_LOADING_FROM_WEB

public static final String STATE_STRING_LOADING_FROM_WEB
See Also:
Constant Field Values

STATE_CODE_LOADING_FROM_WEB_FAILED

public static final int STATE_CODE_LOADING_FROM_WEB_FAILED
See Also:
Constant Field Values

STATE_STRING_LOADING_FROM_WEB_FAILED

public static final String STATE_STRING_LOADING_FROM_WEB_FAILED
See Also:
Constant Field Values

STATE_CODE_LOADING_FROM_BUFFER

public static final int STATE_CODE_LOADING_FROM_BUFFER
See Also:
Constant Field Values

STATE_STRING_LOADING_FROM_BUFFER

public static final String STATE_STRING_LOADING_FROM_BUFFER
See Also:
Constant Field Values

STATE_CODE_LOADING_FROM_BUFFER_FAILED

public static final int STATE_CODE_LOADING_FROM_BUFFER_FAILED
See Also:
Constant Field Values

STATE_STRING_LOADING_FROM_BUFFER_FAILED

public static final String STATE_STRING_LOADING_FROM_BUFFER_FAILED
See Also:
Constant Field Values

STATE_CODE_LOADING_INTO_MEMORY

public static final int STATE_CODE_LOADING_INTO_MEMORY
See Also:
Constant Field Values

STATE_STRING_LOADING_INTO_MEMORY

public static final String STATE_STRING_LOADING_INTO_MEMORY
See Also:
Constant Field Values

STATE_CODE_CHECKING

public static final int STATE_CODE_CHECKING
See Also:
Constant Field Values

STATE_STRING_CHECKING

public static final String STATE_STRING_CHECKING
See Also:
Constant Field Values

STATE_CODE_LOADING_INTO_MEMORY_FAILED

public static final int STATE_CODE_LOADING_INTO_MEMORY_FAILED
See Also:
Constant Field Values

STATE_STRING_LOADING_INTO_MEMORY_FAILED

public static final String STATE_STRING_LOADING_INTO_MEMORY_FAILED
See Also:
Constant Field Values

STATE_CODE_LOADED_AND_VERIFIED

public static final int STATE_CODE_LOADED_AND_VERIFIED
See Also:
Constant Field Values

STATE_STRING_LOADED_AND_VERIFIED

public static final String STATE_STRING_LOADED_AND_VERIFIED
See Also:
Constant Field Values

Hilbert II - JAVA-Packages - Principia Mathematica II

©left GNU General Public Licence
All Rights Reserved.