[ ECLiPSe Debugger built-in.|Group Index| Full 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)

Fail Conditions

None.

Resatisfiable

No.

Exceptions

(4) Instantiation fault
SpecList is not instantiated.
(5) Type error
SpecList is not of the form Atom/Integer.
(60)
SpecList is an undefined procedure.

Examples


See Also

get_flag / 3, set_flag / 3, untraceable / 1