yap-6.3/pl/checker.yap

/*************************************************************************
*									 *
*	 YAP Prolog 							 *
*									 *
*	Yap Prolog was developed at NCCUP - Universidade do Porto	 *
*									 *
* Copyright L.Damas, V.S.Costa and Universidade do Porto 1985-1997	 *
*									 *
**************************************************************************
*									 *
* File:		checker.yap						 *
* comments:	style checker for Prolog				 *
*									 *
* Last rev:     $Date: 2008-03-31 22:56:22 $,$Author: vsc $						 *
* $Log: not supported by cvs2svn $
* Revision 1.23  2007/11/26 23:43:09  vsc
* fixes to support threads and assert correctly, even if inefficiently.
*
* Revision 1.22  2006/11/17 12:10:46  vsc
* style_checker was failing on DCGs
*
* Revision 1.21  2006/03/24 16:26:31  vsc
* code review
*
* Revision 1.20  2005/11/05 23:56:10  vsc
* should have meta-predicate definitions for calls,
*   multifile and discontiguous.
* have discontiguous as a builtin, not just as a
*   declaration.
*
* Revision 1.19  2005/10/28 17:38:50  vsc
* sveral updates
*
* Revision 1.18  2005/04/20 20:06:11  vsc
* try to improve error handling and warnings from within consults.
*
* Revision 1.17  2005/04/20 04:08:20  vsc
* fix warnings
*
* Revision 1.16  2005/01/13 05:47:27  vsc
* lgamma broke arithmetic optimisation
* integer_y has type y
* pass original source to checker (and maybe even use option in parser)
* use warning mechanism for checker messages.
*
* Revision 1.15  2004/06/29 19:12:01  vsc
* fix checker messages
*
* Revision 1.14  2004/06/29 19:04:46  vsc
* fix multithreaded version
* include new version of Ricardo's profiler
* new predicat atomic_concat
* allow multithreaded-debugging
* small fixes
*
* Revision 1.13  2004/03/19 11:35:42  vsc
* trim_trail for default machine
* be more aggressive about try-retry-trust chains.
*    - handle cases where block starts with a wait
*    - don't use _killed instructions, just let the thing rot by itself.
*                                                                  *
*									 *
*************************************************************************/

:- system_module( style_checker, [no_style_check/1,
        style_check/1], ['$check_term'/5,
        '$sv_warning'/2,
        '$syntax_check_discontiguous'/2,
        '$syntax_check_multiple'/2,
        '$syntax_check_single_var'/2]).

%% @{

/**

@defgroup   YAPStyle Checker
    @ingroup  YAPCompilerSettings

YAP implements a style-checker thay currently verifies whether:

1 named variables occur once in a clause.

2 clauses from dofferent predicates are mixed together.

3 clauses for the same predicate occur in different files.

One can declare a predicate to be discontiguous (see the
discontiguous/1 declaration) and/or multifile/1.

*/

/*
@pred style_check(+ _X_)

Turns on style checking according to the attribute specified by  _X_,
which must be one of the following:

    + single_var
      Checks single occurrences of named variables in a clause.

    + discontiguous
      Checks non-contiguous clauses for the same predicate in a file.

    + multiple
      Checks the presence of clauses for the same predicate in more than one
      file when the predicate has not been declared as `multifile`

    + all
      Performs style checking for all the cases mentioned above.


By default, style checking is disabled in YAP unless we are in
`sicstus` or `iso` language mode.

The style_check/1 built-in is now deprecated. Please use
`set_prolog_flag/1` instead.

  **/
%
% A Small style checker for YAP

:- op(1150, fx, [multifile,discontiguous]).

style_check(V) :- var(V), !, fail.
style_check(V) :-
	style_check_(V), !.
style_check(V) :-
	\+atom(V), \+ list(V), V \= + _, V \= + _, !,
	'$do_error'( type_error('+|-|?(Flag)', V), style_check(V) ).
style_check(V) :-
	\+atom(V), \+ list(V), V \= + _, V \= + _, !,
	'$do_error'( domain_error(style_name, V), style_check(V) ).
	

style_check_(all) :-
	'$style_checker'( [ singleton, discontiguous, multiple ] ).
style_check_(single_var) :-
	'$style_checker'( [ singleton ] ).
style_check_(singleton) :-
	'$style_checker'( [ singleton ] ).
style_check_(+single_var) :-
	'$style_checker'( [ singleton ] ).
style_check_(+singleton) :-
	'$style_checker'( [ singleton ] ).
style_check_(-single_var) :-
	'$style_checker'( [ -singleton ] ).
style_check_(-singleton) :-
	'$style_checker'( [ -singleton ] ).
style_check_(discontiguous) :-
	'$style_checker'( [ discontiguous ] ).
style_check_(+discontiguous) :-
	'$style_checker'( [ discontiguous ] ).
style_check_(-discontiguous) :-
	'$style_checker'( [ -discontiguous ] ).
style_check_(multiple) :-
	'$style_checker'( [  multiple ] ).
style_check_(+multiple) :-
	'$style_checker'( [  multiple ] ).
style_check_(-multiple) :-
	'$style_checker'( [  -multiple ] ).
style_check_(no_effect) :-
	'$style_checker'( [  no_effect ] ).
style_check_(+no_effect) :-
	'$style_checker'( [  no_effect ] ).
style_check_(-no_effect) :-
	'$style_checker'( [  -no_effect ] ).
style_check_(var_branches) :-
	'$style_checker'( [  var_branches ] ).
style_check_(+var_branches) :-
	'$style_checker'( [  var_branches ] ).
style_check_(-var_branches) :-
	'$style_checker'( [  -var_branches ] ).
style_check_(atom) :-
	'$style_checker'( [  atom ] ).
style_check_(+atom) :-
	'$style_checker'( [  atom ] ).
style_check_(-atom) :-
	'$style_checker'( [  -atom ] ).
style_check_(charset) :-
	'$style_checker'( [  charset ] ).
style_check_(+charset) :-
	'$style_checker'( [  charset ] ).
style_check_(-charset) :-
	'$style_checker'( [  -charset ] ).
style_check_('?'(Info) ) :-
	L =  [ singleton, discontiguous, multiple ],
	( lists:member(Style, L ) -> Info = +Style ; Info = -Style ).
style_check_([]).
style_check_([H|T]) :- style_check(H), style_check(T).

/** @pred no_style_check(+ _X_)

Turns off style checking according to the attribute specified by
 _X_, which have the same meaning as in style_check/1.

The no_style_check/1 built-in is now deprecated. Please use 
`set_prolog_flag/1` instead.

**/
no_style_check(V) :- var(V), !, fail.
no_style_check(all) :-
	'$style_checker'( [ -singleton, -discontiguous, -multiple ] ).
no_style_check(-single_var) :-
	'$style_checker'( [ -singleton ] ).
no_style_check(-singleton) :-
	'$style_checker'( [ -singleton ] ).
no_style_check(-discontiguous) :-
	'$style_checker'( [ -discontiguous ] ).
no_style_check(-multiple) :-
	'$style_checker'( [  -multiple ] ).
no_style_check([]).
no_style_check([H|T]) :- no_style_check(H), no_style_check(T).

/** @pred discontiguous(+ _G_) is iso
    Avoid warnings from the sytax checker.

Declare that the predicate _G_ or list of predicates are discontiguous
procedures, that is, clauses for discontigous procedures may be
separated by clauses from other procedures.

*/



/*
@}
*/