org.infai.emo.matcher.editor.preferences
Class PrimaryPreferencesPage

java.lang.Object
  org.eclipse.jface.dialogs.DialogPage
      org.eclipse.jface.preference.PreferencePage
          org.eclipse.jface.preference.FieldEditorPreferencePage
              org.infai.emo.matcher.editor.preferences.PrimaryPreferencesPage

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 PrimaryPreferencesPage
extends org.eclipse.jface.preference.FieldEditorPreferencePage
implements org.eclipse.ui.IWorkbenchPreferencePage

This class is the primary preferences-page for the ModelMatcher.
It contains e.g. settings for the language or the comparison.

Version:

1.0.0

Author:

Stanley Hillner

See Also:

FieldEditorPreferencePage, IWorkbenchPreferencePage

Field Summary

(package private) org.eclipse.jface.preference.ComboFieldEditor	languageFieldEditor The field editor which contains the settings for the used language.
(package private) org.eclipse.jface.preference.BooleanFieldEditor	treePositionFieldEditor The filed editor which contains the settings for the use of the tree-positions during the comparison.

Fields inherited from class org.eclipse.jface.preference.FieldEditorPreferencePage

FLAT, GRID, MARGIN_HEIGHT, MARGIN_WIDTH, VERTICAL_SPACING

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

ERROR, INFORMATION, NONE, WARNING

Constructor Summary

PrimaryPreferencesPage()
The constructor which initializes the page and sets the preference-store for the plug-in.

Method Summary

protected void	createFieldEditors()
void	init(org.eclipse.ui.IWorkbench workbench)

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

addField, adjustGridLayout, applyFont, checkState, createContents, dispose, getFieldEditorParent, initialize, performDefaults, performOk, propertyChange, setVisible

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

applyData, applyDialogFont, computeSize, contributeButtons, createControl, createDescriptionLabel, createNoteComposite, doComputeSize, doGetPreferenceStore, getApplyButton, getContainer, getDefaultsButton, getPreferenceStore, isValid, noDefaultAndApplyButton, okToLeave, performApply, performCancel, performHelp, setContainer, setErrorMessage, setMessage, setPreferenceStore, setSize, setTitle, setValid, toString, updateApplyButton

Methods inherited from class org.eclipse.jface.dialogs.DialogPage

convertHeightInCharsToPixels, convertHorizontalDLUsToPixels, convertVerticalDLUsToPixels, convertWidthInCharsToPixels, getControl, getDescription, getDialogFontName, getErrorMessage, getFont, getImage, getMessage, getMessageType, getShell, getTitle, getToolTipText, initializeDialogUnits, isControlCreated, setButtonLayoutData, setControl, setDescription, setImageDescriptor, setMessage

Methods inherited from class java.lang.Object

clone, equals, finalize, 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

languageFieldEditor

org.eclipse.jface.preference.ComboFieldEditor languageFieldEditor

The field editor which contains the settings for the used language.

See Also:

ComboFieldEditor

treePositionFieldEditor

org.eclipse.jface.preference.BooleanFieldEditor treePositionFieldEditor

The filed editor which contains the settings for the use of the tree-positions during the comparison.

See Also:

BooleanFieldEditor

Constructor Detail

PrimaryPreferencesPage

public PrimaryPreferencesPage()

The constructor which initializes the page and sets the preference-store for the plug-in.

Method Detail

createFieldEditors

protected void createFieldEditors()

Specified by:

createFieldEditors in class org.eclipse.jface.preference.FieldEditorPreferencePage

init

public void init(org.eclipse.ui.IWorkbench workbench)

Specified by:

init in interface org.eclipse.ui.IWorkbenchPreferencePage