empty surf::Host into simgrid::Host

diff --git a/src/surf/host_interface.cpp b/src/surf/host_interface.cpp
index 5899b01..50afd76 100644 (file)
--- a/src/surf/host_interface.cpp
+++ b/src/surf/host_interface.cpp
@@ -152,9 +152,11 @@ void Host::setState(e_surf_resource_state_t state){
 }
 
 Action *Host::execute(double size) {
+       xbt_assert(0,"FIXME: DEADCODE");
   return p_cpu->execute(size);
 }
 Action *Host::sleep(double duration) {
+       xbt_assert(0,"FIXME: DEADCODE");
   return p_cpu->sleep(duration);
 }
 

diff --git a/src/surf/surf_c_bindings.cpp b/src/surf/surf_c_bindings.cpp
index 8002a45..f9d25d9 100644 (file)
--- a/src/surf/surf_c_bindings.cpp
+++ b/src/surf/surf_c_bindings.cpp
@@ -18,12 +18,12 @@ XBT_LOG_EXTERNAL_DEFAULT_CATEGORY(surf_kernel);
  * TOOLS *
  *********/
 
-static simgrid::surf::Host *get_casted_host(sg_host_t resource){
-  return static_cast<simgrid::surf::Host*>(surf_host_resource_priv(resource));
+static simgrid::surf::Host *get_casted_host(sg_host_t host){
+  return static_cast<simgrid::surf::Host*>(surf_host_resource_priv(host));
 }
 
-static simgrid::surf::VirtualMachine *get_casted_vm(sg_host_t resource){
-  return static_cast<simgrid::surf::VirtualMachine*>(surf_host_resource_priv(resource));
+static simgrid::surf::VirtualMachine *get_casted_vm(sg_host_t host){
+  return static_cast<simgrid::surf::VirtualMachine*>(surf_host_resource_priv(host));
 }
 
 extern double NOW;
@@ -252,7 +252,7 @@ void surf_resource_set_state(surf_cpp_resource_t resource, e_surf_resource_state
 }
 
 surf_action_t surf_host_sleep(sg_host_t host, double duration){
-  return get_casted_host(host)->sleep(duration);
+       return host->extension(simgrid::surf::Cpu::EXTENSION_ID)->sleep(duration);
 }
 
 xbt_dict_t sg_host_get_properties(sg_host_t host) {
@@ -272,7 +272,7 @@ int surf_host_get_core(sg_host_t host){
 }
 
 surf_action_t surf_host_execute(sg_host_t host, double size){
-  return get_casted_host(host)->execute(size);
+  return host->extension(simgrid::surf::Cpu::EXTENSION_ID)->execute(size);
 }
 
 double surf_host_get_current_power_peak(sg_host_t host){