|
TPTP 4.4.0 Platform Project Public API Specification |
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
A unbiquitous wrapper around a result from any provider rule. The result instances contain provider-specific data, which can be viewed by a viewer in the rule's viewer chain.
| Method Summary | |
|---|---|
java.lang.String |
getHistoryId()
Deprecated. |
java.lang.String |
getLabelWithVariables()
Deprecated. |
java.lang.Object |
getRuleSpecificResult()
Deprecated. |
void |
setHistoryId(java.lang.String historyId)
Deprecated. Assign a history id to this result. |
void |
setRuleSpecificResult(java.lang.Object ruleSpecificResult)
Deprecated. |
| Methods inherited from interface org.eclipse.tptp.platform.analysis.core.element.IAnalysisElement |
|---|
addDetailProvider, addHistoryResultSet, addOwnedElement, addOwnedElements, dispose, getDetailProviders, getElementType, getExternalDataMap, getHelpID, getHistoryResults, getIconName, getId, getLabel, getOwnedElements, getOwner, getPluginId, preAnalyze, removeHistoryResultSet, setElementType, setExternalDataMap, setHelpID, setIconName, setId, setLabel, setOwner, setPluginId |
| Method Detail |
public void setHistoryId(java.lang.String historyId)
historyId - The history id for this resultpublic java.lang.String getHistoryId()
public java.lang.Object getRuleSpecificResult()
public java.lang.String getLabelWithVariables()
public void setRuleSpecificResult(java.lang.Object ruleSpecificResult)
ruleSpecificResult - The ruleSpecificResult to set.
|
TPTP 4.4.0 Platform Project Public API Specification |
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||