org.eclipse.tptp.wsdm.tooling.editor.mrt.internal
Class NewMrtPageEditor

java.lang.Object
  org.eclipse.core.commands.common.EventManager
      org.eclipse.ui.part.WorkbenchPart
          org.eclipse.ui.part.EditorPart
              org.eclipse.ui.part.MultiPageEditorPart
                  org.eclipse.tptp.wsdm.tooling.editor.mrt.internal.NewMrtPageEditor

All Implemented Interfaces:

org.eclipse.emf.common.command.CommandStackListener, java.util.EventListener, org.eclipse.core.runtime.IAdaptable, org.eclipse.emf.edit.domain.IEditingDomainProvider, org.eclipse.ui.IEditorPart, org.eclipse.core.runtime.IExecutableExtension, org.eclipse.core.resources.IResourceChangeListener, org.eclipse.ui.ISaveablePart, org.eclipse.ui.IWorkbenchPart, org.eclipse.ui.IWorkbenchPart2, org.eclipse.ui.part.IWorkbenchPartOrientation

public class NewMrtPageEditor

extends org.eclipse.ui.part.MultiPageEditorPart

implements org.eclipse.core.resources.IResourceChangeListener, org.eclipse.emf.common.command.CommandStackListener, org.eclipse.emf.edit.domain.IEditingDomainProvider

Editor for Manageable Resource Types.

• page 0 is the prototype.

Field Summary

protected org.eclipse.emf.edit.provider.ComposedAdapterFactory	_adapterFactory
protected org.eclipse.emf.edit.domain.AdapterFactoryEditingDomain	_editingDomain
static java.lang.String	RESOURCE_SPECIFIC

Fields inherited from interface org.eclipse.ui.IEditorPart

PROP_DIRTY, PROP_INPUT

Fields inherited from interface org.eclipse.ui.IWorkbenchPart

PROP_TITLE

Constructor Summary

NewMrtPageEditor()
Creates a MRT editor.

Method Summary

void	commandStackChanged(java.util.EventObject event) Implements CommandStackListener
protected void	createPages() Creates the pages of the multi-page editor.
org.eclipse.tptp.wsdm.tooling.model.manageableResourceType.ManageableResourceType	desiredMRT()
void	dispose() The MultiPageEditorPart implementation of this IWorkbenchPart method disposes all nested editors.
void	doSave(org.eclipse.core.runtime.IProgressMonitor monitor) Saves the multi-page editor's document.
void	doSaveAs() Saves the multi-page editor's document as another file.
void	formNowDirty() Deprecated.
java.lang.String	getContainerName()
org.eclipse.emf.edit.domain.EditingDomain	getEditingDomain() Implements IEditingDomainProvider
int	getMrtPrototypePageIndex()
MrtPrototypeForm	getPrototypeForm()
void	gotoMarker(org.eclipse.core.resources.IMarker marker)
protected void	handleActivate() Handles activation of the editor or it's associated views.
protected boolean	handleDirtyConflict() Shows a dialog that asks if conflicting changes should be discarded.
void	init(org.eclipse.ui.IEditorSite site, org.eclipse.ui.IEditorInput editorInput)
boolean	isDirty()
boolean	isSaveAsAllowed()
protected void	pageChange(int newPageIndex)
void	resourceChanged(org.eclipse.core.resources.IResourceChangeEvent event) Closes all project files on project close, reloads data structures on POST_CHANGE This method implements the IResourceChangeListener interface.
void	setActivePage(int pageIndex)

Methods inherited from class org.eclipse.ui.part.MultiPageEditorPart

addPage, addPage, addPage, addPage, createPageContainer, createPartControl, createSite, getActiveEditor, getActivePage, getAdapter, getContainer, getControl, getEditor, getPageCount, getPageImage, getPageText, handlePropertyChange, removePage, setControl, setFocus, setPageImage, setPageText

Methods inherited from class org.eclipse.ui.part.EditorPart

checkSite, getEditorInput, getEditorSite, getTitleToolTip, isSaveOnCloseNeeded, setContentDescription, setInitializationData, setInput, setInputWithNotify, setPartName

