|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.eclipse.jface.dialogs.DialogPage
org.eclipse.jface.wizard.WizardPage
org.eclipse.ui.dialogs.WizardDataTransferPage
org.eclipse.ui.dialogs.WizardExportResourcesPage
de.cau.cs.kieler.sim.kiem.automated.ui.ui.FileSelectionPage
public class FileSelectionPage
This page displays the current workspace and asks the user to select the execution and model files.
Field Summary |
---|
Fields inherited from class org.eclipse.ui.dialogs.WizardDataTransferPage |
---|
COMBO_HISTORY_LENGTH, SIZING_TEXT_FIELD_WIDTH |
Fields inherited from interface org.eclipse.ui.dialogs.IOverwriteQuery |
---|
ALL, CANCEL, NO, NO_ALL, YES |
Fields inherited from interface org.eclipse.jface.dialogs.IMessageProvider |
---|
ERROR, INFORMATION, NONE, WARNING |
Constructor Summary | |
---|---|
protected |
FileSelectionPage()
Creates a new FileSelectionPage with nothing selected. |
protected |
FileSelectionPage(IStructuredSelection selection)
Creates a new FileSelectionPage with an initial selection. |
Method Summary | |
---|---|
boolean |
canFlipToNextPage()
|
protected void |
createDestinationGroup(Composite parent)
|
protected void |
createOptionsGroupButtons(Group parent)
|
List<String> |
getAllSelectedFiles()
Get all selected files as a list of OSStrings. |
List<IPath> |
getExecutionFiles()
Getter for the executionFiles. |
List<IPath> |
getModelFiles()
Getter for the modelFiles. |
void |
handleEvent(Event event)
|
boolean |
isPageComplete()
|
void |
widgetDefaultSelected(SelectionEvent e)
|
void |
widgetSelected(SelectionEvent e)
|
Methods inherited from class org.eclipse.ui.dialogs.WizardDataTransferPage |
---|
addToHistory, addToHistory, createBoldLabel, createOptionsGroup, createPlainLabel, createSpacer, determinePageCompletion, displayErrorDialog, displayErrorDialog, getPathFromText, queryForContainer, queryForContainer, queryOverwrite, queryYesNoQuestion, restoreWidgetValues, updatePageCompletion, validateDestinationGroup, validateOptionsGroup, validateSourceGroup |
Methods inherited from class org.eclipse.jface.wizard.WizardPage |
---|
getContainer, getDialogSettings, getImage, getName, getNextPage, getPreviousPage, getShell, getWizard, isCurrentPage, 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, setVisible |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, 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 |
---|
protected FileSelectionPage()
protected FileSelectionPage(IStructuredSelection selection)
selection
- the initial selectionMethod Detail |
---|
public boolean canFlipToNextPage()
canFlipToNextPage
in interface IWizardPage
canFlipToNextPage
in class WizardPage
public boolean isPageComplete()
isPageComplete
in interface IWizardPage
isPageComplete
in class WizardPage
protected void createDestinationGroup(Composite parent)
createDestinationGroup
in class WizardExportResourcesPage
protected void createOptionsGroupButtons(Group parent)
createOptionsGroupButtons
in class WizardDataTransferPage
public void handleEvent(Event event)
handleEvent
in interface Listener
public List<String> getAllSelectedFiles()
public List<IPath> getExecutionFiles()
public List<IPath> getModelFiles()
public void widgetDefaultSelected(SelectionEvent e)
widgetDefaultSelected
in interface SelectionListener
public void widgetSelected(SelectionEvent e)
widgetSelected
in interface SelectionListener
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |