diff options
Diffstat (limited to 'src/core/managed/Manager.hpp')
| -rw-r--r-- | src/core/managed/Manager.hpp | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/core/managed/Manager.hpp b/src/core/managed/Manager.hpp index ae0d130..303e591 100644 --- a/src/core/managed/Manager.hpp +++ b/src/core/managed/Manager.hpp @@ -156,6 +156,11 @@ private: std::unordered_set<Managed *> deleted; /** + * Vector containing the objects marked for deletion in an ordered fashion. + */ + std::vector<Managed *> orderedDeleted; + + /** * Map storing the data attached to managed objects. */ std::unordered_map<Managed *, std::map<std::string, Managed *>> store; @@ -163,7 +168,7 @@ private: /** * Map for storing the tagged memory regions. */ - std::map<uintptr_t, std::pair<uintptr_t, void*>> tags; + std::map<uintptr_t, std::pair<uintptr_t, void *>> tags; /** * Recursion depth while performing deletion. This variable is needed |