de.cau.cs.kieler.core.model.preferences
Class ValidationManagerPreferencePage
java.lang.Object
org.eclipse.jface.dialogs.DialogPage
org.eclipse.jface.preference.PreferencePage
org.eclipse.jface.preference.FieldEditorPreferencePage
de.cau.cs.kieler.core.model.preferences.ValidationManagerPreferencePage
- All Implemented Interfaces:
- EventListener, IDialogPage, IMessageProvider, IPreferencePage, IPropertyChangeListener, IWorkbenchPreferencePage
public class ValidationManagerPreferencePage
- extends FieldEditorPreferencePage
- implements IWorkbenchPreferencePage
The preference page for configuring which CheckFile should be used to
validate the different diagrams.
- Rating

- (2010-06-11) soh
Methods inherited from class org.eclipse.jface.preference.FieldEditorPreferencePage |
addField, adjustGridLayout, applyFont, checkState, createContents, dispose, getFieldEditorParent, initialize, performDefaults, 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 interface org.eclipse.jface.dialogs.IDialogPage |
createControl, dispose, getControl, getDescription, getErrorMessage, getImage, getMessage, getTitle, performHelp, setDescription, setImageDescriptor, setTitle, setVisible |
ValidationManagerPreferencePage
public ValidationManagerPreferencePage()
- Creates a preference page.
createFieldEditors
protected void createFieldEditors()
- Create a field editor for each of the available checkfiles.
- Specified by:
createFieldEditors
in class FieldEditorPreferencePage
performOk
public boolean performOk()
-
- Specified by:
performOk
in interface IPreferencePage
- Overrides:
performOk
in class FieldEditorPreferencePage
init
public void init(IWorkbench workbench)
-
- Specified by:
init
in interface IWorkbenchPreferencePage