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

Class ExportValidationResultsFileWizard

java.lang.Object

org.eclipse.jface.wizard.Wizard

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

All Implemented Interfaces:

org.eclipse.jface.window.IShellProvider, 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

Constructors

Constructor and Description
ExportValidationResultsFileWizard(org.eclipse.ui.IWorkbench workbench, org.eclipse.jface.viewers.IStructuredSelection initialSelection, RootNode rootNode, IValidityExporter exporter) Constructor

Method Summary

Modifier and Type	Method and Description
void	export(org.eclipse.emf.ecore.resource.Resource zzvalidatedResource, 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,
                                         @Nullable
                                         org.eclipse.jface.viewers.IStructuredSelection initialSelection,
                                         @NonNull
                                         RootNode rootNode,
                                         @NonNull
                                         IValidityExporter exporter)

Constructor

Method Detail

export

public void export(@Nullable
                   org.eclipse.emf.ecore.resource.Resource zzvalidatedResource,
                   @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