execution: add 'const'

diff --git a/execution.cc b/execution.cc
index 0006c66c70a3acf89433bfd4013e03ad3f5b3e1c..dc1b6c53986725a9303a156fcc888c4bb7c8b456 100644 (file)
--- a/execution.cc
+++ b/execution.cc
@@ -128,7 +128,8 @@ static SnapVector<action_list_t> * get_safe_ptr_vect_action(HashTable<void *, Sn
        return tmp;
 }
 
        return tmp;
 }
 

-action_list_t * ModelExecution::get_actions_on_obj(void * obj, thread_id_t tid) {
+action_list_t * ModelExecution::get_actions_on_obj(void * obj, thread_id_t tid) const
+{

        SnapVector<action_list_t> *wrv=obj_thrd_map->get(obj);
        if (wrv==NULL)
                return NULL;
        SnapVector<action_list_t> *wrv=obj_thrd_map->get(obj);
        if (wrv==NULL)
                return NULL;

diff --git a/execution.h b/execution.h
index 9ae0b4f3e6b3f67d578562f07522742493894ef2..6810fee665a6b018cbec1c353b12f22667a8c42e 100644 (file)
--- a/execution.h
+++ b/execution.h
@@ -88,7 +88,7 @@ public:
        void check_promises_thread_disabled();
        bool isfeasibleprefix() const;
 
        void check_promises_thread_disabled();
        bool isfeasibleprefix() const;
 

-       action_list_t * get_actions_on_obj(void * obj, thread_id_t tid);
+       action_list_t * get_actions_on_obj(void * obj, thread_id_t tid) const;

        ModelAction * get_last_action(thread_id_t tid) const;
 
        bool check_action_enabled(ModelAction *curr);
        ModelAction * get_last_action(thread_id_t tid) const;
 
        bool check_action_enabled(ModelAction *curr);