X-Git-Url: https://git.sesse.net/?p=stockfish;a=blobdiff_plain;f=src%2Fmisc.cpp;h=8bc413f47be9657217ce0151a0604702f3b100c0;hp=125115a4cd57f8dc33724291b49014f0ce014b56;hb=d1e18fc7dd78a3f5223162dfc79c26baaefcf69e;hpb=eb28a683bd5a15be4a59c1e14b45b2c80cf7bf2c diff --git a/src/misc.cpp b/src/misc.cpp index 125115a4..8bc413f4 100644 --- a/src/misc.cpp +++ b/src/misc.cpp @@ -39,7 +39,6 @@ #include #include #include -#include #include "misc.h" #include "thread.h" @@ -106,67 +105,66 @@ void dbg_print() { } -/// Our fancy logging facility. The trick here is to replace cout.rdbuf() with -/// this one that sends the output both to console and to a file, this allow us -/// to toggle the logging of std::cout to a file while preserving output to -/// stdout and without changing a single line of code! Idea and code from: -/// http://groups.google.com/group/comp.lang.c++/msg/1d941c0f26ea0d81 +/// Our fancy logging facility. The trick here is to replace cin.rdbuf() and +/// cout.rdbuf() with two Tie objects that tie cin and cout to a file stream. We +/// can toggle the logging of std::cout and std:cin at runtime while preserving +/// usual i/o functionality and without changing a single line of code! +/// Idea from http://groups.google.com/group/comp.lang.c++/msg/1d941c0f26ea0d81 -class Logger: public streambuf { -public: - typedef char_traits traits_type; - typedef traits_type::int_type int_type; +class Logger { - Logger() : cout_buf(cout.rdbuf()) {} - ~Logger() { set(false); } + Logger() : in(cin.rdbuf(), file), out(cout.rdbuf(), file) {} + ~Logger() { start(false); } - void set(bool b) { + struct Tie: public streambuf { // MSVC requires splitted streambuf for cin and cout - if (b && !file.is_open()) - { - file.open("out.txt", ifstream::out | ifstream::app); - cout.rdbuf(this); - } - else if (!b && file.is_open()) - { - cout.rdbuf(cout_buf); - file.close(); - } - } + Tie(streambuf* b, ofstream& f) : buf(b), file(f) {} -private: - int_type overflow(int_type c) { + int sync() { return file.rdbuf()->pubsync(), buf->pubsync(); } + int overflow(int c) { return log(buf->sputc((char)c), "<< "); } + int underflow() { return buf->sgetc(); } + int uflow() { return log(buf->sbumpc(), ">> "); } - if (traits_type::eq_int_type(c, traits_type::eof())) - return traits_type::not_eof(c); + int log(int c, const char* prefix) { - c = cout_buf->sputc(traits_type::to_char_type(c)); + static int last = '\n'; - if (!traits_type::eq_int_type(c, traits_type::eof())) - c = file.rdbuf()->sputc(traits_type::to_char_type(c)); + if (last == '\n') + file.rdbuf()->sputn(prefix, 3); - return c; - } + return last = file.rdbuf()->sputc((char)c); + } + + streambuf* buf; + ofstream& file; + }; - int sync() { + ofstream file; + Tie in, out; - int c = cout_buf->pubsync(); +public: + static void start(bool b) { - if (c != -1) - c = file.rdbuf()->pubsync(); + static Logger l; - return c; + if (b && !l.file.is_open()) + { + l.file.open("io_log.txt", ifstream::out | ifstream::app); + cin.rdbuf(&l.in); + cout.rdbuf(&l.out); + } + else if (!b && l.file.is_open()) + { + cout.rdbuf(l.out.buf); + cin.rdbuf(l.in.buf); + l.file.close(); + } } - - ofstream file; - streambuf* cout_buf; }; -void logger_set(bool b) { - static Logger l; - l.set(b); -} +/// Trampoline helper to avoid moving Logger to misc.h +void start_logger(bool b) { Logger::start(b); } /// cpu_count() tries to detect the number of CPU cores