jack.plugin.source
Class AddJmlClauseWizard

java.lang.Object
  org.eclipse.jface.wizard.Wizard
      jack.plugin.source.AddJmlClauseWizard

All Implemented Interfaces:

org.eclipse.jface.wizard.IWizard

public class AddJmlClauseWizard

extends org.eclipse.jface.wizard.Wizard

Wizard allowing to select JML clause to generate, file when the automatic annotation is performed, view the difference between the new files and the old ones and perform finally the modifications.

Author:

L. Burdy

Field Summary

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

DEFAULT_IMAGE

Constructor Summary

AddJmlClauseWizard(org.eclipse.jdt.core.ICompilationUnit cu, LoadAndLink loadAndlinkAction)

Method Summary

void	addPages()
boolean	canFinish()
boolean	performFinish()

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

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

Constructor Detail

AddJmlClauseWizard

public AddJmlClauseWizard(org.eclipse.jdt.core.ICompilationUnit cu,
                          LoadAndLink loadAndlinkAction)

Method Detail

performFinish

public boolean performFinish()

addPages

public void addPages()

canFinish

public boolean canFinish()