[ Debugging | The ECLiPSe Built-In Predicates | Reference Manual | Alphabetic Index ]

traceable +SpecList

Sets the procedures in SpecList to be traceable.
SpecList
Sequence of expressions of the form Atom/Integer.

Description

Sets the leash mode of all the procedures given by SpecList to stop.

It is superseded by calling set_flag(Proc, leash, stop)

Modes and Determinism

Modules

This predicate is sensitive to its module context (tool predicate, see @/2).

Exceptions

(4) instantiation fault
SpecList is not instantiated.
(5) type error
SpecList is not of the form Atom/Integer.
(60) referring to an undefined procedure
SpecList is an undefined procedure.

See Also

get_flag / 3, set_flag / 3, untraceable / 1