postcondition checks for insertions into the chatscene
authorMarcus Eggenberger <egs@quassel-irc.org>
Mon, 13 Oct 2008 12:41:23 +0000 (14:41 +0200)
committerMarcus Eggenberger <egs@quassel-irc.org>
Mon, 13 Oct 2008 12:41:23 +0000 (14:41 +0200)
src/qtui/chatscene.cpp

index 89d4422..49bb89f 100644 (file)
@@ -270,6 +270,8 @@ void ChatScene::rowsAboutToBeRemoved(const QModelIndex &parent, int start, int e
     }
   }
 
+  Q_ASSERT(start == 0 || _lines.at(start - 1)->pos().y() + _lines.at(start - 1)->height() == _lines.at(start)->pos().y());
+  Q_ASSERT(end + 1 == _lines.count() || _lines.at(end)->pos().y() + _lines.at(end)->height() == _lines.at(end + 1)->pos().y());
 
   // update sceneRect
   // when searching for the first non-date-line we have to take into account that our