+
+void doWarnIf(char const * expr, docstring const & msg, char const * file, long line)
+{
+ LYXERR0("ASSERTION " << expr << " VIOLATED IN " << file << ":" << line);
+ // comment this out if not needed
+ BOOST_ASSERT(false);
+ throw ExceptionMessage(WarningException, _("Warning!"),
+ formatHelper(msg, expr, file, line));
+}
+
+
+void doBufErr(char const * expr, docstring const & msg, char const * file, long line)
+{
+ LYXERR0("ASSERTION " << expr << " VIOLATED IN " << file << ":" << line);
+ // comment this out if not needed
+ BOOST_ASSERT(false);
+ throw ExceptionMessage(BufferException, _("Buffer Error!"),
+ formatHelper(msg, expr, file, line));
+}
+
+
+void doAppErr(char const * expr, docstring const & msg, char const * file, long line)
+{