From: Brian Norris <banorris@uci.edu>
Date: Thu, 21 Mar 2013 23:01:23 +0000 (-0700)
Subject: model: rename PendingFutureValue 'act' to 'reader'
X-Git-Tag: oopsla2013~131
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=c29b803ac6dce04a6531d33e36341eb662124835;p=model-checker.git

model: rename PendingFutureValue 'act' to 'reader'

To make it more clear
---

diff --git a/model.cc b/model.cc
index 780633e..f0763cb 100644
--- a/model.cc
+++ b/model.cc
@@ -1104,7 +1104,7 @@ bool ModelChecker::process_write(ModelAction *curr)
 	if (promises->empty()) {
 		for (unsigned int i = 0; i < futurevalues->size(); i++) {
 			struct PendingFutureValue pfv = (*futurevalues)[i];
-			add_future_value(pfv.writer, pfv.act);
+			add_future_value(pfv.writer, pfv.reader);
 		}
 		futurevalues->clear();
 	}
diff --git a/model.h b/model.h
index 07879cd..faa0dfe 100644
--- a/model.h
+++ b/model.h
@@ -73,9 +73,11 @@ struct execution_stats {
 };
 
 struct PendingFutureValue {
-	PendingFutureValue(ModelAction *writer, ModelAction *act) : writer(writer), act(act) { }
+	PendingFutureValue(ModelAction *writer, ModelAction *reader) :
+		writer(writer), reader(reader)
+	{ }
 	const ModelAction *writer;
-	ModelAction *act;
+	ModelAction *reader;
 };
 
 /** @brief Records information regarding a single pending release sequence */