edu.wis.jtlv.env.ui.wizards
Class NewSMVFileWizardPage

java.lang.Object
  extended by org.eclipse.jface.dialogs.DialogPage
      extended by org.eclipse.jface.wizard.WizardPage
          extended by edu.wis.jtlv.env.ui.wizards.NewSMVFileWizardPage
All Implemented Interfaces:
org.eclipse.jface.dialogs.IDialogPage, org.eclipse.jface.dialogs.IMessageProvider, org.eclipse.jface.wizard.IWizardPage

public class NewSMVFileWizardPage
extends org.eclipse.jface.wizard.WizardPage

The "New" wizard page allows setting the container for the new file as well as the file name. The page will only accept file name without the extension OR with the extension that matches the expected one (smv).


Field Summary
 
Fields inherited from interface org.eclipse.jface.dialogs.IMessageProvider
ERROR, INFORMATION, NONE, WARNING
 
Constructor Summary
NewSMVFileWizardPage(org.eclipse.jface.viewers.ISelection selection)
          Constructor for SampleNewWizardPage.
 
Method Summary
 void createControl(org.eclipse.swt.widgets.Composite parent)
           
 java.lang.String getContainerName()
           
 java.lang.String getFileName()
           
 
Methods inherited from class org.eclipse.jface.wizard.WizardPage
canFlipToNextPage, getImage, getName, getNextPage, getPreviousPage, getShell, getWizard, isPageComplete, setDescription, setErrorMessage, setImageDescriptor, setMessage, setPageComplete, setPreviousPage, setTitle, setWizard, toString
 
Methods inherited from class org.eclipse.jface.dialogs.DialogPage
dispose, getControl, getDescription, getErrorMessage, getMessage, getMessageType, getTitle, performHelp, setMessage, setVisible
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface org.eclipse.jface.dialogs.IDialogPage
dispose, getControl, getDescription, getErrorMessage, getMessage, getTitle, performHelp, setVisible
 

Constructor Detail

NewSMVFileWizardPage

public NewSMVFileWizardPage(org.eclipse.jface.viewers.ISelection selection)
Constructor for SampleNewWizardPage.

Parameters:
pageName -
Method Detail

createControl

public void createControl(org.eclipse.swt.widgets.Composite parent)
See Also:
IDialogPage#createControl(Composite)

getContainerName

public java.lang.String getContainerName()

getFileName

public java.lang.String getFileName()