Go to the first, previous, next, last section, table of contents.


Predicates controlling the interactive debugger

Author(s): A. Ciepielewski, M. Carlsson, T. Chikayama, K. Shen, D. Cabeza, M. Rodriguez.

Version: 1.10#6 (2004/8/7, 21:46:39 CEST)

Version of last change: 1.7#185 (2002/2/4, 18:45:52 CET)

This library implements predicates which are normally used in the interactive top-level shell to debug programs. A subset of them are available in the embeddable debugger.

Usage and interface (debugger)

Documentation on exports (debugger)

PREDICATE: debug_module/1:

Usage: debug_module(Module)

PREDICATE: nodebug_module/1:

Usage: nodebug_module(Module)

PREDICATE: debug_module_source/1:

Usage: debug_module_source(Module)

PREDICATE: debug/0:

Usage:

PREDICATE: nodebug/0:

Usage:

PREDICATE: trace/0:

Usage:

PREDICATE: notrace/0:

Usage:

PREDICATE: spy/1:

Usage: spy(PredSpec)

PREDICATE: nospy/1:

Usage: nospy(PredSpec)

PREDICATE: nospyall/0:

Usage:

PREDICATE: breakpt/6:

Usage: breakpt(Pred, Src, Ln0, Ln1, Number, RealLine)

PREDICATE: nobreakpt/6:

Usage: nobreakpt(Pred, Src, Ln0, Ln1, Number, RealLine)

PREDICATE: nobreakall/0:

Usage:

PREDICATE: list_breakpt/0:

Usage:

PREDICATE: debugging/0:

Usage:

PREDICATE: leash/1:

Usage: leash(Ports)

PREDICATE: maxdepth/1:

Usage: maxdepth(MaxDepth)

PREDICATE: call_in_module/2:

Usage: call_in_module(Module, Predicate)

Documentation on internals (debugger)

PROPERTY: multpredspec/1:

A property, defined as follows:


multpredspec(Mod:Spec) :-
        atm(Mod),
        multpredspec(Spec).
multpredspec(Name/Low-High) :-
        atm(Name),
        int(Low),
        int(High).
multpredspec(Name/(Low-High)) :-
        atm(Name),
        int(Low),
        int(High).
multpredspec(Name/Arity) :-
        atm(Name),
        int(Arity).
multpredspec(Name) :-
        atm(Name).

Known bugs and planned improvements (debugger)


Go to the first, previous, next, last section, table of contents.