Dynamic Predicates: remove_debug_calls/0 is_debug_call/3

336 Lines

20 Predicates

Imported Modules: lists codesio

5 Exports

1 specified Imports

Imports	Exports
Name: module_info/2 Module: module_information	Name: register_debugging_call/1 Name: register_debugging_calls/1 Name: enable_debugging_calls/0 Name: disable_debugging_calls/0 Name: remove_debugging_calls/4

Imports

Exports

Name: module_info/2

Module: module_information

Name: register_debugging_call/1

Name: register_debugging_calls/1

Name: enable_debugging_calls/0

Name: disable_debugging_calls/0

Name: remove_debugging_calls/4

Predicates

Predicates:

dec_indent/0

disable_debugging_calls/0

enable_debugging_calls/0

get_current_position/4

observe_built_in_post/3

register_debugging_call/1

register_debugging_calls/1

register_error_msg/1

remove_debugging_calls/4

remove_debugging_calls_args/5

remove_debugging_calls_args_nl/4

dec_indent :-
    bb_get(debugging_indent_level,L), L>0,!,
    L1 is L-1,
    bb_put(debugging_indent_level,L1),
    indent(L1).

dec_indent :- format('~n**** UNMATCHED decrease_indent~n',[]).

Calls:

Name: format/2
Name: indent/1	Module: debugging_calls
Name: bb_put/2
Name: is/2
Name: !
Name: >/2
Name: bb_get/2

disable_debugging_calls/0

disable_debugging_calls :-
(remove_debug_calls -> true; assertz(remove_debug_calls)).

Calls:

Name: assertz/1
Name: true
Name: remove_debug_calls	dynamic predicate
Name: ->/3

enable_debugging_calls/0

enable_debugging_calls :-
retractall(remove_debug_calls).

Calls:

Name: retractall/1

get_current_position/4

get_current_position(Line,Col,Module,File) :-
    prolog_load_context(module, Module),
    prolog_load_context(file, File),
    prolog_load_context(term_position,TPos), % gives something like $stream_position(18031,18031,340,21)
    !,
    (TPos= '$stream_position'(_,_,Line,Col) -> true ; Line='?', Col='?').

get_current_position('?','?',Module,'?') :-
    prolog_load_context(module, Module),!.

get_current_position('?','?','?','?').

Calls:

Name: !
Name: prolog_load_context/2
Name: =/2
Name: true
Name: ->/3

get_functor/3

get_functor(Var,F,N) :- var(Var), !, F='$VAR',N=0.

get_functor(Mod:E,Mod:F,N) :- !, get_functor(E,F,N).

get_functor(catch(E,_,_),catch:F,N) :- !, get_functor(E,F,N).

get_functor(if(E,_,_),if:F,N) :- !, get_functor(E,F,N).

get_functor(call(E),catch:F,N) :- !, get_functor(E,F,N).

get_functor(E,F,N) :- (E=true -> trace ; true), functor(E,F,N).

Calls:

Name: functor/3
Name: true
Name: trace
Name: =/2
Name: ->/3
Name: RECURSIVE_CALL/3	Module: debugging_calls
Name: !
Name: var/1

ignore_module/1

ignore_module(aggregate).

ignore_module(assoc).

ignore_module(avl).

ignore_module(a_star).

ignore_module(binomialheap).

ignore_module(builtins).

ignore_module(chr). % prevent inserting observation code into some library modules

ignore_module(chr_compiler_utility).

ignore_module(chr_hashtable_store).

ignore_module(chr_runtime).

ignore_module(chr_translate).

ignore_module(clpfd).

ignore_module(fastrw).

ignore_module(guard_entailment).

ignore_module(heaps).

ignore_module(hpattvars).

ignore_module(hprolog).

ignore_module(listmap).

ignore_module(lists).

ignore_module(mutdict).

ignore_module(pairlist).

ignore_module(plunit).

ignore_module(random).

ignore_module(samsort).

ignore_module(system).

ignore_module(terms).

ignore_module(xml).

ignore_module(chr_integer_inequality).

inc_indent/0

inc_indent :- (bb_get(debugging_indent_level,L) -> true ; L=0),
    L1 is L+1,
    bb_put(debugging_indent_level,L1),
    indent(L).

Calls:

Name: indent/1	Module: debugging_calls
Name: bb_put/2
Name: is/2
Name: =/2
Name: true
Name: bb_get/2
Name: ->/3

indent/1

indent(X) :- X<1,!.

indent(X) :- write('>'), X1 is X-1, indent(X1).

Calls:

Name: RECURSIVE_CALL/1	Module: debugging_calls
Name: is/2
Name: write/1
Name: !
Name: </2

Called:

Name: dec_indent/0	Module: debugging_calls
Name: inc_indent/0	Module: debugging_calls

observe_built_in/3

observe_built_in(assert(P),assert,P).

observe_built_in(asserta(P),asserta,P).

observe_built_in(assertz(P),assertz,P).

observe_built_in(ground(P),ground,P).

