summaryrefslogtreecommitdiff
path: root/src/buffer.cc
diff options
context:
space:
mode:
authorMaxime Coste <frrrwww@gmail.com>2013-01-23 14:25:48 +0100
committerMaxime Coste <frrrwww@gmail.com>2013-01-23 14:39:33 +0100
commit3404366b6593bbf372da35ef8c7ce6cde429cef7 (patch)
tree9ca629f41dcb6809a8fd35fda53dd715a9771829 /src/buffer.cc
parentf14bc5e31004b37e90ba000a0714aa83e7f2763e (diff)
add more asserts
Diffstat (limited to 'src/buffer.cc')
-rw-r--r--src/buffer.cc5
1 files changed, 4 insertions, 1 deletions
diff --git a/src/buffer.cc b/src/buffer.cc
index 92089e83..d384f3bb 100644
--- a/src/buffer.cc
+++ b/src/buffer.cc
@@ -245,7 +245,8 @@ void Buffer::check_invariant() const
void Buffer::do_insert(const BufferIterator& pos, const String& content)
{
- assert(pos.is_end() or utf8::is_character_start(pos));
+ assert(pos.is_valid() and (pos.is_end() or utf8::is_character_start(pos)));
+ assert(not contains(content, '\0'));
++m_timestamp;
ByteCount offset = pos.offset();
@@ -322,6 +323,8 @@ void Buffer::do_insert(const BufferIterator& pos, const String& content)
void Buffer::do_erase(const BufferIterator& begin, const BufferIterator& end)
{
+ assert(begin.is_valid());
+ assert(end.is_valid());
assert(utf8::is_character_start(begin) and
(end.is_end() or utf8::is_character_start(end)));
++m_timestamp;