|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Object
|
+--com.ugos.JIProlog.engine.JIPEvent
|
+--com.ugos.JIProlog.engine.JIPTraceEvent
JIPTraceEvent is used to notify a thar a Trace event occured.
Note that trace events are raised only when trace flag is set to true.
JIPTraceListeners receive a JIPTraceEvent object in one of their methods depending on the type of event occurred
JIPTraceListener,
JIPTraceListener.startNotified(com.ugos.JIProlog.engine.JIPTraceEvent),
JIPTraceListener.callNotified(com.ugos.JIProlog.engine.JIPTraceEvent),
JIPTraceListener.foundNotified(com.ugos.JIProlog.engine.JIPTraceEvent),
JIPTraceListener.bindNotified(com.ugos.JIProlog.engine.JIPTraceEvent),
JIPTraceListener.exitNotified(com.ugos.JIProlog.engine.JIPTraceEvent),
JIPTraceListener.failNotified(com.ugos.JIProlog.engine.JIPTraceEvent),
JIPTraceListener.redoNotified(com.ugos.JIProlog.engine.JIPTraceEvent),
JIPTraceListener.stopNotified(com.ugos.JIProlog.engine.JIPTraceEvent)| Field Summary | |
static int |
ID_BIND
ID of a Bind event |
static int |
ID_CALL
ID of a Call event |
static int |
ID_EXIT
ID of a Exit event |
static int |
ID_FAIL
ID of a Fail event |
static int |
ID_FOUND
ID of a Found event |
static int |
ID_REDO
ID of a Redo event |
static int |
ID_START
ID of a Start event |
static int |
ID_STOP
ID of a Stop event |
| Fields inherited from class com.ugos.JIProlog.engine.JIPEvent |
ID_CLOSE, ID_END, ID_MORE, ID_OPEN, ID_SINGLETONVARS, ID_SOLUTION, ID_UNDEFPREDICATE, ID_USERINPUTDONE, ID_WAITFORUSERINPUT |
| Method Summary | |
void |
abort()
Aborts the execution |
int |
getLevel()
Gets the trace level |
void |
nextStep()
Executes next step |
void |
retry()
Retry current call |
void |
skip()
Skips the trace for next call |
| Methods inherited from class com.ugos.JIProlog.engine.JIPEvent |
consume, getID, getQueryHandle, getSource, getTerm, when |
| Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
public static final int ID_CALL
public static final int ID_BIND
public static final int ID_FOUND
public static final int ID_REDO
public static final int ID_FAIL
public static final int ID_EXIT
public static final int ID_START
public static final int ID_STOP
| Method Detail |
public int getLevel()
public void abort()
public void nextStep()
public void retry()
public void skip()
|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||