|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.eclipse.jface.window.Window
org.eclipse.jface.dialogs.Dialog
org.eclipse.jface.dialogs.TitleAreaDialog
vocleditor.dialog.BoolExpPropertiesDialog
public class BoolExpPropertiesDialog
Dialog to modify Bool Exp properties
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 |
---|
public BoolExpPropertiesDialog(org.eclipse.swt.widgets.Shell parentShell, VOCLModel.BoolExp boolexp)
parentShell
- parent shellboolexp
- the BoolExp to be shown/modifiedMethod Detail |
---|
public boolean getIsHorizontal()
public VOCLModel.BoolOperation getOperation()
public int getSplitPercentage()
public boolean isNegated()
public void widgetSelected(org.eclipse.swt.events.SelectionEvent e)
widgetSelected
in interface org.eclipse.swt.events.SelectionListener
public void widgetDefaultSelected(org.eclipse.swt.events.SelectionEvent e)
widgetDefaultSelected
in interface org.eclipse.swt.events.SelectionListener
SelectionListener.widgetDefaultSelected(org.eclipse.swt.events.SelectionEvent)
public void modifyText(org.eclipse.swt.events.ModifyEvent e)
modifyText
in interface org.eclipse.swt.events.ModifyListener
ModifyListener.modifyText(org.eclipse.swt.events.ModifyEvent)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |