org.jmlspecs.eclipse.jdt.ui.preferences
Class JmlPreferencePage

java.lang.Object
  org.eclipse.jface.dialogs.DialogPage
      org.eclipse.jface.preference.PreferencePage
          org.eclipse.jdt.internal.ui.preferences.PropertyAndPreferencePage
              org.jmlspecs.eclipse.jdt.ui.preferences.JmlPreferencePage

All Implemented Interfaces:

org.eclipse.jface.dialogs.IDialogPage, org.eclipse.jface.dialogs.IMessageProvider, org.eclipse.jface.preference.IPreferencePage, org.eclipse.ui.IWorkbenchPreferencePage, org.eclipse.ui.IWorkbenchPropertyPage

public class JmlPreferencePage
extends org.eclipse.jdt.internal.ui.preferences.PropertyAndPreferencePage

Field Summary

static java.lang.String	DATA_SELECT_OPTION_KEY
static java.lang.String	DATA_SELECT_OPTION_QUALIFIER
static java.lang.String	JML_PREFERENCE_PAGE
static java.lang.String	JML_PROPERTY_PAGE
static java.lang.String	PREF_ID
static java.lang.String	PROP_ID

Fields inherited from class org.eclipse.jdt.internal.ui.preferences.PropertyAndPreferencePage

DATA_NO_LINK

Fields inherited from interface org.eclipse.jface.dialogs.IMessageProvider

ERROR, INFORMATION, NONE, WARNING

Constructor Summary

JmlPreferencePage()

Method Summary

void	applyData(java.lang.Object data)
void	createControl(org.eclipse.swt.widgets.Composite parent)
void	dispose()
void	performApply()
boolean	performOk()
void	setElement(org.eclipse.core.runtime.IAdaptable element)

Methods inherited from class org.eclipse.jdt.internal.ui.preferences.PropertyAndPreferencePage

getElement, init

Methods inherited from class org.eclipse.jface.preference.PreferencePage

computeSize, 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, setVisible

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, setContainer, setSize

Methods inherited from interface org.eclipse.jface.dialogs.IDialogPage

getControl, getDescription, getErrorMessage, getImage, getMessage, getTitle, performHelp, setDescription, setImageDescriptor, setTitle, setVisible

Field Detail

JML_PROPERTY_PAGE

public static final java.lang.String JML_PROPERTY_PAGE

See Also:

Constant Field Values

JML_PREFERENCE_PAGE

public static final java.lang.String JML_PREFERENCE_PAGE

See Also:

Constant Field Values

PREF_ID

public static final java.lang.String PREF_ID

See Also:

Constant Field Values

PROP_ID

public static final java.lang.String PROP_ID

See Also:

Constant Field Values

DATA_SELECT_OPTION_KEY

public static final java.lang.String DATA_SELECT_OPTION_KEY

See Also:

Constant Field Values

DATA_SELECT_OPTION_QUALIFIER

public static final java.lang.String DATA_SELECT_OPTION_QUALIFIER

See Also:

Constant Field Values

Constructor Detail

JmlPreferencePage

public JmlPreferencePage()

Method Detail

createControl

public void createControl(org.eclipse.swt.widgets.Composite parent)

Specified by:

createControl in interface org.eclipse.jface.dialogs.IDialogPage

Overrides:

createControl in class org.eclipse.jface.preference.PreferencePage

dispose

public void dispose()

Specified by:

dispose in interface org.eclipse.jface.dialogs.IDialogPage

Overrides:

dispose in class org.eclipse.jface.dialogs.DialogPage

performOk

public boolean performOk()

Specified by:

performOk in interface org.eclipse.jface.preference.IPreferencePage

Overrides:

performOk in class org.eclipse.jface.preference.PreferencePage

performApply

public void performApply()

Overrides:

performApply in class org.eclipse.jface.preference.PreferencePage

applyData

public void applyData(java.lang.Object data)

Overrides:

applyData in class org.eclipse.jdt.internal.ui.preferences.PropertyAndPreferencePage

setElement

public void setElement(org.eclipse.core.runtime.IAdaptable element)

Specified by:

setElement in interface org.eclipse.ui.IWorkbenchPropertyPage

Overrides:

setElement in class org.eclipse.jdt.internal.ui.preferences.PropertyAndPreferencePage