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

improve stack dumping

Browse Source 
fix format docs to talk about ~*


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@612 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
vsc
2002-10-01 20:29:58 +00:00
parent ef57cc40ce
commit f57c2a1c19
2 changed files with 90 additions and 23 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
docs/yap.tex
View File

@@ -3922,6 +3922,14 @@ Good night Hello+[1,2]
@end example @end example
@end table @end table
The number of arguments, @code{N}, may be given as an integer, or it
may be given as an extra argument. The next example shows a small
procedure to write a variable number of @code{a} characters:
@example
write_many_as(N) :-
format("~*c",[N,0'a]).
@end example
The @code{format/2} built-in also allows for formatted output. One can The @code{format/2} built-in also allows for formatted output. One can
specify column boundaries and fill the intermediate space by a padding specify column boundaries and fill the intermediate space by a padding

105
pl/errors.yap
View File

@@ -35,8 +35,7 @@
fail. fail.
'$process_error'(abort) :- !, '$process_error'(abort) :- !,
write(user_error,'[ Execution Aborted ]'), '$format'(user_error,'[ Execution Aborted ]~n').
nl(user_error).
'$process_error'(error(Msg, Where)) :- !, '$process_error'(error(Msg, Where)) :- !,
'$set_fpu_exceptions', '$set_fpu_exceptions',
'$print_message'(error,error(Msg, Where)). '$print_message'(error,error(Msg, Where)).
@@ -54,10 +53,9 @@ print_message(Level, Mss) :-
'$print_message'(error,error(syntax_error(A,B,C,D,E,F),_)) :- !, '$print_message'(error,error(syntax_error(A,B,C,D,E,F),_)) :- !,
'$output_error_message'(syntax_error(A,B,C,D,E,F), 'SYNTAX ERROR'). '$output_error_message'(syntax_error(A,B,C,D,E,F), 'SYNTAX ERROR').
'$print_message'(error,error(Msg,[Info|local_sp(Where,Envs,CPs)])) :- '$print_message'(error,error(Msg,[Info|local_sp(Where,Envs,CPs)])) :-
'$show_cps'(CPs),
'$show_envs'(Envs),
'$prepare_loc'(Info,Where,Location), '$prepare_loc'(Info,Where,Location),
'$output_error_message'(Msg, Location), !. '$output_error_message'(Msg, Location), !,
'$do_stack_dump'(Envs, CPs).
'$print_message'(error,Throw) :- '$print_message'(error,Throw) :-
'$format'(user_error,"[ No handler for error ~w ]~n", [Throw]). '$format'(user_error,"[ No handler for error ~w ]~n", [Throw]).
'$print_message'(informational,M) :- '$print_message'(informational,M) :-
@@ -136,15 +134,82 @@ print_message(Level, Mss) :-
'$format'(user_error,"~n ~w",[P]), '$format'(user_error,"~n ~w",[P]),
'$print_list_of_preds'(L). '$print_list_of_preds'(L).
'$show_cps'(List) :- '$do_stack_dump'(Envs, CPs) :-
'$format'(user_error,"[ Goals with alternatives open:~n",[]), '$preprocess_stack'(CPs,PCPs),
'$print_stack'(List), '$preprocess_stack'(Envs,PEnvs),
'$format'(user_error," ]~n",[]). '$say_stack_dump'(PEnvs, PCPs),
'$show_cps'(PCPs),
'$show_envs'(PEnvs),
'$close_stack_dump'(PEnvs, PCPs).
'$preprocess_stack'([], []).
'$preprocess_stack'([G|Gs], NGs) :-
'$pred_for_code'(G,Name,Arity,Mod,Clause),
'$beautify_stack_goal'(Name,Arity,Mod,Clause,Gs,NGs).
'$beautify_stack_goal'(Name,Arity,Module,0,Gs,NGs) :- !,
'$preprocess_stack'(Gs,NGs).
'$beautify_stack_goal'(Name,Arity,Module,Clause,Gs,NGs) :-
functor(G,Name,Arity),
'$hidden_predicate'(G,Module), !,
'$beautify_hidden_goal'(Name,Arity,Module,Clause,Gs,NGs).
'$beautify_stack_goal'(Name,Arity,Module,Clause,Gs,[cl(Name,Arity,Module,Clause)|NGs]) :-
'$preprocess_stack'(Gs,NGs).
'$beautify_hidden_goal'('$yes_no',_,_,_,_,[]) :- !.
'$beautify_hidden_goal'('$do_yes_no',_,_,_,_,[]) :- !.
'$beautify_hidden_goal'('$query',_,_,_,_,[]) :- !.
% The user should never know these exist.
'$beautify_hidden_goal'('$csult',_,prolog,ClNo,Gs,NGs) :- !,
'$preprocess_stack'(Gs, NGs).
'$beautify_hidden_goal'('$recordedp',_,prolog,ClNo,Gs,NGs) :- !,
'$preprocess_stack'(Gs, NGs).
'$beautify_hidden_goal'('$system_catch',_,prolog,ClNo,Gs,NGs) :- !,
'$preprocess_stack'(Gs, NGs).
'$beautify_hidden_goal'('$execute_command',_,prolog,ClNo,Gs,NGs) :- !,
'$preprocess_stack'(Gs, NGs).
'$beautify_hidden_goal'('$process_directive',_,prolog,ClNo,Gs,NGs) :- !,
'$preprocess_stack'(Gs, NGs).
'$beautify_hidden_goal'('$catch',_,prolog,ClNo,Gs,NGs) :- !,
'$preprocess_stack'(Gs, NGs).
'$beautify_hidden_goal'('$loop',_,prolog,ClNo,Gs,NGs) :- !,
'$preprocess_stack'(Gs, NGs).
'$beautify_hidden_goal'('$consult',1,prolog,ClNo,Gs,NGs) :- !,
'$preprocess_stack'(Gs, NGs).
'$beautify_hidden_goal'('$undefp',1,prolog,ClNo,Gs,NGs) :- !,
'$preprocess_stack'(Gs, NGs).
'$beautify_hidden_goal'('$consult',2,prolog,ClNo,Gs,[cl(consult,1,prolog,ClNo)|NGs]) :- !,
'$preprocess_stack'(Gs, NGs).
'$beautify_hidden_goal'('$listing',_,prolog,ClNo,Gs,[cl(listing,1,prolog,ClNo)|NGs]) :- !,
'$preprocess_stack'(Gs, NGs).
'$beautify_hidden_goal'('$call',Args,prolog,ClNo,Gs,[cl(call,Args,prolog,ClNo)|NGs]) :- !,
'$preprocess_stack'(Gs, NGs).
'$beautify_hidden_goal'('$current_predicate',Args,prolog,ClNo,Gs,[cl(current_predicate,Args,prolog,ClNo)|NGs]) :- !,
'$preprocess_stack'(Gs, NGs).
'$beautify_hidden_goal'('$list_clauses',_,prolog,ClNo,Gs,[cl(listing,1,prolog,ClNo)|NGs]) :- !,
'$preprocess_stack'(Gs, NGs).
'$beautify_hidden_goal'(Name,Args,Mod,ClNo,Gs,[cl(Name,Args,Mod,ClNo)|NGs]) :-
'$preprocess_stack'(Gs, NGs).
'$say_stack_dump'([], []) :- !.
'$say_stack_dump'(_, _) :-
'$format'(user_error,"[ Stack dump for error:", []).
'$close_stack_dump'([], []) :- !.
'$close_stack_dump'(_, _) :-
'$format'(user_error," ]~n", []).
'$show_cps'([]) :- !.
'$show_cps'(List) :-
'$format'(user_error,"~n choice-points (goals with alternatives left):",[]),
'$print_stack'(List).
'$show_envs'([]) :- !.
'$show_envs'(List) :- '$show_envs'(List) :-
'$format'(user_error,"[ Goals left to continue:~n",[]), '$format'(user_error,"~n environments (partially executed clauses):",[]),
'$print_stack'(List), '$print_stack'(List).
'$format'(user_error," ]~n",[]).
'$prepare_loc'(Info,Where,Location) :- integer(Where), !, '$prepare_loc'(Info,Where,Location) :- integer(Where), !,
'$pred_for_code'(Where,Name,Arity,Mod,Clause), '$pred_for_code'(Where,Name,Arity,Mod,Clause),
@@ -152,21 +217,15 @@ print_message(Level, Mss) :-
'$prepare_loc'(Info,Where,Info). '$prepare_loc'(Info,Where,Info).
'$print_stack'([]). '$print_stack'([]).
'$print_stack'([G|List]) :- '$print_stack'([cl(Name,Arity,Mod,Clause)|List]) :-
'$pred_for_code'(G,Name,Arity,Mod,Clause), '$show_goal'(Clause,Name,Arity,Mod),
( '$print_stack'(List).
Name = '$yes_no' ; Name = '$query' ; Name = '$do_yes_no' ->
true
;
'$show_goal'(Clause,Name,Arity,Mod),
'$print_stack'(List)
).
'$show_goal'(-1,Name,Arity,Mod) :- !, '$show_goal'(-1,Name,Arity,Mod) :- !,
'$format'(" ~a:~a/~d at indexing code~n",[Mod,Name,Arity]). '$format'("~n ~a:~a/~d at indexing code",[Mod,Name,Arity]).
'$show_goal'(0,Name,Arity,Mod) :- !. '$show_goal'(0,Name,Arity,Mod) :- !.
'$show_goal'(I,Name,Arity,Mod) :- '$show_goal'(I,Name,Arity,Mod) :-
'$format'(" ~a:~a/~d at clause ~d~n",[Mod,Name,Arity,I]). '$format'("~n ~a:~a/~d at clause ~d",[Mod,Name,Arity,I]).
'$construct_code'(-1,Name,Arity,Mod,Where,Location) :- !, '$construct_code'(-1,Name,Arity,Mod,Where,Location) :- !,
number_codes(Arity,ArityCode), number_codes(Arity,ArityCode),