vocleditor.dialog
Class BoolExpPropertiesDialog

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.BoolExpPropertiesDialog
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 BoolExpPropertiesDialog
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
BoolExpPropertiesDialog(org.eclipse.swt.widgets.Shell parentShell, VOCLModel.BoolExp boolexp)
          Constructs a BoolExpPropertiesDialog
 
Method Summary
 boolean getIsHorizontal()
          Returns the context type selected in this dialog ("inv", "pre" or "post").
 VOCLModel.BoolOperation getOperation()
          Returns the bool operation.
 int getSplitPercentage()
          Returns the split percentage.
 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

BoolExpPropertiesDialog

public BoolExpPropertiesDialog(org.eclipse.swt.widgets.Shell parentShell,
                               VOCLModel.BoolExp boolexp)
Constructs a BoolExpPropertiesDialog

Parameters:
parentShell - parent shell
boolexp - the BoolExp 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")

getOperation

public VOCLModel.BoolOperation getOperation()
Returns the bool operation.

Returns:
the bool operation

getSplitPercentage

public int getSplitPercentage()
Returns the split percentage.

Returns:
the split percentage

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)