Package org.palladiosimulator.reliability.markov.presentation

Class MarkovModelWizard

java.lang.Object

org.eclipse.jface.wizard.Wizard

org.palladiosimulator.reliability.markov.presentation.MarkovModelWizard

All Implemented Interfaces:

IShellProvider, IWizard, INewWizard, IWorkbenchWizard

public class MarkovModelWizard
extends Wizard
implements INewWizard

This is a simple wizard for creating a new model file.

Generated class or method.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
class	MarkovModelWizard.MarkovModelWizardInitialObjectCreationPage	This is the page where the type of object to create is selected.
class	MarkovModelWizard.MarkovModelWizardNewFileCreationPage	This is the one page of the wizard.

Field Summary

Fields

Modifier and Type	Field	Description
static final List<String>	FILE_EXTENSIONS	The supported extensions for created files.
static final String	FORMATTED_FILE_EXTENSIONS	A formatted list of supported file extensions, suitable for display.
protected MarkovModelWizard.MarkovModelWizardInitialObjectCreationPage	initialObjectCreationPage	This is the initial object creation page.
protected List<String>	initialObjectNames	Caches the names of the types that can be created as the root object.
protected MarkovFactory	markovFactory	This caches an instance of the model factory.
protected MarkovPackage	markovPackage	This caches an instance of the model package.
protected MarkovModelWizard.MarkovModelWizardNewFileCreationPage	newFileCreationPage	This is the file creation page.
protected IStructuredSelection	selection	Remember the selection during initialization for populating the default container.
protected IWorkbench	workbench	Remember the workbench during initialization.

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

DEFAULT_IMAGE

Constructor Summary

Constructors

Constructor	Description
MarkovModelWizard()

Method Summary

Modifier and Type	Method	Description
void	addPages()	The framework calls this to create the contents of the wizard.
protected EObject	createInitialModel()	Create a new model.
protected Collection<String>	getInitialObjectNames()	Returns the names of the types that can be created as the root object.
IFile	getModelFile()	Get the file from the page.
void	init(IWorkbench workbench, IStructuredSelection selection)	This just records the information.
boolean	performFinish()	Do the work after everything is specified.

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

clone, equals, finalize, 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 Details

FILE_EXTENSIONS

public static final List<String> FILE_EXTENSIONS

The supported extensions for created files.

Generated class or method.

FORMATTED_FILE_EXTENSIONS

public static final String FORMATTED_FILE_EXTENSIONS

A formatted list of supported file extensions, suitable for display.

Generated class or method.

markovPackage

protected MarkovPackage markovPackage

This caches an instance of the model package.

Generated class or method.

markovFactory

protected MarkovFactory markovFactory

This caches an instance of the model factory.

Generated class or method.

newFileCreationPage

protected MarkovModelWizard.MarkovModelWizardNewFileCreationPage newFileCreationPage

This is the file creation page.

Generated class or method.

initialObjectCreationPage

protected MarkovModelWizard.MarkovModelWizardInitialObjectCreationPage initialObjectCreationPage

This is the initial object creation page.

Generated class or method.

selection

protected IStructuredSelection selection

Remember the selection during initialization for populating the default container.

Generated class or method.

workbench

protected IWorkbench workbench

Remember the workbench during initialization.

Generated class or method.

initialObjectNames

protected List<String> initialObjectNames

Caches the names of the types that can be created as the root object.

Generated class or method.

Constructor Details

MarkovModelWizard

public MarkovModelWizard()

Method Details

init

public void init(IWorkbench workbench,
 IStructuredSelection selection)

This just records the information.

Specified by:

init in interface IWorkbenchWizard

Generated class or method.

getInitialObjectNames

protected Collection<String> getInitialObjectNames()

Returns the names of the types that can be created as the root object.

Generated class or method.

createInitialModel

protected EObject createInitialModel()

Create a new model.

Generated class or method.

performFinish

public boolean performFinish()

Do the work after everything is specified.

Specified by:

performFinish in interface IWizard

Specified by:

performFinish in class Wizard

Generated class or method.

addPages

public void addPages()

The framework calls this to create the contents of the wizard.

Specified by:

addPages in interface IWizard

Overrides:

addPages in class Wizard

Generated class or method.

getModelFile

public IFile getModelFile()

Get the file from the page.

Generated class or method.