ClidePreferenceConstants.java

package preferences;

/**
 * Interface for keeping the Preference Constants.
 * Should eventually be replaced by final class with static attributes as this is bad style.
 * 
 * @author CLIDE 2018-2019
 */

public interface ClidePreferenceConstants {
	

	String PREFERENCE_ID = "Clide.preferences";
	
	String CPM_LOCATION = "CPM Location";
	
	String STACK_SIZE = "Stack Size";
	
	String HEAP_SIZE = "Heap Size";

}