|
TPTP 4.5.0 Platform Project Public API Specification |
||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
public interface IAnalysisListener
This interface is used to obtain notifications of the analysis process. External user interfaces can use this to determine when they need to repaint
| Method Summary | |
|---|---|
void |
analysisComplete(AbstractAnalysisElement element)
Notification that a given analysis element have complete its analysis phase. |
void |
analysisComplete(AnalysisHistory history)
Notification that a given analysis history element has completed its analysis phase. |
| Method Detail |
|---|
void analysisComplete(AbstractAnalysisElement element)
element - The element that has completed its analysisvoid analysisComplete(AnalysisHistory history)
history - The history element that has completed its analysis
|
TPTP 4.5.0 Platform Project Public API Specification |
||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||