org.eclipse.ocl.examples.emf.validation.validity.ui.wizards
Class ExportValidationResultsFileWizardPage

java.lang.Object
  org.eclipse.jface.dialogs.DialogPage
      org.eclipse.jface.wizard.WizardPage
          org.eclipse.ocl.examples.emf.validation.validity.ui.wizards.ExportValidationResultsFileWizardPage

All Implemented Interfaces:

org.eclipse.jface.dialogs.IDialogPage, org.eclipse.jface.dialogs.IMessageProvider, org.eclipse.jface.wizard.IWizardPage, org.eclipse.swt.widgets.Listener

public class ExportValidationResultsFileWizardPage
extends org.eclipse.jface.wizard.WizardPage
implements org.eclipse.swt.widgets.Listener

Wizard page allowing creation of exported files in the workspace.

Field Summary

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

ERROR, INFORMATION, NONE, WARNING

Constructor Summary

ExportValidationResultsFileWizardPage(java.lang.String preferredExtension, org.eclipse.core.resources.IResource initialResource)
Creates a new exported file creation wizard page.

Method Summary

void	createControl(org.eclipse.swt.widgets.Composite parent)
org.eclipse.core.runtime.IPath	getNewExportedFilePath()
void	handleEvent(org.eclipse.swt.widgets.Event event) The WizardNewFileCreationPage implementation of this Listener method handles all events and enablements for controls on this page.
void	setVisible(boolean visible)

Methods inherited from class org.eclipse.jface.wizard.WizardPage

canFlipToNextPage, getContainer, getDialogSettings, getImage, getName, getNextPage, getPreviousPage, getShell, getWizard, isCurrentPage, isPageComplete, setDescription, setErrorMessage, setImageDescriptor, setMessage, setPageComplete, setPreviousPage, setTitle, setWizard, toString

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

convertHeightInCharsToPixels, convertHorizontalDLUsToPixels, convertVerticalDLUsToPixels, convertWidthInCharsToPixels, dispose, getControl, getDescription, getDialogFontName, getErrorMessage, getFont, getMessage, getMessageType, getTitle, getToolTipText, initializeDialogUnits, isControlCreated, performHelp, setButtonLayoutData, setControl, 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.dialogs.IDialogPage

dispose, getControl, getDescription, getErrorMessage, getMessage, getTitle, performHelp

Constructor Detail

ExportValidationResultsFileWizardPage

public ExportValidationResultsFileWizardPage(@Nullable
                                             java.lang.String preferredExtension,
                                             @NonNull
                                             org.eclipse.core.resources.IResource initialResource)

Creates a new exported file creation wizard page. The initial resource will be used as the default container resource.

Parameters:

preferredExtension -

initialResource - the current resource selection

Method Detail

createControl

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

Specified by:

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

getNewExportedFilePath

public org.eclipse.core.runtime.IPath getNewExportedFilePath()

handleEvent

public void handleEvent(org.eclipse.swt.widgets.Event event)

The WizardNewFileCreationPage implementation of this Listener method handles all events and enablements for controls on this page. Subclasses may extend. (non-Javadoc)

Specified by:

handleEvent in interface org.eclipse.swt.widgets.Listener

See Also:

Listener.handleEvent(org.eclipse.swt.widgets.Event)

setVisible

public void setVisible(boolean visible)

Specified by:

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

Overrides:

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