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:

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

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

The page implementing the Interactive OCL console.

Nested Class Summary

Nested Classes

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

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	cancelValidation()
void	createControl(org.eclipse.swt.widgets.Composite parent)
protected EnvironmentFactoryAdapter	createEditor(org.eclipse.swt.widgets.Composite s1)
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()
OCL	getEditorOCL()
EnvironmentFactory	getEnvironmentFactory(org.eclipse.emf.ecore.EObject contextObject)
java.lang.String	getLastOCLExpression()
protected org.eclipse.debug.core.ILaunch	internalLaunchDebugger()
protected void	popUpModelTypesUsageInformation()
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:

console -

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

rgb - the color to print the text with

bold - whether to print the text bold

cancelValidation

public void cancelValidation()

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

createEditor

@Nullable
protected EnvironmentFactoryAdapter createEditor(org.eclipse.swt.widgets.Composite s1)

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

@Nullable
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()

getEditorOCL

public OCL getEditorOCL()

getLastOCLExpression

public java.lang.String getLastOCLExpression()

getEnvironmentFactory

@NonNull
public EnvironmentFactory getEnvironmentFactory(@Nullable
                                                          org.eclipse.emf.ecore.EObject contextObject)

internalLaunchDebugger

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

popUpModelTypesUsageInformation

protected void popUpModelTypesUsageInformation()

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