From ec80014245d22f726e4d66a89b6bd6d293db177c Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Wed, 3 Oct 2012 15:08:28 -0700 Subject: [PATCH] model: add const qualifier to get_thread() --- model.cc | 4 ++-- model.h | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) 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(); -- 2.34.1