|
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 listener interface for history activity. Any class that wants to listen for history event can implement this interface and add itself as a history listener
| Field Summary | |
|---|---|
static int |
HISTORY_ANALYSIS_ENDED
Event id sent when analysis has finished |
static int |
HISTORY_ANALYSIS_REMOVED
Event id sent when analysis history is about to be removed |
static int |
HISTORY_ANALYSIS_STARTED
Event id sent when analysis has been started |
static int |
HISTORY_ANALYSIS_UPDATED
Event id sent when analysis history has been updated |
| Method Summary | |
|---|---|
void |
historyEvent(AnalysisHistory history,
int eventId)
History event handle. |
| Field Detail |
public static final int HISTORY_ANALYSIS_STARTED
public static final int HISTORY_ANALYSIS_ENDED
public static final int HISTORY_ANALYSIS_UPDATED
public static final int HISTORY_ANALYSIS_REMOVED
| Method Detail |
public void historyEvent(AnalysisHistory history,
int eventId)
history - The analysis history where the event occurredeventId - The id of the event that occurred (HISTORY_ANALYSIS_STARTED,
HISTORY_ANALYSIS_ENDED, HISTORY_ANALYSIS_UPDATED)
|
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 | ||||||||||