equal
deleted
inserted
replaced
34 namespace out { |
34 namespace out { |
35 namespace tabular { |
35 namespace tabular { |
36 |
36 |
37 using namespace relpipe::reader; |
37 using namespace relpipe::reader; |
38 |
38 |
39 class TabularPrefetchingHandler : public handlers::RelationalReaderStringHadler { |
39 class TabularPrefetchingHandler : public handlers::RelationalReaderStringHandler { |
40 private: |
40 private: |
41 std::wstring_convert<std::codecvt_utf8<wchar_t>> convertor; // TODO: support also other encodings. |
41 std::wstring_convert<std::codecvt_utf8<wchar_t>> convertor; // TODO: support also other encodings. |
42 const char* ESC_BRIGHT = "\u001b[1m"; |
42 const char* ESC_BRIGHT = "\u001b[1m"; |
43 const char* ESC_RED = "\u001b[31m"; |
43 const char* ESC_RED = "\u001b[31m"; |
44 const char* ESC_GREEN = "\u001b[32m"; |
44 const char* ESC_GREEN = "\u001b[32m"; |