[ 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