vocleditor.editor
Class VOCLPage

java.lang.Object
  extended by org.eclipse.ui.part.WorkbenchPart
      extended by org.eclipse.ui.part.EditorPart
          extended by vocleditor.editor.AbstractEditorPage
              extended by vocleditor.editor.VOCLPage
All Implemented Interfaces:
org.eclipse.core.runtime.IAdaptable, org.eclipse.core.runtime.IExecutableExtension, org.eclipse.ui.IEditorPart, org.eclipse.ui.ISaveablePart, org.eclipse.ui.IWorkbenchPart, org.eclipse.ui.IWorkbenchPart2, org.eclipse.ui.part.IWorkbenchPartOrientation

public class VOCLPage
extends AbstractEditorPage

VOCL editor page.


Field Summary
 
Fields inherited from interface org.eclipse.ui.IEditorPart
PROP_DIRTY, PROP_INPUT
 
Fields inherited from interface org.eclipse.ui.IWorkbenchPart
PROP_TITLE
 
Constructor Summary
VOCLPage(VOCLEditor parent)
          Creates a new VOCL editor page instance.
 
Method Summary
 
Methods inherited from class vocleditor.editor.AbstractEditorPage
createPartControl, doSave, doSaveAs, getEditDomain, gotoMarker, init, isDirty, isSaveAsAllowed, setFocus
 
Methods inherited from class org.eclipse.ui.part.EditorPart
getEditorInput, getEditorSite, getTitleToolTip, isSaveOnCloseNeeded, setInitializationData
 
Methods inherited from class org.eclipse.ui.part.WorkbenchPart
addPropertyListener, dispose, getAdapter, getContentDescription, getOrientation, getPartName, getSite, getTitle, getTitleImage, removePropertyListener, showBusy
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface org.eclipse.ui.IWorkbenchPart
addPropertyListener, dispose, getSite, getTitle, getTitleImage, removePropertyListener
 
Methods inherited from interface org.eclipse.core.runtime.IAdaptable
getAdapter
 

Constructor Detail

VOCLPage

public VOCLPage(VOCLEditor parent)
Creates a new VOCL editor page instance.

By design this page uses its own EditDomain. The main goal of this approach is that this page has its own undo/redo command stack.

Parameters:
parent - the parent multi page editor