From: Brian Norris <banorris@uci.edu>
Date: Wed, 3 Oct 2012 22:08:28 +0000 (-0700)
Subject: model: add const qualifier to get_thread()
X-Git-Tag: pldi2013~107^2~6
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=ec80014245d22f726e4d66a89b6bd6d293db177c;ds=sidebyside

model: add const qualifier to get_thread()
---

diff --git a/model.cc b/model.cc
index 8b7201f..8d8944d 100644
--- 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
  */
-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));
 }
@@ -1723,7 +1723,7 @@ Thread * ModelChecker::get_thread(thread_id_t tid)
  * @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());
 }
diff --git a/model.h b/model.h
index 62c7627..3dbd562 100644
--- a/model.h
+++ b/model.h
@@ -72,8 +72,8 @@ public:
 
 	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();