150 Lines

check( (Head :- when(Blocking,_) ),F ) :-
    get_variables(Blocking,Vars),
    Head =.. [Functor|Args],
    check_args(Args,Vars,Functor,BlockList),!,
    to_commas(BlockList,Blocks),
    print(F),print(:),
    print(Functor),print(' -> block '),print(Blocks),print(.),nl.

check(_,_).

Calls:

Name: nl
Name: print/1
Name: to_commas/2	Module: find_whens.pl
Name: !
Name: check_args/4	Module: find_whens.pl
Name: =../2
Name: get_variables/2	Module: find_whens.pl

Called:

Name: search/2

Module: find_whens.pl

check_args/4

check_args(_,[],_,[]).

check_args(Args,[Vs|Vss],Functor,[Block|Brest]) :-
       check_args1(Args,Vs,Syms),
       Block =.. [Functor|Syms],
       check_args(Args,Vss,Functor,Brest).

Calls:

Name: RECURSIVE_CALL/4	Module: find_whens.pl
Name: =../2
Name: check_args1/3	Module: find_whens.pl

Called:

Name: check/2	Module: find_whens.pl
Name: val/3	Module: find_whens.pl

check_args1/3

check_args1(Args,Vs,Syms) :-
sort(Vs,SVs),
check_args2(Args,SVs,Syms).

Calls:

Name: check_args2/3	Module: find_whens.pl
Name: sort/2

Called:

Name: check_args/4

Module: find_whens.pl

check_args2/3

check_args2([],[],[]).

check_args2([H|T],Vs,[S|Srest]) :-
       ( exact_mem(H,Vs,Vrest) ->
        S = '-',check_args2(T,Vrest,Srest)
       ; otherwise ->
        S = '?', check_args2(T,Vs,Srest)).

Calls:

Name: RECURSIVE_CALL/3	Module: find_whens.pl
Name: =/2
Name: otherwise
Name: ->/2
Name: exact_mem/3	Module: find_whens.pl
Name: ->/3

Called:

Name: check_args1/3

Module: find_whens.pl

count/4

count(F,S,I,O) :-
       catch( read(S,Term), _, Term = exception),
       ( Term == end_of_file ->
        I=O
       ; otherwise ->
        count_in_term(Term,I,X),
        count(F,S,X,O)).

Calls:

Name: RECURSIVE_CALL/4	Module: find_whens.pl
Name: count_in_term/3	Module: find_whens.pl
Name: otherwise
Name: ->/2
Name: =/2
Name: ==/2
Name: ->/3
Name: catch/3

Called:

Name: count_when/2

Module: find_whens.pl

count_in_body/3

count_in_body(when(_,_),I,O) :- !, O is I+1.

count_in_body((A,B),I,O) :- !, count_in_body(A,I,X), count_in_body(B,X,O).

count_in_body((A;B),I,O) :- !, count_in_body(A,I,X), count_in_body(B,X,O).

count_in_body((A->B),I,O) :- !, count_in_body(A,I,X), count_in_body(B,X,O).

count_in_body(_,X,X).

Calls:

Name: RECURSIVE_CALL/3	Module: find_whens.pl
Name: !
Name: is/2

Called:

Name: count_in_term/3

Module: find_whens.pl

count_in_term/3

count_in_term( (_ :- Body), I, O) :- !,count_in_body(Body,I,O).

count_in_term(_,X,X).

Calls:

Name: count_in_body/3	Module: find_whens.pl
Name: !

Called:

Name: count/4

Module: find_whens.pl

count_when/2

count_when(F,Name) :-
       open(F,read,S),
       count(Name,S,0,Count),
       close(S),
       (Count==0 -> true ; print(Name),print(:),print(Count),nl).

Calls:

Name: nl
Name: print/1
Name: true
Name: ==/2
Name: ->/3
Name: close/1
Name: count/4	Module: find_whens.pl
Name: open/3

Called:

Name: count_when_l/1

Module: find_whens.pl

count_when_l/1

count_when_l([]).

count_when_l([H|T]) :-
       ( is_prolog(H,F,Name) -> count_when(F,Name)
       ; otherwise -> true),
       count_when_l(T).

Calls:

Name: RECURSIVE_CALL/1	Module: find_whens.pl
Name: true
Name: otherwise
Name: ->/2
Name: count_when/2	Module: find_whens.pl
Name: is_prolog/3	Module: find_whens.pl
Name: ->/3

Called:

Name: count_whens/0

Module: find_whens.pl

count_whens/0

count_whens :-
       file_members_of_directory(Dir),
       count_when_l(Dir),
       flush_output.

Calls:

Name: flush_output
Name: count_when_l/1	Module: find_whens.pl
Name: file_members_of_directory/1	Module: file_systems

exact_mem/3

exact_mem(V,[H|T], Rest) :-
( V==H -> Rest=T
; otherwise -> Rest=[H|R],exact_mem(V,T,R)).

Calls:

Name: RECURSIVE_CALL/3	Module: find_whens.pl
Name: =/2
Name: otherwise
Name: ->/2
Name: ==/2
Name: ->/3

Called:

Name: check_args2/3

Module: find_whens.pl

get_variables/2

get_variables(Blocking, Vars) :-
get_variables1(Blocking,Vars,[]).

Calls:

Name: get_variables1/3

Module: find_whens.pl

Called:

Name: check/2	Module: find_whens.pl
Name: val/3	Module: find_whens.pl

get_variables1/3

get_variables1((A,B)) --> !,
       get_variables1(A),
       get_variables1(B).

get_variables1(E) -->
       [Vars],
       {get_variables2(E,Vars,[])}.

Calls:

