org.eclipse.tptp.platform.analysis.core.ui.internal.model
Class ResultsModel

java.lang.Object
  org.eclipse.tptp.platform.analysis.core.ui.internal.model.ResultsModel

All Implemented Interfaces:

org.eclipse.tptp.platform.analysis.core.manager.IAnalysisListener

public class ResultsModel

extends java.lang.Object

implements org.eclipse.tptp.platform.analysis.core.manager.IAnalysisListener

Constructor Summary

ResultsModel()

Method Summary

void	addPropertyChangeListener(org.eclipse.jface.util.IPropertyChangeListener listener) Add a property change listener.
void	analysisComplete(org.eclipse.tptp.platform.analysis.core.element.IAnalysisElement element) Notification that a given analysis element have complete its analysis phase.
void	complete(IAnalysisHistory history) Used internally to mark the specified history as completed
AnalysisHistory	createHistory(java.lang.String configName, java.util.List managerList) Used internally to create a new history record
void	deleteHistory(IAnalysisHistory history) Used internally to remove a history item from the results
java.util.List	getResults()
static ResultsModel	instance() Singleton call to get the instnace of the content provider for analysis results.
boolean	isFiltered()
void	removeElement(org.eclipse.tptp.platform.analysis.core.element.IAnalysisElement element)
void	toggleFilter() Toggles the model from full or filtered result mode
void	update() Forces the provider data model to update, causing any listeners to redraw as necessary.

Methods inherited from class java.lang.Object

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

Constructor Detail

ResultsModel

public ResultsModel()

Method Detail

toggleFilter

public void toggleFilter()

Toggles the model from full or filtered result mode

createHistory

public AnalysisHistory createHistory(java.lang.String configName,
                                     java.util.List managerList)

Used internally to create a new history record

Parameters:

configName -

Returns:

The history element created

complete

public void complete(IAnalysisHistory history)

Used internally to mark the specified history as completed

Parameters:

history -

update

public void update()

Forces the provider data model to update, causing any listeners to redraw as necessary.

instance

public static ResultsModel instance()

Singleton call to get the instnace of the content provider for analysis results. Creates the instance if it doesn't exist

Returns:

The singleton instance of the analysis results content provider

addPropertyChangeListener

public void addPropertyChangeListener(org.eclipse.jface.util.IPropertyChangeListener listener)

Add a property change listener.

Parameters:

listener -

deleteHistory

public void deleteHistory(IAnalysisHistory history)

Used internally to remove a history item from the results

Parameters:

history - The history item to remove

getResults

public java.util.List getResults()

Returns:

Returns the results.

removeElement

public void removeElement(org.eclipse.tptp.platform.analysis.core.element.IAnalysisElement element)

analysisComplete

public void analysisComplete(org.eclipse.tptp.platform.analysis.core.element.IAnalysisElement element)

Description copied from interface: org.eclipse.tptp.platform.analysis.core.manager.IAnalysisListener

Notification that a given analysis element have complete its analysis phase. This message is sent for completion of all rules, categories, providers and provider managers and it is up to the listener to determine the event requires attention.

Specified by:

analysisComplete in interface org.eclipse.tptp.platform.analysis.core.manager.IAnalysisListener

Parameters:

element - The element that has completed its analysis

isFiltered

public boolean isFiltered()