[Pkg-wmaker-commits] [wmbiff] 28/84: splint support

[Doug Torrance]

This is an automated email from the git hooks/post-receive script.

dtorrance-guest pushed a commit to tag wmbiff_0_4_10
in repository wmbiff.

commit 4acb220d0c59a849260620d8679868916f3cd9f2
Author: bluehal <bluehal>
Date:   Fri Jun 21 04:29:58 2002 +0000

    splint support
---
 wmbiff/Client.h | 22 +++++++++++++---------
 1 file changed, 13 insertions(+), 9 deletions(-)

diff --git a/wmbiff/Client.h b/wmbiff/Client.h
index c88752d..9d62b89 100644
--- a/wmbiff/Client.h
+++ b/wmbiff/Client.h
@@ -1,11 +1,11 @@
-/* $Id: Client.h,v 1.25 2002/06/08 22:14:54 bluehal Exp $ */
+/* $Id: Client.h,v 1.26 2002/06/21 04:29:58 bluehal Exp $ */
 /* Author : Scott Holden ( scotth at thezone.net )
    Modified : Yong-iL Joh ( tolkien at mizi.com )
    Modified : Jorge Garc�a ( Jorge.Garcia at uv.es )
  *
  * Email Checker Pop3/Imap4/Licq/Gicu/mbox/maildir/finger
  *
- * Last Updated : $Date: 2002/06/08 22:14:54 $
+ * Last Updated : $Date: 2002/06/21 04:29:58 $
  *
  */
 
@@ -65,7 +65,7 @@ typedef struct _mbox_t {
 		} pop_imap;
 	} u;
 
-	int (*checkMail) (Pop3);
+	int (*checkMail) ( /*@notnull@ */ Pop3);
 
 	time_t prevtime;
 	time_t prevfetch_time;
@@ -77,13 +77,15 @@ typedef struct _mbox_t {
 
 #define BUF_SIZE 1024
 
+/* creation calls must have this prototype */
+int pop3Create( /*@notnull@ */ Pop3 pc, const char *str);
+int imap4Create( /*@notnull@ */ Pop3 pc, const char *str);
+int licqCreate( /*@notnull@ */ Pop3 pc, const char *str);
+int shellCreate( /*@notnull@ */ Pop3 pc, const char *str);
+int mboxCreate( /*@notnull@ */ Pop3 pc, const char *str);
+int maildirCreate( /*@notnull@ */ Pop3 pc, const char *str);
+
 int sock_connect(const char *hostname, int port);
-int pop3Create(Pop3 pc, const char *str);
-int imap4Create(Pop3 pc, const char *str);
-int licqCreate(Pop3 pc, char *str);
-int shellCreate(Pop3 pc, const char *str);
-int mboxCreate(Pop3 pc, const char *str);
-int maildirCreate(Pop3 pc, char *str);
 FILE *openMailbox(Pop3 pc, const char *mbox_filename);
 /* backtickExpand returns null on failure *//*@null@ */
 char *backtickExpand(Pop3 pc, const char *path);
@@ -125,7 +127,9 @@ do { \
    without requiring gcc as the compiler */
 #if !defined(__GNUC__) || __GNUC__ < 2 || \
   (__GNUC__ == 2 && __GNUC_MINOR__ < 7)
+#ifndef __attribute__
 #define __attribute__(__x)
+#endif
 #endif							/* gnuc */
 #endif							/* client.h */
 /* vim:set ts=4: */

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-wmaker/wmbiff.git