71 call_count_reset/0], []).
73:-
'$do_error'/2
use_system_module(
'$_errors', []).
85 '$call_count_info'(
Calls,
Retries,
Both).
141 '$check_if_call_count_on'(
Calls,
CallsOn),
142 '$check_if_call_count_on'(
Retries,
RetriesOn),
143 '$check_if_call_count_on'(
Both,
BothOn),
144 '$call_count_set'(
Calls,
CallsOn,
Retries,
RetriesOn,
Both,
BothOn).
146'$check_if_call_count_on'(
Calls,
1)
:- integer(
Calls),
integer.
147'$check_if_call_count_on'(
Calls,
0)
:- var(
Calls),
var.
148'$check_if_call_count_on'(
Calls,
A)
:-
149 '$do_error'(type_error(integer,
Calls),call_count(
A)).
157call_count(? CallsMax, ? RetriesMax, ? CallsAndRetriesMax)
call_count_data(- Calls, - Retries, - CallsAndRetries)