X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/2bd9a37bbb72eac4ed613b3d6953aba6555e2e92..5c19d3d6403ded95f8675596aa250240b6f7e467:/src/simix/simcalls.py

diff --git a/src/simix/simcalls.py b/src/simix/simcalls.py
index 321a63bf9d..815bb2f1a1 100755
--- a/src/simix/simcalls.py
+++ b/src/simix/simcalls.py
@@ -1,7 +1,7 @@
 #!/usr/bin/env python
 # -*- coding: utf-8 -*-
 
-# Copyright (c) 2014. The SimGrid Team. All rights reserved.
+# Copyright (c) 2014-2015. The SimGrid Team. All rights reserved.
 
 # This program is free software; you can redistribute it and/or modify it
 # under the terms of the license (GNU LGPL) which comes with this package.
@@ -58,7 +58,7 @@ class Simcall(object):
   def check(self):
       # libsmx.c  simcall_BODY_
       if self.simcalls_BODY is None:
-          f = open('libsmx.c')
+          f = open('libsmx.cpp')
           self.simcalls_BODY = set(re.findall('simcall_BODY_(.*?)\(', f.read()))
           f.close()
       if self.name not in self.simcalls_BODY:
@@ -98,7 +98,7 @@ class Simcall(object):
     return '  SIMCALL_%s,'%(self.name.upper())
 
   def string(self):
-    return '  [SIMCALL_%s] = "SIMCALL_%s",'%(self.name.upper(), self.name.upper())	
+    return '  "SIMCALL_%s",'% self.name.upper()
 
   def accessors(self):
     res = []
@@ -168,7 +168,8 @@ class Simcall(object):
       res.append('      SIMIX_simcall_handle(&self->simcall, 0);')
       res.append('    }    ')   
       if self.res.type != 'void':
-          res.append('    return self->simcall.result.%s;'%self.res.field())
+          res.append('    return (%s) self->simcall.result.%s;' % 
+              (self.res.rettype(), self.res.field()))
       else:
           res.append('    ')
       res.append('  }')
@@ -177,7 +178,7 @@ class Simcall(object):
       
   def handler_prototype(self):
       if self.need_handler:
-          return "%s simcall_HANDLER_%s(smx_simcall_t simcall%s);"%(self.res.rettype() if self.call_kind == 'Func' else 'void', 
+          return "XBT_PRIVATE %s simcall_HANDLER_%s(smx_simcall_t simcall%s);"%(self.res.rettype() if self.call_kind == 'Func' else 'void', 
                                                                     self.name, 
                                                                     ''.join(', %s %s'%(arg.rettype(), arg.name) 
                     for i, arg in enumerate(self.args)))
@@ -274,15 +275,15 @@ if __name__=='__main__':
   fd.close()
 
   ###
-  ### smx_popping_generated.c
+  ### smx_popping_generated.cpp
   ###
   
-  fd = header("popping_generated.c")
+  fd = header("popping_generated.cpp")
   
+  fd.write('#include <xbt/base.h>\n');
   fd.write('#include "smx_private.h"\n');
   fd.write('#ifdef HAVE_MC\n');
-  fd.write('#include "mc/mc_process.h"\n');
-  fd.write('#include "mc/mc_model_checker.h"\n');
+  fd.write('#include "src/mc/mc_forward.h"\n');
   fd.write('#endif\n');
   fd.write('\n');
   fd.write('XBT_LOG_EXTERNAL_DEFAULT_CATEGORY(simix_popping);\n\n');
@@ -290,9 +291,9 @@ if __name__=='__main__':
   fd.write('/** @brief Simcalls\' names (generated from src/simix/simcalls.in) */\n')
   fd.write('const char* simcall_names[] = {\n')
 
+  fd.write('   "SIMCALL_NONE",');
   handle(fd, Simcall.string, simcalls, simcalls_dict)
 
-  fd.write('[SIMCALL_NONE] = "NONE"\n')
   fd.write('};\n\n')
 
 
@@ -303,11 +304,6 @@ if __name__=='__main__':
   fd.write(' */\n');
   fd.write('void SIMIX_simcall_handle(smx_simcall_t simcall, int value) {\n');
   fd.write('  XBT_DEBUG("Handling simcall %p: %s", simcall, SIMIX_simcall_name(simcall->call));\n');
-  fd.write('  #ifdef HAVE_MC\n');
-  fd.write('  if (mc_model_checker) {\n');
-  fd.write('    mc_model_checker->process.cache_flags = 0;\n');
-  fd.write('  }\n');
-  fd.write('  #endif\n');
   fd.write('  SIMCALL_SET_MC_VALUE(simcall, value);\n');
   fd.write('  if (simcall->issuer->context->iwannadie && simcall->call != SIMCALL_PROCESS_CLEANUP)\n');
   fd.write('    return;\n');
@@ -320,7 +316,7 @@ if __name__=='__main__':
   fd.write('    case SIMCALL_NONE:\n');
   fd.write('      THROWF(arg_error,0,"Asked to do the noop syscall on %s@%s",\n');
   fd.write('          SIMIX_process_get_name(simcall->issuer),\n');
-  fd.write('          SIMIX_host_get_name(SIMIX_process_get_host(simcall->issuer))\n');
+  fd.write('          sg_host_get_name(SIMIX_process_get_host(simcall->issuer))\n');
   fd.write('          );\n');
   fd.write('      break;\n');
   fd.write('\n');
@@ -330,11 +326,12 @@ if __name__=='__main__':
   fd.close()
   
   ###
-  ### smx_popping_bodies.c
+  ### smx_popping_bodies.cpp
   ###
-  fd = header('popping_bodies.c')
+  fd = header('popping_bodies.cpp')
   fd.write('#include "smx_private.h"\n')
-  fd.write('#include "mc/mc_interface.h"\n')
+  fd.write('#include "src/mc/mc_forward.h"\n')
   fd.write('#include "xbt/ex.h"\n')
+  fd.write('#include <simgrid/simix.hpp>\n')
   handle(fd, Simcall.body, simcalls, simcalls_dict)
   fd.close()