schedule: rename get_enabled() -> get_enabled_array()
authorBrian Norris <banorris@uci.edu>
Tue, 20 Nov 2012 04:40:30 +0000 (20:40 -0800)
committerBrian Norris <banorris@uci.edu>
Tue, 20 Nov 2012 04:40:30 +0000 (20:40 -0800)
This function actually returns the array, not a single "enabled" status.
(There's a separate get_enabled() method for getting a single status.)

model.cc
schedule.h

index da68074..700f25c 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -1000,7 +1000,7 @@ bool ModelChecker::initialize_curr_action(ModelAction **curr)
 
        (*curr)->set_seq_number(get_next_seq_num());
 
 
        (*curr)->set_seq_number(get_next_seq_num());
 
-       newcurr = node_stack->explore_action(*curr, scheduler->get_enabled());
+       newcurr = node_stack->explore_action(*curr, scheduler->get_enabled_array());
        if (newcurr) {
                /* First restore type and order in case of RMW operation */
                if ((*curr)->is_rmwr())
        if (newcurr) {
                /* First restore type and order in case of RMW operation */
                if ((*curr)->is_rmwr())
index da91fdd..98aef1a 100644 (file)
@@ -30,7 +30,7 @@ public:
        Thread * next_thread(Thread *t);
        Thread * get_current_thread() const;
        void print() const;
        Thread * next_thread(Thread *t);
        Thread * get_current_thread() const;
        void print() const;
-       enabled_type_t * get_enabled() { return enabled; };
+       enabled_type_t * get_enabled_array() { return enabled; };
        void remove_sleep(Thread *t);
        void add_sleep(Thread *t);
        enabled_type_t get_enabled(Thread *t);
        void remove_sleep(Thread *t);
        void add_sleep(Thread *t);
        enabled_type_t get_enabled(Thread *t);