de.cau.cs.kieler.keg.diagram.custom.wizards
Class RandomGraphNewFilePage
java.lang.Object
org.eclipse.jface.dialogs.DialogPage
org.eclipse.jface.wizard.WizardPage
org.eclipse.ui.dialogs.WizardNewFileCreationPage
de.cau.cs.kieler.keg.diagram.custom.wizards.RandomGraphNewFilePage
- All Implemented Interfaces:
- IDialogPage, IMessageProvider, IWizardPage, Listener
public class RandomGraphNewFilePage
- extends WizardNewFileCreationPage
The wizard page from which to select the KEG file to the graph is generated into.
- Rating

Methods inherited from class org.eclipse.ui.dialogs.WizardNewFileCreationPage |
createControl, createFile, createFileHandle, createLinkTarget, createNewFile, createRule, getContainerFullPath, getFileExtension, getFileName, getInitialContents, getNewFileLabel, handleAdvancedButtonSelect, handleEvent, initialPopulateContainerNameField, setAllowExistingResources, setContainerFullPath, setFileExtension, setFileName, setVisible, validateLinkedResource, validatePage |
Methods inherited from class org.eclipse.jface.wizard.WizardPage |
canFlipToNextPage, getContainer, getDialogSettings, getImage, getName, getNextPage, getPreviousPage, getShell, getWizard, isCurrentPage, isPageComplete, setDescription, setErrorMessage, setImageDescriptor, setMessage, setPageComplete, setPreviousPage, setTitle, setWizard, toString |
Methods inherited from class org.eclipse.jface.dialogs.DialogPage |
convertHeightInCharsToPixels, convertHorizontalDLUsToPixels, convertVerticalDLUsToPixels, convertWidthInCharsToPixels, dispose, getControl, getDescription, getDialogFontName, getErrorMessage, getFont, getMessage, getMessageType, getTitle, getToolTipText, initializeDialogUnits, isControlCreated, performHelp, setButtonLayoutData, setControl, setMessage |
RandomGraphNewFilePage
public RandomGraphNewFilePage(IStructuredSelection selection)
- Constructs the new file wizard page.
- Parameters:
selection
- the selection the wizard is called on
createAdvancedControls
protected void createAdvancedControls(Composite parent)
-
- Overrides:
createAdvancedControls
in class WizardNewFileCreationPage
savePreferences
public void savePreferences()
- Saves the selected options to the preference store.
getNumberOfGraphs
public int getNumberOfGraphs()
- Returns the number of graphs to be created.
- Returns:
- the number of graphs
getCreateDiagramFiles
public boolean getCreateDiagramFiles()
- Returns whether to create diagram files for the created graphs.
- Returns:
- true if diagram files have to be created for the graphs; false else
getOpenDiagramFiles
public boolean getOpenDiagramFiles()
- Returns whether to open the created diagram files.
- Returns:
- true if the diagram files have to be opened; false else