org.eclipse.ocl.examples.xtext.console
Class OCLConsolePage

java.lang.Object
  org.eclipse.ui.part.Page
      org.eclipse.ocl.examples.xtext.console.OCLConsolePage

All Implemented Interfaces:

MetaModelManagerListener, org.eclipse.ui.part.IPage, org.eclipse.ui.part.IPageBookViewPage

public class OCLConsolePage
extends org.eclipse.ui.part.Page
implements MetaModelManagerListener

The page implementing the Interactive OCL console.

Nested Class Summary

protected static class	OCLConsolePage.CancelableEvaluationVisitor CancelableEvaluationVisitor refines the EvaluationVisitor to poll the monitor foer cancelation at a variety of significant evaluation events, such as feature vists and #getValueFactory().
static class	OCLConsolePage.ColorChoices
static class	OCLConsolePage.InterrogatableContentAssistant
static class	OCLConsolePage.InterrogatableContentAssistantFactory

Constructor Summary

protected

OCLConsolePage(OCLConsole console) Initializes me.

Method Summary

protected void	append(java.lang.String text, org.eclipse.swt.graphics.RGB rgb, boolean bold) Appends the specified text to the output viewer.
void	createControl(org.eclipse.swt.widgets.Composite parent)
void	dispose() Extends the inherited method to dispose of additional colour resources.
protected boolean	evaluate(java.lang.String expression) Evaluates an OCL expression using the OCL Interpreter's OCLHelper API.
protected void	flushEvents()
org.eclipse.emf.ecore.EObject	getContextObject()
org.eclipse.swt.widgets.Control	getControl()
org.eclipse.xtext.ui.editor.model.IXtextDocument	getDocument(org.eclipse.emf.common.util.URI trimFragment)
BaseDocument	getEditorDocument()
java.lang.String	getLastOCLExpression() Gets the editor image for the specified element.
MetaModelManager	getMetaModelManager(org.eclipse.emf.ecore.EObject contextObject)
protected org.eclipse.debug.core.ILaunch	internalLaunchDebugger() Prints the specified object to the output viewer.
void	metaModelManagerDisposed(MetaModelManager metaModelManager) Respond to disposal of the MetaModelManager by eliminating all further usage.
protected void	refreshSelection(java.lang.Object selected)
void	reset()
protected void	resetDocument()
void	setFocus()

Methods inherited from class org.eclipse.ui.part.Page

getSite, init, makeContributions, setActionBars

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

OCLConsolePage

protected OCLConsolePage(OCLConsole console)

Initializes me.

Parameters:

oclConsole -

Method Detail

append

protected void append(java.lang.String text,
                      org.eclipse.swt.graphics.RGB rgb,
                      boolean bold)

Appends the specified text to the output viewer.

Parameters:

text - the text to append

color - the color to print the text with

bold - whether to print the text bold

createControl

public void createControl(org.eclipse.swt.widgets.Composite parent)

Specified by:

createControl in interface org.eclipse.ui.part.IPage

Specified by:

createControl in class org.eclipse.ui.part.Page

dispose

public void dispose()

Extends the inherited method to dispose of additional colour resources.

Specified by:

dispose in interface org.eclipse.ui.part.IPage

Overrides:

dispose in class org.eclipse.ui.part.Page

evaluate

protected boolean evaluate(java.lang.String expression)

Evaluates an OCL expression using the OCL Interpreter's OCLHelper API.

Parameters:

expression - an OCL expression

Returns:

true on successful evaluation; false if the expression failed to parse or evaluate

flushEvents

protected void flushEvents()

getContextObject

public org.eclipse.emf.ecore.EObject getContextObject()

getControl

public org.eclipse.swt.widgets.Control getControl()

Specified by:

getControl in interface org.eclipse.ui.part.IPage

Specified by:

getControl in class org.eclipse.ui.part.Page

getDocument

public org.eclipse.xtext.ui.editor.model.IXtextDocument getDocument(org.eclipse.emf.common.util.URI trimFragment)

getEditorDocument

public BaseDocument getEditorDocument()

getLastOCLExpression

public java.lang.String getLastOCLExpression()

Gets the editor image for the specified element.

Parameters:

element - a model element

Returns:

the corresponding image private ImageDescriptor getImage(EObject element) { ImageDescriptor result = null; IItemLabelProvider provider = (IItemLabelProvider) new ComposedAdapterFactory( ComposedAdapterFactory.Descriptor.Registry.INSTANCE).adapt( element, IItemLabelProvider.class); if (provider != null) { Object image = provider.getImage(element); if (image != null) { result = ExtendedImageRegistry.INSTANCE.getImageDescriptor(image); } } return result; }

getMetaModelManager

@NonNull
public MetaModelManager getMetaModelManager(@Nullable
                                                    org.eclipse.emf.ecore.EObject contextObject)

internalLaunchDebugger

protected org.eclipse.debug.core.ILaunch internalLaunchDebugger()

Prints the specified object to the output viewer. The object is converted to a string using the best matching EMF label provider adapter if it is an EObject; otherwise, just use String.valueOf(java.lang.Object) on it. If the object is a collection or an array, then we print each element on a separate line.

Parameters:

object - the object or collection to print

color - the color to print the object with

bold - whether to display it in bold text private void print(Value value, Color color, boolean bold) { CollectionValue collectionValue = value.isCollectionValue(); if (collectionValue != null) { for (Value elementValue : collectionValue) { append(String.valueOf(elementValue), color, bold); } } else { append(String.valueOf(value), color, bold); } /* Collection toPrint; if (object == null) { toPrint = Collections.EMPTY_SET; } else if (object instanceof Collection) { toPrint = (Collection) object; } else if (object.getClass().isArray()) { toPrint = Arrays.asList((Object[]) object); } else { toPrint = Collections.singleton(object); } for (Iterator iter = toPrint.iterator(); iter.hasNext();) { append(toString(iter.next()), color, bold); } * / // append(String.valueOf(object), color, bold); scrollText(); }

Returns:

metaModelManagerDisposed

public void metaModelManagerDisposed(@NonNull
                                     MetaModelManager metaModelManager)

Description copied from interface: MetaModelManagerListener

Respond to disposal of the MetaModelManager by eliminating all further usage.

Specified by:

metaModelManagerDisposed in interface MetaModelManagerListener

refreshSelection

protected void refreshSelection(java.lang.Object selected)

reset

public void reset()

resetDocument

protected void resetDocument()

setFocus

public void setFocus()

Specified by:

setFocus in interface org.eclipse.ui.part.IPage

Specified by:

setFocus in class org.eclipse.ui.part.Page