diff options
author | Andreas Stöckel <astoecke@techfak.uni-bielefeld.de> | 2014-12-15 18:45:01 +0100 |
---|---|---|
committer | Andreas Stöckel <astoecke@techfak.uni-bielefeld.de> | 2014-12-15 18:45:01 +0100 |
commit | 84cbdcaba520f89eb3ddbdaf1fe2ab3db412501a (patch) | |
tree | ca3df3c791834e65479c6b9a8720f8e55150a396 /src/core/managed/Manager.hpp | |
parent | c5d18a42da8e9ed19c9520308fef087f4fb76323 (diff) |
Improved ManagedContainer classes
Diffstat (limited to 'src/core/managed/Manager.hpp')
-rw-r--r-- | src/core/managed/Manager.hpp | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/src/core/managed/Manager.hpp b/src/core/managed/Manager.hpp index 5b08cf4..ae0d130 100644 --- a/src/core/managed/Manager.hpp +++ b/src/core/managed/Manager.hpp @@ -299,31 +299,6 @@ public: * @return true if data for this key was deleted, false otherwise. */ bool deleteData(Managed *ref, const std::string &key); - - /** - * Stores a tag for the given memory region. May not overlap with another - * memory region. - * - * @param tag is user defined data that should be stored. - * @param pStart marks the beginning of the memory region (inclusive), - * @param pEnd is the end of the memory region (not inclusive). - */ - void tagMemoryRegion(void *tag, void *pStart, void *pEnd); - - /** - * Removes the tag from the given memory region. May be a part of a - * previously tagged region. - */ - void untagMemoryRegion(void *pStart, void *pEnd); - - /** - * Returns the tag for the given pointer or nullptr if no tag is set. - * - * @param p is the pointer for which the tag should be queried. - * @return the associated tag or nullptr if p points at a memory region for - * which no tag is set. - */ - void* memoryRegionTag(void *p); }; } |