projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
schedule: add const
[model-checker.git]
/
schedule.cc
diff --git
a/schedule.cc
b/schedule.cc
index 26217d0a99dfd918d37d90fd77b3a803aefadc26..8e52d845cec555453ddc6926b087df0006ca3fa4 100644
(file)
--- a/
schedule.cc
+++ b/
schedule.cc
@@
-41,7
+41,7
@@
void Scheduler::set_enabled(Thread *t, enabled_type_t enabled_status) {
* @param t The Thread to check
* @return True if the Thread is currently enabled
*/
* @param t The Thread to check
* @return True if the Thread is currently enabled
*/
-bool Scheduler::is_enabled(Thread *t) const
+bool Scheduler::is_enabled(
const
Thread *t) const
{
return is_enabled(t->get_id());
}
{
return is_enabled(t->get_id());
}
@@
-60,9
+60,10
@@
bool Scheduler::is_enabled(thread_id_t tid) const
return (i >= enabled_len) ? false : (enabled[i] != THREAD_DISABLED);
}
return (i >= enabled_len) ? false : (enabled[i] != THREAD_DISABLED);
}
-enabled_type_t Scheduler::get_enabled(Thread *t) {
+enabled_type_t Scheduler::get_enabled(const Thread *t) const
+{
int id = id_to_int(t->get_id());
int id = id_to_int(t->get_id());
- ASSERT(id
<
enabled_len);
+ ASSERT(id
<
enabled_len);
return enabled[id];
}
return enabled[id];
}