Quintus Prolog

`nocheck_advice/[0,1]` development

Synopsis

nocheck_advice

nocheck_advice(+PredSpecs)

Disable advice checking on all predicates given by PredSpecs.

Arguments

PredSpecs gen_pred_spec_tree [MOD]: A list of predicate specifications.

Description

nocheck_advice/1 is used to disable advice checking on all predicates specified in PredSpecs. nocheck_advice/0 disables advice checking on all predicates for which advice checking is currently enabled. When advice checking is disabled for a predicate, and execution of that predicate reaches an advised port, execution will proceed as though the port wasn't advised.

This predicate is not supported in runtime systems.

Exceptions

instantiation_error: if the argument is not ground.
type_error: if a Name is not an atom or an Arity not an integer.
domain_error: if a PredSpec is not a valid procedure specification, or if an Arity is specified as an integer outside the range 0-255.
permission_error: if a specified procedure is built-in.

Tips

nocheck_advice/0 behaves as though implemented by

     nocheck_advice :-
             current_advice(Goal, Port, Action),
             functor(Goal, Name, Arity),
             nocheck_advice(Name/Arity),
             fail.
     nocheck_advice.

nocheck_advice/[0,1] development