|
TPTP 4.6.0 Platform Project Public API Specification |
||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
java.lang.Objectorg.eclipse.tptp.platform.analysis.core.history.AnalysisHistory
public final class AnalysisHistory
This class is not intended to be extended Creates an analysis element suitable for rendering in the result view.
| Nested Class Summary | |
|---|---|
class |
AnalysisHistory.AnalysisHistoryResultTracker
A class used to track the time and result count for an analysis history or element |
| Constructor Summary | |
|---|---|
AnalysisHistory(AnalysisHistoryFactory factoryValue,
java.lang.String configValue)
Construct a new analysis history for the specified configuration |
|
AnalysisHistory(AnalysisHistoryFactory factoryValue,
java.lang.String configValue,
java.lang.String historyIdValue)
Construct a new analysis history for the specified configuration |
|
| Method Summary | |
|---|---|
boolean |
containsAnalysisElement(AbstractAnalysisElement element)
|
AnalysisHistory.AnalysisHistoryResultTracker |
countHistoryResults()
|
AnalysisHistory.AnalysisHistoryResultTracker |
countHistoryResults(AnalysisHistoryElement ahe)
|
void |
dispose()
|
java.util.List |
getAnalyzedResources()
|
AnalysisHistoryElement |
getHistoryElement(AbstractAnalysisElement element)
This method find the history element for the specified analysis element in the history. |
java.lang.String |
getHistoryId()
|
java.lang.String |
getLabel()
|
java.util.Map |
getProviderPropertyHash()
|
java.util.List |
getSelectAnalysisElements()
Return the list of analysis elements selected by the user in the runtime configuration. |
java.util.List |
getSelectedElements()
Return the list of selected history elements. |
boolean |
isBusy()
Determines if this history element is currently active with analysis processing |
void |
setAnalyzedResources(java.util.List analyzedResources)
|
void |
setBusy(boolean value)
|
java.lang.String |
toString()
Return a string representation of the history element |
| Methods inherited from class java.lang.Object |
|---|
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Constructor Detail |
|---|
public AnalysisHistory(AnalysisHistoryFactory factoryValue,
java.lang.String configValue)
factoryValue - The history factory instance that owns this historyconfigValue - The name of the Eclipse runtime configuration being executed
public AnalysisHistory(AnalysisHistoryFactory factoryValue,
java.lang.String configValue,
java.lang.String historyIdValue)
factoryValue - The history factory instance that owns this historyconfigValue - The name of the Eclipse runtime configuration being executedhistoryIdValue - The unique id for this history| Method Detail |
|---|
public final java.lang.String getHistoryId()
public final java.util.List getSelectedElements()
public final java.util.List getSelectAnalysisElements()
public final boolean containsAnalysisElement(AbstractAnalysisElement element)
element - The analysis element to search for
public final java.lang.String getLabel()
public final AnalysisHistoryElement getHistoryElement(AbstractAnalysisElement element)
element - The analysis element whose history element is being sought
public AnalysisHistory.AnalysisHistoryResultTracker countHistoryResults()
public AnalysisHistory.AnalysisHistoryResultTracker countHistoryResults(AnalysisHistoryElement ahe)
public java.util.Map getProviderPropertyHash()
public java.lang.String toString()
toString in class java.lang.Objectpublic boolean isBusy()
public void setBusy(boolean value)
public java.util.List getAnalyzedResources()
public void setAnalyzedResources(java.util.List analyzedResources)
public void dispose()
|
TPTP 4.6.0 Platform Project Public API Specification |
||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||