From 0ee6fdb41d9ba663184bdd4d48f79ef28a0e6fbb Mon Sep 17 00:00:00 2001
From: mquinson <mquinson@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Date: Sun, 27 Feb 2005 22:49:47 +0000
Subject: [PATCH] code is now splint'able

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@1079 48e7efb5-ca39-0410-a469-dd3cf9ba447f
---
 include/gras/datadesc.h  | 16 ++++++++--------
 include/gras/messages.h  |  2 +-
 include/gras/process.h   |  7 ++++---
 include/gras/transport.h | 16 ++++++++--------
 4 files changed, 21 insertions(+), 20 deletions(-)

diff --git a/include/gras/datadesc.h b/include/gras/datadesc.h
index 39f1d72192..641df53c3d 100644
--- a/include/gras/datadesc.h
+++ b/include/gras/datadesc.h
@@ -33,7 +33,7 @@ BEGIN_DECL()
  *   -# Callback Persistant State: Simple push/pop mechanism
  *   -# Callback Persistant State: Full featured mechanism
  */
-/*@{*/
+/* @{*/
 
 /** @name 1. basic operations
  *
@@ -125,7 +125,7 @@ gras_datadesc_type_t gras_datadesc_by_name(const char *name);
  */
 #define GRAS_ANNOTE(key,val)
 
-/*@}*/
+/* @} */
 
 gras_datadesc_type_t 
 gras_datadesc_parse(const char *name, const char *C_statement);
@@ -164,7 +164,7 @@ gras_datadesc_parse(const char *name, const char *C_statement);
   
   [Use my_type to send pointers to mystruct data]\endverbatim
  */
-/*@{*/
+/* @{ */
 
 
 /** \brief Opaque type describing a type description callback persistant state. */
@@ -250,7 +250,7 @@ char * gras_datadesc_get_name(gras_datadesc_type_t ddt);
 /** \brief Returns the identifier of a datadescription */
 int gras_datadesc_get_id(gras_datadesc_type_t ddt);
 
-/*@}*/
+/* @} */
 
 /** @name 4. Callback Persistant State: Simple push/pop mechanism
  * 
@@ -273,7 +273,7 @@ gras_datadesc_struct_close(my_type);
 \endverbatim
 
  */
-/*@{*/
+/* @{ */
 
 void
 gras_cbps_i_push(gras_cbps_t ps, int val);
@@ -287,7 +287,7 @@ void gras_datadesc_cb_push_lint(gras_cbps_t vars, void *data);
 void gras_datadesc_cb_push_ulint(gras_cbps_t vars, void *data);
 
 
-/*@}*/
+/* @} */
 
 /** @name 5. Callback Persistant State: Full featured mechanism
  * 
@@ -295,7 +295,7 @@ void gras_datadesc_cb_push_ulint(gras_cbps_t vars, void *data);
  * introduced in previous section isn't enough, you can always use this full featured one.
  */
 
-/*@{*/
+/* @{ */
 
 xbt_error_t
   gras_cbps_v_pop (gras_cbps_t            ps, 
@@ -324,7 +324,7 @@ void
 gras_cbps_block_end(gras_cbps_t ps);
 
 /* @} */
-/*@}*/
+/* @} */
 
 
 /*******************************
diff --git a/include/gras/messages.h b/include/gras/messages.h
index 7f7e98a144..8158b0b90c 100644
--- a/include/gras/messages.h
+++ b/include/gras/messages.h
@@ -112,7 +112,7 @@ typedef struct s_gras_msgtype *gras_msgtype_t;
 			    void           *payload);
   xbt_error_t gras_msg_handle(double timeOut);
 
-/*@}*/
+/* @} */
 
 END_DECL()
 
diff --git a/include/gras/process.h b/include/gras/process.h
index 5ffcad6fc6..ca99daceb8 100644
--- a/include/gras/process.h
+++ b/include/gras/process.h
@@ -10,7 +10,8 @@
 #ifndef GRAS_PROCESS_H
 #define GRAS_PROCESS_H
 
-#include "xbt/misc.h" /* BEGIN_DECL */
+#include "xbt/misc.h"  /* BEGIN_DECL */
+#include "xbt/error.h" /* xbt_error_t */
 
 BEGIN_DECL()
 
@@ -47,7 +48,7 @@ xbt_error_t gras_process_exit(void);
  * and use \ref gras_userdata_set yourself), and \ref gras_userdata_get to
  * retrive a reference to it. 
  */
-/*@{*/
+/* @{ */
 
 /**
  * \brief Get the data associated with the current process.
@@ -63,7 +64,7 @@ void gras_userdata_set(void *ud);
 
 /** \brief Malloc and set the data associated with the current process. */
 #define gras_userdata_new(type) (gras_userdata_set(xbt_new0(type,1)),gras_userdata_get())
-/*@}*/
+/* @} */
 
 END_DECL()
 
diff --git a/include/gras/transport.h b/include/gras/transport.h
index 84c711336a..31a212debe 100644
--- a/include/gras/transport.h
+++ b/include/gras/transport.h
@@ -20,7 +20,7 @@
 /** \name Socket creation functions
  *  \ingroup GRAS_sock
  */
-/*@{*/
+/* @{*/
 /** \brief Opaque type describing a socket */
 typedef struct s_gras_socket *gras_socket_t;
 
@@ -45,13 +45,13 @@ xbt_error_t gras_socket_server_ext(unsigned short port,
 				    unsigned long int bufSize,
 				    int raw,
 				    /* OUT */ gras_socket_t *dst);
-/*@}*/
+/* @}*/
 /** \name Retrieving data about sockets and peers 
  *  \ingroup GRAS_sock
  * 
  * Who are you talking to?
  */
-/*@{*/
+/* @{*/
 
 /** Get the port number on which this socket is connected on my side */
 int   gras_socket_my_port  (gras_socket_t sock);
@@ -59,7 +59,7 @@ int   gras_socket_my_port  (gras_socket_t sock);
 int   gras_socket_peer_port(gras_socket_t sock);
 /** Get the host name of the remote side */
 char *gras_socket_peer_name(gras_socket_t sock);
-/*@}*/
+/* @}*/
 
 /** \name Using raw sockets
  *  \ingroup GRAS_sock
@@ -71,7 +71,7 @@ char *gras_socket_peer_name(gras_socket_t sock);
  * 
  * \bug Raw sockets are not fully functionnal yet.
  */
-/*@{*/
+/* @{*/
 
 xbt_error_t gras_socket_raw_send(gras_socket_t peer, 
 				  unsigned int timeout,
@@ -82,7 +82,7 @@ xbt_error_t gras_socket_raw_recv(gras_socket_t peer,
 				  unsigned long int expSize, 
 				  unsigned long int msgSize);
 
-/*@}*/
+/* @}*/
 
 /** \name Using files as sockets
  *  \ingroup GRAS_sock
@@ -93,13 +93,13 @@ xbt_error_t gras_socket_raw_recv(gras_socket_t peer,
  * 
  * \bug Don't use '-' on windows. this file represents stdin or stdout, but I failed to deal with it on windows.
  */
-/*@{*/
+/* @{*/
 /* debuging functions */
 xbt_error_t gras_socket_client_from_file(const char*path,
 					  /* OUT */ gras_socket_t *dst);
 xbt_error_t gras_socket_server_from_file(const char*path,
 					  /* OUT */ gras_socket_t *dst);
 					  
-/*@}*/
+/* @} */
    
 #endif /* GRAS_TRANSPORT_H */
-- 
2.20.1