Class MarkovModelWizard.MarkovModelWizardNewFileCreationPage

java.lang.Object
org.eclipse.jface.dialogs.DialogPage
org.eclipse.jface.wizard.WizardPage
org.eclipse.ui.dialogs.WizardNewFileCreationPage
org.palladiosimulator.reliability.markov.presentation.MarkovModelWizard.MarkovModelWizardNewFileCreationPage
All Implemented Interfaces:
IDialogPage, IMessageProvider, IWizardPage, Listener
Enclosing class:
MarkovModelWizard

public class MarkovModelWizard.MarkovModelWizardNewFileCreationPage extends WizardNewFileCreationPage
This is the one page of the wizard.
Generated class or method.
  • Constructor Details

    • MarkovModelWizardNewFileCreationPage

      public MarkovModelWizardNewFileCreationPage(String pageId, IStructuredSelection selection)
      Pass in the selection.
      Generated class or method.
  • Method Details

    • validatePage

      protected boolean validatePage()
      The framework calls this to see if the file is correct.
      Overrides:
      validatePage in class WizardNewFileCreationPage
      Generated class or method.
    • getModelFile

      public IFile getModelFile()
      Generated class or method.