Modifier and Type | Field and Description |
---|---|
static String |
ACTIVATED_KEY |
static String |
ADD_DESCRIPTION_KEY
ADD command description key
|
static String |
ALIAS_DESCRIPTION_KEY
ALIAS command description key
|
static String |
AUTOMATON_ADDED_KEY |
static String |
AUTOMATON_DESCRIPTION_KEY
AUTOMATON command description key
|
static String |
AUTOMATON_KEY
Automaton Text Key
|
static String |
AUTOMATON_NAME_IS_EMPTY_KEY |
static String |
AUTOMATON_NAME_IS_NULL_KEY |
static String |
AUTOMATON_NOT_FOUND_KEY
Automaton Not Found Text Key
|
static String |
AUTOMATON_SAVED_KEY |
static String |
BDD_SIZE_KEY
BDD Size Text Key
|
static String |
CHECK_INVARIANT_ANTICHAIN
Checking Invariant using the Antichain Algorithm Text Key
|
static String |
CHECK_INVARIANT_BISIMULATION_UP_TO
Checking Invariant using the Bisimulation up-to Algorithm Text Key
|
static String |
CHECK_INVARIANT_SIMULATION_ANTICHAIN
Checking Invariant using the Simulation-based Antichain Algorithm Text Key
|
static String |
COMPUTATION_INTERRUPTED_KEY |
static String |
COMPUTING_COSPAN_DECOMPOSITION_KEY
Computing Cospan Decomposition Text Key
|
static String |
COMPUTING_GRAPH_DECOMPOSITION_KEY
Computing Graph Decomposition Text Key
|
static String |
COMPUTING_LANGUAGE_INCLUSION_KEY
Computing Language Inclusion Text Key
|
static String |
COSPAN_ADDED_KEY
Cospan Added Text Key
|
static String |
COSPAN_ALREADY_EXISTS_EXCEPTION_KEY
Cospan Already Exists Exception Key
|
static String |
COSPAN_DECOMPOSITION_ALREADY_EXISTS_EXCEPTION_KEY
Cospan Decomposition Already Exists Exception Key
|
static String |
COSPAN_DECOMPOSITION_FAILED_EXCEPTION_KEY
Cospan Decomposition Failed Exception Key
|
static String |
COSPAN_DEFINITION_MODE_COMMANDS_KEY
COSPAN DEFINITION MODE COMMANDS key
|
static String |
COSPAN_DEFINITION_MODE_STARTED_KEY
COSPAN DEFINITION MODE STARTED key
|
static String |
COSPAN_KEY
Cospan Text Key
|
static String |
COSPAN_NOT_FOUND_KEY
Cospan Not Found Text Key
|
static String |
COSPAN_OR_DECOMPOSITION_NOT_FOUND_KEY
Cospan Or Decomposition Not Found Text Key
|
static String |
COSPAN_SAVED_KEY
Cospan Saved Text Key
|
static String |
COUNTER_EXAMPLE_FOUND_KEY
Counter Example Found Text Key
|
static String |
DATA_CAN_NOT_BE_SAVED_KEY
Data Can Not Be Saved Text Key
|
static String |
DATA_NOT_FOUND_EXCEPTION_KEY
Data Not Found Exception Key
|
static String |
DATA_NOT_FOUND_KEY
Data Not Found Text Key
|
static String |
DATA_REMOVED_KEY
Data Removed Text Key
|
static String |
DATA_RENAMED_SUCCESSFULLY_KEY
Data Renamed Successfully Text Key
|
static String |
DATA_RENAMING_FAILED_KEY
Data Renaming Failed Exception Key
|
static String |
DEACTIVATED_KEY
Deactivated Text Key
|
static String |
DECOMPOSITION_ADDED_KEY
Decomposition Added Text Key
|
static String |
DECOMPOSITION_DEFINITION_MODE_COMMANDS_KEY
DECOMPOSITION DEFINITION MODE COMMANDS key
|
static String |
DECOMPOSITION_KEY
Decomposition Text Key
|
static String |
DECOMPOSITION_NOT_FOUND_KEY
Decomposition Not Found Text Key
|
static String |
DECOMPOSITION_PRINTED_KEY
Decomposition Printed Text Key
|
static String |
DECOMPOSITION_SAVED_KEY
Decomposition Saved Text Key
|
static String |
DEFINE_DESCRIPTION_KEY
DEFINE command description key
|
static String |
DELETE_DESCRIPTION_KEY
DELETE command description key
|
static String |
DENSITY_MUST_NOT_BE_GREATER_THAN_HUNDRED_KEY
Density Must Not Be Greater Than 100 Text Key
|
static String |
DENSITY_MUST_NOT_BE_LESS_THAN_ZERO_KEY
Density Must Not Be Less Than 0 Text Key
|
static String |
DIFFERENT_INNER_INTERFACES_KEY
Different Inner Interfaces Text Key
|
static String |
DIFFERENT_MAXIMUM_INTERFACES_KEY
Different Maximum Interfaces Text Key
|
static String |
DIFFERENT_SIGNATURES_KEY
Different Signatures Text Key
|
static String |
DIRECTORY_NOT_CREATED_KEY
Directory Not Created Exception Key
|
static String |
DIVISOR_LESS_THAN_ONE_KEY
Divisor Less Than One Exception Key
|
static String |
EDGE_DESCRIPTION_KEY
EDGE command description key
|
static String |
EDGE_KEY
Edge Text Key
|
static String |
ELAPSED_TIME_KEY |
static String |
EMPTINESS_DESCRIPTION_KEY
EMPTINESS command description key
|
static String |
EMPTINESS_DOES_HOLD_KEY |
static String |
EMPTINESS_DOES_NOT_HOLD_KEY |
static String |
EMPTY_STRING_KEY
Empty String Exception Key
|
static String |
ENCODING_KEY
Encoding Text Key
|
static String |
END_DESCRIPTION_KEY
END command description key
|
static String |
EXCEPTION_DURING_UPDATE_KEY |
static String |
EXCEPTION_OCCURED_KEY |
static String |
EXIT_DEFINITION_MODE_DESCRIPTION_KEY
Exit definition mode description key
|
static String |
EXIT_DESCRIPTION_KEY
EXIT command description key
|
static String[] |
EXIT_STATUS_KEY
Exit Status Message Keys
|
static String |
FILE_ALREADY_EXISTING_KEY |
static String |
FILE_NOT_FOUND_KEY |
static String |
FORMULA_ADDED_KEY |
static String |
FORMULA_ALREADY_EXISTS_EXCEPTION |
static String |
GET_ADDITIONAL_HELP_DESCRIPTION_KEY
Get additional help description key
|
static String |
GET_HELP_DESCRIPTION_KEY
Get help description key
|
static String |
GOODBYE_KEY |
static String |
GRAPH_ADDED_KEY |
static String |
GRAPH_ALREADY_EXISTS_EXCEPTION |
static String |
GRAPH_DECOMPOSITION_KEY
Graph Decomposition Text Key
|
static String |
GRAPH_DEFINITION_MODE_COMMANDS_KEY
GRAPH DEFINITION MODE COMMANDS key
|
static String |
GRAPH_NOT_FOUND_KEY
Graph Not Found Text Key
|
static String |
GRAPH_PRINTED_KEY
Graph Printed Text Key
|
static String |
GRAPH_SAVED_KEY
Graph Saved Text Key
|
static String |
HELP_DESCRIPTION_KEY
HELP command description key
|
static String |
ILLEGAL_OPERATION_KEY |
static String |
INFO_DESCRIPTION_KEY
INFO command description key
|
static String |
INFORMATION_KEY
Information Text Key
|
static String |
INNER_INTERFACE_DESCRIPTION_KEY
INNER INTERFACE command description key
|
static String |
INNER_INTERFACE_KEY
Inner Interface Text Key
|
static String |
INTERFACE_SIZES_KEY
Interface Sizes Text Key
|
static String |
INVARIANT_DESCRIPTION_KEY
INVARIANT command description key
|
static String |
IS_AN_INVARIANT_KEY |
static String |
IS_NOT_AN_INVARIANT_KEY |
static String |
LABEL_MUST_NOT_BE_EMPTY_KEY
Empty Label Text Key
|
static String |
LANGUAGE_INCLUSION_DESCRIPTION_KEY
LANGUAGE INCLUSION command description key
|
static String |
LANGUAGE_INCLUSION_DOES_HOLD |
static String |
LANGUAGE_INCLUSION_DOES_NOT_HOLD |
static String |
LEFT_HAND_SIDE_KEY
Left Hand-Side Text Key
|
static String |
LENGTH_KEY
Length Text Key
|
static String |
LOAD_DESCRIPTION_KEY
LOAD command description key
|
static String |
MAXIMUM_GREATER_THAN_MAXIMUM_INTERFACE_KEY |
static String |
MAXIMUM_INTERFACE_KEY
Maximum Interface Text Key
|
static String |
MAXIMUM_LESS_THAN_ZERO_KEY |
static String |
MEMBERSHIP_DESCRIPTION_KEY
MEMBERSHIP command description key
|
static String |
MIDDLE_GRAPH_KEY
Middle Graph Text Key
|
static String |
MINIMUM_GREATER_THAN_MAXIMUM_INTERFACE_KEY |
static String |
MINIMUM_LESS_THAN_ZERO_KEY |
static String |
MISSING_ILLEGAL_ARGUMENT_DESCRIPTION_KEY
Missing illegal argument description key
|
static String |
NAME_KEY
Name Text Key
|
static String |
NAME_MUST_NOT_BE_EMPTY_KEY
Empty Name Text Key
|
static String |
NO_DOCUMENTATION_KEY
No Documentation Text Key
|
static String |
NO_PRINT_ACTION_AVAILABLE_DESCRIPTION_KEY
No print action available description key
|
static String |
NO_UPDATE_AVAILABLE_KEY
No Update Available Text Key
|
static String |
NODE_ALREADY_EXISTING_KEY
Node Already Existing Text Key
|
static String |
NODE_ALREADY_IN_OUTER_INTERFACE_KEY
Node Already In Outer Interface Text Key
|
static String |
NODE_DESCRIPTION_KEY
NODE command description key
|
static String |
NODE_KEY
Node Text Key
|
static String |
NODE_NOT_EXISTING_KEY
Node Not Existing Text Key
|
static String |
NULL_POINTER_KEY |
static String |
OPERATION_KEY
Operation Text Key
|
static String |
OUT_OF_MEMORY_KEY |
static String |
OUTER_INTERFACE_DESCRIPTION_KEY
OUTER INTERFACE command description key
|
static String |
OUTER_INTERFACE_KEY
Outer Interface Text Key
|
static String |
OVERWRITE_FILE_KEY
Overwrite File Text Key
|
static String |
PATH_DECOMPOSITION_ADDED_KEY
Path Decomposition Added Text Key
|
static String |
PATH_DECOMPOSITION_KEY
Path Decomposition Text Key
|
static String |
PRINT_DESCRIPTION_KEY
PRINT command description key
|
static String |
PRINTDOT_DESCRIPTION_KEY
PRINTDOT command description key
|
static String |
QUIT_DESCRIPTION_KEY
QUIT command description key
|
static String |
RANDOMGRAPH_DESCRIPTION_KEY
RANDOMGRAPH command description key
|
static String |
REACHABILITY_DESCRIPTION_KEY
REACHABILITY command description key
|
static String |
REMAINDER_GREATER_OR_EQUAL_THAN_DIVISOR_KEY |
static String |
REMAINDER_LESS_THAN_ZERO_KEY |
static String |
REMOVE_DESCRIPTION_KEY
REMOVE command description key
|
static String |
RENAME_DESCRIPTION_KEY
RENAME command description key
|
static String |
REPOSITORY_DESCRIPTION_KEY
REPOSITORY command description key
|
static String |
RIGHT_HAND_SIDE_KEY
Right Hand-Side Text Key
|
static String |
RUN_DESCRIPTION_KEY
RUN command description key
|
static String |
RUNNING_SCRIPTS_IN_SCRIPT_MODE_KEY
Running Scripts In Script Mode Text Key
|
static String |
SAVE_DESCRIPTION_KEY
SAVE command description key
|
static String |
SAVING_ERROR_OCCURED |
static String |
SET_DESCRIPTION_KEY
SET command description key
|
static String |
SHOW_DESCRIPTION_KEY
SHOW command description key
|
static String |
SIGNATURE_ADDED_KEY
Signature Added Text Key
|
static String |
SIGNATURE_DESCRIPTION_KEY
SIGNATURE command description key
|
static String |
SIGNATURE_KEY
Signature Text Key
|
static String |
SIGNATURE_NOT_FOUND_KEY
Signature Not Found Text Key
|
static String |
SIGNATURE_SAVED_KEY
Signature Saved Text Key
|
static String |
SIMULATION_DESCRIPTION_KEY
SIMULATION command description key
|
static String |
SLOPPY_MODE_SET_KEY
Sloppy Mode Set Text Key
|
static String |
STATES_KEY
States Text Key
|
static String |
STATES_PRINTED_KEY
States Printed Text Key
|
static String |
TABLE_HEADER_NAME_KEY
Table Header Name Text Key
|
static String |
TABLE_HEADER_TYPE_KEY
Table Header Type Text Key
|
static String |
TEST_DESCRIPTION_KEY
TEST command description key
|
static String |
TIME_MODE_SET_KEY
Time Statistics Mode Set Text Key
|
static String |
TOTAL_KEY
Total Text Key
|
static String |
TRANSITION_GRAPH_PRINTED_KEY
Transition Graph Printed Text Key
|
static String |
TREE_DECOMPOSITION_ADDED_KEY |
static String |
TREE_DECOMPOSITION_KEY
Tree Decomposition Text Key
|
static String |
TYPE_KEY
Type Text Key
|
static String |
UNIVERSALITY_DESCRIPTION_KEY
UNIVERSALITY command description key
|
static String |
UNIVERSALITY_DOES_HOLD |
static String |
UNIVERSALITY_DOES_NOT_HOLD |
static String |
UNKNOWN_COMMAND_DESCRIPTION_KEY
Unknown command description key
|
static String |
UNKNOWN_NODE_KEY |
static String |
UNKNOWN_VARIABLE_DESCRIPTION_KEY
Unknown Variable description key
|
static String |
UPDATE_AVAILABLE |
static String |
UPDATE_BUILD_PARSER_FAILED_KEY |
static String |
UPDATE_DESCRIPTION_KEY
UPDATE command description key
|
static String |
UPDATE_DOWNLOAD_WAS_CORRUPTED_KEY |
static String |
UPDATE_FAILED_KEY |
static String |
UPDATE_FILES_NOT_FOUND_KEY |
static String |
UPDATE_IOERROR_OCCURRED_KEY |
static String |
UPDATE_LOCATION_INVALID_KEY |
static String |
UPDATE_SCHEMA_FILE_CORRUPTED_KEY |
static String |
UPDATE_SCHEMA_FILE_NOT_FOUND_KEY |
static String |
UPDATE_SUCCESSFUL |
static String |
VERBOSE_MODE_SET_KEY
Verbose Mode Set Text Key
|
static String |
WIDTH_GREATER_THAN_MAXIMUM_INTERFACE_KEY
Width Is Greater Than The Maximum Interface Size Text Key
|
static String |
WRONG_PARAMETER_DESCRIPTION_KEY
Wrong parameter description key
|
static String |
YES_OR_NO_OPTION |
Modifier and Type | Method and Description |
---|---|
static ConsoleMessages |
getMessages()
Returns a named list of all console messages.
|
public static final String[] EXIT_STATUS_KEY
public static final String ADD_DESCRIPTION_KEY
public static final String ALIAS_DESCRIPTION_KEY
public static final String AUTOMATON_DESCRIPTION_KEY
public static final String COSPAN_DEFINITION_MODE_COMMANDS_KEY
public static final String COSPAN_DEFINITION_MODE_STARTED_KEY
public static final String DECOMPOSITION_DEFINITION_MODE_COMMANDS_KEY
public static final String DEFINE_DESCRIPTION_KEY
public static final String DELETE_DESCRIPTION_KEY
public static final String EDGE_DESCRIPTION_KEY
public static final String EMPTINESS_DESCRIPTION_KEY
public static final String END_DESCRIPTION_KEY
public static final String EXIT_DESCRIPTION_KEY
public static final String GRAPH_DEFINITION_MODE_COMMANDS_KEY
public static final String HELP_DESCRIPTION_KEY
public static final String INFO_DESCRIPTION_KEY
public static final String INNER_INTERFACE_DESCRIPTION_KEY
public static final String INVARIANT_DESCRIPTION_KEY
public static final String LANGUAGE_INCLUSION_DESCRIPTION_KEY
public static final String LOAD_DESCRIPTION_KEY
public static final String MEMBERSHIP_DESCRIPTION_KEY
public static final String NODE_DESCRIPTION_KEY
public static final String PRINT_DESCRIPTION_KEY
public static final String PRINTDOT_DESCRIPTION_KEY
public static final String OUTER_INTERFACE_DESCRIPTION_KEY
public static final String QUIT_DESCRIPTION_KEY
public static final String RANDOMGRAPH_DESCRIPTION_KEY
public static final String REACHABILITY_DESCRIPTION_KEY
public static final String REMOVE_DESCRIPTION_KEY
public static final String RENAME_DESCRIPTION_KEY
public static final String REPOSITORY_DESCRIPTION_KEY
public static final String RUN_DESCRIPTION_KEY
public static final String SAVE_DESCRIPTION_KEY
public static final String SET_DESCRIPTION_KEY
public static final String SHOW_DESCRIPTION_KEY
public static final String SIGNATURE_DESCRIPTION_KEY
public static final String SIMULATION_DESCRIPTION_KEY
public static final String TEST_DESCRIPTION_KEY
public static final String UNIVERSALITY_DESCRIPTION_KEY
public static final String UPDATE_DESCRIPTION_KEY
public static final String EXIT_DEFINITION_MODE_DESCRIPTION_KEY
public static final String GET_ADDITIONAL_HELP_DESCRIPTION_KEY
public static final String GET_HELP_DESCRIPTION_KEY
public static final String MISSING_ILLEGAL_ARGUMENT_DESCRIPTION_KEY
public static final String NO_PRINT_ACTION_AVAILABLE_DESCRIPTION_KEY
public static final String UNKNOWN_COMMAND_DESCRIPTION_KEY
public static final String UNKNOWN_VARIABLE_DESCRIPTION_KEY
public static final String WRONG_PARAMETER_DESCRIPTION_KEY
public static final String COSPAN_ALREADY_EXISTS_EXCEPTION_KEY
public static final String COSPAN_DECOMPOSITION_ALREADY_EXISTS_EXCEPTION_KEY
public static final String COSPAN_DECOMPOSITION_FAILED_EXCEPTION_KEY
public static final String DIVISOR_LESS_THAN_ONE_KEY
public static final String DATA_NOT_FOUND_EXCEPTION_KEY
public static final String DATA_RENAMING_FAILED_KEY
public static final String DIRECTORY_NOT_CREATED_KEY
public static final String EMPTY_STRING_KEY
public static final String EXCEPTION_DURING_UPDATE_KEY
public static final String EXCEPTION_OCCURED_KEY
public static final String FILE_NOT_FOUND_KEY
public static final String FORMULA_ALREADY_EXISTS_EXCEPTION
public static final String GRAPH_ALREADY_EXISTS_EXCEPTION
public static final String ILLEGAL_OPERATION_KEY
public static final String MAXIMUM_GREATER_THAN_MAXIMUM_INTERFACE_KEY
public static final String MAXIMUM_LESS_THAN_ZERO_KEY
public static final String MINIMUM_GREATER_THAN_MAXIMUM_INTERFACE_KEY
public static final String MINIMUM_LESS_THAN_ZERO_KEY
public static final String NULL_POINTER_KEY
public static final String OUT_OF_MEMORY_KEY
public static final String REMAINDER_GREATER_OR_EQUAL_THAN_DIVISOR_KEY
public static final String REMAINDER_LESS_THAN_ZERO_KEY
public static final String SAVING_ERROR_OCCURED
public static final String ACTIVATED_KEY
public static final String AUTOMATON_KEY
public static final String AUTOMATON_ADDED_KEY
public static final String AUTOMATON_NAME_IS_EMPTY_KEY
public static final String AUTOMATON_NAME_IS_NULL_KEY
public static final String AUTOMATON_NOT_FOUND_KEY
public static final String AUTOMATON_SAVED_KEY
public static final String BDD_SIZE_KEY
public static final String CHECK_INVARIANT_ANTICHAIN
public static final String CHECK_INVARIANT_BISIMULATION_UP_TO
public static final String CHECK_INVARIANT_SIMULATION_ANTICHAIN
public static final String COMPUTATION_INTERRUPTED_KEY
public static final String COMPUTING_COSPAN_DECOMPOSITION_KEY
public static final String COMPUTING_GRAPH_DECOMPOSITION_KEY
public static final String COMPUTING_LANGUAGE_INCLUSION_KEY
public static final String COSPAN_KEY
public static final String COSPAN_ADDED_KEY
public static final String COSPAN_NOT_FOUND_KEY
public static final String COSPAN_SAVED_KEY
public static final String COUNTER_EXAMPLE_FOUND_KEY
public static final String COSPAN_OR_DECOMPOSITION_NOT_FOUND_KEY
public static final String DATA_CAN_NOT_BE_SAVED_KEY
public static final String DATA_NOT_FOUND_KEY
public static final String DATA_REMOVED_KEY
public static final String DATA_RENAMED_SUCCESSFULLY_KEY
public static final String DEACTIVATED_KEY
public static final String DECOMPOSITION_KEY
public static final String DECOMPOSITION_ADDED_KEY
public static final String DECOMPOSITION_NOT_FOUND_KEY
public static final String DECOMPOSITION_PRINTED_KEY
public static final String DECOMPOSITION_SAVED_KEY
public static final String DENSITY_MUST_NOT_BE_LESS_THAN_ZERO_KEY
public static final String DENSITY_MUST_NOT_BE_GREATER_THAN_HUNDRED_KEY
public static final String DIFFERENT_INNER_INTERFACES_KEY
public static final String DIFFERENT_MAXIMUM_INTERFACES_KEY
public static final String DIFFERENT_SIGNATURES_KEY
public static final String EDGE_KEY
public static final String ELAPSED_TIME_KEY
public static final String EMPTINESS_DOES_HOLD_KEY
public static final String EMPTINESS_DOES_NOT_HOLD_KEY
public static final String ENCODING_KEY
public static final String FILE_ALREADY_EXISTING_KEY
public static final String FORMULA_ADDED_KEY
public static final String GOODBYE_KEY
public static final String GRAPH_ADDED_KEY
public static final String GRAPH_DECOMPOSITION_KEY
public static final String GRAPH_NOT_FOUND_KEY
public static final String GRAPH_PRINTED_KEY
public static final String GRAPH_SAVED_KEY
public static final String INNER_INTERFACE_KEY
public static final String INFORMATION_KEY
public static final String INTERFACE_SIZES_KEY
public static final String IS_AN_INVARIANT_KEY
public static final String IS_NOT_AN_INVARIANT_KEY
public static final String LABEL_MUST_NOT_BE_EMPTY_KEY
public static final String LANGUAGE_INCLUSION_DOES_HOLD
public static final String LANGUAGE_INCLUSION_DOES_NOT_HOLD
public static final String LEFT_HAND_SIDE_KEY
public static final String LENGTH_KEY
public static final String MAXIMUM_INTERFACE_KEY
public static final String MIDDLE_GRAPH_KEY
public static final String NAME_KEY
public static final String NAME_MUST_NOT_BE_EMPTY_KEY
public static final String NO_DOCUMENTATION_KEY
public static final String NO_UPDATE_AVAILABLE_KEY
public static final String NODE_KEY
public static final String NODE_ALREADY_EXISTING_KEY
public static final String NODE_ALREADY_IN_OUTER_INTERFACE_KEY
public static final String NODE_NOT_EXISTING_KEY
public static final String OPERATION_KEY
public static final String OUTER_INTERFACE_KEY
public static final String OVERWRITE_FILE_KEY
public static final String PATH_DECOMPOSITION_KEY
public static final String PATH_DECOMPOSITION_ADDED_KEY
public static final String RIGHT_HAND_SIDE_KEY
public static final String RUNNING_SCRIPTS_IN_SCRIPT_MODE_KEY
public static final String SIGNATURE_KEY
public static final String SIGNATURE_ADDED_KEY
public static final String SIGNATURE_NOT_FOUND_KEY
public static final String SIGNATURE_SAVED_KEY
public static final String SLOPPY_MODE_SET_KEY
public static final String STATES_KEY
public static final String STATES_PRINTED_KEY
public static final String TABLE_HEADER_NAME_KEY
public static final String TABLE_HEADER_TYPE_KEY
public static final String TIME_MODE_SET_KEY
public static final String TOTAL_KEY
public static final String TRANSITION_GRAPH_PRINTED_KEY
public static final String TREE_DECOMPOSITION_KEY
public static final String TREE_DECOMPOSITION_ADDED_KEY
public static final String TYPE_KEY
public static final String UNIVERSALITY_DOES_HOLD
public static final String UNIVERSALITY_DOES_NOT_HOLD
public static final String UNKNOWN_NODE_KEY
public static final String UPDATE_AVAILABLE
public static final String UPDATE_BUILD_PARSER_FAILED_KEY
public static final String UPDATE_DOWNLOAD_WAS_CORRUPTED_KEY
public static final String UPDATE_FAILED_KEY
public static final String UPDATE_FILES_NOT_FOUND_KEY
public static final String UPDATE_IOERROR_OCCURRED_KEY
public static final String UPDATE_LOCATION_INVALID_KEY
public static final String UPDATE_SCHEMA_FILE_CORRUPTED_KEY
public static final String UPDATE_SCHEMA_FILE_NOT_FOUND_KEY
public static final String UPDATE_SUCCESSFUL
public static final String VERBOSE_MODE_SET_KEY
public static final String WIDTH_GREATER_THAN_MAXIMUM_INTERFACE_KEY
public static final String YES_OR_NO_OPTION
public static ConsoleMessages getMessages()