KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > eclipse > core > internal > preferences > IPreferencesConstants


1 /*******************************************************************************
2  * Copyright (c) 2005, 2006 IBM Corporation and others.
3  * All rights reserved. This program and the accompanying materials
4  * are made available under the terms of the Eclipse Public License v1.0
5  * which accompanies this distribution, and is available at
6  * http://www.eclipse.org/legal/epl-v10.html
7  *
8  * Contributors:
9  * IBM Corporation - initial API and implementation
10  *******************************************************************************/

11 package org.eclipse.core.internal.preferences;
12
13 /**
14  * Container for the constants used by this plugin.
15  * @since org.eclipse.equinox.preferences 1.0
16  */

17 public interface IPreferencesConstants {
18     /**
19      * Backward compatibilty: name of the original runtime plugin
20      */

21     public static final String JavaDoc RUNTIME_NAME = "org.eclipse.core.runtime"; //$NON-NLS-1$
22

23     /**
24      * Name of this plugin
25      */

26     public static final String JavaDoc PREFERS_NAME = "org.eclipse.equinox.preferences"; //$NON-NLS-1$
27

28     /**
29      * Command line options
30      */

31     public static final String JavaDoc PLUGIN_CUSTOMIZATION = "-plugincustomization"; //$NON-NLS-1$
32

33     /**
34      * This is the base filename used to construct the name of the preference
35      * file and the name of the preference translation file.
36      */

37     public static final String JavaDoc PREFERENCES_DEFAULT_OVERRIDE_BASE_NAME = "preferences"; //$NON-NLS-1$
38

39     /**
40      * The name of the file (value <code>"preferences.ini"</code>) in a
41      * plug-in's (read-only) directory that, when present, contains values that
42      * override the normal default values for this plug-in's preferences.
43      * <p>
44      * The format of the file is as per <code>java.io.Properties</code> where
45      * the keys are property names and values are strings.
46      * </p>
47      */

48     public static final String JavaDoc PREFERENCES_DEFAULT_OVERRIDE_FILE_NAME = PREFERENCES_DEFAULT_OVERRIDE_BASE_NAME + ".ini"; //$NON-NLS-1$
49

50     /**
51      * The simple identifier constant (value "<code>preferences</code>") of
52      * the extension point of the Core Runtime plug-in where plug-ins declare
53      * extensions to the preference facility. A plug-in may define any number
54      * of preference extensions.
55      */

56     public static final String JavaDoc PT_PREFERENCES = "preferences"; //$NON-NLS-1$
57

58 }
59
Popular Tags