jack.plugin
Class JackPreferencePage
java.lang.Object
org.eclipse.jface.dialogs.DialogPage
org.eclipse.jface.preference.PreferencePage
org.eclipse.jface.preference.FieldEditorPreferencePage
jack.plugin.JackPreferencePage
- 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 JackPreferencePage
- extends org.eclipse.jface.preference.FieldEditorPreferencePage
- implements org.eclipse.ui.IWorkbenchPreferencePage
This class defines the Preferences page for Jack,
the Java Applets Correctness Kit.
This class represents a preference page that
is contributed to the Preferences dialog. By
subclassing FieldEditorPreferencePage, we
can use the field support built into JFace that allows
us to create a page that is small and knows how to
save, restore and apply itself.
This page is used to modify preferences only. They
are stored in the preference store that belongs to
the main plug-in class. That way, preferences can
be accessed directly via the preference store.
- Author:
- A. Requet, L. Burdy
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)
|
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 |
JackPreferencePage
public JackPreferencePage()
- Creates the JackPreferencePage.
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)
- Specified by:
init
in interface org.eclipse.ui.IWorkbenchPreferencePage