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

small fixes to listing

Browse Source
This commit is contained in:
Vítor Santos Costa 2014-07-16 12:59:03 -05:00
parent 2becb15578
commit dbff20343a
1 changed files with 17 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

29
pl/listing.yap
View File

@ -81,40 +81,45 @@ listing(Stream, [MV|MVs]) :- !,
'$funcspec'(Name,_,_) :- '$funcspec'(Name,_,_) :-
'$do_error'(domain_error(predicate_spec,Name),listing(Name)). '$do_error'(domain_error(predicate_spec,Name),listing(Name)).
'$list_clauses'(Stream, M, Pred) :-
'$flags'(Pred,M,Flags,Flags),
Flags /\ 0x48602000 =\= 0,
nl(Stream),
fail.
'$list_clauses'(Stream, M, Pred) :- '$list_clauses'(Stream, M, Pred) :-
( '$is_dynamic'(Pred, M) -> true ; '$is_log_updatable'(Pred, M) ), ( '$is_dynamic'(Pred, M) -> true ; '$is_log_updatable'(Pred, M) ),
functor( Pred, M, Ar ), functor( Pred, N, Ar ),
'$current_module'(Mod), '$current_module'(Mod),
( (
M == Mod M == Mod
-> ->
format( Stream, '~n:- dynamic ~q/~d.~n', [N,Ar]) format( Stream, ':- dynamic ~q/~d.~n', [N,Ar])
; ;
format( Stream, '~n:- dynamic ~q:~q/~d.~n', [M,N,Ar]) format( Stream, ':- dynamic ~q:~q/~d.~n', [M,N,Ar])
), ),
fail. fail.
'$list_clauses'(Stream, M, Pred) :- '$list_clauses'(Stream, M, Pred) :-
'$is_thread_local'(Pred, M), '$is_thread_local'(Pred, M),
functor( Pred, M, Ar ), functor( Pred, N, Ar ),
'$current_module'(Mod), '$current_module'(Mod),
( (
M == Mod M == Mod
-> ->
format( Stream, '~n:- thread_local ~q/~d.~n', [N,Ar]) format( Stream, ':- thread_local ~q/~d.~n', [N,Ar])
; ;
format( Stream, '~n:- thread_local ~q:~q/~d.~n', [M,N,Ar]) format( Stream, ':- thread_local ~q:~q/~d.~n', [M,N,Ar])
), ),
fail. fail.
'$list_clauses'(Stream, M, Pred) :- '$list_clauses'(Stream, M, Pred) :-
'$is_multifile'(Pred, M), '$is_multifile'(Pred, M),
functor( Pred, M, Ar ), functor( Pred, N, Ar ),
'$current_module'(Mod), '$current_module'(Mod),
( (
M == Mod M == Mod
-> ->
format( Stream, '~n:- multifile ~q/~d.~n', [N,Ar]) format( Stream, ':- multifile ~q/~d.~n', [N,Ar])
; ;
format( Stream, '~n:- multifile ~q:~q/~d.~n', [M,N,Ar]) format( Stream, ':- multifile ~q:~q/~d.~n', [M,N,Ar])
), ),
fail. fail.
'$list_clauses'(Stream, M, Pred) :- '$list_clauses'(Stream, M, Pred) :-
@ -125,16 +130,16 @@ listing(Stream, [MV|MVs]) :- !,
( (
M == Mod M == Mod
-> ->
format( Stream, '~n:- ~q.~n', [PredDef]) format( Stream, ':- ~q.~n', [PredDef])
; ;
format( Stream, '~n:- ~q:~q.~n', [M,PredDef]) format( Stream, '~:- ~q:~q.~n', [M,PredDef])
), ),
fail. fail.
'$list_clauses'(Stream, M, Pred) :- '$list_clauses'(Stream, M, Pred) :-
nl( Stream ), nl( Stream ),
fail. fail.
'$list_clauses'(Stream, M, Pred) :- '$list_clauses'(Stream, M, Pred) :-
'$flags'(Pred,M,Flags,Flags), '$flags'(Pred,M,Flags,Flags),
% has to be dynamic, source, or log update. % has to be dynamic, source, or log update.
Flags /\ 0x08402000 =\= 0, Flags /\ 0x08402000 =\= 0,
'$clause'(Pred, M, Body, _), '$clause'(Pred, M, Body, _),