From 8ea66f246f18e3a92e279a9ba49c29beb2d8ef52 Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Fri, 14 Dec 2012 16:31:49 -0800 Subject: [PATCH] nodestack: add const --- nodestack.cc | 3 ++- nodestack.h | 8 ++++---- 2 files changed, 6 insertions(+), 5 deletions(-) diff --git a/nodestack.cc b/nodestack.cc index 11b83cc..2f99aef 100644 --- a/nodestack.cc +++ b/nodestack.cc @@ -386,7 +386,8 @@ int Node::get_read_from_size() const return may_read_from.size(); } -const ModelAction * Node::get_read_from_at(int i) { +const ModelAction * Node::get_read_from_at(int i) const +{ return may_read_from[i]; } diff --git a/nodestack.h b/nodestack.h index d7c1368..94bb58e 100644 --- a/nodestack.h +++ b/nodestack.h @@ -89,7 +89,7 @@ public: bool increment_read_from(); bool read_from_empty() const; int get_read_from_size() const; - const ModelAction * get_read_from_at(int i); + const ModelAction * get_read_from_at(int i) const; void set_promise(unsigned int i, bool is_rmw); bool get_promise(unsigned int i) const; @@ -114,9 +114,9 @@ public: private: void explore(thread_id_t tid); - ModelAction *action; - Node *parent; - int num_threads; + ModelAction * const action; + Node * const parent; + const int num_threads; std::vector< bool, ModelAlloc > explored_children; std::vector< bool, ModelAlloc > backtrack; std::vector< struct fairness_info, ModelAlloc< struct fairness_info> > fairness; -- 2.34.1