Dynamic Predicates: cur_line/1 verbose/0

block_args(_,1,[BA]) --> block_arg(BA),anyws,")",!.

block_args(ID,Arity,[BA|T]) --> block_arg(BA),anyws,",",!,block_args(ID,A1,T), {Arity is A1+1}.

block_args(ID,A,BA) --> ws, !, block_args(ID,A,BA).

block_args(ID,_,_) --> [X], {atom_codes(N,ID),atomic_codes(NX,[X]),print_error(illegal_block_argument(N,NX)),fail}.

Calls:

Name: =/2
Name: fail
Name: print_error/1	Module: block_checker.pl
Name: atomic_codes/2	Module: block_checker.pl
Name: atom_codes/2
Name: RECURSIVE_CALL/5	Module: block_checker.pl
Name: !
Name: ws/2	Module: foo_error
Name: is/2
Name: anyws/2	Module: foo_error
Name: block_arg/3	Module: block_checker.pl

Called:

Name: block_decl/5

Module: block_checker.pl

block_decl/5

block_decl(ID,Arity,BA) --> anyws,id(ID),
anyws,"(",block_args(ID,Arity,BA).

Calls:

Name: block_args/5	Module: block_checker.pl
Name: =/2
Name: anyws/2	Module: foo_error
Name: id/3	Module: block_checker.pl

Called:

Name: check_directive/3	Module: block_checker.pl
Name: block_decl_rest/4	Module: block_checker.pl

block_decl_rest/4

block_decl_rest(_P,_Arity) --> ".",!.

block_decl_rest(P,Arity) --> ",",!,
block_decl(P,Arity,_),block_decl_rest(P,Arity).

block_decl_rest(P,Arity) --> ws,block_decl_rest(P,Arity).

block_decl_rest(P,Arity) --> {print_error(illegal_block_decl_rest(P,Arity)),fail}.

Calls:

Name: =/2
Name: fail
Name: print_error/1	Module: block_checker.pl
Name: RECURSIVE_CALL/4	Module: block_checker.pl
Name: ws/2	Module: foo_error
Name: block_decl/5	Module: block_checker.pl
Name: !

Called:

Name: check_directive/3

Module: block_checker.pl

check/3

check(N) --> ":-",!, check_directive(N).

check(N) --> ws,!, check(N).

check(N) --> [_X],!,check(N).

check(_N) --> [].

Calls:

Name: =/2
Name: RECURSIVE_CALL/3	Module: block_checker.pl
Name: !
Name: ws/2	Module: foo_error
Name: check_directive/3	Module: block_checker.pl

Called:

Name: chk/1	Module: block_checker.pl
Name: check_directive/3	Module: block_checker.pl

check_directive/3

check_directive(N) --> ws,!, check_directive(N).

check_directive(N) --> "block", ws,
    (block_decl(P,Arity,BA)
    -> {atom_codes(Name,P) ,vprintln(detected_block(Name,Arity,BA,nr(N))) },!,
    block_decl_rest(P,Arity),
    (predicate_head(P,Arity2)
    -> ({Arity=Arity2} -> {true} ; {print_error(non_matching_block_arity(Name,Arity,BA,Arity2))})
    ; {print_error(non_matching_block_declaration(Name,Arity,BA))} ),
    {N1 is N+1},
    check(N1)
    ; {print_error(illegal_block(nr(N))),fail}).

check_directive(N) --> check(N).

Calls:

Name: check/3	Module: block_checker.pl
Name: =/2
Name: fail
Name: print_error/1	Module: block_checker.pl
Name: is/2
Name: ->/3
Name: predicate_head/4	Module: block_checker.pl
Name: block_decl_rest/4	Module: block_checker.pl
Name: !
Name: vprintln/1	Module: block_checker.pl
Name: atom_codes/2
Name: block_decl/5	Module: block_checker.pl
Name: ws/2	Module: foo_error
Name: RECURSIVE_CALL/3	Module: block_checker.pl

Called:

Name: check/3

Module: block_checker.pl

chk/1

chk([]) :- !.

chk([H|T]) :- !,chk(H),chk(T).

chk('-v') :- !, assertz(verbose).

chk(F) :- read_string_from_file(F,S),
    print(checking(F)),nl,
    reset_line_nr,
    check(1,S,[]).

Calls:

