org.eclipse.ocl.examples.debug.ui.actions

Class DebugDialog

java.lang.Object

org.eclipse.jface.window.Window

org.eclipse.jface.dialogs.Dialog

org.eclipse.ocl.examples.debug.ui.actions.DebugDialog

All Implemented Interfaces:

org.eclipse.jface.window.IShellProvider

public class DebugDialog
extends org.eclipse.jface.dialogs.Dialog

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected class	DebugDialog.ConstraintModifyListener
protected class	DebugDialog.ConstraintsModifyListener

Nested classes/interfaces inherited from class org.eclipse.jface.window.Window

org.eclipse.jface.window.Window.IExceptionHandler

Field Summary

Fields

Modifier and Type	Field and Description
protected CompleteOCLRegistry	completeOCLRegistry
protected Constraint	selectedConstraint
protected org.eclipse.emf.ecore.EObject	selectedObject

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, resizeHasOccurred

Constructor Summary

Constructors

Constructor and Description
DebugDialog(org.eclipse.swt.widgets.Shell parentShell, org.eclipse.emf.ecore.EObject selectedObject) Create the dialog.

Method Summary

Modifier and Type	Method and Description
protected void	createButtonsForButtonBar(org.eclipse.swt.widgets.Composite parent) Create contents of the button bar.
protected org.eclipse.swt.widgets.Control	createDialogArea(org.eclipse.swt.widgets.Composite parent) Create contents of the dialog.
Constraint	getConstraint()
org.eclipse.emf.ecore.EObject	getContext()
protected org.eclipse.swt.graphics.Point	getInitialSize() Return the initial size of the dialog.
void	setSelection(org.eclipse.emf.ecore.EObject eObject)

Methods inherited from class org.eclipse.jface.dialogs.Dialog

applyDialogFont, buttonPressed, cancelPressed, close, convertHeightInCharsToPixels, convertHeightInCharsToPixels, convertHorizontalDLUsToPixels, convertHorizontalDLUsToPixels, convertVerticalDLUsToPixels, convertVerticalDLUsToPixels, convertWidthInCharsToPixels, convertWidthInCharsToPixels, create, createButton, createButtonBar, createContents, dialogFontIsDefault, getBlockedHandler, getButton, getButtonBar, getCancelButton, getDialogArea, getDialogBoundsSettings, getDialogBoundsStrategy, getImage, getInitialLocation, getOKButton, initializeBounds, initializeDialogUnits, isResizable, okPressed, setBlockedHandler, setButtonLayoutData, setButtonLayoutFormData, shortenText

Methods inherited from class org.eclipse.jface.window.Window

canHandleShellCloseEvent, configureShell, 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

Field Detail

completeOCLRegistry

@NonNull
protected final CompleteOCLRegistry completeOCLRegistry

selectedObject

@NonNull
protected final org.eclipse.emf.ecore.EObject selectedObject

selectedConstraint

@Nullable
protected Constraint selectedConstraint

Constructor Detail

DebugDialog

public DebugDialog(org.eclipse.swt.widgets.Shell parentShell,
                   @NonNull
                   org.eclipse.emf.ecore.EObject selectedObject)

Create the dialog.

Parameters:

parentShell -

selectedObject -

Method Detail

createDialogArea

protected org.eclipse.swt.widgets.Control createDialogArea(org.eclipse.swt.widgets.Composite parent)

Create contents of the dialog.

Overrides:

createDialogArea in class org.eclipse.jface.dialogs.Dialog

Parameters:

parent -

createButtonsForButtonBar

protected void createButtonsForButtonBar(org.eclipse.swt.widgets.Composite parent)

Create contents of the button bar.

Overrides:

createButtonsForButtonBar in class org.eclipse.jface.dialogs.Dialog

Parameters:

parent -

getInitialSize

protected org.eclipse.swt.graphics.Point getInitialSize()

Return the initial size of the dialog.

Overrides:

getInitialSize in class org.eclipse.jface.dialogs.Dialog

setSelection

public void setSelection(@NonNull
                         org.eclipse.emf.ecore.EObject eObject)

getContext

@NonNull
public org.eclipse.emf.ecore.EObject getContext()

getConstraint

@Nullable
public Constraint getConstraint()