Dynamic Predicates: profile_functor/1 profile_category_stats/2

133 Lines

20 Predicates

Imported Modules: avl

14 Exports

3 specified Imports

Imports	Exports
Name: module_info/2 Module: module_information Name: register_event_listener/3 Module: eventhandling Name: term_hash/2 Module: terms	Name: add_profile_hit/1 Name: add_profile_hit/2 Name: add_hit/2 Name: add_hit/3 Name: add_hit_if_not_covered/2 Name: add_profile_hash_hit/2 Name: add_span_hit/2 Name: add_to_profile_stats/2 Name: get_profile_stats/2 Name: retract_profile_stats/2 Name: profile_functor/1 Name: get_profile_statistics/2 Name: reset_profiler/0 Name: print_hit_profile_statistics/0

Imports

Exports

Name: module_info/2

Module: module_information

Name: register_event_listener/3

Module: eventhandling

Name: term_hash/2

Module: terms

Name: add_profile_hit/1

Name: add_profile_hit/2

Name: add_hit/2

Name: add_hit/3

Name: add_hit_if_not_covered/2

Name: add_profile_hash_hit/2

Name: add_span_hit/2

Name: add_to_profile_stats/2

Name: get_profile_stats/2

Name: retract_profile_stats/2

Name: profile_functor/1

Name: get_profile_statistics/2

Name: reset_profiler/0

Name: print_hit_profile_statistics/0

Predicates

Predicates:

add_hit_if_not_covered/2

add_profile_hash_hit/2

add_to_profile_stats/2

decompose_call/3

get_profile_statistics/2

get_profile_stats/2

print_hit_profile_statistics/0

print_hits/1

reset_profiler/0

retract_profile_stats/2

sum_hits/3

abstract_arg/3

abstract_arg(X,_,R) :- var(X),!,R=var.

abstract_arg(X,Level,R) :- number(X),!,(Level>0 -> R=X ; R=number).

abstract_arg([],_,R) :- !, R=[].

abstract_arg(X,Level,R) :- atomic(X),!,(Level>0 -> R=X ; R=atomic).

abstract_arg(b(Pred,_,_),Level,R) :- !, R=b(AP),abstract_arg(Pred,Level,AP).

abstract_arg(avl_set(A),Level,R) :- !, (Level>0 -> avl_size(A,Sz), R=avl_set(Sz) ; R=avl_set).

abstract_arg(node(A,B,C,D,E),Level,Res) :- (Level>0 -> avl_size(node(A,B,C,D,E),Sz), R=avl_node(Sz) ; R=avl_node), !, Res=R.

abstract_arg([H|T],Level,R) :- length([H|T],L),!,
(Level>0 -> R = list(L) ; R=list).

abstract_arg(X,0,R) :- !, functor(X,F,N), R=F/N.

abstract_arg(X,Level,R) :- X =.. [F|Args], L1 is Level-1, abstract_args(Args,L1,AA),
R =.. [F|AA].

Calls:

Name: =../2
Name: abstract_args/3	Module: hit_profiler
Name: is/2
Name: =/2
Name: functor/3
Name: !
Name: >/2
Name: ->/3
Name: length/2
Name: avl_size/2	Module: foo_error
Name: RECURSIVE_CALL/3	Module: hit_profiler
Name: atomic/1
Name: number/1
Name: var/1

Called:

Name: abstract_args/3

Module: hit_profiler

abstract_args/3

abstract_args([],_,[]).

abstract_args([H|T],Level,[AH|AT]) :- abstract_arg(H,Level,AH), abstract_args(T,Level,AT).

Calls:

Name: RECURSIVE_CALL/3	Module: hit_profiler
Name: abstract_arg/3	Module: hit_profiler

Called:

Name: abstract_arg/3	Module: hit_profiler
Name: add_profile_hit/2	Module: hit_profiler

add_hit/2

add_hit(F,A) :- add_hit(F,A,_).

Calls:

Name: add_hit/3

Module: hit_profiler

Called:

Name: add_hit/2

Module: hit_profiler

add_hit/3

