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

make goal expansion more readable

Browse Source
This commit is contained in:
Vítor Santos Costa 2014-08-06 10:25:08 -05:00
parent d9d4cdca79
commit ed608db282
1 changed files with 10 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
library/maputils.yap
View File

@ -25,7 +25,7 @@
number_of_expansions(0). number_of_expansions(0).
compile_aux([Clause|Clauses], Module) :- compile_aux([Clause|Clauses], Module) :-
% compile the predicat declaration if needed % compile the predicate declaration if needed
( Clause = (Head :- _) ( Clause = (Head :- _)
; Clause = Head ), ; Clause = Head ),
!, !,
@ -68,8 +68,15 @@ aux_args([Arg|Args], [Arg|MVars], [PVar|PArgs], [PVar|PVars], ['_'|ProtoArgs]) :
aux_args(Args, MVars, PArgs, PVars, ProtoArgs). aux_args(Args, MVars, PArgs, PVars, ProtoArgs).
pred_name(Macro, Arity, _ , Name) :- pred_name(Macro, Arity, _ , Name) :-
prolog_load_context(file, FullFileName),
file_base_name( FullFileName, File ),
prolog_load_context(term_position, Pos),
stream_position_data( line_count, Pos, Line ), !,
transformation_id(Id), transformation_id(Id),
atomic_concat(['$$$__Auxiliary_predicate__ for ',Macro,'/',Arity,' ',Id], Name). atomic_concat(['$$$ for ',Macro,'/',Arity,', line ',Line,' in ',File,' ',Id], Name).
pred_name(Macro, Arity, _ , Name) :-
transformation_id(Id),
atomic_concat(['$$$__expansion__ for ',Macro,'/',Arity,' ',Id], Name).
transformation_id(Id) :- transformation_id(Id) :-
retract(number_of_expansions(Id)), retract(number_of_expansions(Id)),
@ -102,4 +109,4 @@ goal_expansion_allowed :-
/** /**
@} @}
*/ */