Use the callback in applications to reroute to message

This means that exceptions, invariant failures, etc. will
be given in the appropriate format.

Author: martin

src/cbmc/cbmc_parse_options.h

@@ -121,6 +121,12 @@ class cbmc_parse_optionst:
   void get_command_line_options(optionst &);
   void preprocessing(const optionst &);
   bool set_properties();
+
+  virtual void error_message(const std::string &err) override
+  {
+    error() << err << eom;
+    return;
+  }
 };
 
 #endif // CPROVER_CBMC_CBMC_PARSE_OPTIONS_H

src/goto-analyzer/goto_analyzer_parse_options.h

@@ -181,6 +181,12 @@ class goto_analyzer_parse_optionst:
   {
     return ui_message_handler.get_ui();
   }
+
+  virtual void error_message(const std::string &err) override
+  {
+    error() << err << eom;
+    return;
+  }
 };
 
 #endif // CPROVER_GOTO_ANALYZER_GOTO_ANALYZER_PARSE_OPTIONS_H

src/goto-diff/goto_diff_parse_options.h

@@ -71,6 +71,12 @@ class goto_diff_parse_optionst:
     goto_modelt &goto_model);
 
   void preprocessing();
+
+  virtual void error_message(const std::string &err) override
+  {
+    error() << err << eom;
+    return;
+  }
 };
 
 #endif // CPROVER_GOTO_DIFF_GOTO_DIFF_PARSE_OPTIONS_H

src/goto-instrument/goto_instrument_parse_options.h

@@ -151,6 +151,12 @@ class goto_instrument_parse_optionst:
   {
     return ui_message_handler.get_ui();
   }
+
+  virtual void error_message(const std::string &err) override
+  {
+    error() << err << eom;
+    return;
+  }
 };
 
 #endif // CPROVER_GOTO_INSTRUMENT_GOTO_INSTRUMENT_PARSE_OPTIONS_H