diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2011-09-29 09:10:27 +0000 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2011-09-29 09:10:27 +0000 |
| commit | 834e2d2fe3d9a67497dd34e6551e80df90c00458 (patch) | |
| tree | e00f39e2f66c861019973b3539c789b13c26db39 /src/display_buffer.hh | |
| parent | e659ea2dab4b91d6f5a8905f4a854f7be82343e3 (diff) | |
DisplayBuffer: check_invariant method to assert atoms consistency
Diffstat (limited to 'src/display_buffer.hh')
| -rw-r--r-- | src/display_buffer.hh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/display_buffer.hh b/src/display_buffer.hh index e422e38a..62b4731c 100644 --- a/src/display_buffer.hh +++ b/src/display_buffer.hh @@ -75,6 +75,8 @@ public: const_iterator begin() const { return m_atoms.begin(); } const_iterator end() const { return m_atoms.end(); } + + void check_invariant() const; private: AtomList m_atoms; }; |