vocleditor.dialog
Class LetExpPropertiesDialog

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.LetExpPropertiesDialog
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 LetExpPropertiesDialog
extends org.eclipse.jface.dialogs.TitleAreaDialog
implements org.eclipse.swt.events.SelectionListener, org.eclipse.swt.events.ModifyListener

Author:
tugstugi TODO To change the template for this generated type comment go to Window - Preferences - Java - Code Style - Code Templates

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
LetExpPropertiesDialog(org.eclipse.swt.widgets.Shell parentShell, VOCLModel.LetExp letexp)
          Constructs a LetExpPropertiesDialog
 
Method Summary
 boolean getIsHorizontal()
          Returns the context type selected in this dialog ("inv", "pre" or "post").
 int getSplitPercentage()
          Returns the split percentage.
 VOCLModel.VariableDeclaration getVariableDeclaration()
          Returns the variable declaration.
 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

LetExpPropertiesDialog

public LetExpPropertiesDialog(org.eclipse.swt.widgets.Shell parentShell,
                              VOCLModel.LetExp letexp)
Constructs a LetExpPropertiesDialog

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

getSplitPercentage

public int getSplitPercentage()
Returns the split percentage.

Returns:
the split percantage

getVariableDeclaration

public VOCLModel.VariableDeclaration getVariableDeclaration()
Returns the variable declaration.

Returns:
the variable declaration

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)