From bcaa8e3b0181455d702b9f0e634dc9258f7ab84b Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Tue, 3 Jul 2012 09:23:11 -0700 Subject: [PATCH] action: add {get,set}_value(), assign default value --- action.h | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/action.h b/action.h index 8ccebe3..e342e63 100644 --- a/action.h +++ b/action.h @@ -31,7 +31,7 @@ class ClockVector; */ class ModelAction { public: - ModelAction(action_type_t type, memory_order order, void *loc, int value); + ModelAction(action_type_t type, memory_order order, void *loc, int value = VALUE_NONE); ~ModelAction(); void print(void) const; @@ -40,9 +40,11 @@ public: memory_order get_mo() const { return order; } void * get_location() const { return location; } int get_seq_number() const { return seq_number; } + int get_value() const { return value; } Node * get_node() const { return node; } void set_node(Node *n) { node = n; } + void set_value(int val) { value = val; } bool is_read() const; bool is_write() const; -- 2.34.1