diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

small fixes to style checker.

Browse Source 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@184 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
vsc 2001-11-18 21:21:21 +00:00
parent 5682ce7622
commit a758ef8cc6
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
pl/checker.yap
View File

@ -112,7 +112,7 @@ no_style_check([H|T]) :- no_style_check(H), no_style_check(T).
'$start_line'(LN), write(user_error,LN), '$start_line'(LN), write(user_error,LN),
write(user_error,', clause '), write(user_error,', clause '),
( '$get_value'('$consulting',false), ( '$get_value'('$consulting',false),
'$first_clause_in_file'(Name,Arity) -> '$first_clause_in_file'(Name,Arity, OM) ->
ClN = 1 ; ClN = 1 ;
'$number_of_clauses'(H,M,ClN0), '$number_of_clauses'(H,M,ClN0),
ClN is ClN0+1 ClN is ClN0+1
@ -122,11 +122,11 @@ no_style_check([H|T]) :- no_style_check(H), no_style_check(T).
nl(user_error). nl(user_error).
'$xtract_head'((H:-_),OM,M,NH,Name,Arity) :- !, '$xtract_head'((H:-_),OM,M,NH,Name,Arity) :- !,
'xtract_head'(H,OM,M,NH,Name,Arity). '$xtract_head'(H,OM,M,NH,Name,Arity).
'$xtract_head'((H,_),OM,M,H1,Name,Arity) :- !, '$xtract_head'((H,_),OM,M,H1,Name,Arity) :- !,
'$xtract_head'(H,OM,M,H1,Name,Arity). '$xtract_head'(H,OM,M,H1,Name,Arity).
'$xtract_head'((H-->_),OM,M,HL,Name,Arity) :- !, '$xtract_head'((H-->_),OM,M,HL,Name,Arity) :- !,
'$xtract_head'(H,OM,M,Name,A1), '$xtract_head'(H,M,OM,M,Name,A1),
Arity is A1+2, Arity is A1+2,
functor(HL,Name,Arity). functor(HL,Name,Arity).
'$xtract_head'(M:H,_,NM,NH,Name,Arity) :- !, '$xtract_head'(M:H,_,NM,NH,Name,Arity) :- !,
@ -152,15 +152,15 @@ no_style_check([H|T]) :- no_style_check(H), no_style_check(T).
'$handle_discontiguous'(F,A,M) :- '$handle_discontiguous'(F,A,M) :-
'$recorded'('$discontiguous_defs','$df'(F,A,M),_), !. '$recorded'('$discontiguous_defs','$df'(F,A,M),_), !.
'$handle_discontiguous'(F,A,_) :- '$handle_discontiguous'(F,A,M) :-
'$in_this_file_before'(F,A), '$in_this_file_before'(F,A,M),
write(user_error,'[ Warning: discontiguous definition of '), write(user_error,'[ Warning: discontiguous definition of '),
write(user_error,F/A), write(user_error,' (line '), write(user_error,F/A), write(user_error,' (line '),
'$start_line'(LN), write(user_error,LN), '$start_line'(LN), write(user_error,LN),
write(user_error,') ]'), write(user_error,') ]'),
nl(user_error). nl(user_error).
'$handle_multiple'(F,A,_) :- '$handle_multiple'(F,A,M) :-
\+ '$first_clause_in_file'(F,A,M), !. \+ '$first_clause_in_file'(F,A,M), !.
'$handle_multiple'(_,_,_) :- '$handle_multiple'(_,_,_) :-
'$get_value'('$consulting',true), !. '$get_value'('$consulting',true), !.