com.bt.exact_tech.ui.editors
Class DescEditor

java.lang.Object
  extended by org.eclipse.ui.part.WorkbenchPart
      extended by org.eclipse.ui.part.EditorPart
          extended by org.wsmostudio.ui.editors.WSMOEditor
              extended by com.bt.exact_tech.ui.editors.ManagerEditor
                  extended by com.bt.exact_tech.ui.editors.DescEditor
All Implemented Interfaces:
org.eclipse.core.runtime.IAdaptable, org.eclipse.core.runtime.IExecutableExtension, org.eclipse.jface.viewers.ISelectionProvider, org.eclipse.ui.IEditorPart, org.eclipse.ui.ISaveablePart, org.eclipse.ui.IWorkbenchPart, org.eclipse.ui.IWorkbenchPart2, org.eclipse.ui.part.IWorkbenchPartOrientation, org.wsmostudio.ui.editors.WSMOInputChangeListener

public class DescEditor
extends ManagerEditor
implements org.eclipse.ui.ISaveablePart, org.wsmostudio.ui.editors.WSMOInputChangeListener

This class plugs in a new part of the ManagerEditor.
The class shows data obtained from the model.
The Editorpart is connected to the model using a content provider.

Version:
0.1
warning some hardcoded artifacts remain
Author:
Lenni Madsen

Nested Class Summary
(package private)  class DescEditor.NameSorter
           
 class DescEditor.OptionStorage
          Holds the needed information to fill the right-click menu
with available attributes for the choosen Instance of a Concept.
The information is found by traversing the WSMONavigator tree from
the choosen Concept to the root of the Concept Tree, to include Inherited
Attributes.
 
Field Summary
(package private) static java.lang.String[] types
           
 
Fields inherited from class com.bt.exact_tech.ui.editors.ManagerEditor
INSTANCE_EDITOR_ID, REL_INSTANCE_EDITOR_ID
 
Fields inherited from class org.wsmostudio.ui.editors.WSMOEditor
AXIOM_EDITOR_ID, CAPABILITY_EDITOR_ID, CONCEPT_EDITOR_ID, GOAL_EDITOR_ID, INTERFACE_EDITOR_ID, MEDIATOR_EDITOR_ID, ONTOLOGY_EDITOR_ID, props, REL_EDITOR_ID, WEBSERVICE_EDITOR_ID
 
Fields inherited from interface org.eclipse.ui.ISaveablePart
PROP_DIRTY
 
Fields inherited from interface org.eclipse.ui.IEditorPart
PROP_DIRTY, PROP_INPUT
 
Fields inherited from interface org.eclipse.ui.IWorkbenchPart
PROP_TITLE
 
Constructor Summary
DescEditor(org.eclipse.swt.widgets.TabFolder parent, org.omwg.ontology.Instance instance)
          Constructs a new instance of this class given its parent (which must be a TabFolder)
 
Method Summary
 void inputHasChanged(java.lang.Object source, java.lang.Object input)
           
 boolean isDirty()
           
 void makeDirty()
           
 void resetDirty()
           
 
Methods inherited from class com.bt.exact_tech.ui.editors.ManagerEditor
createPartControl, dispose, doSave, doSaveAs, doTryToSave, init, isSaveAsAllowed, setFocus
 
Methods inherited from class org.wsmostudio.ui.editors.WSMOEditor
addSelectionChangedListener, getAdapter, getSelection, notifyDirty, removeSelectionChangedListener, setSelection
 
Methods inherited from class org.eclipse.ui.part.EditorPart
checkSite, getEditorInput, getEditorSite, getTitleToolTip, isSaveOnCloseNeeded, setContentDescription, setInitializationData, setInput, 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 java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface org.eclipse.ui.ISaveablePart
doSave, doSaveAs, isSaveAsAllowed, isSaveOnCloseNeeded
 
Methods inherited from interface org.eclipse.ui.IWorkbenchPart
addPropertyListener, getSite, getTitle, getTitleImage, removePropertyListener
 

Field Detail

types

static java.lang.String[] types
Constructor Detail

DescEditor

public DescEditor(org.eclipse.swt.widgets.TabFolder parent,
                  org.omwg.ontology.Instance instance)
Constructs a new instance of this class given its parent (which must be a TabFolder)

Parameters:
parent - a TabFolder control, which will be the parent of the new instance
Method Detail

inputHasChanged

public void inputHasChanged(java.lang.Object source,
                            java.lang.Object input)
Specified by:
inputHasChanged in interface org.wsmostudio.ui.editors.WSMOInputChangeListener
Overrides:
inputHasChanged in class ManagerEditor

makeDirty

public void makeDirty()
Overrides:
makeDirty in class ManagerEditor

resetDirty

public void resetDirty()

isDirty

public boolean isDirty()
Specified by:
isDirty in interface org.eclipse.ui.ISaveablePart
Overrides:
isDirty in class ManagerEditor