public interface ResourceKeys
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
CMD_ABOUT |
static java.lang.String |
CMD_ADD_MULTIPLICITY |
static java.lang.String |
CMD_ADD_RULE |
static java.lang.String |
CMD_APPLY |
static java.lang.String |
CMD_CANCEL |
static java.lang.String |
CMD_CHECK_INCLUSION |
static java.lang.String |
CMD_CLOSE |
static java.lang.String |
CMD_COMPUTE |
static java.lang.String |
CMD_EXIT |
static java.lang.String |
CMD_GTS |
static java.lang.String |
CMD_GTS_RULE |
static java.lang.String |
CMD_INVARIANT_CHECK |
static java.lang.String |
CMD_LOAD |
static java.lang.String |
CMD_MATERIALIZATION |
static java.lang.String |
CMD_MAXIMIZE |
static java.lang.String |
CMD_NEW |
static java.lang.String |
CMD_NO |
static java.lang.String |
CMD_OKAY |
static java.lang.String |
CMD_POSTCONDITION |
static java.lang.String |
CMD_PRINT_LANGUAGE |
static java.lang.String |
CMD_REMOVE_MULTIPLICITY |
static java.lang.String |
CMD_REMOVE_RULE |
static java.lang.String |
CMD_RULE |
static java.lang.String |
CMD_SAVE |
static java.lang.String |
CMD_SWITCH_MULTIPLICITY |
static java.lang.String |
CMD_SWITCH_RULE |
static java.lang.String |
CMD_TOGGLE_SIMPLIFY |
static java.lang.String |
CMD_TYPE_GRAPH |
static java.lang.String |
CMD_USE_THESE_PROPERTIES |
static java.lang.String |
CMD_WEBSITE |
static java.lang.String |
CMD_YES |
static java.lang.String |
LAB_ANNOTATED_TYPE_GRAPH |
static java.lang.String |
LAB_CURRENT_RULE |
static java.lang.String |
LAB_INTERFACE_GRAPH |
static java.lang.String |
LAB_LEFT_GRAPH |
static java.lang.String |
LAB_MATERIALIZATION_GRAPH |
static java.lang.String |
LAB_POSTCONDITION_GRAPH |
static java.lang.String |
LAB_POSTCONDITION_MORPHISM |
static java.lang.String |
LAB_RIGHT_GRAPH |
static java.lang.String |
LAB_SELECT_ANNOTATION |
static java.lang.String |
LAB_SELECT_MATCH |
static java.lang.String |
LAB_SELECT_MORPHISM |
static java.lang.String |
LAB_SELECT_RULE |
static java.lang.String |
LAB_SYSTEMS |
static java.lang.String |
LABEL_VERSION |
static java.lang.String |
MENU_ALGORITHM |
static java.lang.String |
MENU_HELP |
static java.lang.String |
MENU_SYSTEM |
static java.lang.String |
MISC_LICENCE |
static java.lang.String |
MISC_LICENCE_TITLE |
static java.lang.String |
TIT_ABOUT |
static java.lang.String |
TIT_CHOOSE_BASE_MORPHISM |
static java.lang.String |
TIT_CREATE_RULE |
static java.lang.String |
TIT_CREATE_TYPE_GRAPH |
static java.lang.String |
TIT_ERROR |
static java.lang.String |
TIT_INVARIANT_RESULT |
static java.lang.String |
TIT_IOERROR |
static java.lang.String |
TIT_MAXIMIZE |
static java.lang.String |
TIT_PARSE_ERROR |
static java.lang.String |
TIT_SWITCH_ANNOTATION |
static java.lang.String |
TIT_SWITCH_RULE |
static java.lang.String |
TYPE_GXL_FILE |
static java.lang.String |
TYPE_SGF_FILE |
static final java.lang.String MENU_SYSTEM
static final java.lang.String MENU_ALGORITHM
static final java.lang.String MENU_HELP
static final java.lang.String CMD_ABOUT
static final java.lang.String CMD_ADD_MULTIPLICITY
static final java.lang.String CMD_ADD_RULE
static final java.lang.String CMD_APPLY
static final java.lang.String CMD_CANCEL
static final java.lang.String CMD_CHECK_INCLUSION
static final java.lang.String CMD_CLOSE
static final java.lang.String CMD_COMPUTE
static final java.lang.String CMD_EXIT
static final java.lang.String CMD_GTS
static final java.lang.String CMD_GTS_RULE
static final java.lang.String CMD_INVARIANT_CHECK
static final java.lang.String CMD_LOAD
static final java.lang.String CMD_MATERIALIZATION
static final java.lang.String CMD_MAXIMIZE
static final java.lang.String CMD_NEW
static final java.lang.String CMD_NO
static final java.lang.String CMD_OKAY
static final java.lang.String CMD_POSTCONDITION
static final java.lang.String CMD_PRINT_LANGUAGE
static final java.lang.String CMD_REMOVE_MULTIPLICITY
static final java.lang.String CMD_REMOVE_RULE
static final java.lang.String CMD_RULE
static final java.lang.String CMD_SAVE
static final java.lang.String CMD_SWITCH_MULTIPLICITY
static final java.lang.String CMD_SWITCH_RULE
static final java.lang.String CMD_TOGGLE_SIMPLIFY
static final java.lang.String CMD_TYPE_GRAPH
static final java.lang.String CMD_USE_THESE_PROPERTIES
static final java.lang.String CMD_WEBSITE
static final java.lang.String CMD_YES
static final java.lang.String LAB_ANNOTATED_TYPE_GRAPH
static final java.lang.String LAB_CURRENT_RULE
static final java.lang.String LAB_INTERFACE_GRAPH
static final java.lang.String LAB_LEFT_GRAPH
static final java.lang.String LAB_MATERIALIZATION_GRAPH
static final java.lang.String LAB_POSTCONDITION_GRAPH
static final java.lang.String LAB_POSTCONDITION_MORPHISM
static final java.lang.String LAB_RIGHT_GRAPH
static final java.lang.String LAB_SELECT_ANNOTATION
static final java.lang.String LAB_SELECT_MATCH
static final java.lang.String LAB_SELECT_MORPHISM
static final java.lang.String LAB_SELECT_RULE
static final java.lang.String LAB_SYSTEMS
static final java.lang.String TIT_ERROR
static final java.lang.String TIT_IOERROR
static final java.lang.String TIT_PARSE_ERROR
static final java.lang.String TYPE_GXL_FILE
static final java.lang.String TYPE_SGF_FILE
static final java.lang.String TIT_ABOUT
static final java.lang.String MISC_LICENCE
static final java.lang.String MISC_LICENCE_TITLE
static final java.lang.String LABEL_VERSION
static final java.lang.String TIT_CREATE_RULE
static final java.lang.String TIT_CREATE_TYPE_GRAPH
static final java.lang.String TIT_CHOOSE_BASE_MORPHISM
static final java.lang.String TIT_INVARIANT_RESULT
static final java.lang.String TIT_MAXIMIZE
static final java.lang.String TIT_SWITCH_ANNOTATION
static final java.lang.String TIT_SWITCH_RULE