X-Git-Url: http://xvm.mit.edu/gitweb/invirt/third/libt4.git/blobdiff_plain/5a5c578e2e358a121cdb9234a6cb11c4ecfbf323..24bebc0ecf83446c7371eff69042322aab34976a:/log.cc

diff --git a/log.cc b/log.cc
index 95c40e3..de00d67 100644
--- a/log.cc
+++ b/log.cc
@@ -27,19 +27,19 @@ void log::logread(void) {
             pxs->instance_h = instance;
             LOG("logread: instance: " << instance << " w. v = " <<
                     pxs->values[instance]);
-            pxs->v_a.clear();
-            pxs->n_h.n = 0;
-            pxs->n_a.n = 0;
+            pxs->accepted_value.clear();
+            pxs->promise.n = 0;
+            pxs->accepted.n = 0;
         } else if (type == "propseen") {
-            from >> pxs->n_h.n >> pxs->n_h.m;
-            LOG("logread: high update: " << pxs->n_h.n << "(" << pxs->n_h.m << ")");
+            from >> pxs->promise.n >> pxs->promise.m;
+            LOG("logread: high update: " << pxs->promise.n << "(" << pxs->promise.m << ")");
         } else if (type == "accepted") {
             string v;
-            from >> pxs->n_a.n >> pxs->n_a.m;
+            from >> pxs->accepted.n >> pxs->accepted.m;
             from.get();
             getline(from, v);
-            pxs->v_a = v;
-            LOG("logread: prop update " << pxs->n_a.n << "(" << pxs->n_a.m << ") with v = " << pxs->v_a);
+            pxs->accepted_value = v;
+            LOG("logread: prop update " << pxs->accepted.n << "(" << pxs->accepted.m << ") with v = " << pxs->accepted_value);
         } else {
             LOG("logread: unknown log record");
             VERIFY(0);
@@ -72,15 +72,15 @@ void log::loginstance(unsigned instance, string v) {
     f.close();
 }
 
-// an acceptor should call logprop(n_h) when it
+// an acceptor should call logprop(promise) when it
 // receives a prepare to which it responds prepare_ok().
-void log::logprop(prop_t n_h) {
+void log::logprop(prop_t promise) {
     ofstream f(name, std::ios::app);
-    f << "propseen " << n_h.n << " " << n_h.m << "\n";
+    f << "propseen " << promise.n << " " << promise.m << "\n";
     f.close();
 }
 
-// an acceptor should call logaccept(n_a, v_a) when it
+// an acceptor should call logaccept(accepted, accepted_value) when it
 // receives an accept RPC to which it replies accept_ok().
 void log::logaccept(prop_t n, string v) {
     ofstream f(name, std::ios::app);