ocamlCompiler.preferences
Class CompilerPreferencePage

java.lang.Object
  extended byorg.eclipse.jface.dialogs.DialogPage
      extended byorg.eclipse.jface.preference.PreferencePage
          extended byorg.eclipse.jface.preference.FieldEditorPreferencePage
              extended byocamlCompiler.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


Field Summary
static java.lang.String P_COMMENT_COLOR
           
static java.lang.String P_COMPIL_OPTIONS
           
static java.lang.String P_COMPIL_PATH_LIB
           
static java.lang.String P_COMPIL_PATH_OCAMLC
           
static java.lang.String P_COMPIL_PATH_OCAMLDEP
           
static java.lang.String P_COMPIL_PATH_OCAMLDOC
           
static java.lang.String P_COMPIL_PATH_OCAMLLEX
           
static java.lang.String P_COMPIL_PATH_OCAMLOPT
           
static java.lang.String P_COMPIL_PATH_OCAMLYACC
           
static java.lang.String P_CONSTANT_COLOR
           
static java.lang.String P_KEYWORD_COLOR
           
static java.lang.String P_LIB_PATH
           
static java.lang.String P_STRING_COLOR
           
 
Fields inherited from class org.eclipse.jface.preference.FieldEditorPreferencePage
FLAT, GRID
 
Fields inherited from interface org.eclipse.jface.dialogs.IMessageProvider
ERROR, INFORMATION, NONE, WARNING
 
Constructor Summary
CompilerPreferencePage()
          Constructeur
 
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
 

Field Detail

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
Constructor Detail

CompilerPreferencePage

public CompilerPreferencePage()
Constructeur

Method Detail

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