Replace assert() with baselibs futurecpp assert macros

root · claude · root · commit 2addcde04654 · 2026-07-01T12:19:31.000+03:00
Replaces all 37 plain assert() calls across 10 source files with the appropriate SCORE_LANGUAGE_FUTURECPP_* macros from score/assert.hpp, as required by project guidelines. Also adds the explicit @score_baselibs//score/language/futurecpp dep to 7 Bazel targets that now directly depend on the assert header. Macro selection follows existing codebase convention: - PRECONDITION[_PRD][_MESSAGE] for constructor/function-entry argument checks - ASSERT_PRD[_MESSAGE] for mid-function invariants in the safety-critical daemon - Default-level PRECONDITION (no PRD) for health_monitor, matching sibling files The _PRD variants guarantee checks survive any future NDEBUG or ASSERT_LEVEL_PRODUCTION build configuration, which is appropriate for the alive_monitor daemon (AUTOSAR PHM code referencing SWS_PHM_00204). Closes #263 Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
diff --git a/score/health_monitor/src/cpp/common.h b/score/health_monitor/src/cpp/common.h
@@ -13,7 +13,7 @@
 #ifndef SCORE_HM_COMMON_H
 #define SCORE_HM_COMMON_H
 
-#include <cassert>
+#include <score/assert.hpp>
 #include <chrono>
 #include <optional>
 
@@ -95,7 +95,7 @@ class TimeRange
   public:
     TimeRange(std::chrono::milliseconds min_ms, std::chrono::milliseconds max_ms) : min_ms_(min_ms), max_ms_(max_ms)
     {
-        assert(min_ms_ <= max_ms_);
+        SCORE_LANGUAGE_FUTURECPP_PRECONDITION(min_ms_ <= max_ms_);
     }
 
     const uint32_t min_ms() const
diff --git a/score/launch_manager/src/daemon/src/alive_monitor/details/common/BUILD b/score/launch_manager/src/daemon/src/alive_monitor/details/common/BUILD
@@ -26,6 +26,7 @@ cc_library(
     include_prefix = "score/mw/launch_manager/alive_monitor/details/common",
     strip_include_prefix = "/score/launch_manager/src/daemon/src/alive_monitor/details/common",
     visibility = ["//score/launch_manager/src/daemon/src/alive_monitor:__subpackages__"],
+    deps = ["@score_baselibs//score/language/futurecpp"],
 )
 
 cc_library(
diff --git a/score/launch_manager/src/daemon/src/alive_monitor/details/common/Observer.hpp b/score/launch_manager/src/daemon/src/alive_monitor/details/common/Observer.hpp
@@ -14,7 +14,7 @@
 #define OBSERVER_HPP_INCLUDED
 
 #include <algorithm>
-#include <cassert>
+#include <score/assert.hpp>
 #include <cstdint>
 
 #include <vector>
@@ -120,7 +120,7 @@ class Observable
         {
             // We can be sure that *this is of type Type_Observable, anything else would be a programming error.
             // The runtime checks performed by dynamic_cast are not necessary.
-            assert((dynamic_cast<Type_Observable*>(this)) != NULL);
+            SCORE_LANGUAGE_FUTURECPP_ASSERT_PRD((dynamic_cast<Type_Observable*>(this)) != NULL);
             observer->updateData(static_cast<Type_Observable&>(*this));
         }
     }
diff --git a/score/launch_manager/src/daemon/src/alive_monitor/details/daemon/AliveMonitorImpl.cpp b/score/launch_manager/src/daemon/src/alive_monitor/details/daemon/AliveMonitorImpl.cpp
@@ -15,6 +15,8 @@
 #include <cstdint>
 #include <iostream>
 
+#include <score/assert.hpp>
+
 #include "score/mw/launch_manager/alive_monitor/details/daemon/AliveMonitorImpl.hpp"
 #include "score/mw/launch_manager/alive_monitor/details/logging/PhmLogger.hpp"
 #include "score/mw/launch_manager/alive_monitor/details/watchdog/WatchdogImpl.hpp"
