model: add const qualifier to get_thread()
authorBrian Norris <banorris@uci.edu>
Wed, 3 Oct 2012 22:08:28 +0000 (15:08 -0700)
committerBrian Norris <banorris@uci.edu>
Wed, 3 Oct 2012 22:08:28 +0000 (15:08 -0700)
model.cc
model.h

index 8b7201f..8d8944d 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -1713,7 +1713,7 @@ void ModelChecker::remove_thread(Thread *t)
  * @param tid The Thread's ID
  * @return A Thread reference
  */
  * @param tid The Thread's ID
  * @return A Thread reference
  */
-Thread * ModelChecker::get_thread(thread_id_t tid)
+Thread * ModelChecker::get_thread(thread_id_t tid) const
 {
        return thread_map->get(id_to_int(tid));
 }
 {
        return thread_map->get(id_to_int(tid));
 }
@@ -1723,7 +1723,7 @@ Thread * ModelChecker::get_thread(thread_id_t tid)
  * @param act The ModelAction
  * @return A Thread reference
  */
  * @param act The ModelAction
  * @return A Thread reference
  */
-Thread * ModelChecker::get_thread(ModelAction *act)
+Thread * ModelChecker::get_thread(ModelAction *act) const
 {
        return get_thread(act->get_tid());
 }
 {
        return get_thread(act->get_tid());
 }
diff --git a/model.h b/model.h
index 62c7627..3dbd562 100644 (file)
--- a/model.h
+++ b/model.h
@@ -72,8 +72,8 @@ public:
 
        void add_thread(Thread *t);
        void remove_thread(Thread *t);
 
        void add_thread(Thread *t);
        void remove_thread(Thread *t);
-       Thread * get_thread(thread_id_t tid);
-       Thread * get_thread(ModelAction *act);
+       Thread * get_thread(thread_id_t tid) const;
+       Thread * get_thread(ModelAction *act) const;
 
        thread_id_t get_next_id();
        int get_num_threads();
 
        thread_id_t get_next_id();
        int get_num_threads();