add_hit(Functor,AbsArgs,NewNr) :-
term_hash(hit(Functor,AbsArgs),Hash),
add_hit_hash(Hash,Functor,AbsArgs,NewNr).

Calls:

Name: add_hit_hash/4	Module: hit_profiler
Name: term_hash/2	Module: terms

Called:

Name: add_hit/2

Module: hit_profiler

add_hit_hash/4

add_hit_hash(Hash,Functor,AbsArgs,New) :-
    (retract(hit(Hash,Functor,AbsArgs,Old))
    -> true
    ; Old=0,
    (profile_functor(Functor) -> true ; assertz(profile_functor(Functor)))
    ),
    New is Old+1,
    assertz(hit(Hash,Functor,AbsArgs,New)).

Calls:

Name: assertz/1
Name: is/2
Name: true
Name: profile_functor/1	dynamic predicate
Name: ->/3
Name: =/2
Name: hit/4	Module: foo_error
Name: retract/1

Called:

Name: add_hit/3

Module: hit_profiler

add_hit_if_not_covered/2

add_hit_if_not_covered(Functor,AbsArgs) :-
    term_hash(hit(Functor,AbsArgs),Hash),
    (hit(Hash,Functor,AbsArgs,_Old) -> true
    ; assertz(hit(Hash,Functor,AbsArgs,1)),
    (profile_functor(Functor) -> true ; assertz(profile_functor(Functor)))
).

Calls:

Name: assertz/1
Name: true
Name: profile_functor/1	dynamic predicate
Name: ->/3
Name: hit/4	Module: foo_error
Name: term_hash/2	Module: terms

add_profile_hash_hit/2

add_profile_hash_hit(Functor,Term) :- term_hash(Term,Hash), add_hit(Functor,Hash).

Calls:

Name: add_hit/2	Module: hit_profiler
Name: term_hash/2	Module: terms

add_profile_hit/1

add_profile_hit(Call) :- add_profile_hit(Call,1).

Calls:

Name: add_profile_hit/2

Module: hit_profiler

Called:

Name: add_profile_hit/1

Module: hit_profiler

add_profile_hit/2

add_profile_hit(Call,Level) :-
    decompose_call(Call,Functor,Args),
    abstract_args(Args,Level,AA),
    %print(hit(Call,Functor,Args,AA)),nl,
    add_hit(Functor,AA).

Calls:

Name: add_hit/2	Module: hit_profiler
Name: abstract_args/3	Module: hit_profiler
Name: decompose_call/3	Module: hit_profiler

Called:

Name: add_profile_hit/1

Module: hit_profiler

add_profiling_nr/0

add_profiling_nr

:- dynamic hit/4.

Calls:

Name: dynamic/1

add_span_hit/2

add_span_hit(_,_) :- current_prolog_flag(profiling,off),!.

add_span_hit(Call,Span) :-
    error_manager:extract_line_col(Span,Line,Col,EndLine,EndCol),!,
    decompose_call(Call,Functor,Args),
    add_hit(Functor,[Line,Col,EndLine,EndCol|Args]).

add_span_hit(Call,_) :-
    decompose_call(Call,Functor,Args),
    add_hit(Functor,Args).

Calls:

Name: add_hit/2	Module: hit_profiler
Name: decompose_call/3	Module: hit_profiler
Name: !
Name: extract_line_col/5	Module: error_manager
Name: current_prolog_flag/2

add_to_profile_stats/2

add_to_profile_stats(Category,Nr) :-
    (retract(profile_category_stats(Category,OldNr)) -> true ; OldNr=0),
    NewNr is OldNr+Nr,
    format('Updating stats ~w : ~w~n',[Category,NewNr]),
    assertz(profile_category_stats(Category,NewNr)).

Calls:

Name: assertz/1
Name: format/2
Name: is/2
Name: =/2
Name: true
Name: profile_category_stats/2	dynamic predicate
Name: retract/1
Name: ->/3

decompose_call/3

decompose_call(X,F,A) :- var(X),!,F=var,A=[].

