org.eclipse.tptp.platform.analysis.core.ui.views
Class ResultsFrameView

java.lang.Object
  org.eclipse.core.commands.common.EventManager
      org.eclipse.ui.part.WorkbenchPart
          org.eclipse.ui.part.ViewPart
              org.eclipse.tptp.platform.analysis.core.ui.views.ResultsFrameView

All Implemented Interfaces:

AnalysisHistoryListener, org.eclipse.core.runtime.IAdaptable, org.eclipse.core.runtime.IExecutableExtension, org.eclipse.ui.IPersistable, org.eclipse.ui.IViewPart, org.eclipse.ui.IWorkbenchPart, org.eclipse.ui.IWorkbenchPart2, org.eclipse.ui.IWorkbenchPart3, org.eclipse.ui.part.IWorkbenchPartOrientation

public class ResultsFrameView

extends org.eclipse.ui.part.ViewPart

implements AnalysisHistoryListener

This class manages the analysis results viewer

Field Summary

static java.lang.String

CONTEXT_HELP_ID

Fields inherited from interface org.eclipse.tptp.platform.analysis.core.history.AnalysisHistoryListener

HISTORY_ANALYSIS_ENDED, HISTORY_ANALYSIS_REMOVED, HISTORY_ANALYSIS_STARTED, HISTORY_ANALYSIS_UPDATED

Fields inherited from interface org.eclipse.ui.IWorkbenchPart

PROP_TITLE

Constructor Summary

ResultsFrameView()

Method Summary

void	createPartControl(org.eclipse.swt.widgets.Composite parent) This is a callback that will allow us to create the viewer and initialize it.
void	historyEvent(AnalysisHistory history, int eventId) History event handle.
void	setFocus() Passing the focus request to the viewer's control.

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

addPartPropertyListener, addPropertyListener, dispose, firePartPropertyChanged, firePropertyChange, getAdapter, getConfigurationElement, getContentDescription, getDefaultImage, getOrientation, getPartName, getPartProperties, getPartProperty, getSite, getTitle, getTitleImage, getTitleToolTip, removePartPropertyListener, removePropertyListener, setPartProperty, 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, dispose, getSite, getTitle, getTitleImage, getTitleToolTip, removePropertyListener

Methods inherited from interface org.eclipse.core.runtime.IAdaptable

getAdapter

Field Detail

CONTEXT_HELP_ID

public static final java.lang.String CONTEXT_HELP_ID

See Also:

Constant Field Values

Constructor Detail

ResultsFrameView

public ResultsFrameView()

Method Detail

createPartControl

public void createPartControl(org.eclipse.swt.widgets.Composite parent)

This is a callback that will allow us to create the viewer and initialize it.

Specified by:

createPartControl in interface org.eclipse.ui.IWorkbenchPart

setFocus

public void setFocus()

Passing the focus request to the viewer's control.

Specified by:

setFocus in interface org.eclipse.ui.IWorkbenchPart

historyEvent

public void historyEvent(AnalysisHistory history,
                         int eventId)

Description copied from interface: AnalysisHistoryListener

History event handle. Implement this method in history listener classes

Specified by:

historyEvent in interface AnalysisHistoryListener

Parameters:

history - The analysis history where the event occurred

eventId - The id of the event that occurred (HISTORY_ANALYSIS_STARTED, HISTORY_ANALYSIS_ENDED, HISTORY_ANALYSIS_UPDATED)