From e04af740db254a5aadccc142a53d2738b2b4cf56 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Sat, 30 Sep 2017 23:31:58 +0200
Subject: [PATCH] document a class

---
 src/kernel/context/Context.hpp | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/kernel/context/Context.hpp b/src/kernel/context/Context.hpp
index c5a459a5f1..c184df4a34 100644
--- a/src/kernel/context/Context.hpp
+++ b/src/kernel/context/Context.hpp
@@ -81,6 +81,11 @@ namespace context {
     smx_actor_t process_ = nullptr;
   public:
     class StopRequest {
+      /** @brief Exception launched to kill a process, in order to properly unwind its stack and release RAII stuff
+       *
+       * Nope, Sonar, this should not inherit of std::exception.
+       * Otherwise, users may accidentally catch it with a try {} catch (std::exception)
+       */
     };
     bool iwannadie;
 
-- 
2.20.1