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:
8b84f60
)
model: add const to get_thread(ModelAction *act)
author
Brian Norris
<banorris@uci.edu>
Thu, 24 Jan 2013 01:21:19 +0000
(17:21 -0800)
committer
Brian Norris
<banorris@uci.edu>
Thu, 24 Jan 2013 01:21:19 +0000
(17:21 -0800)
model.cc
patch
|
blob
|
history
model.h
patch
|
blob
|
history
diff --git
a/model.cc
b/model.cc
index b6ef861ff78fb31a7a35fb4f5b2af8df9d71dd65..ede2bcc840d8710ae00e3d021accadb6ef8e0698 100644
(file)
--- a/
model.cc
+++ b/
model.cc
@@
-2687,7
+2687,7
@@
Thread * ModelChecker::get_thread(thread_id_t tid) const
* @param act The ModelAction
* @return A Thread reference
*/
* @param act The ModelAction
* @return A Thread reference
*/
-Thread * ModelChecker::get_thread(ModelAction *act) const
+Thread * ModelChecker::get_thread(
const
ModelAction *act) const
{
return get_thread(act->get_tid());
}
{
return get_thread(act->get_tid());
}
diff --git
a/model.h
b/model.h
index 5a127b1dd979a59c6d9cfe1e830ce0db7c58f860..960e9e1a9846a8eefd92a7f0ef394eb975adcbca 100644
(file)
--- a/
model.h
+++ b/
model.h
@@
-108,7
+108,7
@@
public:
void add_thread(Thread *t);
void remove_thread(Thread *t);
Thread * get_thread(thread_id_t tid) const;
void add_thread(Thread *t);
void remove_thread(Thread *t);
Thread * get_thread(thread_id_t tid) const;
- Thread * get_thread(ModelAction *act) const;
+ Thread * get_thread(
const
ModelAction *act) const;
bool is_enabled(Thread *t) const;
bool is_enabled(thread_id_t tid) const;
bool is_enabled(Thread *t) const;
bool is_enabled(thread_id_t tid) const;