TPTP 4.1.0 Platform Project
Internal API Specification

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

java.lang.Object
  extended byorg.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()

TPTP 4.1.0 Platform Project
Internal API Specification