Methods inherited from class org.eclipse.ui.part.WorkbenchPart

addPropertyListener, firePropertyChange, getConfigurationElement, getContentDescription, getDefaultImage, getOrientation, getPartName, getSite, getTitle, getTitleImage, removePropertyListener, setSite, setTitle, setTitleImage, setTitleToolTip, showBusy

Methods inherited from class org.eclipse.core.commands.common.EventManager

addListenerObject, clearListeners, getListeners, isListenerAttached, removeListenerObject

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.eclipse.ui.IWorkbenchPart

addPropertyListener, getSite, getTitle, getTitleImage, removePropertyListener

Field Detail

RESOURCE_SPECIFIC

public static final java.lang.String RESOURCE_SPECIFIC

See Also:

Constant Field Values

_editingDomain

protected final org.eclipse.emf.edit.domain.AdapterFactoryEditingDomain _editingDomain

_adapterFactory

protected final org.eclipse.emf.edit.provider.ComposedAdapterFactory _adapterFactory

Constructor Detail

NewMrtPageEditor

public NewMrtPageEditor()

Creates a MRT editor.

 +------------------------+ 
 |                        |
 |                        |
 |                        |
 |                        |
 \Resource Type Definition/
 

Method Detail

createPages

protected void createPages()

Creates the pages of the multi-page editor.

getContainerName

public java.lang.String getContainerName()

getPrototypeForm

public MrtPrototypeForm getPrototypeForm()

getMrtPrototypePageIndex

public int getMrtPrototypePageIndex()

setActivePage

public void setActivePage(int pageIndex)

dispose

public void dispose()

The MultiPageEditorPart implementation of this IWorkbenchPart method disposes all nested editors. Subclasses may extend.

Specified by:

dispose in interface org.eclipse.ui.IWorkbenchPart

isDirty

public boolean isDirty()

Specified by:

isDirty in interface org.eclipse.ui.ISaveablePart

doSave

public void doSave(org.eclipse.core.runtime.IProgressMonitor monitor)

Saves the multi-page editor's document.

Specified by:

doSave in interface org.eclipse.ui.ISaveablePart

doSaveAs

public void doSaveAs()

Saves the multi-page editor's document as another file. Also updates the text for text page, and updates input (to correspond to the nested editor's.)

Specified by:

doSaveAs in interface org.eclipse.ui.ISaveablePart

gotoMarker

public void gotoMarker(org.eclipse.core.resources.IMarker marker)

init

public void init(org.eclipse.ui.IEditorSite site,
                 org.eclipse.ui.IEditorInput editorInput)
          throws org.eclipse.ui.PartInitException

Specified by:

init in interface org.eclipse.ui.IEditorPart

Throws:

org.eclipse.ui.PartInitException

isSaveAsAllowed

public boolean isSaveAsAllowed()

Specified by:

isSaveAsAllowed in interface org.eclipse.ui.ISaveablePart

pageChange

protected void pageChange(int newPageIndex)

resourceChanged

public void resourceChanged(org.eclipse.core.resources.IResourceChangeEvent event)

Closes all project files on project close, reloads data structures on POST_CHANGE

This method implements the IResourceChangeListener interface.

Specified by:

resourceChanged in interface org.eclipse.core.resources.IResourceChangeListener

desiredMRT

public org.eclipse.tptp.wsdm.tooling.model.manageableResourceType.ManageableResourceType desiredMRT()

formNowDirty

public void formNowDirty()

Deprecated.

handleActivate

protected void handleActivate()

Handles activation of the editor or it's associated views.

Generated

handleDirtyConflict

protected boolean handleDirtyConflict()

Shows a dialog that asks if conflicting changes should be discarded.

Generated

commandStackChanged

public void commandStackChanged(java.util.EventObject event)

Implements CommandStackListener

Specified by:

commandStackChanged in interface org.eclipse.emf.common.command.CommandStackListener

getEditingDomain

public org.eclipse.emf.edit.domain.EditingDomain getEditingDomain()

Implements IEditingDomainProvider

Specified by:

getEditingDomain in interface org.eclipse.emf.edit.domain.IEditingDomainProvider