diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

debugger fixes:

Browse Source 
fix $execute0 and $call: they should be handled explicitely
fix missing ! for builtins in debugger meta-call
This commit is contained in:
Vítor Santos Costa 2008-09-23 22:50:25 +01:00
parent 1e8de3f86c
commit ebbefd71ce
2 changed files with 11 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pl/debug.yap
View File

@ -463,7 +463,7 @@ debugging :-
'$execute_nonstop'(G,M). '$execute_nonstop'(G,M).
'$spycall'(G, M, _, _) :- '$spycall'(G, M, _, _) :-
'$system_predicate'(G,M), '$system_predicate'(G,M),
\+ '$is_metapredicate'(G,M), \+ '$is_metapredicate'(G,M), !,
'$execute'(M:G). '$execute'(M:G).
'$spycall'(G, M, _, _) :- '$spycall'(G, M, _, _) :-
'$tabled_predicate'(G,M), '$tabled_predicate'(G,M),

15
pl/signals.yap
View File

@ -17,10 +17,6 @@
:- meta_predicate on_signal(+,?,:), alarm(+,:,-). :- meta_predicate on_signal(+,?,:), alarm(+,:,-).
% '$execute0' should be ignored.
'$creep'([_|'$execute0'(G,M)]) :-
!,
'$creep'([M|G]).
'$creep'(G) :- '$creep'(G) :-
% get the first signal from the mask % get the first signal from the mask
'$first_signal'(Sig), !, '$first_signal'(Sig), !,
@ -92,6 +88,15 @@
'$current_module'(M0), '$current_module'(M0),
'$execute0'((Goal,M:G),M0). '$execute0'((Goal,M:G),M0).
% '$execute0' should be ignored.
'$start_creep'([_|'$execute0'(G,M)]) :-
!,
'$start_creep'([M|G]).
% '$call'() is a complicated thing
'$start_creep'([M0|'$call'(G, CP, G0, M)]) :-
!,
'$creep',
'$execute_nonstop'('$call'(G, CP, G0, M),M0).
% do not debug if we are not in debug mode. % do not debug if we are not in debug mode.
'$start_creep'([Mod|G]) :- '$start_creep'([Mod|G]) :-
'$debug_on'(DBON), DBON = false, !, '$debug_on'(DBON), DBON = false, !,
@ -117,7 +122,7 @@
'$execute_nonstop'(G,Mod). '$execute_nonstop'(G,Mod).
'$start_creep'([Mod|G]) :- '$start_creep'([Mod|G]) :-
CP is '$last_choice_pt', CP is '$last_choice_pt',
'$do_spy'(G, Mod, CP, yes). '$do_spy'(G, Mod, CP, no).
'$signal_do'(Sig, Goal) :- '$signal_do'(Sig, Goal) :-
recorded('$signal_handler', action(Sig,Goal), _), !. recorded('$signal_handler', action(Sig,Goal), _), !.