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.

Version: 1.3#120 (1999/11/26, 12:5:17 MET)

Version of last change: 1.3#104 (1999/11/17, 22:5:53 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: spy/1:

Usage: spy(PredSpec)

PREDICATE: nospy/1:

Usage: nospy(PredSpec)

PREDICATE: nospyall/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).


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