org.jmlspecs.eclipse.jdt.ui
Class NewJmlSpecWizard

java.lang.Object
  org.eclipse.jface.wizard.Wizard
      org.eclipse.jdt.internal.ui.wizards.NewElementWizard
          org.jmlspecs.eclipse.jdt.ui.NewJmlSpecWizard

All Implemented Interfaces:

org.eclipse.jface.wizard.IWizard, org.eclipse.ui.INewWizard, org.eclipse.ui.IWorkbenchWizard

public class NewJmlSpecWizard
extends org.eclipse.jdt.internal.ui.wizards.NewElementWizard

Field Summary

static org.eclipse.jface.resource.ImageDescriptor

NEWSPEC

Fields inherited from class org.eclipse.jface.wizard.Wizard

DEFAULT_IMAGE

Constructor Summary

NewJmlSpecWizard()

NewJmlSpecWizard(NewJmlSpecCreationPage page, boolean openEditorOnFinish)

Method Summary

void	addPages()
IJavaElement	getCreatedElement()
boolean	performFinish()

Methods inherited from class org.eclipse.jdt.internal.ui.wizards.NewElementWizard

getSelection, getWorkbench, init

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

addPage, 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

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.eclipse.jface.wizard.IWizard

canFinish, createPageControls, dispose, getContainer, getDefaultPageImage, getDialogSettings, getNextPage, getPage, getPageCount, getPages, getPreviousPage, getStartingPage, getTitleBarColor, getWindowTitle, isHelpAvailable, needsPreviousAndNextButtons, needsProgressMonitor, performCancel, setContainer

Field Detail

NEWSPEC

public static final org.eclipse.jface.resource.ImageDescriptor NEWSPEC

Constructor Detail

NewJmlSpecWizard

public NewJmlSpecWizard(NewJmlSpecCreationPage page,
                        boolean openEditorOnFinish)

NewJmlSpecWizard

public NewJmlSpecWizard()

Method Detail

addPages

public void addPages()

Specified by:

addPages in interface org.eclipse.jface.wizard.IWizard

Overrides:

addPages in class org.eclipse.jface.wizard.Wizard

performFinish

public boolean performFinish()

Specified by:

performFinish in interface org.eclipse.jface.wizard.IWizard

Overrides:

performFinish in class org.eclipse.jdt.internal.ui.wizards.NewElementWizard

getCreatedElement

public IJavaElement getCreatedElement()

Specified by:

getCreatedElement in class org.eclipse.jdt.internal.ui.wizards.NewElementWizard