This section gives an overview of the advanced debugger features. These center around the notion of breakpoint. Breakpoints can be classified as either spypoints (a generalization of the plain spypoint introduced earlier) or advice-points (e.g. for checking program invariants independently from tracing). The first five subsections will deal with spypoints only. Nevertheless we will use the term breakpoint, whenever a statement is made that applies to both spypoints and advice-points.
Breakpoint Processing describes the breakpoint processing mechanism in full detail. Reference style details of built-in predicates dealing with breakpoints are given in Breakpoint Predicates and in Breakpoint Conditions.
|• Creating Breakpoints:||Creating Breakpoints|
|• Processing Breakpoints:||Processing Breakpoints|
|• Breakpoint Tests:||Breakpoint Tests|
|• Specific and Generic Breakpoints:||Specific and Generic Breakpoints|
|• Breakpoint Actions:||Breakpoint Actions|
|• Built-in Predicates for Breakpoint Handling:||Built-in Predicates for Breakpoint Handling|
|• Accessing Past Debugger States:||Accessing Past Debugger States|
|• Storing User Information in the Backtrace:||Storing User Information in the Backtrace|
|• Hooks Related to Breakpoints:||Hooks Related to Breakpoints|
|• Programming Breakpoints:||Programming Breakpoints|