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

java.lang.Object
  org.eclipse.tptp.platform.analysis.core.ui.views.AbstractAnalysisResultView
      org.eclipse.tptp.platform.analysis.core.ui.views.ResultViewDefault

All Implemented Interfaces:

AnalysisHistoryListener, IAnalysisResultView

public class ResultViewDefault
extends AbstractAnalysisResultView
implements AnalysisHistoryListener

Nested Class Summary

class

ResultViewDefault.QuickFixAction

Field Summary

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

HISTORY_ANALYSIS_ENDED, HISTORY_ANALYSIS_REMOVED, HISTORY_ANALYSIS_STARTED, HISTORY_ANALYSIS_UPDATED

Constructor Summary

ResultViewDefault()

Method Summary

void	createComposite(ResultsFrameView parentView, ResultTab parentTab, AnalysisHistory historyData, AbstractAnalysisProvider providerValue) Creats the composite for the view
void	dispose() Dispose of this view
void	historyEvent(AnalysisHistory historyData, int eventId) History event handle.

Methods inherited from class java.lang.Object

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

Constructor Detail

ResultViewDefault

public ResultViewDefault()

Method Detail

createComposite

public void createComposite(ResultsFrameView parentView,
                            ResultTab parentTab,
                            AnalysisHistory historyData,
                            AbstractAnalysisProvider providerValue)

Description copied from class: AbstractAnalysisResultView

Creats the composite for the view

Specified by:

createComposite in interface IAnalysisResultView

Specified by:

createComposite in class AbstractAnalysisResultView

Parameters:

view - A reference to the main result view frame

parent - The composite that owns the result view

history - The history instance being viewed

newProvider - The current analysis provider

historyEvent

public void historyEvent(AnalysisHistory historyData,
                         int eventId)

Description copied from interface: AnalysisHistoryListener

History event handle. Implement this method in history listener classes

Specified by:

historyEvent in interface AnalysisHistoryListener

Parameters:

historyData - The analysis history where the event occurred

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

dispose

public void dispose()

Dispose of this view

Specified by:

dispose in class AbstractAnalysisResultView