00001 % THIS FILE IS AUTOMATICALLY GENERATED. 00002 % DO NOT EDIT; ALL CHANGES WILL BE LOST! 00003 00004 :- mode singleton_warnings(?,?). 00005 :- mode write_singleton_warnings(?,?,++). 00006 :- mode 'singleton check'(?,?). 00007 :- mode singleton_check(?,?). 00008 :- mode 'calculate occurences'(?,++,++,?). 00009 :- mode calculate_occurences(++,?). 00010 00011 :- '_$mode_pattern'(singleton_check(_979660,_979664)).
1.4.5