ocamlCompiler.preferences
Class CompilerPreferencePage
java.lang.Object
org.eclipse.jface.dialogs.DialogPage
org.eclipse.jface.preference.PreferencePage
org.eclipse.jface.preference.FieldEditorPreferencePage
ocamlCompiler.preferences.CompilerPreferencePage
- All Implemented Interfaces:
- java.util.EventListener, org.eclipse.jface.dialogs.IDialogPage, org.eclipse.jface.dialogs.IMessageProvider, org.eclipse.jface.preference.IPreferencePage, org.eclipse.jface.util.IPropertyChangeListener, org.eclipse.ui.IWorkbenchPreferencePage
- public class CompilerPreferencePage
- extends org.eclipse.jface.preference.FieldEditorPreferencePage
- implements org.eclipse.ui.IWorkbenchPreferencePage
Creation de la page des preferences du plugin
| Fields inherited from class org.eclipse.jface.preference.FieldEditorPreferencePage |
FLAT, GRID |
| Fields inherited from interface org.eclipse.jface.dialogs.IMessageProvider |
ERROR, INFORMATION, NONE, WARNING |
|
Method Summary |
void |
createFieldEditors()
Creates the field editors. |
void |
init(org.eclipse.ui.IWorkbench workbench)
Initialisation |
static void |
initDefaults(org.eclipse.jface.preference.IPreferenceStore store)
Restauration des preferences par defaut. |
| Methods inherited from class org.eclipse.jface.preference.FieldEditorPreferencePage |
dispose, performOk, propertyChange, setVisible |
| Methods inherited from class org.eclipse.jface.preference.PreferencePage |
computeSize, createControl, getContainer, getPreferenceStore, isValid, okToLeave, performCancel, performHelp, setContainer, setErrorMessage, setMessage, setPreferenceStore, setSize, setTitle, setValid, toString |
| Methods inherited from class org.eclipse.jface.dialogs.DialogPage |
getControl, getDescription, getErrorMessage, getImage, getMessage, getMessageType, getShell, getTitle, setDescription, setImageDescriptor, setMessage |
| Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Methods inherited from interface org.eclipse.jface.preference.IPreferencePage |
computeSize, isValid, okToLeave, performCancel, performOk, setContainer, setSize |
| Methods inherited from interface org.eclipse.jface.dialogs.IDialogPage |
createControl, dispose, getControl, getDescription, getErrorMessage, getImage, getMessage, getTitle, performHelp, setDescription, setImageDescriptor, setTitle, setVisible |
P_LIB_PATH
public static final java.lang.String P_LIB_PATH
- See Also:
- Constant Field Values
P_COMPIL_OPTIONS
public static final java.lang.String P_COMPIL_OPTIONS
- See Also:
- Constant Field Values
P_COMPIL_PATH_LIB
public static final java.lang.String P_COMPIL_PATH_LIB
- See Also:
- Constant Field Values
P_COMPIL_PATH_OCAMLC
public static final java.lang.String P_COMPIL_PATH_OCAMLC
- See Also:
- Constant Field Values
P_COMPIL_PATH_OCAMLOPT
public static final java.lang.String P_COMPIL_PATH_OCAMLOPT
- See Also:
- Constant Field Values
P_COMPIL_PATH_OCAMLDEP
public static final java.lang.String P_COMPIL_PATH_OCAMLDEP
- See Also:
- Constant Field Values
P_COMPIL_PATH_OCAMLLEX
public static final java.lang.String P_COMPIL_PATH_OCAMLLEX
- See Also:
- Constant Field Values
P_COMPIL_PATH_OCAMLYACC
public static final java.lang.String P_COMPIL_PATH_OCAMLYACC
- See Also:
- Constant Field Values
P_COMPIL_PATH_OCAMLDOC
public static final java.lang.String P_COMPIL_PATH_OCAMLDOC
- See Also:
- Constant Field Values
P_COMMENT_COLOR
public static final java.lang.String P_COMMENT_COLOR
- See Also:
- Constant Field Values
P_STRING_COLOR
public static final java.lang.String P_STRING_COLOR
- See Also:
- Constant Field Values
P_KEYWORD_COLOR
public static final java.lang.String P_KEYWORD_COLOR
- See Also:
- Constant Field Values
P_CONSTANT_COLOR
public static final java.lang.String P_CONSTANT_COLOR
- See Also:
- Constant Field Values
CompilerPreferencePage
public CompilerPreferencePage()
- Constructeur
initDefaults
public static void initDefaults(org.eclipse.jface.preference.IPreferenceStore store)
- Restauration des preferences par defaut.
createFieldEditors
public void createFieldEditors()
- Creates the field editors. Field editors are abstractions of
the common GUI blocks needed to manipulate various types
of preferences. Each field editor knows how to save and
restore itself.
init
public void init(org.eclipse.ui.IWorkbench workbench)
- Initialisation
- Specified by:
init in interface org.eclipse.ui.IWorkbenchPreferencePage