jack.plugin
Class JackPreferencePageProvers

java.lang.Object
  org.eclipse.jface.dialogs.DialogPage
      org.eclipse.jface.preference.PreferencePage
          org.eclipse.jface.preference.FieldEditorPreferencePage
              jack.plugin.JackPreferencePageProvers

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 JackPreferencePageProvers

extends org.eclipse.jface.preference.FieldEditorPreferencePage

implements org.eclipse.ui.IWorkbenchPreferencePage

This class implements the generic preference page for the provers.

Author:

L. Burdy

Field Summary

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

JackPreferencePageProvers()
Creates the JackPreferencePage for provers settings.

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

Constructor Detail

JackPreferencePageProvers

public JackPreferencePageProvers()

Creates the JackPreferencePage for provers settings.

Method Detail

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