/*
 * Copyright 2002-2008 The Jamocha Team
 * 
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *   http://www.jamocha.org/
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 * 
 */

package org.jamocha.settings;

/**
 * This class holds all settings strings as constants.
 * 
 * @author Sebastian Reinartz, Alexander Wilden
 */
public class SettingsConstants {
	
	// GUI Settings

	public static final String GUI_FACTS_AUTOSORT_DIR = "gui.facts.autosort_dir";

	public static final String GUI_FACTS_AUTOSORT_BY = "gui.facts.autosort_by";

	public static final String GUI_SHELL_AUTOCOMPLETION = "gui.shell.autocompletion";

	public static final String GUI_SHELL_BACKGROUNDCOLOR = "gui.shell.backgroundcolor";

	public static final String GUI_SHELL_FONTCOLOR = "gui.shell.fontcolor";

	public static final String GUI_SHELL_FONTSIZE = "gui.shell.fontsize";

	public static final String GUI_SHELL_FONT = "gui.shell.font";
	
	public static final String GUI_SHELL_FONTSTYLE = "gui.shell.fontstyle";
	
	public static final String GUI_VIEWER_CONNECTORTYPE = "gui.viewer.connectortype";
	
	// Engine Settings

	public static final String ENGINE_GENERAL_SETTINGS_WATCH_RULES = "engine.general_settings.watch_rules";

	public static final String ENGINE_GENERAL_SETTINGS_WATCH_FACTS = "engine.general_settings.watch_facts";

	public static final String ENGINE_GENERAL_SETTINGS_WATCH_ACTIVATIONS = "engine.general_settings.watch_activations";

	public static final String ENGINE_GENERAL_SETTINGS_PROFILE_REMOVE_ACTIVATION = "engine.general_settings.profile_remove_activation";

	public static final String ENGINE_GENERAL_SETTINGS_PROFILE_ADD_ACTIVATION = "engine.general_settings.profile_add_activation";

	public static final String ENGINE_GENERAL_SETTINGS_PROFILE_FIRE = "engine.general_settings.profile_fire";

	public static final String ENGINE_GENERAL_SETTINGS_PROFILE_RETRACT = "engine.general_settings.profile_retract";

	public static final String ENGINE_GENERAL_SETTINGS_PROFILE_ASSERT = "engine.general_settings.profile_assert";

	public static final String ENGINE_GENERAL_SETTINGS_EVALUATION = "engine.general_settings.evaluation";
	
	public static final String ENGINE_STRATEGY_SETTINGS_STRATEGY_MAIN = "engine.strategy_settings.strategy_main";

	public static final String ENGINE_NET_SETTINGS_SHARE_NODES = "engine.net_settings.share_nodes";

}