observe_built_in(copy_term(P,_),copy_term,P).

observe_built_in(copy_term(P,_,_),copy_term,P).

observe_built_in(term_variables(P,_),term_variables,P).

observe_built_in(term_hash(P,_),term_hash,P).

observe_built_in(term_hash(P,_,_),term_hash,P).

observe_built_in(number_vars(P,_,_),term_variables,P).

observe_built_in(acyclic_term(P),acyclic_term,P).

observe_built_in2/4

observe_built_in2('/=='(P,Q),'/==',P,Q) :- \+ atom(Q), \+ atom(P).

observe_built_in2('/='(P,Q),'/=',P,Q) :- \+ atom(Q), \+ atom(P), Q \== term(undefined).

observe_built_in2('=='(P,Q),'==',P,Q) :- \+ atom(Q), \+ atom(P), Q \== term(undefined).

observe_built_in2('@<'(P,Q),'@<',P,Q) :- \+ atom(Q), \+ atom(P), Q \== term(undefined).

observe_built_in2('@>'(P,Q),'@>',P,Q) :- \+ atom(Q), \+ atom(P), Q \== term(undefined).

observe_built_in2(dif(P,Q),dif,P,Q) :- \+ atom(Q), \+ atom(P).

observe_built_in2(unify_with_occurs_check(P,Q),unify_with_occurs_check,P,Q) :- \+ atom(Q), \+ atom(P).

observe_built_in2(subsumes_term(P,Q),subsumes_term,P,Q) :- \+ atom(Q), \+ atom(P).

Calls:

Name: atom/1
Name: not/1
Name: \==/2

observe_built_in_post/3

observe_built_in_post(frozen(_,P),frozen,P).

observe_built_in_post(retract(P),retract,P).

register_debugging_call/1

register_debugging_call(Call) :-
    functor(Call,Functor,Arity),
    Call =.. [_|Args],
    ( nth1(Pos,Args,*) ->
    ( nth1(NPos,Args,*), NPos \= Pos ->
    register_error_msg(Call)
    ;
    retractall(is_debug_call(Functor,Arity,_)),
    assertz(is_debug_call(Functor,Arity,Pos)))
    ;
    register_error_msg(Call)).

Calls:

Name: register_error_msg/1	Module: debugging_calls
Name: assertz/1
Name: retractall/1
Name: \=/2
Name: nth1/3	Module: foo_error
Name: ->/3
Name: =../2
Name: functor/3

Called:

Name: register_debugging_calls/1

Module: debugging_calls

register_debugging_calls/1

register_debugging_calls([]).

register_debugging_calls([Call|Calls]) :-
register_debugging_call(Call),
register_debugging_calls(Calls).

Calls:

Name: RECURSIVE_CALL/1	Module: debugging_calls
Name: register_debugging_call/1	Module: debugging_calls

register_error_msg/1

register_error_msg(Call) :-
    write_to_codes(Call,M),
    append("register_debug_call has wrong argument: ", M, Codes),
    safe_atom_codes(Msg,Codes),
    print_message(error,Msg).

Calls:

Name: print_message/2
Name: safe_atom_codes/2	Module: debugging_calls
Name: append/3
Name: write_to_codes/2	Module: foo_error

Called:

Name: register_debugging_call/1

Module: debugging_calls

remove_debugging_calls/4

remove_debugging_calls(Layout,Term,Layout,Term) :- var(Term),!.

remove_debugging_calls(LayoutIn,when(Cond,Body),LayoutOut,ResTerm) :- !,
    ResTerm = when(Cond,NewBody), % do not expand inside condition
    (LayoutIn = []
    -> LayoutBody = [],
    LayoutOut = []
    ; LayoutIn = [LayoutWhen,LayoutCond,LayoutBody],
    LayoutOut = [LayoutWhen,LayoutCond,LayoutBodyOut]),
    remove_debugging_calls(LayoutBody,Body,LayoutBodyOut,NewBody).

remove_debugging_calls(LayoutIn,Term,Layout2,Term2) :-
    functor(Term, ~~, 1),
    arg(1,Term,Term1),
    nonvar(Term1),!,functor(Term1,Functor,Arity),
    ( LayoutIn = [] -> Layout1 = []
    ; LayoutIn = [_,Layout1]),
    ( is_debug_call(Functor,Arity,CallPos) ->
    ( remove_debug_calls ->
    safe_arg(CallPos,Term1,TermI),
    ( Layout1 = [] -> LayoutI = []
    ; Layout1 = [_|ArgLayout] ->
    nth1(CallPos,ArgLayout,LayoutI)),
    remove_debugging_calls(LayoutI,TermI,Layout2,Term2)
    ;
    remove_debugging_calls(Layout1,Term1,Layout2,Term2))
    ;
    write_to_codes(Functor/Arity,M1),
    append(["encountered unregistered ",M1,
    " tagged for debugging removal"],M3),
    safe_atom_codes(Msg1,M3),
    print_message(error,Msg1),
    Term2 = Term1
).

