jtl-eclipse-master/JTL.eclipse/src/jtl/eclipse/LaunchConfigurationAttributes.java
package jtl.eclipse;

public interface LaunchConfigurationAttributes {

	public static final String SOURCEMM_TEXT = "it.univaq.jtl.sourcemm";
	public static final String TARGETMM_TEXT = "it.univaq.jtl.targetmm";
	public static final String SOURCEM_TEXT = "it.univaq.jtl.sourcem";
	public static final String TARGETM_TEXT = "it.univaq.jtl.targetm";
	public static final String TRANSF_TEXT = "it.univaq.jtl.transf";
	public static final String TRANSF_LIMIT = "it.univaq.jtl.transflimit";
	public static final String TRACE_CHECK = "it.univaq.jtl.tracecheck";
	public static final String TRACE_TEXT = "it.univaq.jtl.trace";
	public static final String CHAIN_CHECK = "it.univaq.jtl.chaincheck";
	public static final String CHAIN_COMBO = "it.univaq.jtl.chaincombo";
	public static final String CHAIN_LIMIT = "it.univaq.jtl.chainlimit";
	public static final String GENERATE_ASP = "it.univaq.jtl.generateasp";
	public static final String CLEAR_TARGET = "it.univaq.jtl.cleartarget";
	public static final String LEFTMM_TEXT = "it.univaq.jtl.leftmm";
	public static final String RIGHTMM_TEXT = "it.univaq.jtl.rightmm";
	public static final String LEFTM_TEXT = "it.univaq.jtl.leftm";
	public static final String RIGHTM_TEXT = "it.univaq.jtl.rightm";
}