Name: =/2
Name: get_variables2/3	Module: find_whens.pl
Name: RECURSIVE_CALL/3	Module: find_whens.pl
Name: !

Called:

Name: get_variables/2

Module: find_whens.pl

get_variables2/3

get_variables2(nonvar(V)) --> [V].

get_variables2((A;B)) -->
get_variables2(A),
get_variables2(B).

Calls:

Name: RECURSIVE_CALL/3	Module: find_whens.pl
Name: =/2

Called:

Name: get_variables1/3

Module: find_whens.pl

is_prolog/3

is_prolog(F-_,F,N) :- atom_chars(F,Cs), append(Nc,['.',p,l],Cs), atom_chars(N,Nc).

Calls:

Name: atom_chars/2
Name: append/3

Called:

Name: count_when_l/1	Module: find_whens.pl
Name: search_when_l/1	Module: find_whens.pl

portray_message/2

portray_message(informational, _).

search/2

search(F,S) :-
       catch(read(S,Term), _, Term = exception),
       ( Term == end_of_file ->
        true
       ; otherwise ->
        check(Term,F),
        search(F,S)).

Calls:

Name: RECURSIVE_CALL/2	Module: find_whens.pl
Name: check/2	Module: find_whens.pl
Name: otherwise
Name: ->/2
Name: true
Name: ==/2
Name: ->/3
Name: catch/3

Called:

Name: search_when2/2

Module: find_whens.pl

search_when/2

search_when(F,Name) :-
search_when2(F,Name).

Calls:

Name: search_when2/2

Module: find_whens.pl

Called:

Name: search_when_l/1

Module: find_whens.pl

search_when2/2

search_when2(F,Name) :-
       open(F,read,S),
       search(Name,S),
       close(S).

Calls:

Name: close/1
Name: search/2	Module: find_whens.pl
Name: open/3

Called:

Name: search_when/2

Module: find_whens.pl

search_when_l/1

search_when_l([]).

search_when_l([H|T]) :-
       ( is_prolog(H,F,Name) -> search_when(F,Name)
       ; otherwise -> true),
       search_when_l(T).

Calls:

Name: RECURSIVE_CALL/1	Module: find_whens.pl
Name: true
Name: otherwise
Name: ->/2
Name: search_when/2	Module: find_whens.pl
Name: is_prolog/3	Module: find_whens.pl
Name: ->/3

Called:

Name: whens/0

Module: find_whens.pl

to_commas/2

to_commas([A],A).

to_commas([A,B|Rest],(A,R)) :- to_commas([B|Rest],R).

Calls:

Name: RECURSIVE_CALL/2

Module: find_whens.pl

Called:

Name: val/3	Module: find_whens.pl
Name: check/2	Module: find_whens.pl

val/3

val(Term,Term,_) :- !.

val( (Head :- when(Blocking,Body) ), (:- block Blocks),R ) :-
    get_variables(Blocking,Vars),
    Head =.. [Functor|Args],
    check_args(Args,Vars,Functor,BlockList),
    to_commas(BlockList,Blocks),
    read(R,Term),
    Term = ( Head :- Body ).

Calls:

Name: =/2
Name: read/2
Name: to_commas/2	Module: find_whens.pl
Name: check_args/4	Module: find_whens.pl
Name: =../2
Name: get_variables/2	Module: find_whens.pl
Name: !

Called:

Name: validate_ref/2

Module: find_whens.pl

validate_ref/2

validate_ref(O,R) :-
       read(O,OTerm),
       read(R,RTerm),
       ( OTerm == end_of_file, OTerm==RTerm ->
        true
       ; val(OTerm,RTerm,R) ->
        validate_ref(O,R)
       ; otherwise ->
        line_count(R,Line),
        print('could not validate '),print(Line),nl,
        fail).

Calls:

Name: fail
Name: nl
Name: print/1
Name: line_count/2
Name: otherwise
Name: ->/2
Name: RECURSIVE_CALL/2	Module: find_whens.pl
Name: val/3	Module: find_whens.pl
Name: ->/3
Name: true
Name: ==/2
Name: read/2

Called:

Name: validate_refactoring/2

Module: find_whens.pl

validate_refactoring/2

validate_refactoring(Orig,Ref) :-
       open(Orig,read,O),
       open(Ref,read,R),
       validate_ref(O,R),
       close(O),
       close(R).

Calls:

Name: close/1
Name: validate_ref/2	Module: find_whens.pl
Name: open/3

whens/0

whens :-
       file_members_of_directory(Dir),
       search_when_l(Dir),
       flush_output.

Calls:

Name: flush_output
Name: search_when_l/1	Module: find_whens.pl
Name: file_members_of_directory/1	Module: file_systems

Determinacy Checker

Determinacy Checker:

* Non-determinate: user:check_args/4 (clause 1)
* Indexing cannot distinguish this from clause 2.
* Non-determinate: user:to_commas/2 (clause 1)
* Indexing cannot distinguish this from clause 2.

find_whens.pl

../../prolog/src/find_whens.pl

Modules

Predicates of find_whens.pl

Module Information

150 Lines

25 Predicates

Imported Modules: file_systems lists

0 Exports

0 specified Imports

Predicates:

check/2

check_args/4

check_args1/3

check_args2/3

count/4

count_in_body/3

count_in_term/3

count_when/2

count_when_l/1

count_whens/0

exact_mem/3

get_variables/2

get_variables1/3

get_variables2/3

is_prolog/3

portray_message/2

search/2

search_when/2

search_when2/2

search_when_l/1

to_commas/2

val/3

validate_ref/2

validate_refactoring/2

whens/0

Determinacy Checker: