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.
  • 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

      This is the file creation page.
      Generated class or method.
    • 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.