Constant Field Values

Contents

• de.uni_due.*

de.uni_due.*

de.uni_due.inf.ti.dragom.general.ResourceKeys

Modifier and Type	Constant Field	Value
public static final java.lang.String	CMD_ABOUT	"cmd.about"
public static final java.lang.String	CMD_ADD_MULTIPLICITY	"cmd.addmultiplicity"
public static final java.lang.String	CMD_ADD_RULE	"cmd.addrule"
public static final java.lang.String	CMD_APPLY	"cmd.apply"
public static final java.lang.String	CMD_CANCEL	"cmd.cancel"
public static final java.lang.String	CMD_CHECK_INCLUSION	"cmd.checkinclusion"
public static final java.lang.String	CMD_CLOSE	"cmd.close"
public static final java.lang.String	CMD_COMPUTE	"cmd.compute"
public static final java.lang.String	CMD_EXIT	"cmd.exit"
public static final java.lang.String	CMD_GTS	"cmd.creategts"
public static final java.lang.String	CMD_GTS_RULE	"cmd.creategtsrule"
public static final java.lang.String	CMD_INVARIANT_CHECK	"cmd.invariantcheck"
public static final java.lang.String	CMD_LOAD	"cmd.load"
public static final java.lang.String	CMD_MATERIALIZATION	"cmd.materialization"
public static final java.lang.String	CMD_MAXIMIZE	"cmd.maximize"
public static final java.lang.String	CMD_NEW	"cmd.new"
public static final java.lang.String	CMD_NO	"cmd.no"
public static final java.lang.String	CMD_OKAY	"cmd.okay"
public static final java.lang.String	CMD_POSTCONDITION	"cmd.postcondition"
public static final java.lang.String	CMD_PRINT_LANGUAGE	"cmd.printlanguage"
public static final java.lang.String	CMD_REMOVE_MULTIPLICITY	"cmd.removemultiplicity"
public static final java.lang.String	CMD_REMOVE_RULE	"cmd.removerule"
public static final java.lang.String	CMD_RULE	"cmd.createrule"
public static final java.lang.String	CMD_SAVE	"cmd.save"
public static final java.lang.String	CMD_SWITCH_MULTIPLICITY	"cmd.switchmultiplicity"
public static final java.lang.String	CMD_SWITCH_RULE	"cmd.switchrule"
public static final java.lang.String	CMD_TOGGLE_SIMPLIFY	"cmd.togglesimplify"
public static final java.lang.String	CMD_TYPE_GRAPH	"cmd.createtypegraph"
public static final java.lang.String	CMD_USE_THESE_PROPERTIES	"cmd.usetheseproperties"
public static final java.lang.String	CMD_WEBSITE	"cmd.website"
public static final java.lang.String	CMD_YES	"cmd.yes"
public static final java.lang.String	LAB_ANNOTATED_TYPE_GRAPH	"label.annotatedTypeGraph"
public static final java.lang.String	LAB_CURRENT_RULE	"label.currentRule"
public static final java.lang.String	LAB_INTERFACE_GRAPH	"label.interfaceGraph"
public static final java.lang.String	LAB_LEFT_GRAPH	"label.leftGraph"
public static final java.lang.String	LAB_MATERIALIZATION_GRAPH	"label.materializationGraph"
public static final java.lang.String	LAB_POSTCONDITION_GRAPH	"label.postconditionGraph"
public static final java.lang.String	LAB_POSTCONDITION_MORPHISM	"label.postconditionMorphism"
public static final java.lang.String	LAB_RIGHT_GRAPH	"label.rightGraph"
public static final java.lang.String	LAB_SELECT_ANNOTATION	"label.selectAnnotation"
public static final java.lang.String	LAB_SELECT_MATCH	"label.selectMatch"
public static final java.lang.String	LAB_SELECT_MORPHISM	"label.selectMorphism"
public static final java.lang.String	LAB_SELECT_RULE	"label.selectRule"
public static final java.lang.String	LAB_SYSTEMS	"label.systems"
public static final java.lang.String	LABEL_VERSION	"dlg.about.version"
public static final java.lang.String	MENU_ALGORITHM	"menu.algorithm"
public static final java.lang.String	MENU_HELP	"menu.help"
public static final java.lang.String	MENU_SYSTEM	"menu.system"
public static final java.lang.String	MISC_LICENCE	"dlg.about.cmd.license"
public static final java.lang.String	MISC_LICENCE_TITLE	"dlg.about.license"
public static final java.lang.String	TIT_ABOUT	"dlg.about.title"
public static final java.lang.String	TIT_CHOOSE_BASE_MORPHISM	"dlg.choosebasemorphism.title"
public static final java.lang.String	TIT_CREATE_RULE	"dlg.createrule.title"
public static final java.lang.String	TIT_CREATE_TYPE_GRAPH	"dlg.createtypegraph.title"
public static final java.lang.String	TIT_ERROR	"error.title"
public static final java.lang.String	TIT_INVARIANT_RESULT	"dlg.invariantresult.title"
public static final java.lang.String	TIT_IOERROR	"error.title.io"
public static final java.lang.String	TIT_MAXIMIZE	"dlg.maximize.title"
public static final java.lang.String	TIT_PARSE_ERROR	"error.title.parse"
public static final java.lang.String	TIT_SWITCH_ANNOTATION	"dlg.switchannotation.title"
public static final java.lang.String	TIT_SWITCH_RULE	"dlg.switchrule.title"
public static final java.lang.String	TYPE_GXL_FILE	"ftype.gxl"
public static final java.lang.String	TYPE_SGF_FILE	"ftype.sgf"

de.uni_due.inf.ti.dragom.main.Main

Modifier and Type	Constant Field	Value
public static final java.lang.String	VERSION_ID	"1.0"