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

java.lang.Object
  extended by org.eclipse.ui.console.AbstractConsole
      extended by org.eclipse.ocl.examples.xtext.console.OCLConsole
All Implemented Interfaces:
org.eclipse.ui.console.IConsole

public class OCLConsole
extends org.eclipse.ui.console.AbstractConsole

The Interactive OCL console.


Constructor Summary
protected OCLConsole()
          Initializes me.
 
Method Summary
 void close()
          Closes me and clears the singleton instance reference, so that it will be reinitialized when another console is requested.
 org.eclipse.ui.part.IPageBookViewPage createPage(org.eclipse.ui.console.IConsoleView view)
           
static OCLConsole getInstance()
          Obtains the singleton instance.
 void setSelection(org.eclipse.emf.ecore.EObject contextObject)
           
 
Methods inherited from class org.eclipse.ui.console.AbstractConsole
activate, addPropertyChangeListener, destroy, dispose, firePropertyChange, getHelpContextId, getImageDescriptor, getName, getType, init, initialize, removePropertyChangeListener, setImageDescriptor, setName, setType
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

OCLConsole

protected OCLConsole()
Initializes me.

Method Detail

close

public void close()
Closes me and clears the singleton instance reference, so that it will be reinitialized when another console is requested.


createPage

public org.eclipse.ui.part.IPageBookViewPage createPage(org.eclipse.ui.console.IConsoleView view)

getInstance

public static OCLConsole getInstance()
Obtains the singleton instance. It is created, if necessary.

Returns:
the singleton console instance

setSelection

public void setSelection(org.eclipse.emf.ecore.EObject contextObject)