com.ugos.JIProlog.engine
Class JIPTraceEvent

java.lang.Object
  |
  +--com.ugos.JIProlog.engine.JIPEvent
        |
        +--com.ugos.JIProlog.engine.JIPTraceEvent

public class JIPTraceEvent
extends JIPEvent

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

Version:
2.0
Author:
Ugo Chirico 2002
Home Page: http://www.ugosweb.com/jiprolog
See Also:
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

ID_CALL

public static final int ID_CALL
ID of a Call event

See Also:
Constant Field Values

ID_BIND

public static final int ID_BIND
ID of a Bind event

See Also:
Constant Field Values

ID_FOUND

public static final int ID_FOUND
ID of a Found event

See Also:
Constant Field Values

ID_REDO

public static final int ID_REDO
ID of a Redo event

See Also:
Constant Field Values

ID_FAIL

public static final int ID_FAIL
ID of a Fail event

See Also:
Constant Field Values

ID_EXIT

public static final int ID_EXIT
ID of a Exit event

See Also:
Constant Field Values

ID_START

public static final int ID_START
ID of a Start event

See Also:
Constant Field Values

ID_STOP

public static final int ID_STOP
ID of a Stop event

See Also:
Constant Field Values
Method Detail

getLevel

public int getLevel()
Gets the trace level


abort

public void abort()
Aborts the execution


nextStep

public void nextStep()
Executes next step


retry

public void retry()
Retry current call


skip

public void skip()
Skips the trace for next call