TPTP 4.6.0 Platform Project
Internal API Specification

org.eclipse.tptp.platform.instrumentation.ui.internal.util
Class EditDialog

java.lang.Object
  extended by org.eclipse.jface.window.Window
      extended by org.eclipse.jface.dialogs.Dialog
          extended by org.eclipse.tptp.platform.instrumentation.ui.internal.util.EditDialog
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 EditDialog
extends org.eclipse.jface.dialogs.Dialog
implements org.eclipse.swt.events.ModifyListener, org.eclipse.swt.events.SelectionListener

This dialog allows the user to edit the filter entries.


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
EditDialog(org.eclipse.swt.widgets.Shell shell, java.lang.String title, java.lang.String clas, java.lang.String method, java.lang.String rule, java.lang.String pack, org.eclipse.debug.core.ILaunchConfiguration launchConfiguration)
          The constructor.
 
Method Summary
 java.lang.String clas()
          Returns the class
 void clas(java.lang.String clas)
          Sets the class to filter.
protected  void configureShell(org.eclipse.swt.widgets.Shell shell)
          Configures the given shell in preparation for opening this window in it.
protected  org.eclipse.swt.widgets.Control createDialogArea(org.eclipse.swt.widgets.Composite parent)
           
 java.lang.String method()
          Returns the method
 void method(java.lang.String method)
          Sets the method
 void modifyText(org.eclipse.swt.events.ModifyEvent e)
           
protected  void okPressed()
           
 java.lang.String packag()
           
 void packag(java.lang.String pack)
           
 java.lang.String rule()
           
 void rule(java.lang.String rule)
          Sets the rule
 void widgetDefaultSelected(org.eclipse.swt.events.SelectionEvent e)
           
 void widgetSelected(org.eclipse.swt.events.SelectionEvent event)
           
 
Methods inherited from class org.eclipse.jface.dialogs.Dialog
applyDialogFont, buttonPressed, cancelPressed, 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, constrainShellSize, createShell, getConstrainedShellBounds, getContents, getDefaultImage, getDefaultImages, getDefaultOrientation, getLayout, getParentShell, getReturnCode, getShell, getShellListener, getShellStyle, getWindowManager, handleFontChange, handleShellCloseEvent, open, 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

EditDialog

public EditDialog(org.eclipse.swt.widgets.Shell shell,
                  java.lang.String title,
                  java.lang.String clas,
                  java.lang.String method,
                  java.lang.String rule,
                  java.lang.String pack,
                  org.eclipse.debug.core.ILaunchConfiguration launchConfiguration)
The constructor.

Method Detail

configureShell

protected void configureShell(org.eclipse.swt.widgets.Shell shell)
Configures the given shell in preparation for opening this window in it.

Overrides:
configureShell in class org.eclipse.jface.window.Window

clas

public void clas(java.lang.String clas)
Sets the class to filter.

Parameters:
clas - the class

clas

public java.lang.String clas()
Returns the class

Returns:
the class

method

public void method(java.lang.String method)
Sets the method

Parameters:
method - the method

method

public java.lang.String method()
Returns the method

Returns:
the method

rule

public void rule(java.lang.String rule)
Sets the rule

Parameters:
rule - the rule

rule

public java.lang.String rule()

packag

public void packag(java.lang.String pack)

packag

public java.lang.String packag()

createDialogArea

protected org.eclipse.swt.widgets.Control createDialogArea(org.eclipse.swt.widgets.Composite parent)
Overrides:
createDialogArea in class org.eclipse.jface.dialogs.Dialog

widgetDefaultSelected

public void widgetDefaultSelected(org.eclipse.swt.events.SelectionEvent e)
Specified by:
widgetDefaultSelected in interface org.eclipse.swt.events.SelectionListener

widgetSelected

public void widgetSelected(org.eclipse.swt.events.SelectionEvent event)
Specified by:
widgetSelected in interface org.eclipse.swt.events.SelectionListener

modifyText

public void modifyText(org.eclipse.swt.events.ModifyEvent e)
Specified by:
modifyText in interface org.eclipse.swt.events.ModifyListener

okPressed

protected void okPressed()
Overrides:
okPressed in class org.eclipse.jface.dialogs.Dialog

TPTP 4.6.0 Platform Project
Internal API Specification