3 Using Errortrace
(require errortrace) | package: errortrace-lib |
See Quick Instructions for information on starting with errortrace. This chapter provides information on the configuration of errortrace after it is loaded and installed.
Don’t import errortrace into another module and expect it to work on that module. Instead, the errortrace module is meant to be invoked from the top-level (as described in Quick Instructions) so it can install handlers. The functions documented in this chapter then can be used at the top-level. The functions also can be accessed by importing errortrace/errortrace-lib, which does not install any handlers.
As a language name, errortrace chains to another language that is specified immediately after errortrace, but instruments the module for debugging in the same way as if errortrace is required before loading the module from source. Using the errortrace meta-language is one way to ensure that debugging instrumentation is present when the module is compiled.
3.1 Instrumentation and Profiling
By default, errortrace only instruments for stack-trace-on-exception. Profiling and coverage need to be enabled separately.
parameter
(instrumenting-enabled on?) → void? on? : any/c
parameter
(profiling-enabled on?) → void? on? : any/c
Also, profiling only records information about the time taken on the thread that compiled the code (more precisely, the thread that instruments the code via the errortrace-compile-handler).
parameter
(profiling-record-enabled on?) → void? on? : any/c
Profiling information is accumulated in a hash table. If a procedure is redefined, new profiling information is accumulated for the new version of the procedure, but the old information is also preserved.
Depending of the source program, profiling usually induces a factor of 2 to 4 slowdown, in addition to any slowdown from the exception-information instrumentation.
procedure
(output-profile-results paths? sort-time?) → void?
paths? : any/c sort-time? : any/c
procedure
(get-profile-results [thd]) → list?
thd : thread? = (current-thread)
the number of times a procedure was called.
the number of milliseconds consumed by the procedure’s body across all calls (including the time consumed by any nested non-tail call within the procedure, but not including time consumed by a tail-call from the procedure).
an inferred name (or #f) for the procedure.
the procedure’s source in the form of a syntax object (which might, in turn, provide a source location file and position).
- optionally, a list of unique call paths (i.e. stack traces) recorded if profile-paths-enabled is set to #t. Each call path is a pair of
a count (the number of times the path occurred), and
- a list containing two-element lists. Each two-element list contains
the calling procedure’s name or source expression, and
the calling procedure’s source file or #f.
Collecting this information is relatively expensive.
parameter
(profile-paths-enabled on?) → void? on? : any/c
procedure
3.2 Coverage
Errortrace can produce coverage information in two flavors: both count the number of times each expression in the source was used during execution. The first flavor uses a simple approach, where each expression is counted when executed; the second one uses the same annotations that the profiler uses, so only function bodies are counted. To see the difference between the two approaches, try this program:
(define (foo x) (if x 1 2)) (equal? (foo #t) 1)
The first approach will produce exact results, but it is more expensive; use it when you want to know how covered your code is (when the expected counts are small). The second approach produces coarser results (which, in the above case, will miss the 2 expression), but is less expensive; use it when you want to use the counts for profiling (when the expected counts are large).
parameter
(coverage-counts-enabled on?) → void? on? : any/c
parameter
(execute-counts-enabled on?) → void? on? : any/c
procedure
(get-coverage) → (listof (cons/c syntax? boolean?))
procedure
(get-execute-counts) → (list (cons/c syntax? number?))
procedure
(annotate-covered-file filename-path [ display-string]) → void? filename-path : path-string? display-string : (or/c string? #f) = #f
procedure
(annotate-executed-file filename-path [ display-string]) → void? filename-path : path-string? display-string : (or/c string? #t #f) = "^.,"
parameter
(test-coverage-info) → hasheq?
(test-coverage-info ht) → void? ht : hasheq?
3.3 Other Errortrace Bindings
The errortrace module also exports:
procedure
(print-error-trace output-port exn) → void?
output-port : output-port? exn : exn?
parameter
(error-context-display-depth d) → void? d : integer?