DisplayBuffer: check_invariant method to assert atoms consistency

1 files changed, 11 insertions, 1 deletions

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);
+    }
+}
+
 }