remove_debugging_calls(LayoutIn,Term1,LayoutOut,Term2) :-
    !,functor(Term1,Functor,Arity),
    functor(Term2,Functor,Arity),
    ( LayoutIn = [] ->
    LayoutOut = [],
    remove_debugging_calls_args_nl(1,Arity,Term1,Term2)
    ; LayoutIn = [Pos|Layout1] ->
    LayoutOut = [Pos|Layout2],
    remove_debugging_calls_args(Layout1,Term1,Layout2,Term2,1)
    ;
    LayoutIn = LayoutOut,
    Term1 = Term2).

Calls:

Name: =/2
Name: remove_debugging_calls_args/5	Module: debugging_calls
Name: ->/3
Name: remove_debugging_calls_args_nl/4	Module: debugging_calls
Name: functor/3
Name: !
Name: print_message/2
Name: safe_atom_codes/2	Module: debugging_calls
Name: append/2	Module: foo_error
Name: write_to_codes/2	Module: foo_error
Name: RECURSIVE_CALL/4	Module: debugging_calls
Name: nth1/3	Module: foo_error
Name: ->/2
Name: safe_arg/3	Module: debugging_calls
Name: remove_debug_calls	dynamic predicate
Name: is_debug_call/3	dynamic predicate
Name: nonvar/1
Name: arg/3
Name: var/1

Called:

Name: expand/4	Module: debugging_calls_te.pl
Name: remove_debugging_calls_args_nl/4	Module: debugging_calls
Name: remove_debugging_calls_args/5	Module: debugging_calls

remove_debugging_calls_args/5

remove_debugging_calls_args([],_,[],_,_).

remove_debugging_calls_args([L1|Layout1],Term1,[L2|Layout2],Term2,N) :-
    safe_arg(N,Term1,In), safe_arg(N,Term2,Out),
    remove_debugging_calls(L1,In,L2,Out),
    N2 is N+1,
    remove_debugging_calls_args(Layout1,Term1,Layout2,Term2,N2).

Calls:

Name: RECURSIVE_CALL/5	Module: debugging_calls
Name: is/2
Name: remove_debugging_calls/4	Module: debugging_calls
Name: safe_arg/3	Module: debugging_calls

Called:

Name: remove_debugging_calls/4

Module: debugging_calls

remove_debugging_calls_args_nl/4

remove_debugging_calls_args_nl(N,Max,_,_) :- N > Max,!.

remove_debugging_calls_args_nl(N,Max,Term1,Term2) :-
    N =< Max,
    safe_arg(N,Term1,In), safe_arg(N,Term2,Out),
    remove_debugging_calls([],In,_,Out),
    N2 is N+1,
    remove_debugging_calls_args_nl(N2,Max,Term1,Term2).

Calls:

Name: RECURSIVE_CALL/4	Module: debugging_calls
Name: is/2
Name: remove_debugging_calls/4	Module: debugging_calls
Name: safe_arg/3	Module: debugging_calls
Name: =</2
Name: !
Name: >/2

Called:

Name: remove_debugging_calls/4

Module: debugging_calls

safe_arg/3

safe_arg(N,Term,Arg) :- compound(Term), arg(N,Term,Arg).

Calls:

Name: arg/3
Name: compound/1

Called:

Name: remove_debugging_calls_args_nl/4	Module: debugging_calls
Name: remove_debugging_calls_args/5	Module: debugging_calls
Name: remove_debugging_calls/4	Module: debugging_calls

safe_atom_codes/2

safe_atom_codes(A,C) :-
    catch(atom_codes(A,C),
    error(representation_error(max_atom_length),_),
    (print(exception(max_atom_length)),nl,A='???')).

Calls:

Name: catch/3

Called:

Name: register_error_msg/1	Module: debugging_calls
Name: remove_debugging_calls/4	Module: debugging_calls

safe_functor/3

safe_functor(Var,F,N) :- var(Var),!, F='$VAR', N=0.

safe_functor(X,F,N) :- functor(X,F,N).

Calls:

Name: functor/3
Name: =/2
Name: !
Name: var/1

Determinacy Checker

Determinacy Checker:

! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_debug_flag,true)
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(plspec_patch_libraries,true)
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_debug_flag,true)

debugging_calls

prob_prolog/src/debugging_calls.pl

Modules

Predicates of debugging_calls

Module Information

Dynamic Predicates: remove_debug_calls/0 is_debug_call/3

336 Lines

20 Predicates

Imported Modules: lists codesio

5 Exports

1 specified Imports

Predicates:

dec_indent/0

disable_debugging_calls/0

enable_debugging_calls/0

get_current_position/4

get_functor/3

ignore_module/1

inc_indent/0

indent/1

observe_built_in/3

observe_built_in2/4

observe_built_in_post/3

register_debugging_call/1

register_debugging_calls/1

register_error_msg/1

remove_debugging_calls/4

remove_debugging_calls_args/5

remove_debugging_calls_args_nl/4

safe_arg/3

safe_atom_codes/2

safe_functor/3

Determinacy Checker: