org.eclipse.ocl.examples.interpreter.console

Class OCLConsolePage

java.lang.Object

org.eclipse.ui.part.Page

org.eclipse.ocl.examples.interpreter.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.

Field Summary

Fields

Modifier and Type	Field and Description
org.eclipse.emf.edit.provider.IItemLabelProvider	tupleTypeLabelProvider

Method Summary

Methods

Modifier and Type	Method and Description
void	createControl(org.eclipse.swt.widgets.Composite parent)
void	dispose() Extends the inherited method to dispose of additional colour resources.
org.eclipse.swt.widgets.Control	getControl()
void	setFocus()
void	setTargetMetamodel(TargetMetamodel metamodel) Programmatically sets my target metamodel.

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

Field Detail

tupleTypeLabelProvider

public org.eclipse.emf.edit.provider.IItemLabelProvider tupleTypeLabelProvider

Method Detail

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

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

setFocus

public void setFocus()

Specified by:

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

Specified by:

setFocus 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

setTargetMetamodel

public void setTargetMetamodel(TargetMetamodel metamodel)

Programmatically sets my target metamodel.

Parameters:

metamodel - the target metamodel