uk.ac.kcl.cch.jb.pliny.editors
Class ResourceEditorInputFactory

java.lang.Object
  uk.ac.kcl.cch.jb.pliny.editors.ResourceEditorInputFactory

All Implemented Interfaces:

org.eclipse.ui.IElementFactory

public class ResourceEditorInputFactory

extends Object

implements org.eclipse.ui.IElementFactory

used by Eclipse during startup to re-open Resource objects that were open in their relevant Pliny editors when it was last shutdown -- this factory takes the data stored in an IMemento and first fetches the referenced Resource object,a and then packages it in a ResourceEditorInput object.

Author:

John Bradley

Constructor Summary

ResourceEditorInputFactory()

Method Summary

org.eclipse.core.runtime.IAdaptable

createElement(org.eclipse.ui.IMemento memento)

Methods inherited from class java.lang.Object

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

Constructor Detail

ResourceEditorInputFactory

public ResourceEditorInputFactory()

Method Detail

createElement

public org.eclipse.core.runtime.IAdaptable createElement(org.eclipse.ui.IMemento memento)

Specified by:

createElement in interface org.eclipse.ui.IElementFactory