X-Git-Url: http://xvm.mit.edu/gitweb/invirt/third/libt4.git/blobdiff_plain/eb3d5c6416c0f0d1cad35e52af3231de7866fea8..26ade07ab0e62b98b452fbbd18edba0450035e35:/log.cc diff --git a/log.cc b/log.cc index c9af175..2f1d679 100644 --- a/log.cc +++ b/log.cc @@ -49,10 +49,10 @@ void log::logread(void) { } string log::dump() { - ifstream from(name); + std::ifstream from(name); string res; string v; - while (getline(from, v)) + while (std::getline(from, v)) res += v + "\n"; from.close(); return res; @@ -60,14 +60,14 @@ string log::dump() { void log::restore(string s) { LOG << "restore: " << s; - ofstream f(name, ios::trunc); + std::ofstream f(name, std::ios::trunc); f << s; f.close(); } // XXX should be an atomic operation void log::loginstance(unsigned instance, string v) { - ofstream f(name, ios::app); + std::ofstream f(name, std::ios::app); f << "done " << instance << " " << v << "\n"; f.close(); } @@ -75,7 +75,7 @@ void log::loginstance(unsigned instance, string v) { // an acceptor should call logprop(promise) when it // receives a prepare to which it responds prepare_ok(). void log::logprop(prop_t promise) { - ofstream f(name, ios::app); + std::ofstream f(name, std::ios::app); f << "propseen " << promise.n << " " << promise.m << "\n"; f.close(); } @@ -83,7 +83,7 @@ void log::logprop(prop_t promise) { // 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, ios::app); + std::ofstream f(name, std::ios::app); f << "accepted " << n.n << " " << n.m << " " << v << "\n"; f.close(); }