Name: check/3	Module: block_checker.pl
Name: reset_line_nr/0	Module: block_checker.pl
Name: nl
Name: print/1
Name: read_string_from_file/2	Module: block_checker.pl
Name: assertz/1
Name: !
Name: RECURSIVE_CALL/1	Module: block_checker.pl

Called:

Name: test/0	Module: block_checker.pl
Name: go_cli/0	Module: block_checker.pl

cond_compilation_matter-->/2

cond_compilation_matter --> ":-", anyws, "if", anyws, "(", term(0), anyws, ")", anyws, ".".

cond_compilation_matter --> ":-", anyws, "endif", anyws, ".".

cur_line/1

Dynamic: true

cur_line(1).

Called:

Name: inc_line_nr/0	Module: block_checker.pl
Name: print_error/1	Module: block_checker.pl
Name: reset_line_nr/0	Module: block_checker.pl

go_cli/0

go_cli :-
current_prolog_flag(argv,ArgV),
chk(ArgV).

Calls:

Name: chk/1	Module: block_checker.pl
Name: current_prolog_flag/2

Called:

Name: runtime_entry/1

Module: block_checker.pl

go_to_end_comment-->/2

go_to_end_comment --> new_line,!, go_to_end_comment.

go_to_end_comment --> "*/",!.

go_to_end_comment --> [_], go_to_end_comment.

go_to_line_end-->/2

go_to_line_end --> new_line,!.

go_to_line_end --> [_], go_to_line_end.

id/3

id(ID) --> "'",!,id2(ID),"'".

id([H|T]) --> alpha(H), id2(T).

Calls:

Name: id2/3	Module: block_checker.pl
Name: alpha/3	Module: block_checker.pl
Name: =/2
Name: !

Called:

Name: predicate_head/4	Module: block_checker.pl
Name: block_decl/5	Module: block_checker.pl

id2/3

id2([H|T]) --> alphadigit(H),!,id2(T).

id2([]) --> [].

Calls:

Name: =/2
Name: RECURSIVE_CALL/3	Module: block_checker.pl
Name: !
Name: alphadigit/3	Module: block_checker.pl

Called:

Name: id/3

Module: block_checker.pl

inc_line_nr/0

inc_line_nr :- retract(cur_line(N)), N1 is N+1, assertz(cur_line(N1)).

Calls:

Name: assertz/1
Name: is/2
Name: cur_line/1	Module: block_checker.pl
Name: retract/1

new_line-->/2

new_line --> "\n",{inc_line_nr}.

pred_args/3

pred_args(Arity) --> ",",!, pred_args(A1), {Arity is A1+1}.

pred_args(1) --> ")",!.

pred_args(A) --> ws, !, pred_args(A).

pred_args(A) --> "(", !,term(0), ")", pred_args(A).

pred_args(A) --> "[",anyws,"]", !, pred_args(A).

pred_args(A) --> "[", !,term(0), anyws, "]", pred_args(A).

pred_args(A) --> [_], !, pred_args(A).

Calls:

Name: RECURSIVE_CALL/3	Module: block_checker.pl
Name: !
Name: =/2
Name: anyws/2	Module: foo_error
Name: term/3	Module: block_checker.pl
Name: ws/2	Module: foo_error
Name: is/2

Called:

Name: predicate_head/4

Module: block_checker.pl

predicate_head/4

predicate_head(ID,Arity) --> ws, !, predicate_head(ID,Arity).

predicate_head(ID,Arity) --> cond_compilation_matter, !, predicate_head(ID,Arity).

predicate_head(ID,Arity) --> id(ID), anyws, "(", pred_args(Arity).

Calls:

Name: pred_args/3	Module: block_checker.pl
Name: =/2
Name: anyws/2	Module: foo_error
Name: id/3	Module: block_checker.pl
Name: RECURSIVE_CALL/4	Module: block_checker.pl
Name: !
Name: cond_compilation_matter/2	Module: foo_error
Name: ws/2	Module: foo_error

Called:

Name: check_directive/3

Module: block_checker.pl

print_error/1

Description:
flush_output(user_error), %%

print_error(Error) :-
    cur_line(LineNr),
    current_output(X),
    set_output(user_error),
    nl,
    write('! Line: '),write_term(LineNr,[]),nl,
    (var(Error) -> print_message(error,'_')
    ; write('! '),write_term(Error,[max_depth(20),numbervars(true)]),nl),
    %% flush_output(user_error),
    set_output(X).

Calls:

