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.
debugger
):- use_module(library(debugger)).
debugger
)
Usage: debug_module(Module)
Module
(assuming it is is loaded in consult mode). When issuing this command at the toplevel shell, the compiler is instructed also to set to consult the loading mode of files defining that module.
Module
is an atom.
(basic_props:atm/1
)
Usage: nodebug_module(Module)
Module
. When issuing this command at the toplevel shell, the compiler is instructed also to set to compile the loding mode of files defining that module.
Module
is an atom.
(basic_props:atm/1
)
Usage:
Usage:
Usage:
h
to see the available options).
Usage:
Usage: spy(PredSpec)
PredSpec
, switching the debugger on if needed. This predicate is defined as a prefix operator by the toplevel.
PredSpec
is a sequence of multpredspec
s.
(basic_props:sequence/2
)
Usage: nospy(PredSpec)
PredSpec
. This predicate is defined as a prefix operator by the toplevel.
PredSpec
is a sequence of multpredspec
s.
(basic_props:sequence/2
)
Usage:
Usage: breakpt(Pred,Src,Ln0,Ln1,Number,RealLine)
Src
between lines Ln0
and Ln1
at the Number
'th occurence of (predicate) name Pred
. The complication comes from the fact that the reader only gives the start and end line numbers for the predicate. The rest of the arguments provide enough information to be able to locate the exact predicate that the RealLine
line refers to. This is used by the
emacs
mode.
Pred
is an atom.
(basic_props:atm/1
)
Src
is a source name.
(streams_basic:sourcename/1
)
Ln0
is an integer.
(basic_props:int/1
)
Ln1
is an integer.
(basic_props:int/1
)
Number
is an integer.
(basic_props:int/1
)
RealLine
is an integer.
(basic_props:int/1
)
Usage: nobreakpt(Pred,Src,Ln0,Ln1,Number,RealLine)
Src
between lines Ln0
and Ln1
at the Number
'th occurence of (predicate) name Pred
(see
breakpt/6
).
Pred
is an atom.
(basic_props:atm/1
)
Src
is a source name.
(streams_basic:sourcename/1
)
Ln0
is an integer.
(basic_props:int/1
)
Ln1
is an integer.
(basic_props:int/1
)
Number
is an integer.
(basic_props:int/1
)
RealLine
is an integer.
(basic_props:int/1
)
Usage:
No further documentation available for this predicate.
Usage:
Usage: leash(Ports)
Ports
, some of call
, exit
, redo
, fail
.
Ports
is a list of atm
s.
(basic_props:list/2
)
Usage: maxdepth(MaxDepth)
MaxDepth
. Calls to compiled predicates are not included in the computation of the depth.
MaxDepth
is an integer.
(basic_props:int/1
)
Usage: call_in_module(Module,Predicate)
Predicate
belonging to module Module
, even if that module does not export the predicate.
Module
is an atom.
(basic_props:atm/1
)
Predicate
is a term which represents a goal, i.e., an atom or a structure.
(basic_props:callable/1
)
debugger
)No further documentation available for this predicate.
The predicate is multifile.
debugger
)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.