+
+ /* see if this table was already visited */
+ lua_pushlightuserdata(dst, (void*) lua_topointer(src, -1));
+ /* dst: visited ... psrctable */
+ lua_gettable(dst, 1);
+ /* dst: visited ... table/nil */
+ if (lua_istable(dst, -1)) {
+ XBT_DEBUG("Nothing to do: table already visited");
+ /* dst: visited ... table */
+ }
+ else {
+ XBT_DEBUG("First visit of this table");
+ /* dst: visited ... nil */
+ lua_pop(dst, 1);
+ /* dst: visited ... */
+
+ /* first visit: create the new table in dst */
+ lua_newtable(dst);
+ /* dst: visited ... table */
+
+ /* mark the table as visited to avoid infinite recursion */
+ lua_pushlightuserdata(dst, (void*) lua_topointer(src, -1));
+ /* dst: visited ... table psrctable */
+ lua_pushvalue(dst, -2);
+ /* dst: visited ... table psrctable table */
+ lua_settable(dst, 1);
+ /* dst: visited ... table */
+ XBT_DEBUG("Table marked as visited");
+
+ stack_dump("dst after marking the table as visited (should be visited ... table): ", dst);
+
+ /* copy the metatable if any */
+ int has_meta_table = lua_getmetatable(src, -1);
+ /* src: ... table mt? */
+ if (has_meta_table) {
+ XBT_DEBUG("Copying metatable");
+ /* src: ... table mt */
+ move_value(dst, src, "metatable");
+ /* src: ... table
+ dst: visited ... table mt */
+ lua_setmetatable(dst, -2);
+ /* dst: visited ... table */
+ }
+ else {
+ XBT_DEBUG("No metatable");
+ }
+
+ stack_dump("src before traversing the table (should be ... table): ", src);
+ stack_dump("dst before traversing the table (should be visited ... table): ", dst);
+
+ /* traverse the table of src and copy each element */
+ lua_pushnil(src);
+ /* src: ... table nil */
+ while (lua_next(src, -2) != 0) {
+ /* src: ... table key value */
+
+ XBT_DEBUG("Copying table element %s", keyvalue_tostring(src, -2, -1));
+
+ stack_dump("src before copying table element (should be ... table key value): ", src);
+ stack_dump("dst before copying table element (should be visited ... table): ", dst);
+
+ /* copy the key */
+ lua_pushvalue(src, -2);
+ /* src: ... table key value key */
+ XBT_DEBUG("Copying the element key");
+ move_value(dst, src, value_tostring(src, -1));
+ /* src: ... table key value
+ dst: visited ... table key */
+ XBT_DEBUG("Copied the element key");
+
+ /* copy the value */
+ XBT_DEBUG("Copying the element value");
+ move_value(dst, src, value_tostring(src, -1));
+ /* src: ... table key
+ dst: visited ... table key value */
+ XBT_DEBUG("Copied the element value");
+
+ /* set the table element */
+ lua_settable(dst, -3);
+ /* dst: visited ... table */
+
+ /* the key stays on top of src for next iteration */
+ stack_dump("src before next iteration (should be ... table key): ", src);
+ stack_dump("dst before next iteration (should be visited ... table): ", dst);
+ }
+ XBT_DEBUG("Finished traversing the table");
+ }