public final class GuiMessages extends Messages
Modifier and Type | Method and Description |
---|---|
static GuiMessages |
getMessages()
Returns the GUI message bundle.
|
public static final String EMPTY_LABEL
public static final String LABEL_PREFIX
public static final String DATA_TYPE_PREFIX_KEY
public static final String FILE_MENU_KEY
public static final String INFO_MENU_KEY
public static final String LOAD_KEY
public static final String LOAD_AUTOMATON_KEY
public static final String LOAD_COSPAN_KEY
public static final String LOAD_DECOMPOSITION_KEY
public static final String LOAD_GRAPH_KEY
public static final String LOAD_SIGNATURE_KEY
public static final String REPOSITORY_MENU_KEY
public static final String RUN_MENU_KEY
public static final String SAVE_KEY
public static final String SAVE_AUTOMATON_KEY
public static final String SAVE_COSPAN_KEY
public static final String SAVE_GRAPH_KEY
public static final String SAVE_SIGNATURE_KEY
public static final String SAVE_DECOMPOSITION_KEY
public static final String UPDATE_MENU_KEY
public static final String VAR_PROP_MENU_KEY
public static final String VERSION_MENU_KEY
public static final String ACCEPT_LABEL_KEY
public static final String APPLY_SIGNATURE_LABEL_KEY
public static final String ADD_EDGE_LABEL_KEY
public static final String ADD_NODE_LABEL_KEY
public static final String ADD_OPERATION_KEY
public static final String ADD_TO_REPOSITORY_LABEL_KEY
public static final String ALGORITHM_LABEL_KEY
public static final String ARITY_LABEL_KEY
public static final String AUTOMATON_FILE_EXTENSION_KEY
public static final String AUTOMATON_LABEL_KEY
public static final String AUTOMATON_NAME_LABEL_KEY
public static final String AUTOMATON_PROPERTIES_LABEL_KEY
public static final String AUTOMATON_TYPE_LABEL_KEY
public static final String BACKWARD_LABEL_KEY
public static final String BIT_LABEL_KEY
public static final String CANCEL_LABEL_KEY
public static final String CLOSE_LABEL_KEY
public static final String COLOR_BIT_LABEL_KEY
public static final String COMMAND_LINE_LABEL_KEY
public static final String COMPUTE_COUNTER_EXAMPLE_LABEL_KEY
public static final String COMPUTING_LABEL_KEY
public static final String CONNECTION_BIT_LABEL_KEY
public static final String COSPAN_GXL_FILE_EXTENSION_KEY
public static final String COSPAN_NAME_LABEL_KEY
public static final String COSPAN_LABEL_KEY
public static final String COSPAN_DECOMPOSITION_LABEL_KEY
public static final String COSPAN_PREVIEW
public static final String COUNTER_BIT_LABEL_KEY
public static final String COUNTER_BITS_LABEL_KEY
public static final String COUNTEREXAMPLE_LABEL_KEY
public static final String COVER_BIT_LABEL_KEY
public static final String COVER_SIZE_BITS_LABEL_KEY
public static final String CREATE_AUTOMATON_LABEL_KEY
public static final String CREATE_COSPAN_LABEL_KEY
public static final String CREATE_DECOMPOSITION_LABEL_KEY
public static final String CREATE_GRAPH_LABEL_KEY
public static final String CREATE_RANDOM_GRAPH_LABEL_KEY
public static final String CREATE_SIGNATURE_LABEL_KEY
public static final String CURRENT_INTERFACE_LABEL_KEY
public static final String DATA_INFORMATION_PANEL_KEY
public static final String DECOMPOSITION_FILE_EXTENSION_KEY
public static final String DECOMPOSITION_LABEL_KEY
public static final String DECOMPOSITION_LENGTH_LABEL_KEY
public static final String DECOMPOSITION_NAME_LABEL_KEY
public static final String DECOMPOSITION_PREVIEW
public static final String DEFAULT_LABEL_KEY
public static final String DELETE_LABEL_KEY
public static final String DIVISOR_LABEL_KEY
public static final String DOMINATED_BIT_LABEL_KEY
public static final String DOMINATING_SET_SIZE_LABEL_KEY
public static final String EDGE_LABEL_KEY
public static final String EDGE_BIT_LABEL_KEY
public static final String EDGE_NUMBER_LABEL_KEY
public static final String EDGE_ORDER_LABEL_KEY
public static final String EDGE_SELECTION_LABEL_KEY
public static final String EDGES_LABEL_KEY
public static final String EMPTY_INTERFACE_LABEL_KEY
public static final String ENCODING_LABEL_KEY
public static final String ENCODING_BITS_LABEL_KEY
public static final String FIRST_AUTOMATON_LABEL_KEY
public static final String FORMAT_COUNTER_EXAMPLE_LABEL_KEY
public static final String FORWARD_LABEL_KEY
public static final String GRAPH_GXL_FILE_EXTENSION_KEY
public static final String GRAPH_COSPAN_LABEL_KEY
public static final String GRAPH_LABEL_KEY
public static final String GRAPH_NAME_LABEL_KEY
public static final String GRAPH_PREVIEW
public static final String HELP_LABEL_KEY
public static final String INCIDENT_NODES_LABEL_KEY
public static final String INITIAL_BIT_LABEL_KEY
public static final String INITIAL_BITS_LABEL_KEY
public static final String INNER_INTERFACE_LABEL_KEY
public static final String INNER_INTERFACE_SIZE_LABEL_KEY
public static final String INPUT_GRAPH_LABEL_KEY
public static final String INPUT_DECOMPOSITION_LABEL_KEY
public static final String INPUT_GRAPH_DECOMPOSITION_LABEL_KEY
public static final String INTERFACE_BITS_LABEL_KEY
public static final String ISOLATION_BIT_LABEL_KEY
public static final String ISOLATION_BITS_LABEL_KEY
public static final String ISOLATION_FLAG_LABEL_KEY
public static final String KEY_LABEL_KEY
public static final String LABEL_LABEL_KEY
public static final String LEFT_HAND_DECOMPOSITION_LABEL_KEY
public static final String LEGEND_LABEL_KEY
public static final String LEGEND_IN_BOTH_INTERFACES_LABEL_KEY
public static final String LEGEND_NOT_IN_INTERFACE_LABEL_KEY
public static final String LEGEND_ONLY_IN_INNER_INTERFACE_LABEL_KEY
public static final String LEGEND_ONLY_IN_OUTER_INTERFACE_LABEL_KEY
public static final String LOAD_LABEL_KEY
public static final String MAPPING_BIT_LABEL_KEY
public static final String MAXIMUM_DOMINATING_SET_SIZE_LABEL_KEY
public static final String MAXIMUM_INTERFACE_LABEL_KEY
public static final String MAXIMUM_VERTEX_COVER_SIZE_LABEL_KEY
public static final String MAXIMUM_EDGE_LABEL_KEY
public static final String MAXIMUM_VERTEX_LABEL_KEY
public static final String MEMBER_BIT_LABEL_KEY
public static final String MEMBER_BITS_LABEL_KEY
public static final String MINIMUM_EDGE_LABEL_KEY
public static final String MINIMUM_VERTEX_LABEL_KEY
public static final String NAME_LABEL_KEY
public static final String NO_LABEL_KEY
public static final String NO_INFORMATION_AVAILABLE_LABEL_KEY
public static final String NODE_LABEL_KEY
public static final String NODE_NUMBER_LABEL_KEY
public static final String NODE_ORDER_LABEL_KEY
public static final String NODES_LABEL_KEY
public static final String NONE_LABEL_KEY
public static final String NUMBER_OF_BDD_NODES_LABEL_KEY
public static final String NUMBER_OF_COLORS_LABEL_KEY
public static final String NUMBER_OF_EDGES_LABEL_KEY
public static final String NUMBER_OF_FINAL_STATES_LABEL_KEY
public static final String NUMBER_OF_INITIAL_STATES_LABEL_KEY
public static final String NUMBER_OF_NODES_LABEL_KEY
public static final String NUMBER_OF_STATES_LABEL_KEY
public static final String OPERATIONS_LABEL_KEY
public static final String OUTER_INTERFACE_LABEL_KEY
public static final String OUTER_INTERFACE_SIZE_LABEL_KEY
public static final String OUTPUT_LABEL_KEY
public static final String OUTPUT_TYPE_LABEL_KEY
public static final String PATH_BIT_LABEL_KEY
public static final String PROBLEM_LABEL_KEY
public static final String QUIT_LABEL_KEY
public static final String RAVEN_SCRIPT_FILE_EXTENSION_KEY
public static final String RAVEN_SCRIPT_FILES_LABEL_KEY
public static final String REPOSITORY_PANEL_LABEL
public static final String READY_FOR_COMPUTATION_LABEL_KEY
public static final String REMAINDER_BIT_LABEL_KEY
public static final String REMAINDER_BITS_LABEL_KEY
public static final String REMAINDER_EDGES_LABEL_KEY
public static final String REMAINDER_VERTICES_LABEL_KEY
public static final String REMOVE_EDGE_LABEL_KEY
public static final String REMOVE_FROM_REPOSITORY_LABEL_KEY
public static final String REMOVE_NODE_LABEL_KEY
public static final String RIGHT_HAND_DECOMPOSITION_LABEL_KEY
public static final String SAVE_LABEL_KEY
public static final String SEARCHTYPE_LABEL_KEY
public static final String SECOND_AUTOMATON_LABEL_KEY
public static final String SHIFT_DOWN_LABEL_KEY
public static final String SHIFT_LEFT_LABEL_KEY
public static final String SHIFT_RIGHT_LABEL_KEY
public static final String SHIFT_UP_LABEL_KEY
public static final String SHOW_BDD_LABEL_KEY
public static final String SHOW_ENCODING_LABEL_KEY
public static final String SHOW_RUN_LABEL_KEY
public static final String SHOW_SUBGRAPH_LABEL_KEY
public static final String SIGNATURE_NAME_LABEL_KEY
public static final String SIGNATURE_FILE_EXTENSION_KEY
public static final String SIGNATURE_LABEL_KEY
public static final String SIZE_BIT_LABEL_KEY
public static final String SOURCE_NODES_LABEL_KEY
public static final String SOURCE_PATH_BIT_LABEL_KEY
public static final String SOURCE_PATH_BITS_LABEL_KEY
public static final String SUBGRAPH_LABEL_KEY
public static final String SUCCESSOR_INTERFACE_LABEL_KEY
public static final String SVG_FILE_EXTENSION_LABEL_KEY
public static final String TARGET_NODES_LABEL_KEY
public static final String TECHNIQUE_PANEL_LABEL
public static final String TYPE_LABEL_KEY
public static final String UPDATE_INFORMATION_LABEL_KEY
public static final String UNION_LABEL_KEY
public static final String VALUE_LABEL_KEY
public static final String VERTEX_LABEL_KEY
public static final String VERTEX_BIT_LABEL_KEY
public static final String YES_LABEL_KEY
public static final String SAVE_AUTOMATON_ACTION_KEY
public static final String SAVE_COSPAN_ACTION_KEY
public static final String SAVE_GRAPH_ACTION_KEY
public static final String SAVE_SIGNATURE_ACTION_KEY
public static final String SAVE_DECOMPOSITION_ACTION_KEY
public static final String AUTOMATON_CREATION_DIALOG_TITLE_KEY
public static final String AUTOMATON_CREATION_AUTOMATON_PROPERTIES_TEXT_KEY
public static final String AUTOMATON_CREATION_ADVANCED_PROPERTIES_TEXT_KEY
public static final String AUTOMATON_CREATION_PROPERTIES_TEXT_KEY
public static final String AUTOMATON_LOAD_DIALOG_TITLE_KEY
public static final String AUTOMATON_RUN_DIALOG_TITLE_KEY
public static final String AUTOMATON_SAVE_DIALOG_TITLE_KEY
public static final String AUTOMATON_SAVED_TEXT_KEY
public static final String AUTOMATON_SAVED_TITLE_KEY
public static final String BDD_DIALOG_TITLE_KEY
public static final String COSPAN_CREATION_DIALOG_TITLE_KEY
public static final String COSPAN_SAVE_DIALOG_TITLE_KEY
public static final String COSPAN_SAVED_TEXT_KEY
public static final String COSPAN_SAVED_TITLE_KEY
public static final String CREATE_RANDOM_GRAPH_DIALOG_TEXT_KEY
public static final String CREATE_RANDOM_GRAPH_DIALOG_TITLE_KEY
public static final String DECOMPOSTION_ADDED_DIALOG_TEXT_KEY
public static final String DECOMPOSTION_ADDED_DIALOG_TITLE_KEY
public static final String DECOMPOSITION_CREATION_DIALOG_TITLE_KEY
public static final String DECOMPOSITION_LOAD_DIALOG_TITLE_KEY
public static final String DECOMPOSITION_SAVE_DIALOG_TITLE_KEY
public static final String DECOMPOSITION_SAVED_TEXT_KEY
public static final String DECOMPOSITION_SAVED_TITLE_KEY
public static final String DELETE_FORBIDDEN_TEXT_KEY
public static final String DELETE_FORBIDDEN_TITLE_KEY
public static final String EMPTINESS_DOES_HOLD_DIALOG_TEXT_KEY
public static final String EMPTINESS_DOES_HOLD_DIALOG_TITLE_KEY
public static final String EMPTINESS_DOES_NOT_HOLD_DIALOG_TEXT_KEY
public static final String EMPTINESS_DOES_NOT_HOLD_DIALOG_TITLE_KEY
public static final String FILE_ALREADY_EXISTING_TEXT_KEY
public static final String FILE_ALREADY_EXISTING_TITLE_KEY
public static final String GRAPH_CREATION_DIALOG_TITLE_KEY
public static final String GRAPH_SAVE_DIALOG_TITLE_KEY
public static final String GRAPH_SAVED_TEXT_KEY
public static final String GRAPH_SAVED_TITLE_KEY
public static final String INNER_INTERFACE_SIZE_SELECTION_TITLE_KEY
public static final String IS_INVARIANT_DIALOG_TEXT_KEY
public static final String IS_INVARIANT_DIALOG_TITLE_KEY
public static final String IS_NOT_INVARIANT_DIALOG_TEXT_KEY
public static final String IS_NOT_INVARIANT_DIALOG_TITLE_KEY
public static final String LOAD_COSPAN_DIALOG_TITLE_KEY
public static final String LOAD_DECOMPOSITION_DIALOG_TITLE_KEY
public static final String LOAD_GRAPH_DIALOG_TITLE_KEY
public static final String LANGUAGE_INCLUSION_DOES_HOLD_DIALOG_TEXT_KEY
public static final String LANGUAGE_INCLUSION_DOES_HOLD_DIALOG_TITLE_KEY
public static final String LANGUAGE_INCLUSION_DOES_NOT_HOLD_DIALOG_TEXT_KEY
public static final String LANGUAGE_INCLUSION_DOES_NOT_HOLD_DIALOG_TITLE_KEY
public static final String MEMBERSHIP_DOES_HOLD_DIALOG_TEXT_KEY
public static final String MEMBERSHIP_DOES_HOLD_DIALOG_TITLE_KEY
public static final String MEMBERSHIP_DOES_NOT_HOLD_DIALOG_TEXT_KEY
public static final String MEMBERSHIP_DOES_NOT_HOLD_DIALOG_TITLE_KEY
public static final String NEW_EDGE_DIALOG_TITLE_KEY
public static final String NEW_LABEL_DIALOG_TITLE_KEY
public static final String NEW_EDGE_DIALOG_NO_SELECTION_TEXT_KEY
public static final String NEW_EDGE_DIALOG_NO_SELECTION_TITLE_KEY
public static final String NO_HELP_AVAILABLE_TEXT_KEY
public static final String NO_HELP_AVAILABLE_TITLE_KEY
public static final String NO_KEY_SELECTED_TEXT_KEY
public static final String NO_KEY_SELECTED_TITLE_KEY
public static final String NO_OPERATION_SELECTED_TEXT_KEY
public static final String NO_OPERATION_SELECTED_TITLE_KEY
public static final String NO_UPDATE_AVAILABLE_TEXT_KEY
public static final String NO_UPDATE_AVAILABLE_TITLE_KEY
public static final String PROPERTIES_DIALOG_TITLE_KEY
public static final String SIGNATURE_CREATION_DIALOG_TITLE_KEY
public static final String SIGNATURE_SAVE_DIALOG_TITLE_KEY
public static final String SIGNATURE_SAVED_TEXT_KEY
public static final String SIGNATURE_SAVED_TITLE_KEY
public static final String SIGNATURE_SELECTION_TITLE_KEY
public static final String SIGNATURE_LOAD_DIALOG_TITLE_KEY
public static final String SIMULATION_CREATED_TEXT_KEY
public static final String SIMULATION_NOT_CREATED_TEXT_KEY
public static final String UNIVERSALITY_DOES_HOLD_DIALOG_TEXT_KEY
public static final String UNIVERSALITY_DOES_HOLD_DIALOG_TITLE_KEY
public static final String UNIVERSALITY_DOES_NOT_HOLD_DIALOG_TEXT_KEY
public static final String UNIVERSALITY_DOES_NOT_HOLD_DIALOG_TITLE_KEY
public static final String UPDATE_AVAILABLE_TEXT_KEY
public static final String UPDATE_AVAILABLE_TITLE_KEY
public static final String UPDATE_PROPERTY_DIALOG_TITLE_KEY
public static final String ALPHABETS_MUST_BE_EQUAL_TEXT_EXCEPTION_KEY
public static final String ALPHABETS_MUST_BE_EQUAL_TITLE_EXCEPTION_KEY
public static final String ALREADY_IN_REPOSITORY_TEXT_EXCEPTION_KEY
public static final String AUTOMATA_MUST_NOT_BE_EQUAL_TEXT_EXCEPTION_KEY
public static final String AUTOMATA_MUST_NOT_BE_EQUAL_TITLE_EXCEPTION_KEY
public static final String DATA_NOT_FOUND_TEXT_EXCEPTION_KEY
public static final String DATA_NOT_FOUND_TITLE_EXCEPTION_KEY
public static final String DOT_ERROR_OCCURRED_TEXT_EXCEPTION_KEY
public static final String DOT_ERROR_OCCURRED_TITLE_EXCEPTION_KEY
public static final String DOT_PATH_NOT_FOUND_TEXT_EXCEPTION_KEY
public static final String DOT_PATH_NOT_FOUND_TITLE_EXCEPTION_KEY
public static final String EMPTY_FILENAME_TEXT_EXCEPTION_KEY
public static final String EMPTY_FILENAME_TITLE_EXCEPTION_KEY
public static final String EMPTY_INPUTFIELD_TEXT_EXCEPTION_KEY
public static final String EMPTY_INPUTFIELD_TITLE_EXCEPTION_KEY
public static final String EMPTY_LIST_TITLE_EXCEPTION_KEY
public static final String EMPTY_LIST_TEXT_EXCEPTION_KEY
public static final String EMPTY_NAME_TEXT_EXCEPTION_KEY
public static final String EMPTY_NAME_TITLE_EXCEPTION_KEY
public static final String EXISTING_EDGE_NAME_TEXT_EXCEPTION_KEY
public static final String EXISTING_EDGE_NAME_TITLE_EXCEPTION_KEY
public static final String FILE_CAN_NOT_BE_OPENED_TEXT_EXCEPTION_KEY
public static final String FILE_CAN_NOT_BE_OPENED_TITLE_EXCEPTION_KEY
public static final String FILE_NOT_FOUND_TEXT_EXCEPTION_KEY
public static final String FILE_NOT_FOUND_TITLE_EXCEPTION_KEY
public static final String INNER_INTERFACE_SIZES_MUST_BE_EQUAL_TEXT_EXCEPTION_KEY
public static final String INNER_INTERFACE_SIZES_MUST_BE_EQUAL_TITLE_EXCEPTION_KEY
public static final String INPUT_MISSING_TEXT_EXCEPTION_KEY
public static final String INPUT_MISSING_TITLE_EXCEPTION_KEY
public static final String IO_EXCEPTION_TEXT_EXCEPTION_KEY
public static final String IO_EXCEPTION_TITLE_EXCEPTION_KEY
public static final String MAXIMUM_INTERFACE_SIZES_MUST_BE_EQUAL_TEXT_EXCEPTION_KEY
public static final String MAXIMUM_INTERFACE_SIZES_MUST_BE_EQUAL_TITLE_EXCEPTION_KEY
public static final String INVALID_INPUT_TEXT_EXCEPTION_KEY
public static final String INVALID_INPUT_TITLE_EXCEPTION_KEY
public static final String INVALID_LABEL_TEXT_EXCEPTION_KEY
public static final String INVALID_LABEL_TITLE_EXCEPTION_KEY
public static final String INVALID_LABEL_ARITY_TEXT_EXCEPTION_KEY
public static final String INVALID_LABEL_ARITY_TITLE_EXCEPTION_KEY
public static final String INVALID_NAME_TEXT_EXCEPTION_KEY
public static final String INVALID_NAME_TITLE_EXCEPTION_KEY
public static final String INVALID_NUMBER_TEXT_EXCEPTION_KEY
public static final String INVALID_NUMBER_TITLE_EXCEPTION_KEY
public static final String NAME_ALREADY_IN_USE_TEXT_EXCEPTION_KEY
public static final String NAME_ALREADY_IN_USE_TITLE_EXCEPTION_KEY
public static final String NAME_INVALID_EXCEPTION_KEY
public static final String NO_AUTOMATON_FILE_SELECTED_TEXT_EXCEPTION_KEY
public static final String NO_AUTOMATON_FILE_SELECTED_TITLE_EXCEPTION_KEY
public static final String NO_AUTOMATON_SELECTED_TEXT_EXCEPTION_KEY
public static final String NO_AUTOMATON_SELECTED_TITLE_EXCEPTION_KEY
public static final String NO_COSPAN_FILE_SELECTED_TEXT_EXCEPTION_KEY
public static final String NO_COSPAN_FILE_SELECTED_TITLE_EXCEPTION_KEY
public static final String NO_COSPAN_SELECTED_TEXT_EXCEPTION_KEY
public static final String NO_COSPAN_SELECTED_TITLE_EXCEPTION_KEY
public static final String NO_DECOMPOSITION_FILE_SELECTED_TEXT_EXCEPTION_KEY
public static final String NO_DECOMPOSITION_FILE_SELECTED_TITLE_EXCEPTION_KEY
public static final String NO_DECOMPOSITION_SELECTED_TEXT_EXCEPTION_KEY
public static final String NO_DECOMPOSITION_SELECTED_TITLE_EXCEPTION_KEY
public static final String NO_EDGE_SELECTED_TEXT_EXCEPTION_KEY
public static final String NO_EDGE_SELECTED_TITLE_EXCEPTION_KEY
public static final String NO_GRAPH_FILE_SELECTED_TEXT_EXCEPTION_KEY
public static final String NO_GRAPH_FILE_SELECTED_TITLE_EXCEPTION_KEY
public static final String NO_GRAPH_SELECTED_TEXT_EXCEPTION_KEY
public static final String NO_GRAPH_SELECTED_TITLE_EXCEPTION_KEY
public static final String NO_LOOP_GRAPH_TEXT_EXCEPTION_KEY
public static final String NO_LOOP_GRAPH_TITLE_EXCEPTION_KEY
public static final String NO_GXL_CHOSEN_TEXT_EXCEPTION_KEY
public static final String NO_NODE_SELECTED_TEXT_EXCEPTION_KEY
public static final String NO_NODE_SELECTED_TITLE_EXCEPTION_KEY
public static final String NO_OPERATION_SELECTED_TEXT_EXCEPTION_KEY
public static final String NO_OPERATION_SELECTED_TITLE_EXCEPTION_KEY
public static final String NO_SIGNATURE_AVAILABLE_TEXT_EXCEPTION_KEY
public static final String NO_SIGNATURE_AVAILABLE_TITLE_EXCEPTION_KEY
public static final String NO_SIGNATURE_SELECTED_TEXT_EXCEPTION_KEY
public static final String NO_SIGNATURE_SELECTED_TITLE_EXCEPTION_KEY
public static final String NO_SIGNATURE_USED_TEXT_EXCEPTION_KEY
public static final String NO_SIGNATURE_USED_TITLE_EXCEPTION_KEY
public static final String NO_SIGNATURE_FILE_SELECTED_TEXT_EXCEPTION_KEY
public static final String NO_SIGNATURE_FILE_SELECTED_TITLE_EXCEPTION_KEY
public static final String OPERATION_NOT_APPLICABLE_TEXT_EXCEPTION_KEY
public static final String OPERATION_NOT_APPLICABLE_TITLE_EXCEPTION_KEY
public static final String OUTER_INTERFACE_SIZES_MUST_BE_EQUAL_TEXT_EXCEPTION_KEY
public static final String OUTER_INTERFACE_SIZES_MUST_BE_EQUAL_TITLE_EXCEPTION_KEY
public static final String RENAME_NOT_SUCCESSFULL_TEXT_EXCEPTION_KEY
public static final String RENAME_NOT_SUCCESSFULL_TITLE_EXCEPTION_KEY
public static final String UPDATE_ERROR_TEXT_EXCEPTION_KEY
public static final String UPDATE_ERROR_TITLE_EXCEPTION_KEY
public static final String VALUE_GREATER_THAN_TEXT_EXCEPTION_KEY
public static final String VALUE_GREATER_THAN_TITLE_EXCEPTION_KEY
public static final String VALUE_MUST_BE_NON_NEGATIVE_TEXT_EXCEPTION_KEY
public static final String VALUE_MUST_BE_NON_NEGATIVE_TITLE_EXCEPTION_KEY
public static final String VALUE_MUST_BE_POSITIVE_TEXT_EXCEPTION_KEY
public static final String VALUE_MUST_BE_POSITIVE_TITLE_EXCEPTION_KEY
public static final String AUTOMATON_ADDED_MESSAGE_KEY
public static final String COSPAN_ADDED_MESSAGE_KEY
public static final String DATA_REMOVED_MESSAGE_KEY
public static final String DECOMPOSITION_ADDED_MESSAGE_KEY
public static final String GRAPH_ADDED_MESSAGE_KEY
public static final String SIGNATURE_ADDED_MESSAGE_KEY
public static final String UNKNOWN_DATA_ADDED_MESSAGE_KEY
public static GuiMessages getMessages()