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

java.lang.Object
  extended by org.eclipse.jface.wizard.Wizard
      extended by org.eclipse.ocl.examples.emf.validation.validity.ui.wizards.ExportValidationResultsFileWizard
All Implemented Interfaces:
org.eclipse.jface.wizard.IWizard, org.eclipse.ui.INewWizard, org.eclipse.ui.IWorkbenchWizard

public class ExportValidationResultsFileWizard
extends org.eclipse.jface.wizard.Wizard
implements org.eclipse.ui.INewWizard

Wizard allowing the user to export a validation results file.


Field Summary
 
Fields inherited from class org.eclipse.jface.wizard.Wizard
DEFAULT_IMAGE
 
Constructor Summary
ExportValidationResultsFileWizard(org.eclipse.ui.IWorkbench workbench, org.eclipse.jface.viewers.IStructuredSelection initialSelection, RootNode rootNode, IValidityExporter exporter)
          Constructor
 
Method Summary
 void export(org.eclipse.emf.ecore.resource.Resource validatedResource, org.eclipse.core.runtime.IPath savePath)
           
 void init(org.eclipse.ui.IWorkbench workbench, org.eclipse.jface.viewers.IStructuredSelection selection)
           
 boolean performFinish()
          Creates a new Exported validation results file resource in the selected container and with the selected name.
 
Methods inherited from class org.eclipse.jface.wizard.Wizard
addPage, addPages, canFinish, createPageControls, dispose, getContainer, getDefaultPageImage, getDialogSettings, getNextPage, getPage, getPageCount, getPages, getPreviousPage, getShell, getStartingPage, getTitleBarColor, getWindowTitle, isHelpAvailable, needsPreviousAndNextButtons, needsProgressMonitor, performCancel, setContainer, setDefaultPageImageDescriptor, setDialogSettings, setForcePreviousAndNextButtons, setHelpAvailable, setNeedsProgressMonitor, setTitleBarColor, setWindowTitle
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface org.eclipse.jface.wizard.IWizard
addPages, canFinish, createPageControls, dispose, getContainer, getDefaultPageImage, getDialogSettings, getNextPage, getPage, getPageCount, getPages, getPreviousPage, getStartingPage, getTitleBarColor, getWindowTitle, isHelpAvailable, needsPreviousAndNextButtons, needsProgressMonitor, performCancel, setContainer
 

Constructor Detail

ExportValidationResultsFileWizard

public ExportValidationResultsFileWizard(@NonNull
                                         org.eclipse.ui.IWorkbench workbench,
                                         @NonNull
                                         org.eclipse.jface.viewers.IStructuredSelection initialSelection,
                                         @NonNull
                                         RootNode rootNode,
                                         @NonNull
                                         IValidityExporter exporter)
Constructor

Method Detail

export

public void export(@NonNull
                   org.eclipse.emf.ecore.resource.Resource validatedResource,
                   @NonNull
                   org.eclipse.core.runtime.IPath savePath)

init

public void init(org.eclipse.ui.IWorkbench workbench,
                 org.eclipse.jface.viewers.IStructuredSelection selection)
Specified by:
init in interface org.eclipse.ui.IWorkbenchWizard

performFinish

public boolean performFinish()
Creates a new Exported validation results file resource in the selected container and with the selected name. Creates any missing resource containers along the path; does nothing if the container resources already exist.

In normal usage, this method is invoked after the user has pressed Finish on the wizard; the enablement of the Finish button implies that all controls on on this page currently contain valid values.

This method should be called within a workspace modify operation since it creates resources.

Specified by:
performFinish in interface org.eclipse.jface.wizard.IWizard
Specified by:
performFinish in class org.eclipse.jface.wizard.Wizard