From: Brian Norris <banorris@uci.edu>
Date: Thu, 19 Apr 2012 17:58:31 +0000 (-0700)
Subject: model: add accessors for ModelAction variables
X-Git-Tag: pldi2013~543
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=f69627bb829fdf0c601de820c4418d30edb41d57;p=model-checker.git

model: add accessors for ModelAction variables

(+ add 'node' member, pointing to the state-space tree just before the action)
---

diff --git a/model.h b/model.h
index dd2613b..2762e10 100644
--- a/model.h
+++ b/model.h
@@ -24,12 +24,21 @@ class ModelAction {
 public:
 	ModelAction(action_type_t type, memory_order order, void *loc, int value);
 	void print(void);
+
+	thread_id_t get_tid() { return tid; }
+	action_type get_type() { return type; }
+	memory_order get_mo() { return order; }
+	void *get_location() { return location; }
+
+	TreeNode *get_node() { return node; }
+	void set_node(TreeNode *n) { node = n; }
 private:
 	action_type type;
 	memory_order order;
 	void *location;
 	thread_id_t tid;
 	int value;
+	TreeNode *node;
 };
 
 class ModelChecker {