+
+#ifdef ENABLE_ASSERTIONS
+void Bullet::testInvariant() const {
+ lyx::Assert(font >= MIN);
+ lyx::Assert(font < FONTMAX);
+ lyx::Assert(character >= MIN);
+ lyx::Assert(character < CHARMAX);
+ lyx::Assert(size >= MIN);
+ lyx::Assert(size < SIZEMAX);
+ lyx::Assert(user_text >= -1);
+ lyx::Assert(user_text <= 1);
+ // now some relational/operational tests
+ if (user_text == 1) {
+ lyx::Assert(font == -1 && (character == -1 && size == -1));
+ // Assert(!text.empty()); // this isn't necessarily an error
+ }
+ // else if (user_text == -1) {
+ // Assert(!text.empty()); // this also isn't necessarily an error
+ // }
+ // else {
+ // // user_text == 0
+ // Assert(text.empty()); // not usually true
+ // }
+}
+#endif