[ ECLiPSe Debugger built-in.|Group Index|
Full Index]
untraceable +SpecList
Declares the procedure(s) in SpecList to be untraceable.
- +SpecList
- Sequence of expressions of the form name/arity.
Description
Sets all the procedures given by SpecList untraceable. Marking a
predicate as untraceable will prevent any information about it being
displayed. The subgoals of this predicate will be shown in their normal
way.
Note that untraceable/1 is superseded by the predicate set_flag(Proc,
leash, notrace), which declares the procedure Proc to be untraceable.
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, traceable / 1