 
 
5.4  Summary
5.4.1  TkECLiPSe toplevel

5.4.2  Predicate Browser
 

5.4.3  Delayed Goals Viewer
 
5.4.4  Tracer


Options menu options:
- 
Configure filter
-  Starts the tracer filter window, to allow the
filter to be configured.
- Change print options
-  Changes the way the tracelines are printed.
- Analyse failure
-  Get the invocation number of the most recent failure
so that a new run of the query can jump to its call port.
- Refresh goal stack now
-  Refreshes the Call Stack’s display.
- Refresh goal stack at every trace line
-  Select check box to allow the
call stack to be refreshed automatically every time the tracer stops
- Refresh delay goals at every trace line
-  Select check box to allow
the Delayed goals viewer to be automatically refreshed every time the
tracer stops.
- Raise tracer window at every tracer line
-  Select check box to allow
the tracer window to be raised (uncovered) automatically every time the
tracer stops.
5.4.5  Tracer Filter

5.4.6  Term Inspector

 
