[Getfem-commits] (no subject)

[Roman Putanowicz]

branch: devel-rppplx-external-except
commit 9243fb89fa05852c2844a4ee92b89834c47510f2
Author: rpplx <address@hidden>
Date:   Wed Jul 12 22:44:30 2017 +0200

    Added default feedback handler class. The behaviour of this class is such 
that id does exactly what GMM library was doing so far with the error, warning 
and assertion messages.
---
 src/gmm/gmm_feedback_management.h | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/src/gmm/gmm_feedback_management.h 
b/src/gmm/gmm_feedback_management.h
index a552bd6..51c2945 100644
--- a/src/gmm/gmm_feedback_management.h
+++ b/src/gmm/gmm_feedback_management.h
@@ -64,5 +64,16 @@ struct base_feedback_handler {
   virtual void terminating_action() = 0;
 };
 
+
+// Provides the default implementation of feedback handling.
+struct default_feedback_handler final : public base_feedback_handler {
+  void send(const std::string &message, FeedbackType, size_t) override {
+    std::cerr << message << std::endl;
+  }
+  void terminating_action() override {
+    std::exit(1);
+  }
+};
+
 } // namespace gmm
 #endif /* GMM_FEEDBACK_MANAGEMENT_H__ */