%
% This is based on Paulo Moura's 2010 reference implementation
% test cases and test harness.
%

% Enable one of the following lines to make dcg_rule/2 available for test:

% To test the reference implementation, include it here:
:- include('c_dcg.pl').

% Alternatively, to test your system's DCG implementation, use one of these:
%dcg_rule(X, Y) :- expand_term(X, Y).
%dcg_rule(X, Y) :- expand_clause(X, Y).


% provide numbervars/3 (used in the test)
% :- ensure_loaded(library(numbervars)).


% Test expansion via dcg_rule/2

:- include('dcg_tests.pl').	% include the test cases

test(OutFile) :-
	open(OutFile, write, S),
	test_to_stream(S),
	close(S).

test_to_stream(S) :-
        write(S, 'Testing grammar rule expansion...'), nl(S), nl(S),
	(
	    gr_tr_test(N, GR, _Result),
	    write(S, N), write(S, ': '), writeqn(S, GR),
%	    write(S, ' --- '), write(S, _Result), write(S, ' expected'),
	    nl(S),
	    ( catch(
		    dcg_rule(GR, Clause),
		    Error,
		    (write(S, ' error: '), writeqn(S, Error), nl(S), fail)) ->
		write(S, ' '), writeqn(S, Clause)
	    ;   write(S, ' expansion failed!')
	    ),
	    nl(S),
	    nl(S),
	    fail
	;
	    true
	).

writeqn(S, Term) :-
	numbervars(Term,0,_),
	writeq(S, Term),
	fail.
writeqn(_, _).