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.5#34 (1999/12/31, 18:49:41 CET)

Version of last change: 1.5#19 (1999/12/16, 17:55:37 MET)

This library implements predicates which are normally used in the interactive top-level shell to debug programs.

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/0:

Usage:

PREDICATE: nodebug/0:

Usage:

PREDICATE: trace/0:

Usage:

PREDICATE: notrace/0:

Usage:

PREDICATE: trace_lines/0:

Usage:

PREDICATE: notrace_lines/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:

No further documentation available for this predicate.

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 multifiles (debugger)

PREDICATE: define_flag/3:

No further documentation available for this predicate.

The predicate is multifile.

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).


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