From: mquinson <mquinson@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Date: Sun, 27 Feb 2005 22:50:42 +0000 (+0000)
Subject: code is now splint'able; add a MSG_task_get_name
X-Git-Tag: v3.3~4273
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/1a61b7d465d6e6e5fc1fa6e8ee0f8cdab9ebaba6

code is now splint'able; add a MSG_task_get_name


git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@1080 48e7efb5-ca39-0410-a469-dd3cf9ba447f
---

diff --git a/include/msg/datatypes.h b/include/msg/datatypes.h
index b0c13e5d24..08bd974a58 100644
--- a/include/msg/datatypes.h
+++ b/include/msg/datatypes.h
@@ -29,14 +29,14 @@ BEGIN_DECL()
 
     \see m_host_management
 */
-/*@{*/
+/* @{ */
 typedef struct simdata_host *simdata_host_t;
 typedef struct m_host {
   char *name;			/**< host name if any */
   simdata_host_t simdata;	/**< simulator data */
   void *data;			/**< user data */
 } s_m_host_t, *m_host_t;
-/*@}*/
+/* @} */
 /********************************* Task **************************************/
 
 /** @name Task datatype  
@@ -47,7 +47,7 @@ typedef struct m_host {
     data</em>.
     \see m_task_management
 */
-/*@{*/
+/* @{ */
 typedef struct simdata_task *simdata_task_t;
 typedef struct m_task {
   char *name;			/* host name if any */
@@ -60,7 +60,7 @@ typedef struct m_task {
 */
 #define MSG_TASK_UNINITIALIZED NULL
 
-/*@}*/
+/* @} */
 
 /******************************* Process *************************************/
 
@@ -71,7 +71,7 @@ typedef struct m_task {
     data</em>, executing in a <em>location</em>.
     \see m_process_management
 */
-/*@{*/
+/* @{ */
 typedef struct simdata_process *simdata_process_t;
 typedef struct m_process {
   /** A name */
@@ -87,7 +87,7 @@ typedef struct m_process {
     \see m_process_management
 */
 typedef int(*m_process_code_t)(int argc,char *argv[]) ;
-/*@}*/
+/* @} */
 
 /********************************** Channel **********************************/
 /** @name Channel datatype  
@@ -97,9 +97,9 @@ typedef int(*m_process_code_t)(int argc,char *argv[]) ;
     port number does).
     \see m_channel_management
 */
-/*@{*/
+/* @{ */
 typedef int m_channel_t;
-/*@}*/
+/* @} */
 
 /****************************** Error handling *******************************/
 /** \brief Error handling
diff --git a/include/msg/msg.h b/include/msg/msg.h
index 7354664dac..7936aebff3 100644
--- a/include/msg/msg.h
+++ b/include/msg/msg.h
@@ -9,6 +9,7 @@
 #define MSG_H
 
 #include "xbt/misc.h"
+#include "xbt/sysdep.h"
 
 BEGIN_DECL()
 #include "msg/datatypes.h"
@@ -80,6 +81,8 @@ m_task_t MSG_task_create(const char *name, double compute_duration,
 			 double message_size, void *data);
 void *MSG_task_get_data(m_task_t task);
 m_process_t MSG_task_get_sender(m_task_t task);
+const char *MSG_task_get_name(m_task_t task);
+
 MSG_error_t MSG_task_destroy(m_task_t task);
 
 MSG_error_t MSG_task_get(m_task_t * task, m_channel_t channel);