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

Nested Classes

Modifier and Type	Class and Description
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

Constructors

Modifier	Constructor and Description
protected	OCLConsolePage(OCLConsole console) Initializes me.

Method Summary

Methods

Modifier and Type	Method and Description
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()
protected org.eclipse.jface.viewers.ISelection	getActiveSelection()
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)
void	metaModelManagerDisposed(MetaModelManager metaModelManager) Prints the specified object to the output viewer.
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()

getActiveSelection

protected org.eclipse.jface.viewers.ISelection getActiveSelection()

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)

metaModelManagerDisposed

public void metaModelManagerDisposed(@NonNull
                            MetaModelManager metaModelManager)

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.

Specified by:

metaModelManagerDisposed in interface MetaModelManagerListener

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(); }

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