Uncomment constant definition, even though currently unused.

[simgrid.git] / src / bindings / lua / lua_debug.cpp

diff --git a/src/bindings/lua/lua_debug.cpp b/src/bindings/lua/lua_debug.cpp
index 120e460..1d7ed69 100644 (file)
--- a/src/bindings/lua/lua_debug.cpp
+++ b/src/bindings/lua/lua_debug.cpp
@@ -1,4 +1,4 @@
-/* Copyright (c) 2010-2018. The SimGrid Team.
+/* Copyright (c) 2010-2019. The SimGrid Team.

  * All rights reserved.
  *
  * This program is free software; you can redistribute it and/or modify it
  * All rights reserved.
  *
  * This program is free software; you can redistribute it and/or modify it


@@ -70,6 +70,10 @@ const char* sglua_tostring(lua_State* L, int index) {
     case LUA_TTHREAD:
       snprintf(buff, 7, "thread");
       break;
     case LUA_TTHREAD:
       snprintf(buff, 7, "thread");
       break;

+
+    default:
+      snprintf(buff, 64, "unknown(%d)", lua_type(L, index));
+      break;

   }
   return buff;
 }
   }
   return buff;
 }


@@ -169,13 +173,13 @@ void sglua_stack_dump(lua_State* L, const char* msg)
 }
 
 /**
 }
 
 /**

- * \brief Like luaL_checkudata, with additional debug logs.
+ * @brief Like luaL_checkudata, with additional debug logs.

  *
  * This function is for debugging purposes only.
  *
  *
  * This function is for debugging purposes only.
  *

- * \param L a lua state
- * \param ud index of the userdata to check in the stack
- * \param tname key of the metatable of this userdata in the registry
+ * @param L a lua state
+ * @param ud index of the userdata to check in the stack
+ * @param tname key of the metatable of this userdata in the registry

  */
 void* sglua_checkudata_debug(lua_State* L, int ud, const char* tname)
 {
  */
 void* sglua_checkudata_debug(lua_State* L, int ud, const char* tname)
 {


@@ -212,7 +216,7 @@ void* sglua_checkudata_debug(lua_State* L, int ud, const char* tname)
  * @param size     number of bytes of data
  * @param userdata the memory buffer to write
  */
  * @param size     number of bytes of data
  * @param userdata the memory buffer to write
  */

-int sglua_memory_writer(lua_State* L, const void* source, size_t size, void* userdata)
+int sglua_memory_writer(lua_State* /*L*/, const void* source, size_t size, void* userdata)

 {
   sglua_buffer_t buffer = static_cast<sglua_buffer_t>(userdata);
   while (buffer->capacity < buffer->size + size) {
 {
   sglua_buffer_t buffer = static_cast<sglua_buffer_t>(userdata);
   while (buffer->capacity < buffer->size + size) {