public class OCLConsolePage
extends org.eclipse.ui.part.Page
Modifier and Type | Class and Description |
---|---|
static class |
OCLConsolePage.ColorChoices |
static class |
OCLConsolePage.InterrogatableContentAssistant |
static class |
OCLConsolePage.InterrogatableContentAssistantFactory |
Modifier | Constructor and Description |
---|---|
protected |
OCLConsolePage(OCLConsole console)
Initializes me.
|
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() |
EnvironmentFactoryInternal |
getEnvironmentFactory(org.eclipse.emf.ecore.EObject contextObject) |
java.lang.String |
getLastOCLExpression() |
protected org.eclipse.debug.core.ILaunch |
internalLaunchDebugger() |
protected void |
refreshSelection(java.lang.Object selected) |
void |
reset() |
protected void |
resetDocument() |
void |
setFocus() |
protected OCLConsolePage(OCLConsole console)
console
- protected void append(java.lang.String text, org.eclipse.swt.graphics.RGB rgb, boolean bold)
text
- the text to appendrgb
- the color to print the text withbold
- whether to print the text boldpublic void cancelValidation()
public void createControl(org.eclipse.swt.widgets.Composite parent)
createControl
in interface org.eclipse.ui.part.IPage
createControl
in class org.eclipse.ui.part.Page
@Nullable protected EnvironmentFactoryAdapter createEditor(org.eclipse.swt.widgets.Composite s1)
public void dispose()
dispose
in interface org.eclipse.ui.part.IPage
dispose
in class org.eclipse.ui.part.Page
protected boolean evaluate(java.lang.String expression)
OCLHelper
API.expression
- an OCL expressiontrue
on successful evaluation; false
if the expression failed to parse or evaluateprotected void flushEvents()
public org.eclipse.emf.ecore.EObject getContextObject()
public org.eclipse.swt.widgets.Control getControl()
getControl
in interface org.eclipse.ui.part.IPage
getControl
in class org.eclipse.ui.part.Page
public org.eclipse.xtext.ui.editor.model.IXtextDocument getDocument(org.eclipse.emf.common.util.URI trimFragment)
public BaseDocument getEditorDocument()
public OCL getEditorOCL()
public java.lang.String getLastOCLExpression()
@NonNull public EnvironmentFactoryInternal getEnvironmentFactory(@Nullable org.eclipse.emf.ecore.EObject contextObject)
protected org.eclipse.debug.core.ILaunch internalLaunchDebugger()
protected void refreshSelection(java.lang.Object selected)
public void reset()
protected void resetDocument()
public void setFocus()
setFocus
in interface org.eclipse.ui.part.IPage
setFocus
in class org.eclipse.ui.part.Page