@@ -53,7 +55,7 @@ EInitCode AliveMonitorImpl::init() noexcept {
 }
 
 bool AliveMonitorImpl::run(std::atomic_bool& cancel_thread) noexcept {
-    assert(m_daemon != nullptr && "HealthMonitor: Instance is not initialized!");
+    SCORE_LANGUAGE_FUTURECPP_PRECONDITION_PRD_MESSAGE(m_daemon != nullptr, "HealthMonitor: Instance is not initialized!");
     return m_daemon->startCyclicExec(cancel_thread);
 }
 
diff --git a/score/launch_manager/src/daemon/src/alive_monitor/details/daemon/BUILD b/score/launch_manager/src/daemon/src/alive_monitor/details/daemon/BUILD
@@ -86,5 +86,6 @@ cc_library(
         ":i_health_monitor",
         "//score/launch_manager/src/daemon/src/alive_monitor/details/logging:phm_logging",
         "//score/launch_manager/src/daemon/src/alive_monitor/details/watchdog:watchdog_impl",
+        "@score_baselibs//score/language/futurecpp",
     ],
 )
diff --git a/score/launch_manager/src/daemon/src/alive_monitor/details/factory/BUILD b/score/launch_manager/src/daemon/src/alive_monitor/details/factory/BUILD
@@ -51,6 +51,7 @@ cc_library(
         "//score/launch_manager/src/daemon/src/alive_monitor/details/timers:timers_os_clock",
         "//score/launch_manager/src/daemon/src/alive_monitor/details/watchdog:i_device_config_factory",
         "@flatbuffers",
+        "@score_baselibs//score/language/futurecpp",
     ] + select({
         "@platforms//os:qnx": [],
         "@platforms//os:linux": ["//externals/acl"],
diff --git a/score/launch_manager/src/daemon/src/alive_monitor/details/factory/MachineConfigFactory.cpp b/score/launch_manager/src/daemon/src/alive_monitor/details/factory/MachineConfigFactory.cpp
@@ -15,6 +15,8 @@
 #include <limits>
 #include <string_view>
 #include <fstream>
+
+#include <score/assert.hpp>
 #include "score/mw/launch_manager/alive_monitor/details/timers/TimeConversion.hpp"
 #include "score/mw/launch_manager/alive_monitor/config/hmcore_flatcfg_generated.h"
 #include "flatbuffers/flatbuffers.h"
@@ -116,7 +118,7 @@ void MachineConfigFactory::loadWatchdogDevices(const HMCOREFlatBuffer::HMCOREEcu
     {
         watchdog::DeviceConfig config{};
 
-        assert(wdg->maxTimeout() <= std::numeric_limits<std::uint16_t>::max());
+        SCORE_LANGUAGE_FUTURECPP_ASSERT_PRD(wdg->maxTimeout() <= std::numeric_limits<std::uint16_t>::max());
         // coverity[autosar_cpp14_a4_7_1_violation] SDG definitions guarantee uint16 boundaries
         config.timeoutMax = static_cast<std::uint16_t>(wdg->maxTimeout());
 
diff --git a/score/launch_manager/src/daemon/src/alive_monitor/details/supervision/Alive.cpp b/score/launch_manager/src/daemon/src/alive_monitor/details/supervision/Alive.cpp
@@ -13,7 +13,7 @@
 
 #include "score/mw/launch_manager/alive_monitor/details/supervision/Alive.hpp"
 
-#include <cassert>
+#include <score/assert.hpp>
 #include <string_view>
 
 #include "score/mw/launch_manager/alive_monitor/details/common/Types.hpp"
@@ -43,12 +43,11 @@ Alive::Alive(const AliveSupervisionCfg& f_aliveCfg_r)
       timeSortingUpdateEventBuffer(common::TimeSortingBuffer<TimeSortedUpdateEvent>(f_aliveCfg_r.checkpointBufferSize))
 {
     f_aliveCfg_r.checkpoint_r.attachObserver(*this);
-    assert((k_aliveReferenceCycle != 0U) && "k_aliveReferenceCycle=0 causes infinite loop during evaluation.");
+    SCORE_LANGUAGE_FUTURECPP_PRECONDITION_PRD_MESSAGE((k_aliveReferenceCycle != 0U), "k_aliveReferenceCycle=0 causes infinite loop during evaluation.");
 
-    assert((aliveStatus == EStatus::kDeactivated) &&
-           ("Alive Supervision must start in deactivated state, see SWS_PHM_00204"));
+    SCORE_LANGUAGE_FUTURECPP_PRECONDITION_PRD_MESSAGE((aliveStatus == EStatus::kDeactivated), "Alive Supervision must start in deactivated state, see SWS_PHM_00204");
 
-    assert((recoveryClient_p != nullptr) && "Recovery client must be provided");
+    SCORE_LANGUAGE_FUTURECPP_PRECONDITION_PRD_MESSAGE((recoveryClient_p != nullptr), "Recovery client must be provided");
 }
 
 // coverity[exn_spec_violation:FALSE] std::length_error is not thrown from push() which uses fixed-size-vector
@@ -122,8 +121,7 @@ void Alive::evaluate(const timers::NanoSecondType f_syncTimestamp)
     while (sortedUpdateEvent_p != nullptr)
     {
         timers::NanoSecondType timestampOfUpdateEvent{getTimestampOfUpdateEvent(*sortedUpdateEvent_p)};
-        assert((timestampOfUpdateEvent <= f_syncTimestamp) &&
-               "Alive supervision: Checkpoint events are reported beyond syncTimestamp.");
+        SCORE_LANGUAGE_FUTURECPP_ASSERT_PRD_MESSAGE((timestampOfUpdateEvent <= f_syncTimestamp), "Alive supervision: Checkpoint events are reported beyond syncTimestamp.");
 
         // Check if evaluation is to be triggered before processing current sorted update event
         const bool isEvaluationEvent{detectEvaluationEvent(timestampOfUpdateEvent, *sortedUpdateEvent_p)};
@@ -290,7 +288,7 @@ Alive::EUpdateEventType Alive::getAliveEventType(bool f_isEvaluationEvent,
     }
 
     // SyncSnapshot
-    assert(std::holds_alternative<SyncSnapshot>(f_updateEvent));
+    SCORE_LANGUAGE_FUTURECPP_ASSERT_PRD(std::holds_alternative<SyncSnapshot>(f_updateEvent));
     return EUpdateEventType::kSync;
 }
 
@@ -489,7 +487,7 @@ void Alive::switchToExpired(Alive::EReason reason) noexcept(true)
                                         << ") switched to EXPIRED, due to buffer overflow.";
                     break;
                 default:
-                    assert(dataLossReason != EDataLossReason::kNoDataLoss);
+                    SCORE_LANGUAGE_FUTURECPP_ASSERT_PRD(dataLossReason != EDataLossReason::kNoDataLoss);
                     logger_r.LogError() << "Alive Supervision (" << getConfigName()
                                         << ") switched to EXPIRED, due to unknown data loss case.";
                     break;
@@ -593,7 +591,7 @@ timers::NanoSecondType Alive::getTimestampOfUpdateEvent(const TimeSortedUpdateEv
     }
     else
     {
-        assert(std::holds_alternative<SyncSnapshot>(f_updateEvent));
+        SCORE_LANGUAGE_FUTURECPP_ASSERT_PRD(std::holds_alternative<SyncSnapshot>(f_updateEvent));
         // coverity[cert_exp34_c_violation] SyncSnapshot type is stored also check assert above
         // coverity[dereference] SyncSnapshot type is stored also check assert above
         timestamp = std::get<SyncSnapshot>(f_updateEvent);
diff --git a/score/launch_manager/src/daemon/src/alive_monitor/details/supervision/BUILD b/score/launch_manager/src/daemon/src/alive_monitor/details/supervision/BUILD
@@ -48,6 +48,7 @@ cc_library(
         ":i_supervision",
         ":supervision_cfg",
         "//score/launch_manager/src/daemon/src/alive_monitor/details/common:time_sorting_buffer",
+        "@score_baselibs//score/language/futurecpp",
         "//score/launch_manager/src/daemon/src/alive_monitor/details/ifappl:checkpoint",
         "//score/launch_manager/src/daemon/src/alive_monitor/details/ifexm:process_state",
         "//score/launch_manager/src/daemon/src/alive_monitor/details/logging:phm_logging",
diff --git a/score/launch_manager/src/daemon/src/alive_monitor/details/watchdog/BUILD b/score/launch_manager/src/daemon/src/alive_monitor/details/watchdog/BUILD
@@ -44,6 +44,7 @@ cc_library(
     include_prefix = "score/mw/launch_manager/alive_monitor/details/watchdog",
     strip_include_prefix = "/score/launch_manager/src/daemon/src/alive_monitor/details/watchdog",
     visibility = ["//score/launch_manager/src/daemon/src/alive_monitor:__subpackages__"],
+    deps = ["@score_baselibs//score/language/futurecpp"],
 )
 
 cc_library(
@@ -60,5 +61,6 @@ cc_library(
         ":watchdog",
         "//score/launch_manager/src/daemon/src/alive_monitor/details/logging:phm_logging",
         "//score/launch_manager/src/daemon/src/alive_monitor/details/timers:os_clock_interface",
+        "@score_baselibs//score/language/futurecpp",
     ],
 )
diff --git a/score/launch_manager/src/daemon/src/alive_monitor/details/watchdog/DeviceIf.cpp b/score/launch_manager/src/daemon/src/alive_monitor/details/watchdog/DeviceIf.cpp
@@ -18,7 +18,7 @@
 #include <sys/types.h>
 #include <unistd.h>
 
-#include <cassert>
+#include <score/assert.hpp>
 
 namespace score
 {
@@ -42,11 +42,11 @@ std::int64_t DeviceIf::write(std::int32_t f_fd, const char* const f_buf_p, size_
 std::int32_t DeviceIf::open(const char* f_pathname_p, std::int32_t f_flags) noexcept
 {
     // O_CREAT and O_TMPFILE flags are not supported (additional mode argument required).
-    assert((f_flags & O_CREAT) == 0);
+    SCORE_LANGUAGE_FUTURECPP_PRECONDITION_PRD((f_flags & O_CREAT) == 0);
 
     // qnx has no O_TMPFILE flag
 #if defined(__linux__)
-    assert((f_flags & O_TMPFILE) == 0);
+    SCORE_LANGUAGE_FUTURECPP_PRECONDITION_PRD((f_flags & O_TMPFILE) == 0);
 #endif
 
     return ::open(f_pathname_p, f_flags);
diff --git a/score/launch_manager/src/daemon/src/alive_monitor/details/watchdog/WatchdogImpl.cpp b/score/launch_manager/src/daemon/src/alive_monitor/details/watchdog/WatchdogImpl.cpp
@@ -12,7 +12,7 @@
  ********************************************************************************/
 #include "score/mw/launch_manager/alive_monitor/details/watchdog/WatchdogImpl.hpp"
 
-#include <cassert>
+#include <score/assert.hpp>
 #include <fcntl.h>
 #include <sys/ioctl.h>
 #include <sys/types.h>
@@ -44,7 +44,7 @@ template <typename T>
 // coverity[autosar_cpp14_a2_10_4_violation] There is no static definition within the same namespace or no namespace.
 T secToMs(const T f_timeout)
 {
-    assert(f_timeout < std::numeric_limits<T>::max() / 1000);
+    SCORE_LANGUAGE_FUTURECPP_PRECONDITION_PRD(f_timeout < std::numeric_limits<T>::max() / 1000);
     // coverity[autosar_cpp14_a4_7_1_violation] Watchdog device implementations have a limit in second range.
     return f_timeout * 1000 /*ms per seconds*/;
 }
@@ -283,7 +283,7 @@ bool WatchdogImpl::setTimeout(std::int32_t f_fd, std::uint16_t f_timeoutInMs) co
 
 bool WatchdogImpl::enableDevice(WatchdogDevice& f_state_r) const noexcept
 {
-    assert(f_state_r.fileDescriptor == -1);  // this should always be true
+    SCORE_LANGUAGE_FUTURECPP_ASSERT_PRD(f_state_r.fileDescriptor == -1);  // this should always be true
     f_state_r.fileDescriptor = DeviceIf::open(f_state_r.config.fileName.c_str(), O_WRONLY);
     bool isSuccess{true};
 
diff --git a/score/launch_manager/src/daemon/src/alive_monitor/details/watchdog/WatchdogImpl.hpp b/score/launch_manager/src/daemon/src/alive_monitor/details/watchdog/WatchdogImpl.hpp
@@ -17,7 +17,6 @@
 
 #include <cstdint>
 #include <memory>
-#include <cassert>
 
 #include <vector>
 #include "score/mw/launch_manager/alive_monitor/details/logging/PhmLogger.hpp"
diff --git a/score/launch_manager/src/daemon/src/configuration/BUILD b/score/launch_manager/src/daemon/src/configuration/BUILD
@@ -43,6 +43,7 @@ cc_library(
     include_prefix = "score/mw/launch_manager/configuration",
     strip_include_prefix = "/score/launch_manager/src/daemon/src/configuration",
     visibility = ["//score:__subpackages__"],
+    deps = ["@score_baselibs//score/language/futurecpp"],
 )
 
 cc_test(
@@ -80,6 +81,7 @@ cc_library(
         ":config_loader",
         "//score/launch_manager/src/daemon/src/common:log",
         "@flatbuffers",
+        "@score_baselibs//score/language/futurecpp",
     ],
 )
 
@@ -99,6 +101,7 @@ cc_library(
         "//score/launch_manager/src/daemon/src/common:log",
         "@flatbuffers",
         "@score_baselibs//score/flatbuffers:flatbufferutils",
+        "@score_baselibs//score/language/futurecpp",
     ],
 )
 
diff --git a/score/launch_manager/src/daemon/src/configuration/details/config.cpp b/score/launch_manager/src/daemon/src/configuration/details/config.cpp
@@ -12,7 +12,7 @@
  ********************************************************************************/
 #include "score/mw/launch_manager/configuration/config.hpp"
 
-#include <cassert>
+#include <score/assert.hpp>
 
 #include <utility>
 
@@ -24,7 +24,7 @@ namespace score::mw::launch_manager::configuration
 EnvironmentVariable::EnvironmentVariable(std::string_view key, std::string_view value)
     : entry_{std::string{key} + "=" + std::string{value}}, key_length_{key.size()}
 {
-    assert(!key.empty() && "Environment variable key must not be empty");
+    SCORE_LANGUAGE_FUTURECPP_PRECONDITION_PRD_MESSAGE(!key.empty(), "Environment variable key must not be empty");
 }
 
 std::string_view EnvironmentVariable::key() const
diff --git a/score/launch_manager/src/daemon/src/configuration/details/flatbuffer_config_loader.cpp b/score/launch_manager/src/daemon/src/configuration/details/flatbuffer_config_loader.cpp
@@ -20,7 +20,7 @@
 
 #include "score/mw/launch_manager/common/log.hpp"
 
-#include <cassert>
+#include <score/assert.hpp>
 #include <cstdint>
 #include <vector>
 
@@ -83,9 +83,9 @@ score::cpp::expected<Config, IConfigLoader::Error> parseFlatbuffer(const std::ve
 
     ConfigBuilder builder;
 
-    assert(config->initial_run_target() && "LaunchManagerConfig::initial_run_target must never be nullptr as it is required in the schema");
-    assert(config->components() && "LaunchManagerConfig::components must never be nullptr as it is required in the schema");
-    assert(config->run_targets() && "LaunchManagerConfig::run_targets must never be nullptr as it is required in the schema");
+    SCORE_LANGUAGE_FUTURECPP_ASSERT_PRD_MESSAGE(config->initial_run_target(), "LaunchManagerConfig::initial_run_target must never be nullptr as it is required in the schema");
+    SCORE_LANGUAGE_FUTURECPP_ASSERT_PRD_MESSAGE(config->components(), "LaunchManagerConfig::components must never be nullptr as it is required in the schema");
+    SCORE_LANGUAGE_FUTURECPP_ASSERT_PRD_MESSAGE(config->run_targets(), "LaunchManagerConfig::run_targets must never be nullptr as it is required in the schema");
     builder.setInitialRunTarget(config->initial_run_target()->str());
 
     // Convert components
@@ -105,7 +105,7 @@ score::cpp::expected<Config, IConfigLoader::Error> parseFlatbuffer(const std::ve
     builder.setRunTargets(std::move(*run_targets));
 
     // Convert fallback run target
-    assert(config->fallback_run_target() && "LaunchManagerConfig::fallback_run_target must never be nullptr as it is required in the schema");
+    SCORE_LANGUAGE_FUTURECPP_ASSERT_PRD_MESSAGE(config->fallback_run_target(), "LaunchManagerConfig::fallback_run_target must never be nullptr as it is required in the schema");
     auto fallback = convertFallbackRunTarget(config->fallback_run_target());
     if (!fallback.has_value())
     {
@@ -115,7 +115,7 @@ score::cpp::expected<Config, IConfigLoader::Error> parseFlatbuffer(const std::ve
     builder.setFallbackRunTarget(std::move(*fallback));
 
     // Convert alive supervision
-    assert(config->alive_supervision() && "LaunchManagerConfig::alive_supervision must never be nullptr as it is required in the schema");
+    SCORE_LANGUAGE_FUTURECPP_ASSERT_PRD_MESSAGE(config->alive_supervision(), "LaunchManagerConfig::alive_supervision must never be nullptr as it is required in the schema");
     auto alive_sup = convertAliveSupervision(config->alive_supervision());
     if (!alive_sup.has_value())
     {
diff --git a/score/launch_manager/src/daemon/src/configuration/details/flatbuffer_type_converters.cpp b/score/launch_manager/src/daemon/src/configuration/details/flatbuffer_type_converters.cpp

Original file line number	Diff line number	Diff line change
`@@ -13,7 +13,7 @@`
`13`	`13`	`#ifndef SCORE_HM_COMMON_H`
`14`	`14`	`#define SCORE_HM_COMMON_H`
`15`	`15`
`16`		`-#include <cassert>`
	`16`	`+#include <score/assert.hpp>`
`17`	`17`	`#include <chrono>`
`18`	`18`	`#include <optional>`
`19`	`19`
`@@ -95,7 +95,7 @@ class TimeRange`
`95`	`95`	`public:`
`96`	`96`	`TimeRange(std::chrono::milliseconds min_ms, std::chrono::milliseconds max_ms) : min_ms_(min_ms), max_ms_(max_ms)`
`97`	`97`	`{`
`98`		`- assert(min_ms_ <= max_ms_);`
	`98`	`+ SCORE_LANGUAGE_FUTURECPP_PRECONDITION(min_ms_ <= max_ms_);`
`99`	`99`	`}`
`100`	`100`
`101`	`101`	`const uint32_t min_ms() const`
Original file line number	Diff line number	Diff line change
`@@ -26,6 +26,7 @@ cc_library(`
`26`	`26`	`include_prefix = "score/mw/launch_manager/alive_monitor/details/common",`
`27`	`27`	`strip_include_prefix = "/score/launch_manager/src/daemon/src/alive_monitor/details/common",`
`28`	`28`	`visibility = ["//score/launch_manager/src/daemon/src/alive_monitor:__subpackages__"],`
	`29`	`+ deps = ["@score_baselibs//score/language/futurecpp"],`
`29`	`30`	`)`
`30`	`31`
`31`	`32`	`cc_library(`
Original file line number	Diff line number	Diff line change
`@@ -14,7 +14,7 @@`
`14`	`14`	`#define OBSERVER_HPP_INCLUDED`
`15`	`15`
`16`	`16`	`#include <algorithm>`
`17`		`-#include <cassert>`
	`17`	`+#include <score/assert.hpp>`
`18`	`18`	`#include <cstdint>`
`19`	`19`
`20`	`20`	`#include <vector>`
`@@ -120,7 +120,7 @@ class Observable`
`120`	`120`	`{`
`121`	`121`	`// We can be sure that *this is of type Type_Observable, anything else would be a programming error.`
`122`	`122`	`// The runtime checks performed by dynamic_cast are not necessary.`
`123`		`- assert((dynamic_cast<Type_Observable*>(this)) != NULL);`
	`123`	`+ SCORE_LANGUAGE_FUTURECPP_ASSERT_PRD((dynamic_cast<Type_Observable*>(this)) != NULL);`
`124`	`124`	`observer->updateData(static_cast<Type_Observable&>(*this));`
`125`	`125`	`}`
`126`	`126`	`}`
Original file line number	Diff line number	Diff line change
`@@ -15,6 +15,8 @@`
`15`	`15`	`#include <cstdint>`
`16`	`16`	`#include <iostream>`
`17`	`17`
	`18`	`+#include <score/assert.hpp>`
	`19`	`+`
`18`	`20`	`#include "score/mw/launch_manager/alive_monitor/details/daemon/AliveMonitorImpl.hpp"`
`19`	`21`	`#include "score/mw/launch_manager/alive_monitor/details/logging/PhmLogger.hpp"`
`20`	`22`	`#include "score/mw/launch_manager/alive_monitor/details/watchdog/WatchdogImpl.hpp"`
`@@ -53,7 +55,7 @@ EInitCode AliveMonitorImpl::init() noexcept {`
`53`	`55`	`}`
`54`	`56`
`55`	`57`	`bool AliveMonitorImpl::run(std::atomic_bool& cancel_thread) noexcept {`
`56`		`- assert(m_daemon != nullptr && "HealthMonitor: Instance is not initialized!");`
	`58`	`+ SCORE_LANGUAGE_FUTURECPP_PRECONDITION_PRD_MESSAGE(m_daemon != nullptr, "HealthMonitor: Instance is not initialized!");`
`57`	`59`	`return m_daemon->startCyclicExec(cancel_thread);`
`58`	`60`	`}`
`59`	`61`
Original file line number	Diff line number	Diff line change
`@@ -86,5 +86,6 @@ cc_library(`
`86`	`86`	`":i_health_monitor",`
`87`	`87`	`"//score/launch_manager/src/daemon/src/alive_monitor/details/logging:phm_logging",`
`88`	`88`	`"//score/launch_manager/src/daemon/src/alive_monitor/details/watchdog:watchdog_impl",`
	`89`	`+ "@score_baselibs//score/language/futurecpp",`
`89`	`90`	`],`
`90`	`91`	`)`
Original file line number	Diff line number	Diff line change
`@@ -44,6 +44,7 @@ cc_library(`
`44`	`44`	`include_prefix = "score/mw/launch_manager/alive_monitor/details/watchdog",`
`45`	`45`	`strip_include_prefix = "/score/launch_manager/src/daemon/src/alive_monitor/details/watchdog",`
`46`	`46`	`visibility = ["//score/launch_manager/src/daemon/src/alive_monitor:__subpackages__"],`
	`47`	`+ deps = ["@score_baselibs//score/language/futurecpp"],`
`47`	`48`	`)`
`48`	`49`
`49`	`50`	`cc_library(`
`@@ -60,5 +61,6 @@ cc_library(`
`60`	`61`	`":watchdog",`
`61`	`62`	`"//score/launch_manager/src/daemon/src/alive_monitor/details/logging:phm_logging",`
`62`	`63`	`"//score/launch_manager/src/daemon/src/alive_monitor/details/timers:os_clock_interface",`
	`64`	`+ "@score_baselibs//score/language/futurecpp",`
`63`	`65`	`],`
`64`	`66`	`)`