projects
/
model-checker.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
bbc3405
)
model: add const qualifier to get_thread()
author
Brian Norris
<banorris@uci.edu>
Wed, 3 Oct 2012 22:08:28 +0000
(15:08 -0700)
committer
Brian Norris
<banorris@uci.edu>
Wed, 3 Oct 2012 22:08:28 +0000
(15:08 -0700)
model.cc
patch
|
blob
|
history
model.h
patch
|
blob
|
history
diff --git
a/model.cc
b/model.cc
index 8b7201f1b88c4edf98475e0ebeadc7ecd6fd6f32..8d8944d71ab27e59af1108e2a66debd3d6999596 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 62c762711bcb8300765483ee075ec9747d412d5f..3dbd562755e41ece4f9836b9e6fa53a9c52c313f 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();