Mark all of simix.h as deprecated.

[simgrid.git] / include / simgrid / kernel / Timer.hpp

diff --git a/include/simgrid/kernel/Timer.hpp b/include/simgrid/kernel/Timer.hpp
index d5f1e15..e805734 100644 (file)
--- a/include/simgrid/kernel/Timer.hpp
+++ b/include/simgrid/kernel/Timer.hpp
@@ -1,4 +1,4 @@
-/* Copyright (c) 2021. The SimGrid Team.
+/* Copyright (c) 2021-2022. The SimGrid Team.
  * All rights reserved.                                                     */
 
 /* This program is free software; you can redistribute it and/or modify it
@@ -26,13 +26,16 @@ inline auto& kernel_timers() // avoid static initialization order fiasco
 
 /** @brief Timer datatype */
 class Timer {
-public:
-  const double date;
+  const double date_;
+  xbt::Task<void()> callback;
   std::remove_reference_t<decltype(kernel_timers())>::handle_type handle_;
 
-  Timer(double date, xbt::Task<void()>&& callback) : date(date), callback(std::move(callback)) {}
+public:
+  double get_date() const { return date_; }
+
+
+  Timer(double date, xbt::Task<void()>&& callback) : date_(date), callback(std::move(callback)) {}
 
-  xbt::Task<void()> callback;
   void remove();
 
   template <class F> static inline Timer* set(double date, F callback)
@@ -42,6 +45,9 @@ public:
 
   static Timer* set(double date, xbt::Task<void()>&& callback);
   static double next() { return kernel_timers().empty() ? -1.0 : kernel_timers().top().first; }
+
+  /** Handle any pending timer. Returns if something was actually run. */
+  static bool execute_all();
 };
 
 } // namespace timer