From 834e2d2fe3d9a67497dd34e6551e80df90c00458 Mon Sep 17 00:00:00 2001
From: Maxime Coste <frrrwww@gmail.com>
Date: Thu, 29 Sep 2011 09:10:27 +0000
Subject: DisplayBuffer: check_invariant method to assert atoms consistency

---
 src/display_buffer.cc | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

(limited to 'src/display_buffer.cc')

diff --git a/src/display_buffer.cc b/src/display_buffer.cc
index 03cc5b18..0865211a 100644
--- a/src/display_buffer.cc
+++ b/src/display_buffer.cc
@@ -1,6 +1,6 @@
 #include "display_buffer.hh"
 
-#include "assert.h"
+#include "assert.hh"
 
 namespace Kakoune
 {
@@ -22,4 +22,14 @@ DisplayBuffer::iterator DisplayBuffer::split(iterator atom, size_t pos_in_atom)
     return insert(atom, std::move(new_atom));
 }
 
+void DisplayBuffer::check_invariant() const
+{
+    for (size_t i = 0; i < m_atoms.size(); ++i)
+    {
+        assert(m_atoms[i].end > m_atoms[i].begin);
+        if (i > 0)
+            assert(m_atoms[i-1].end == m_atoms[i].begin);
+    }
+}
+
 }
-- 
cgit v1.2.3