diff options
| author | Andreas Stöckel <astoecke@techfak.uni-bielefeld.de> | 2014-12-11 02:02:39 +0100 |
|---|---|---|
| committer | Andreas Stöckel <astoecke@techfak.uni-bielefeld.de> | 2014-12-11 02:02:39 +0100 |
| commit | b5d3f907b61d838325e4ee8a2c80d36fea438537 (patch) | |
| tree | af447337ee46e2142beb2e440117bacbd81b2251 /src/core/utils/CharReader.hpp | |
| parent | 7b7c34011150c4db92220924d02e7e70eda3a8a7 (diff) | |
added assertion to Buffer class which makes sure that all cursors are marked as free (just to be sure), adapted Buffer unit tests accordingly
Diffstat (limited to 'src/core/utils/CharReader.hpp')
| -rw-r--r-- | src/core/utils/CharReader.hpp | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/core/utils/CharReader.hpp b/src/core/utils/CharReader.hpp index 86f09db..1306026 100644 --- a/src/core/utils/CharReader.hpp +++ b/src/core/utils/CharReader.hpp @@ -242,6 +242,14 @@ public: */ Buffer(const std::string &str); +#ifndef NDEBUG + /** + * Destructor of the Buffer class. Makes sure that all cursors have been + * freed. + */ + ~Buffer(); +#endif + // No copy Buffer(const Buffer &) = delete; |