vocleditor.dialog
Class IfExpPropertiesDialog

java.lang.Object
  extended by org.eclipse.jface.window.Window
      extended by org.eclipse.jface.dialogs.Dialog
          extended by org.eclipse.jface.dialogs.TitleAreaDialog
              extended by vocleditor.dialog.IfExpPropertiesDialog
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 IfExpPropertiesDialog
extends org.eclipse.jface.dialogs.TitleAreaDialog
implements org.eclipse.swt.events.SelectionListener, org.eclipse.swt.events.ModifyListener

Dialog to modify Bool Exp properties

Author:
bjoern

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.TitleAreaDialog
DLG_IMG_TITLE_BANNER, DLG_IMG_TITLE_ERROR, INFO_MESSAGE, WARNING_MESSAGE
 
Fields inherited from class org.eclipse.jface.dialogs.Dialog
blockedHandler, buttonBar, DLG_IMG_ERROR, 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
IfExpPropertiesDialog(org.eclipse.swt.widgets.Shell parentShell, VOCLModel.IfExp ifexp)
          Constructs a IfExpPropertiesDialog
 
Method Summary
 boolean getIsHorizontal()
          Returns the context type selected in this dialog ("inv", "pre" or "post").
 int getSplitPercentage1()
          Returns the split percentage 1.
 int getSplitPercentage2()
          Returns the split percentage 2.
 boolean isNegated()
          Returns the negation flag.
 void modifyText(org.eclipse.swt.events.ModifyEvent e)
          Modifies text.
 void widgetDefaultSelected(org.eclipse.swt.events.SelectionEvent e)
          Widged default selected listener.
 void widgetSelected(org.eclipse.swt.events.SelectionEvent e)
          listens and reacts to "Add", "Edit" and "Delete" buttons
 
Methods inherited from class org.eclipse.jface.dialogs.TitleAreaDialog
setErrorMessage, setMessage, setMessage, setTitle, setTitleAreaColor, setTitleImage
 
Methods inherited from class org.eclipse.jface.dialogs.Dialog
applyDialogFont, close, convertHeightInCharsToPixels, convertHorizontalDLUsToPixels, convertVerticalDLUsToPixels, convertWidthInCharsToPixels, create, getBlockedHandler, getImage, setBlockedHandler, shortenText
 
Methods inherited from class org.eclipse.jface.window.Window
getDefaultImage, getDefaultImages, getDefaultOrientation, getReturnCode, getShell, getWindowManager, open, setBlockOnOpen, setDefaultImage, setDefaultImages, setDefaultModalParent, setDefaultOrientation, setExceptionHandler, setWindowManager
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

IfExpPropertiesDialog

public IfExpPropertiesDialog(org.eclipse.swt.widgets.Shell parentShell,
                             VOCLModel.IfExp ifexp)
Constructs a IfExpPropertiesDialog

Parameters:
parentShell - parent shell
ifexp - the IfExp to be shown/modified
Method Detail

getIsHorizontal

public boolean getIsHorizontal()
Returns the context type selected in this dialog ("inv", "pre" or "post").

Returns:
the context type selected in this dialog ("inv", "pre" or "post")

getSplitPercentage1

public int getSplitPercentage1()
Returns the split percentage 1.

Returns:
the split percentage 1

getSplitPercentage2

public int getSplitPercentage2()
Returns the split percentage 2.

Returns:
the split percentage 2

isNegated

public boolean isNegated()
Returns the negation flag.

Returns:
the negation flag

widgetSelected

public void widgetSelected(org.eclipse.swt.events.SelectionEvent e)
listens and reacts to "Add", "Edit" and "Delete" buttons

Specified by:
widgetSelected in interface org.eclipse.swt.events.SelectionListener

widgetDefaultSelected

public void widgetDefaultSelected(org.eclipse.swt.events.SelectionEvent e)
Widged default selected listener.

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)
Modifies text.

Specified by:
modifyText in interface org.eclipse.swt.events.ModifyListener
See Also:
ModifyListener.modifyText(org.eclipse.swt.events.ModifyEvent)