decompose_call(_Module:Call,Functor,Args) :- !, Call =.. [Functor|Args].

decompose_call(Call,Functor,Args) :- Call =.. [Functor|Args].

Calls:

Name: =../2
Name: !
Name: =/2
Name: var/1

Called:

Name: add_profile_hit/2	Module: hit_profiler
Name: add_span_hit/2	Module: hit_profiler

get_profile_statistics/2

get_profile_statistics(F,Hits) :-
profile_functor(F),
findall(hit(A,Nr),hit(_,F,A,Nr),Hits).

Calls:

Name: findall/3
Name: profile_functor/1	dynamic predicate

get_profile_stats/2

get_profile_stats(Category,Nr) :- profile_category_stats(Category,Nr).

Calls:

Name: profile_category_stats/2

dynamic predicate

print_hit_profile_statistics/0

print_hit_profile_statistics :- \+ profile_functor(_),!. % print nothing

print_hit_profile_statistics :- print('-- ProB hit profiler statistics --'),nl,
    profile_functor(F),
    print('Functor : '), print(F),
    findall(hits(Nr,A),hit(_,F,A,Nr),Hits),
    sort(Hits,SortedHits), sum_hits(Hits,0,TotalHits), print(' --> '), print(TotalHits),nl,
    print_hits(SortedHits),
    fail.

print_hit_profile_statistics :- profile_category_stats(Category,TotalNr),
    format('- Statistic: ~w --> ~w~n',[Category,TotalNr]),
    fail.

print_hit_profile_statistics :- print('-- end --'),nl.

Calls:

Name: nl
Name: print/1
Name: fail
Name: format/2
Name: profile_category_stats/2	dynamic predicate
Name: print_hits/1	Module: hit_profiler
Name: sum_hits/3	Module: hit_profiler
Name: sort/2
Name: findall/3
Name: profile_functor/1	dynamic predicate
Name: !
Name: not/1

print_hits/1

print_hits([]).

print_hits([hits(Nr,A)|T]) :- print(' - '), print(A), print(' --> '), print(Nr),nl,
print_hits(T).

Calls:

Name: RECURSIVE_CALL/1	Module: hit_profiler
Name: nl
Name: print/1

Called:

Name: print_hit_profile_statistics/0

Module: hit_profiler

reset_profiler/0

reset_profiler :- retractall(hit(_,_,_,_)), retractall(profile_functor(_)), retractall(profile_category_stats(_,_)).

Calls:

Name: retractall/1

retract_profile_stats/2

retract_profile_stats(Category,Nr) :- retract(profile_category_stats(Category,Nr)).

Calls:

Name: profile_category_stats/2	dynamic predicate
Name: retract/1

sum_hits/3

sum_hits([],A,A).

sum_hits([hits(Nr,_)|T],A,R) :- NA is A+Nr, sum_hits(T,NA,R).

Calls:

Name: RECURSIVE_CALL/3	Module: hit_profiler
Name: is/2

Called:

Name: print_hit_profile_statistics/0

Module: hit_profiler

Determinacy Checker

Determinacy Checker:

! Existence error in argument 1 of absolute_file_name/3
! file probsrc(module_information) does not exist
! goal: absolute_file_name(probsrc(module_information),_261,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/coverage/hit_profiler.pl')])

hit_profiler

prob_prolog/src/coverage/hit_profiler.pl

Modules

Predicates of hit_profiler

Module Information

Dynamic Predicates: profile_functor/1 profile_category_stats/2

133 Lines

20 Predicates

Imported Modules: avl

14 Exports

3 specified Imports

Predicates:

abstract_arg/3

abstract_args/3

add_hit/2

add_hit/3

add_hit_hash/4

add_hit_if_not_covered/2

add_profile_hash_hit/2

add_profile_hit/1

add_profile_hit/2

add_profiling_nr/0

add_span_hit/2

add_to_profile_stats/2

decompose_call/3

get_profile_statistics/2

get_profile_stats/2

print_hit_profile_statistics/0

print_hits/1

reset_profiler/0

retract_profile_stats/2

sum_hits/3

Determinacy Checker: