Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Mark functions as "const" (sonar).
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Tue, 11 Apr 2023 13:26:28 +0000 (15:26 +0200)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Tue, 11 Apr 2023 13:26:28 +0000 (15:26 +0200)
src/mc/api/State.hpp
src/mc/remote/CheckerSide.cpp
src/mc/remote/CheckerSide.hpp
src/plugins/battery.cpp

index 6d98437..e7d1548 100644 (file)
@@ -78,20 +78,20 @@ public:
    *  + consider_one mark aid actor (and assert it is possible)
    *  + consider_best ensure one actor is marked by eventually marking the best regarding its guiding methode
    *  + conside_all mark all enabled actor that are not done yet */
-  void consider_one(aid_t aid) { strategy_->consider_one(aid); }
-  void consider_best() { strategy_->consider_best(); }
-  unsigned long consider_all() { return strategy_->consider_all(); }
+  void consider_one(aid_t aid) const { strategy_->consider_one(aid); }
+  void consider_best() const { strategy_->consider_best(); }
+  unsigned long consider_all() const { return strategy_->consider_all(); }
 
   bool is_actor_done(aid_t actor) const { return strategy_->actors_to_run_.at(actor).is_done(); }
   Transition* get_transition() const;
   void set_transition(Transition* t) { transition_ = t; }
-  std::shared_ptr<State> get_parent_state() { return parent_state_; }
+  std::shared_ptr<State> get_parent_state() const { return parent_state_; }
   std::list<Transition*> get_recipe() const { return recipe_; }
 
   std::map<aid_t, ActorState> const& get_actors_list() const { return strategy_->actors_to_run_; }
 
   unsigned long get_actor_count() const { return strategy_->actors_to_run_.size(); }
-  bool is_actor_enabled(aid_t actor) { return strategy_->actors_to_run_.at(actor).is_enabled(); }
+  bool is_actor_enabled(aid_t actor) const { return strategy_->actors_to_run_.at(actor).is_enabled(); }
 
   Snapshot* get_system_state() const { return system_state_.get(); }
   void set_system_state(std::shared_ptr<Snapshot> state) { system_state_ = std::move(state); }
index 0b543d5..7e71fe1 100644 (file)
@@ -287,7 +287,7 @@ void CheckerSide::finalize(bool terminate_asap)
              (int)answer.type, (int)MessageType::FINALIZE_REPLY);
 }
 
-void CheckerSide::dispatch_events()
+void CheckerSide::dispatch_events() const
 {
   event_base_dispatch(base_.get());
 }
index 9d99973..84c70d1 100644 (file)
@@ -52,7 +52,7 @@ public:
   Channel& get_channel() { return channel_; }
 
   bool handle_message(const char* buffer, ssize_t size);
-  void dispatch_events();
+  void dispatch_events() const;
   void break_loop() const;
   void wait_for_requests();
 
index 7e7f949..65077e9 100644 (file)
@@ -166,8 +166,8 @@ public:
   bool is_active() const;
   double get_power();
   double get_state_of_charge();
-  double get_state_of_charge_min();
-  double get_state_of_charge_max();
+  double get_state_of_charge_min() const;
+  double get_state_of_charge_max() const;
   double get_state_of_health();
   double get_capacity();
   double get_cumulative_cost();
@@ -321,12 +321,12 @@ double Battery::get_state_of_charge()
   return state_of_charge_;
 }
 
-double Battery::get_state_of_charge_min()
+double Battery::get_state_of_charge_min() const
 {
   return state_of_charge_min_;
 }
 
-double Battery::get_state_of_charge_max()
+double Battery::get_state_of_charge_max() const
 {
   return state_of_charge_max_;
 }