summaryrefslogtreecommitdiff
path: root/src/core/managed/Manager.hpp
diff options
context:
space:
mode:
authorAndreas Stöckel <astoecke@techfak.uni-bielefeld.de>2014-12-15 18:45:01 +0100
committerAndreas Stöckel <astoecke@techfak.uni-bielefeld.de>2014-12-15 18:45:01 +0100
commit84cbdcaba520f89eb3ddbdaf1fe2ab3db412501a (patch)
treeca3df3c791834e65479c6b9a8720f8e55150a396 /src/core/managed/Manager.hpp
parentc5d18a42da8e9ed19c9520308fef087f4fb76323 (diff)
Improved ManagedContainer classes
Diffstat (limited to 'src/core/managed/Manager.hpp')
-rw-r--r--src/core/managed/Manager.hpp25
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);
};
}