|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object org.eclipse.core.commands.common.EventManager org.eclipse.ui.part.WorkbenchPart org.eclipse.ui.part.ViewPart uk.ac.kcl.cch.jb.pliny.views.TypeManagerView
the Eclipse ViewPart for the Type Manager.
Field Summary |
Fields inherited from interface org.eclipse.ui.IWorkbenchPart |
PROP_TITLE |
Constructor Summary | |
TypeManagerView()
|
Method Summary | |
void |
createPartControl(org.eclipse.swt.widgets.Composite parent)
|
void |
dispose()
|
protected void |
fillContextMenu(org.eclipse.jface.action.IMenuManager manager)
|
org.eclipse.gef.commands.CommandStack |
getCommandStack()
|
LOType |
getSelectedType()
|
void |
propertyChange(PropertyChangeEvent arg0)
|
void |
setFocus()
|
Methods inherited from class org.eclipse.ui.part.ViewPart |
checkSite, getViewSite, init, init, saveState, setContentDescription, setInitializationData, setPartName |
Methods inherited from class org.eclipse.ui.part.WorkbenchPart |
addPropertyListener, firePropertyChange, getAdapter, getConfigurationElement, getContentDescription, getDefaultImage, getOrientation, getPartName, getSite, getTitle, getTitleImage, getTitleToolTip, 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, getTitleToolTip, removePropertyListener |
Methods inherited from interface org.eclipse.core.runtime.IAdaptable |
getAdapter |
Constructor Detail |
public TypeManagerView()
Method Detail |
public org.eclipse.gef.commands.CommandStack getCommandStack()
public void dispose()
dispose
in interface org.eclipse.ui.IWorkbenchPart
public void createPartControl(org.eclipse.swt.widgets.Composite parent)
createPartControl
in interface org.eclipse.ui.IWorkbenchPart
protected void fillContextMenu(org.eclipse.jface.action.IMenuManager manager)
public void setFocus()
setFocus
in interface org.eclipse.ui.IWorkbenchPart
public LOType getSelectedType()
public void propertyChange(PropertyChangeEvent arg0)
propertyChange
in interface PropertyChangeListener
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |