Summary

## 5.4 Summary

- TkECLiPSe toplevel
- Predicate Browser
- Delayed Goals Viewer
- Tracer
- Tracer Filter
- Term Inspector

### 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