org.eclipse.tptp.platform.llc.launch.internal.sets
Class MethodSpecEditor

java.lang.Object
  org.eclipse.jface.window.Window
      org.eclipse.jface.dialogs.Dialog
          org.eclipse.tptp.platform.llc.launch.internal.sets.MethodSpecEditor

All Implemented Interfaces:

java.util.EventListener, org.eclipse.jface.window.IShellProvider, org.eclipse.swt.events.ModifyListener, org.eclipse.swt.events.SelectionListener, org.eclipse.swt.internal.SWTEventListener

public class MethodSpecEditor
extends org.eclipse.jface.dialogs.Dialog
implements org.eclipse.swt.events.SelectionListener, org.eclipse.swt.events.ModifyListener

This is the common dialog to define Find and/or Filter Criteria(s)

Nested Class Summary

Nested classes/interfaces inherited from class org.eclipse.jface.window.Window

org.eclipse.jface.window.Window.IExceptionHandler

Field Summary

Fields inherited from class org.eclipse.jface.dialogs.Dialog

blockedHandler, buttonBar, DIALOG_DEFAULT_BOUNDS, DIALOG_PERSISTLOCATION, DIALOG_PERSISTSIZE, dialogArea, DLG_IMG_ERROR, DLG_IMG_HELP, DLG_IMG_INFO, DLG_IMG_MESSAGE_ERROR, DLG_IMG_MESSAGE_INFO, DLG_IMG_MESSAGE_WARNING, DLG_IMG_QUESTION, DLG_IMG_WARNING, ELLIPSIS

Fields inherited from class org.eclipse.jface.window.Window

CANCEL, OK

Constructor Summary

MethodSpecEditor(org.eclipse.swt.widgets.Shell parent, int style)

Method Summary

void	cancelPressed() Called when the dialog box cancel button is pressed
protected void	checkContents(org.eclipse.swt.widgets.Widget widget)
protected boolean	checkOneContent(int index, java.lang.String current) return true if check fails
void	copyFromMethodSpec(org.eclipse.tptp.platform.llc.launch.internal.sets.MethodSpec from) Initialize the dialog with the settings of an existing DumpReturningSpec DumpReturningSpec must not be null and the TabContents must have been created
void	copyToMethodSpec() Get the current end-user settings from the dialog to a DumpReturningSpec
org.eclipse.swt.widgets.Control	createDialogArea(org.eclipse.swt.widgets.Composite arg0)
org.eclipse.tptp.platform.llc.launch.internal.sets.MethodSpec	getMethodSpec()
void	handleShellCloseEvent() Called when the dialog box is closed from its windows button
void	modifyText(org.eclipse.swt.events.ModifyEvent e)
void	okPressed() Called when the dialog box ok button is pressed
int	open() Open the dialog box
void	setMethodSpec(org.eclipse.tptp.platform.llc.launch.internal.sets.MethodSpec methodSpec_)
void	setOkText(java.lang.String okText_)
void	widgetDefaultSelected(org.eclipse.swt.events.SelectionEvent e)
void	widgetSelected(org.eclipse.swt.events.SelectionEvent e)

Methods inherited from class org.eclipse.jface.dialogs.Dialog

applyDialogFont, buttonPressed, close, convertHeightInCharsToPixels, convertHeightInCharsToPixels, convertHorizontalDLUsToPixels, convertHorizontalDLUsToPixels, convertVerticalDLUsToPixels, convertVerticalDLUsToPixels, convertWidthInCharsToPixels, convertWidthInCharsToPixels, create, createButton, createButtonBar, createButtonsForButtonBar, createContents, dialogFontIsDefault, getBlockedHandler, getButton, getButtonBar, getCancelButton, getDialogArea, getDialogBoundsSettings, getDialogBoundsStrategy, getImage, getInitialLocation, getInitialSize, getOKButton, initializeBounds, initializeDialogUnits, isResizable, setBlockedHandler, setButtonLayoutData, setButtonLayoutFormData, shortenText

Methods inherited from class org.eclipse.jface.window.Window

canHandleShellCloseEvent, configureShell, constrainShellSize, createShell, getConstrainedShellBounds, getContents, getDefaultImage, getDefaultImages, getDefaultOrientation, getLayout, getParentShell, getReturnCode, getShell, getShellListener, getShellStyle, getWindowManager, handleFontChange, setBlockOnOpen, setDefaultImage, setDefaultImages, setDefaultModalParent, setDefaultOrientation, setExceptionHandler, setParentShell, setReturnCode, setShellStyle, setWindowManager

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

MethodSpecEditor

public MethodSpecEditor(org.eclipse.swt.widgets.Shell parent,
                        int style)

Parameters:

parent -

style -

Method Detail

createDialogArea

public org.eclipse.swt.widgets.Control createDialogArea(org.eclipse.swt.widgets.Composite arg0)

Overrides:

createDialogArea in class org.eclipse.jface.dialogs.Dialog

See Also:

Dialog.createDialogArea(org.eclipse.swt.widgets.Composite)

open

public int open()

Open the dialog box

Overrides:

open in class org.eclipse.jface.window.Window

okPressed

public void okPressed()

Called when the dialog box ok button is pressed

Overrides:

okPressed in class org.eclipse.jface.dialogs.Dialog

cancelPressed

public void cancelPressed()

Called when the dialog box cancel button is pressed

Overrides:

cancelPressed in class org.eclipse.jface.dialogs.Dialog

handleShellCloseEvent

public void handleShellCloseEvent()

Called when the dialog box is closed from its windows button

Overrides:

handleShellCloseEvent in class org.eclipse.jface.window.Window

getMethodSpec

public org.eclipse.tptp.platform.llc.launch.internal.sets.MethodSpec getMethodSpec()

setMethodSpec

public void setMethodSpec(org.eclipse.tptp.platform.llc.launch.internal.sets.MethodSpec methodSpec_)

Parameters:

methodSpec_ -

copyToMethodSpec

public void copyToMethodSpec()

Get the current end-user settings from the dialog to a DumpReturningSpec

copyFromMethodSpec

public void copyFromMethodSpec(org.eclipse.tptp.platform.llc.launch.internal.sets.MethodSpec from)

Initialize the dialog with the settings of an existing DumpReturningSpec
DumpReturningSpec must not be null and the TabContents must have been created

Parameters:

from -

setOkText

public void setOkText(java.lang.String okText_)

Parameters:

okText_ -

widgetSelected

public void widgetSelected(org.eclipse.swt.events.SelectionEvent e)

Specified by:

widgetSelected in interface org.eclipse.swt.events.SelectionListener

See Also:

SelectionListener.widgetSelected(org.eclipse.swt.events.SelectionEvent)

checkContents

protected void checkContents(org.eclipse.swt.widgets.Widget widget)

checkOneContent

protected boolean checkOneContent(int index,
                                  java.lang.String current)

return true if check fails

widgetDefaultSelected

public void widgetDefaultSelected(org.eclipse.swt.events.SelectionEvent e)

Specified by:

widgetDefaultSelected in interface org.eclipse.swt.events.SelectionListener

See Also:

SelectionListener.widgetDefaultSelected(org.eclipse.swt.events.SelectionEvent)

modifyText

public void modifyText(org.eclipse.swt.events.ModifyEvent e)

Specified by:

modifyText in interface org.eclipse.swt.events.ModifyListener

See Also:

ModifyListener.modifyText(org.eclipse.swt.events.ModifyEvent)