Name: set_output/1
Name: nl
Name: write_term/2
Name: write/1
Name: print_message/2
Name: var/1
Name: ->/3
Name: current_output/1
Name: cur_line/1	Module: block_checker.pl

Called:

Name: check_directive/3	Module: block_checker.pl
Name: block_args/5	Module: block_checker.pl
Name: block_decl_rest/4	Module: block_checker.pl

read_string/2

read_string(S,String) :-
    get_code(S,C),!,
    (C= -1
    -> String = []
    ; String=[C|Rest],read_string(S,Rest)).

Calls:

Name: RECURSIVE_CALL/2	Module: block_checker.pl
Name: =/2
Name: ->/3
Name: !
Name: get_code/2

Called:

Name: read_string_from_file/2

Module: block_checker.pl

read_string_from_file/2

read_string_from_file(Filename,String) :-
    open(Filename,read,S),
    read_string(S,String),
    close(S).

Calls:

Name: close/1
Name: read_string/2	Module: block_checker.pl
Name: open/3

Called:

Name: chk/1

Module: block_checker.pl

reset_line_nr/0

reset_line_nr :- retract(cur_line(_)), assertz(cur_line(1)).

Calls:

Name: assertz/1
Name: cur_line/1	Module: block_checker.pl
Name: retract/1

Called:

Name: chk/1

Module: block_checker.pl

runtime_entry/1

runtime_entry(start) :- go_cli.

Calls:

Name: go_cli/0

Module: block_checker.pl

term/3

term(N) --> ws,!, term(N).

term(NestingL) --> {NestingL>0}, ")",!,{N1 is NestingL-1},term(N1).

term(NestingL) --> {NestingL>0}, "]",!,{N1 is NestingL-1},term(N1).

term(N) --> "(", !, {N1 is N+1}, term(N1).

term(N) --> "[", !, {N1 is N+1}, term(N1).

term(N) --> [X], {nonmember(X,")]")},!,term(N).

term(0) --> "".

Calls:

Name: =/2
Name: RECURSIVE_CALL/3	Module: block_checker.pl
Name: !
Name: nonmember/2
Name: is/2
Name: >/2
Name: ws/2	Module: foo_error

Called:

Name: pred_args/3

Module: block_checker.pl

test/0

test :- chk(['kernel_objects.pl','custom_explicit_sets.pl','bsets_clp.pl',
    'custom_explicit_sets.pl', 'bsets_clp.pl',
    'kernel_z.pl','kernel_records.pl','kernel_sym_break_order.pl',
    'b_interpreter.pl', 'kernel_mappings.pl', 'kernel_freetypes.pl',
    'kernel_equality.pl', 'fd_utils_clpfd.pl', 'bool_pred.pl',
    'b_enumerate.pl', 'b_ast_cleanup.pl',
    'b_interpreter_check.pl','store.pl', 'btypechecker.pl',
    'external_functions.pl','ltl.pl']).

Calls:

Name: chk/1

Module: block_checker.pl

vprintln/1

vprintln(S) :- (verbose -> print(S),nl ; true).

Calls:

Name: true
Name: nl
Name: print/1
Name: verbose	dynamic predicate
Name: ->/3

Called:

Name: check_directive/3

Module: block_checker.pl

ws-->/2

ws --> "%",!, go_to_line_end.

ws --> "/*",!, go_to_end_comment.

ws --> " "; "\t" ; new_line.

Determinacy Checker

Determinacy Checker:

* Non-determinate: user:cond_compilation_matter/2 (clause 1)
* Indexing cannot distinguish this from clause 2.
* Non-determinate: user:block_decl_rest/4 (clause 3)
* Indexing cannot distinguish this from clause 4.
* Non-determinate: user:alphadigit/3 (clause 1)
* This clause contains a disjunction not forced to be deterministic.
* Non-determinate: user:ws/2 (clause 3)
* This clause contains a disjunction not forced to be deterministic.
* Non-determinate: user:inc_line_nr/0 (clause 1)
* Calls nondet predicate retract/1.
* Non-determinate: user:reset_line_nr/0 (clause 1)
* Calls nondet predicate retract/1.
* Non-determinate: user:print_error/1 (clause 1)
* Calls nondet predicate user:cur_line/1 .

prob_prolog/tests/tools/block_checker.pl

Modules

Predicates of block_checker.pl

Module Information

Dynamic Predicates: cur_line/1 verbose/0

152 Lines

31 Predicates

0 Exports

0 Imports

Predicates:

Determinacy Checker: