| Victor Zverovich | c095445 | 2018-01-06 09:09:50 -0800 | [diff] [blame] | 1 | // Formatting library for C++ |
| 2 | // |
| 3 | // Copyright (c) 2012 - 2016, Victor Zverovich |
| 4 | // All rights reserved. |
| 5 | // |
| 6 | // For the license information refer to format.h. |
| Victor Zverovich | b076df4 | 2012-12-07 08:31:09 -0800 | [diff] [blame] | 7 | |
| Victor Zverovich | 3da71d5 | 2018-03-21 07:50:59 -0700 | [diff] [blame] | 8 | #ifndef FMT_FORMAT_INL_H_ |
| 9 | #define FMT_FORMAT_INL_H_ |
| 10 | |
| Victor Zverovich | f853d94 | 2018-01-20 10:28:10 -0800 | [diff] [blame] | 11 | #include "format.h" |
| Victor Zverovich | fbfedcf | 2013-01-14 15:16:20 -0800 | [diff] [blame] | 12 | |
| Victor Zverovich | 859a497 | 2014-04-30 06:55:21 -0700 | [diff] [blame] | 13 | #include <string.h> |
| 14 | |
| Victor Zverovich | 72f896d | 2012-12-12 09:17:28 -0800 | [diff] [blame] | 15 | #include <cctype> |
| Victor Zverovich | 5d15bdd | 2014-07-01 16:23:50 -0700 | [diff] [blame] | 16 | #include <cerrno> |
| Victor Zverovich | f28645f | 2014-04-24 12:37:06 -0700 | [diff] [blame] | 17 | #include <climits> |
| Victor Zverovich | 9ff3b97 | 2013-09-07 10:15:08 -0700 | [diff] [blame] | 18 | #include <cmath> |
| Victor Zverovich | a684d0c | 2013-12-27 08:00:10 -0800 | [diff] [blame] | 19 | #include <cstdarg> |
| vitaut | 7dcf051 | 2015-11-13 06:52:13 -0800 | [diff] [blame] | 20 | #include <cstddef> // for std::ptrdiff_t |
| Victor Zverovich | 0de44a4 | 2018-08-26 08:12:35 -0700 | [diff] [blame] | 21 | #include <cstring> // for std::memmove |
| Thomas Bernard | abde38b | 2018-08-17 11:22:56 +0200 | [diff] [blame] | 22 | #if !defined(FMT_STATIC_THOUSANDS_SEPARATOR) |
| 23 | # include <locale> |
| 24 | #endif |
| Victor Zverovich | 9ff3b97 | 2013-09-07 10:15:08 -0700 | [diff] [blame] | 25 | |
| vitaut | 24c309f | 2015-06-12 07:15:57 -0700 | [diff] [blame] | 26 | #if FMT_USE_WINDOWS_H |
| Victor Zverovich | c753a2a | 2018-01-28 20:26:25 -0800 | [diff] [blame] | 27 | # if !defined(FMT_HEADER_ONLY) && !defined(WIN32_LEAN_AND_MEAN) |
| 28 | # define WIN32_LEAN_AND_MEAN |
| 29 | # endif |
| vitaut | 67ce394 | 2015-04-30 07:48:36 -0700 | [diff] [blame] | 30 | # if defined(NOMINMAX) || defined(FMT_WIN_MINMAX) |
| 31 | # include <windows.h> |
| 32 | # else |
| 33 | # define NOMINMAX |
| 34 | # include <windows.h> |
| 35 | # undef NOMINMAX |
| 36 | # endif |
| Ryuuke | 5a9dc8f | 2015-02-08 16:08:29 +0000 | [diff] [blame] | 37 | #endif |
| 38 | |
| Victor Zverovich | 8b76e97 | 2014-10-06 08:30:55 -0700 | [diff] [blame] | 39 | #if FMT_EXCEPTIONS |
| 40 | # define FMT_TRY try |
| 41 | # define FMT_CATCH(x) catch (x) |
| 42 | #else |
| 43 | # define FMT_TRY if (true) |
| 44 | # define FMT_CATCH(x) if (false) |
| 45 | #endif |
| 46 | |
| Ingo van Lil | b4b13ee | 2015-11-02 12:34:46 +0100 | [diff] [blame] | 47 | #ifdef _MSC_VER |
| jdale88 | a9862fd | 2014-03-11 18:56:24 +0000 | [diff] [blame] | 48 | # pragma warning(push) |
| Victor Zverovich | 8b76e97 | 2014-10-06 08:30:55 -0700 | [diff] [blame] | 49 | # pragma warning(disable: 4127) // conditional expression is constant |
| Daniel.Perry | bd0067e | 2014-11-25 18:01:09 -0500 | [diff] [blame] | 50 | # pragma warning(disable: 4702) // unreachable code |
| vitaut | df47d81 | 2015-03-16 18:53:14 -0700 | [diff] [blame] | 51 | // Disable deprecation warning for strerror. The latter is not called but |
| 52 | // MSVC fails to detect it. |
| 53 | # pragma warning(disable: 4996) |
| jdale88 | a9862fd | 2014-03-11 18:56:24 +0000 | [diff] [blame] | 54 | #endif |
| 55 | |
| vitaut | 341b98c | 2015-03-14 13:39:33 -0700 | [diff] [blame] | 56 | // Dummy implementations of strerror_r and strerror_s called if corresponding |
| 57 | // system functions are not available. |
| Victor Zverovich | 6cb68f9 | 2018-02-10 06:28:33 -0800 | [diff] [blame] | 58 | inline fmt::internal::null<> strerror_r(int, char *, ...) { |
| Victor Zverovich | c333dca | 2017-02-19 08:41:38 -0800 | [diff] [blame] | 59 | return fmt::internal::null<>(); |
| vitaut | 341b98c | 2015-03-14 13:39:33 -0700 | [diff] [blame] | 60 | } |
| Victor Zverovich | 6cb68f9 | 2018-02-10 06:28:33 -0800 | [diff] [blame] | 61 | inline fmt::internal::null<> strerror_s(char *, std::size_t, ...) { |
| Victor Zverovich | c333dca | 2017-02-19 08:41:38 -0800 | [diff] [blame] | 62 | return fmt::internal::null<>(); |
| vitaut | 341b98c | 2015-03-14 13:39:33 -0700 | [diff] [blame] | 63 | } |
| 64 | |
| Victor Zverovich | 838400d | 2018-05-12 08:33:51 -0700 | [diff] [blame] | 65 | FMT_BEGIN_NAMESPACE |
| Victor Zverovich | b26e76e | 2016-06-14 08:11:33 -0700 | [diff] [blame] | 66 | |
| Victor Zverovich | 9ff3b97 | 2013-09-07 10:15:08 -0700 | [diff] [blame] | 67 | namespace { |
| 68 | |
| 69 | #ifndef _MSC_VER |
| Victor Zverovich | b9a568b | 2014-09-19 07:51:42 -0700 | [diff] [blame] | 70 | # define FMT_SNPRINTF snprintf |
| Victor Zverovich | a684d0c | 2013-12-27 08:00:10 -0800 | [diff] [blame] | 71 | #else // _MSC_VER |
| Victor Zverovich | 406c612 | 2014-08-19 08:47:38 -0700 | [diff] [blame] | 72 | inline int fmt_snprintf(char *buffer, size_t size, const char *format, ...) { |
| Victor Zverovich | a684d0c | 2013-12-27 08:00:10 -0800 | [diff] [blame] | 73 | va_list args; |
| 74 | va_start(args, format); |
| 75 | int result = vsnprintf_s(buffer, size, _TRUNCATE, format, args); |
| 76 | va_end(args); |
| 77 | return result; |
| 78 | } |
| Victor Zverovich | b9a568b | 2014-09-19 07:51:42 -0700 | [diff] [blame] | 79 | # define FMT_SNPRINTF fmt_snprintf |
| Victor Zverovich | 9ff3b97 | 2013-09-07 10:15:08 -0700 | [diff] [blame] | 80 | #endif // _MSC_VER |
| Victor Zverovich | 43fe100 | 2014-02-19 14:20:26 -0800 | [diff] [blame] | 81 | |
| cstamford | 55836ca | 2015-03-10 07:04:31 +0000 | [diff] [blame] | 82 | #if defined(_WIN32) && defined(__MINGW32__) && !defined(__NO_ISOCEXT) |
| 83 | # define FMT_SWPRINTF snwprintf |
| 84 | #else |
| 85 | # define FMT_SWPRINTF swprintf |
| 86 | #endif // defined(_WIN32) && defined(__MINGW32__) && !defined(__NO_ISOCEXT) |
| 87 | |
| Victor Zverovich | c2fecb9 | 2018-01-14 14:15:59 -0800 | [diff] [blame] | 88 | typedef void (*FormatFunc)(internal::buffer &, int, string_view); |
| Victor Zverovich | 22f75d8 | 2014-09-03 08:03:05 -0700 | [diff] [blame] | 89 | |
| Victor Zverovich | f2c9df8 | 2014-09-05 08:44:41 -0700 | [diff] [blame] | 90 | // Portable thread-safe version of strerror. |
| 91 | // Sets buffer to point to a string describing the error code. |
| 92 | // This can be either a pointer to a string stored in buffer, |
| 93 | // or a pointer to some static immutable string. |
| 94 | // Returns one of the following values: |
| 95 | // 0 - success |
| 96 | // ERANGE - buffer is not large enough to store the error message |
| 97 | // other - failure |
| 98 | // Buffer should be at least of size 1. |
| 99 | int safe_strerror( |
| Carter Li | e2583ab | 2015-02-14 09:58:29 +0800 | [diff] [blame] | 100 | int error_code, char *&buffer, std::size_t buffer_size) FMT_NOEXCEPT { |
| Victor Zverovich | 92a250f | 2018-02-07 07:16:00 -0800 | [diff] [blame] | 101 | FMT_ASSERT(buffer != FMT_NULL && buffer_size != 0, "invalid buffer"); |
| vitaut | 341b98c | 2015-03-14 13:39:33 -0700 | [diff] [blame] | 102 | |
| Victor Zverovich | 69823bf | 2018-05-19 08:57:31 -0700 | [diff] [blame] | 103 | class dispatcher { |
| vitaut | 341b98c | 2015-03-14 13:39:33 -0700 | [diff] [blame] | 104 | private: |
| 105 | int error_code_; |
| 106 | char *&buffer_; |
| 107 | std::size_t buffer_size_; |
| 108 | |
| vitaut | da052ae | 2015-03-21 07:53:39 -0700 | [diff] [blame] | 109 | // A noop assignment operator to avoid bogus warnings. |
| Victor Zverovich | 69823bf | 2018-05-19 08:57:31 -0700 | [diff] [blame] | 110 | void operator=(const dispatcher &) {} |
| vitaut | da052ae | 2015-03-21 07:53:39 -0700 | [diff] [blame] | 111 | |
| vitaut | 341b98c | 2015-03-14 13:39:33 -0700 | [diff] [blame] | 112 | // Handle the result of XSI-compliant version of strerror_r. |
| 113 | int handle(int result) { |
| vitaut | e1776ac | 2015-03-14 14:05:02 -0700 | [diff] [blame] | 114 | // glibc versions before 2.13 return result in errno. |
| 115 | return result == -1 ? errno : result; |
| vitaut | 341b98c | 2015-03-14 13:39:33 -0700 | [diff] [blame] | 116 | } |
| 117 | |
| 118 | // Handle the result of GNU-specific version of strerror_r. |
| 119 | int handle(char *message) { |
| 120 | // If the buffer is full then the message is probably truncated. |
| 121 | if (message == buffer_ && strlen(buffer_) == buffer_size_ - 1) |
| 122 | return ERANGE; |
| 123 | buffer_ = message; |
| 124 | return 0; |
| 125 | } |
| 126 | |
| 127 | // Handle the case when strerror_r is not available. |
| Victor Zverovich | c333dca | 2017-02-19 08:41:38 -0800 | [diff] [blame] | 128 | int handle(internal::null<>) { |
| vitaut | 341b98c | 2015-03-14 13:39:33 -0700 | [diff] [blame] | 129 | return fallback(strerror_s(buffer_, buffer_size_, error_code_)); |
| 130 | } |
| 131 | |
| 132 | // Fallback to strerror_s when strerror_r is not available. |
| 133 | int fallback(int result) { |
| 134 | // If the buffer is full then the message is probably truncated. |
| 135 | return result == 0 && strlen(buffer_) == buffer_size_ - 1 ? |
| 136 | ERANGE : result; |
| 137 | } |
| 138 | |
| 139 | // Fallback to strerror if strerror_r and strerror_s are not available. |
| Victor Zverovich | c333dca | 2017-02-19 08:41:38 -0800 | [diff] [blame] | 140 | int fallback(internal::null<>) { |
| vitaut | 341b98c | 2015-03-14 13:39:33 -0700 | [diff] [blame] | 141 | errno = 0; |
| 142 | buffer_ = strerror(error_code_); |
| 143 | return errno; |
| 144 | } |
| 145 | |
| 146 | public: |
| Victor Zverovich | 69823bf | 2018-05-19 08:57:31 -0700 | [diff] [blame] | 147 | dispatcher(int err_code, char *&buf, std::size_t buf_size) |
| Radu Popescu | 0affb23 | 2015-08-04 12:52:44 +0200 | [diff] [blame] | 148 | : error_code_(err_code), buffer_(buf), buffer_size_(buf_size) {} |
| vitaut | 341b98c | 2015-03-14 13:39:33 -0700 | [diff] [blame] | 149 | |
| vitaut | 63f6c10 | 2015-06-14 09:36:23 -0700 | [diff] [blame] | 150 | int run() { |
| vitaut | 63f6c10 | 2015-06-14 09:36:23 -0700 | [diff] [blame] | 151 | return handle(strerror_r(error_code_, buffer_, buffer_size_)); |
| 152 | } |
| vitaut | 341b98c | 2015-03-14 13:39:33 -0700 | [diff] [blame] | 153 | }; |
| Victor Zverovich | 69823bf | 2018-05-19 08:57:31 -0700 | [diff] [blame] | 154 | return dispatcher(error_code, buffer, buffer_size).run(); |
| Victor Zverovich | f2c9df8 | 2014-09-05 08:44:41 -0700 | [diff] [blame] | 155 | } |
| 156 | |
| Victor Zverovich | c2fecb9 | 2018-01-14 14:15:59 -0800 | [diff] [blame] | 157 | void format_error_code(internal::buffer &out, int error_code, |
| Victor Zverovich | 50e7167 | 2017-02-18 06:52:52 -0800 | [diff] [blame] | 158 | string_view message) FMT_NOEXCEPT { |
| Victor Zverovich | 22f75d8 | 2014-09-03 08:03:05 -0700 | [diff] [blame] | 159 | // Report error code making sure that the output fits into |
| Victor Zverovich | f1ede63 | 2018-03-04 10:33:42 -0800 | [diff] [blame] | 160 | // inline_buffer_size to avoid dynamic memory allocation and potential |
| Victor Zverovich | 22f75d8 | 2014-09-03 08:03:05 -0700 | [diff] [blame] | 161 | // bad_alloc. |
| Victor Zverovich | f423e46 | 2017-03-11 07:43:26 -0800 | [diff] [blame] | 162 | out.resize(0); |
| Victor Zverovich | 22f75d8 | 2014-09-03 08:03:05 -0700 | [diff] [blame] | 163 | static const char SEP[] = ": "; |
| vitaut | 1addec9 | 2015-03-21 20:16:36 -0700 | [diff] [blame] | 164 | static const char ERROR_STR[] = "error "; |
| vitaut | 1addec9 | 2015-03-21 20:16:36 -0700 | [diff] [blame] | 165 | // Subtract 2 to account for terminating null characters in SEP and ERROR_STR. |
| 166 | std::size_t error_code_size = sizeof(SEP) + sizeof(ERROR_STR) - 2; |
| Victor Zverovich | 6a2ff28 | 2017-02-19 06:46:51 -0800 | [diff] [blame] | 167 | typedef internal::int_traits<int>::main_type main_type; |
| 168 | main_type abs_value = static_cast<main_type>(error_code); |
| vitaut | 9d577ca | 2016-03-02 07:01:21 -0800 | [diff] [blame] | 169 | if (internal::is_negative(error_code)) { |
| 170 | abs_value = 0 - abs_value; |
| 171 | ++error_code_size; |
| 172 | } |
| vitaut | bfdca8b | 2016-04-20 09:11:33 -0700 | [diff] [blame] | 173 | error_code_size += internal::count_digits(abs_value); |
| Victor Zverovich | 217e7c7 | 2018-01-14 07:19:23 -0800 | [diff] [blame] | 174 | writer w(out); |
| Victor Zverovich | f1ede63 | 2018-03-04 10:33:42 -0800 | [diff] [blame] | 175 | if (message.size() <= inline_buffer_size - error_code_size) { |
| Victor Zverovich | fefaf07 | 2017-02-14 16:29:47 -0500 | [diff] [blame] | 176 | w.write(message); |
| 177 | w.write(SEP); |
| Victor Zverovich | ec15ef7 | 2017-01-22 07:40:21 -0800 | [diff] [blame] | 178 | } |
| Victor Zverovich | fefaf07 | 2017-02-14 16:29:47 -0500 | [diff] [blame] | 179 | w.write(ERROR_STR); |
| 180 | w.write(error_code); |
| Victor Zverovich | f1ede63 | 2018-03-04 10:33:42 -0800 | [diff] [blame] | 181 | assert(out.size() <= inline_buffer_size); |
| Victor Zverovich | 22f75d8 | 2014-09-03 08:03:05 -0700 | [diff] [blame] | 182 | } |
| Victor Zverovich | 1a2d7be | 2014-05-03 09:48:54 -0700 | [diff] [blame] | 183 | |
| vitaut | bfdca8b | 2016-04-20 09:11:33 -0700 | [diff] [blame] | 184 | void report_error(FormatFunc func, int error_code, |
| Victor Zverovich | 50e7167 | 2017-02-18 06:52:52 -0800 | [diff] [blame] | 185 | string_view message) FMT_NOEXCEPT { |
| Victor Zverovich | eedfd07 | 2017-02-18 09:13:12 -0800 | [diff] [blame] | 186 | memory_buffer full_message; |
| Victor Zverovich | 88e0db8 | 2014-09-05 08:04:26 -0700 | [diff] [blame] | 187 | func(full_message, error_code, message); |
| 188 | // Use Writer::data instead of Writer::c_str to avoid potential memory |
| 189 | // allocation. |
| 190 | std::fwrite(full_message.data(), full_message.size(), 1, stderr); |
| 191 | std::fputc('\n', stderr); |
| Victor Zverovich | b605b39 | 2013-09-09 22:21:40 -0700 | [diff] [blame] | 192 | } |
| Victor Zverovich | 1a2d7be | 2014-05-03 09:48:54 -0700 | [diff] [blame] | 193 | } // namespace |
| vitaut | 270069b | 2015-06-16 07:36:32 -0700 | [diff] [blame] | 194 | |
| Victor Zverovich | 3832524 | 2018-10-03 18:22:26 -0700 | [diff] [blame] | 195 | FMT_FUNC size_t internal::count_code_points(basic_string_view<char8_t> s) { |
| Victor Zverovich | f802741 | 2018-09-30 11:39:20 -0700 | [diff] [blame] | 196 | const char8_t *data = s.data(); |
| 197 | size_t num_code_points = 0; |
| 198 | for (size_t i = 0, size = s.size(); i != size; ++i) { |
| 199 | if ((data[i] & 0xc0) != 0x80) |
| 200 | ++num_code_points; |
| 201 | } |
| 202 | return num_code_points; |
| 203 | } |
| 204 | |
| Thomas Bernard | abde38b | 2018-08-17 11:22:56 +0200 | [diff] [blame] | 205 | #if !defined(FMT_STATIC_THOUSANDS_SEPARATOR) |
| Victor Zverovich | 6ebc1a9 | 2018-05-20 17:16:34 -0700 | [diff] [blame] | 206 | class locale { |
| 207 | private: |
| 208 | std::locale locale_; |
| 209 | |
| 210 | public: |
| 211 | explicit locale(std::locale loc = std::locale()) : locale_(loc) {} |
| 212 | std::locale get() { return locale_; } |
| 213 | }; |
| 214 | |
| Victor Zverovich | f802741 | 2018-09-30 11:39:20 -0700 | [diff] [blame] | 215 | namespace internal { |
| Victor Zverovich | 7f351de | 2017-12-03 09:18:06 -0800 | [diff] [blame] | 216 | template <typename Char> |
| Victor Zverovich | f802741 | 2018-09-30 11:39:20 -0700 | [diff] [blame] | 217 | FMT_FUNC Char thousands_sep(locale_provider *lp) { |
| Victor Zverovich | d165d9c | 2017-12-26 17:22:07 -0800 | [diff] [blame] | 218 | std::locale loc = lp ? lp->locale().get() : std::locale(); |
| 219 | return std::use_facet<std::numpunct<Char>>(loc).thousands_sep(); |
| Victor Zverovich | 7f351de | 2017-12-03 09:18:06 -0800 | [diff] [blame] | 220 | } |
| Victor Zverovich | f802741 | 2018-09-30 11:39:20 -0700 | [diff] [blame] | 221 | template <> FMT_FUNC char8_t thousands_sep<char8_t>(locale_provider *) { |
| 222 | return static_cast<char8_t>(','); |
| 223 | } |
| 224 | } |
| Thomas Bernard | abde38b | 2018-08-17 11:22:56 +0200 | [diff] [blame] | 225 | #else |
| 226 | template <typename Char> |
| 227 | FMT_FUNC Char internal::thousands_sep(locale_provider *lp) { |
| 228 | return FMT_STATIC_THOUSANDS_SEPARATOR; |
| 229 | } |
| 230 | #endif |
| Victor Zverovich | 7f351de | 2017-12-03 09:18:06 -0800 | [diff] [blame] | 231 | |
| Victor Zverovich | c333dca | 2017-02-19 08:41:38 -0800 | [diff] [blame] | 232 | FMT_FUNC void system_error::init( |
| Victor Zverovich | 81bd9e8 | 2017-12-03 07:32:04 -0800 | [diff] [blame] | 233 | int err_code, string_view format_str, format_args args) { |
| Victor Zverovich | f9fc8fd | 2014-12-09 07:45:54 -0800 | [diff] [blame] | 234 | error_code_ = err_code; |
| Victor Zverovich | eedfd07 | 2017-02-18 09:13:12 -0800 | [diff] [blame] | 235 | memory_buffer buffer; |
| 236 | format_system_error(buffer, err_code, vformat(format_str, args)); |
| Victor Zverovich | 5320103 | 2014-06-30 14:26:29 -0700 | [diff] [blame] | 237 | std::runtime_error &base = *this; |
| Victor Zverovich | eedfd07 | 2017-02-18 09:13:12 -0800 | [diff] [blame] | 238 | base = std::runtime_error(to_string(buffer)); |
| Victor Zverovich | 5320103 | 2014-06-30 14:26:29 -0700 | [diff] [blame] | 239 | } |
| 240 | |
| Victor Zverovich | cd90097 | 2018-04-21 17:26:24 -0700 | [diff] [blame] | 241 | namespace internal { |
| Victor Zverovich | b605b39 | 2013-09-09 22:21:40 -0700 | [diff] [blame] | 242 | template <typename T> |
| Victor Zverovich | cd90097 | 2018-04-21 17:26:24 -0700 | [diff] [blame] | 243 | int char_traits<char>::format_float( |
| Victor Zverovich | b60a5c5 | 2018-05-28 20:16:30 -0700 | [diff] [blame] | 244 | char *buffer, std::size_t size, const char *format, int precision, T value) { |
| Victor Zverovich | b605b39 | 2013-09-09 22:21:40 -0700 | [diff] [blame] | 245 | return precision < 0 ? |
| Victor Zverovich | b60a5c5 | 2018-05-28 20:16:30 -0700 | [diff] [blame] | 246 | FMT_SNPRINTF(buffer, size, format, value) : |
| 247 | FMT_SNPRINTF(buffer, size, format, precision, value); |
| Victor Zverovich | b605b39 | 2013-09-09 22:21:40 -0700 | [diff] [blame] | 248 | } |
| Victor Zverovich | 9ff3b97 | 2013-09-07 10:15:08 -0700 | [diff] [blame] | 249 | |
| Victor Zverovich | b605b39 | 2013-09-09 22:21:40 -0700 | [diff] [blame] | 250 | template <typename T> |
| Victor Zverovich | cd90097 | 2018-04-21 17:26:24 -0700 | [diff] [blame] | 251 | int char_traits<wchar_t>::format_float( |
| Victor Zverovich | b60a5c5 | 2018-05-28 20:16:30 -0700 | [diff] [blame] | 252 | wchar_t *buffer, std::size_t size, const wchar_t *format, int precision, |
| 253 | T value) { |
| Victor Zverovich | b605b39 | 2013-09-09 22:21:40 -0700 | [diff] [blame] | 254 | return precision < 0 ? |
| Victor Zverovich | b60a5c5 | 2018-05-28 20:16:30 -0700 | [diff] [blame] | 255 | FMT_SWPRINTF(buffer, size, format, value) : |
| 256 | FMT_SWPRINTF(buffer, size, format, precision, value); |
| Victor Zverovich | 65d47e5 | 2013-09-09 06:51:03 -0700 | [diff] [blame] | 257 | } |
| Victor Zverovich | e8ba960 | 2012-12-12 09:29:50 -0800 | [diff] [blame] | 258 | |
| Victor Zverovich | 311251e | 2014-11-29 06:58:00 -0800 | [diff] [blame] | 259 | template <typename T> |
| Victor Zverovich | cd90097 | 2018-04-21 17:26:24 -0700 | [diff] [blame] | 260 | const char basic_data<T>::DIGITS[] = |
| Victor Zverovich | 687301c | 2013-01-26 16:07:28 -0800 | [diff] [blame] | 261 | "0001020304050607080910111213141516171819" |
| 262 | "2021222324252627282930313233343536373839" |
| 263 | "4041424344454647484950515253545556575859" |
| 264 | "6061626364656667686970717273747576777879" |
| 265 | "8081828384858687888990919293949596979899"; |
| Victor Zverovich | e9b2191 | 2014-02-19 12:43:55 -0800 | [diff] [blame] | 266 | |
| Victor Zverovich | f1d8516 | 2014-02-19 13:02:22 -0800 | [diff] [blame] | 267 | #define FMT_POWERS_OF_10(factor) \ |
| 268 | factor * 10, \ |
| 269 | factor * 100, \ |
| 270 | factor * 1000, \ |
| 271 | factor * 10000, \ |
| 272 | factor * 100000, \ |
| 273 | factor * 1000000, \ |
| 274 | factor * 10000000, \ |
| 275 | factor * 100000000, \ |
| 276 | factor * 1000000000 |
| Victor Zverovich | e9b2191 | 2014-02-19 12:43:55 -0800 | [diff] [blame] | 277 | |
| Victor Zverovich | 311251e | 2014-11-29 06:58:00 -0800 | [diff] [blame] | 278 | template <typename T> |
| Victor Zverovich | cd90097 | 2018-04-21 17:26:24 -0700 | [diff] [blame] | 279 | const uint32_t basic_data<T>::POWERS_OF_10_32[] = { |
| Victor Zverovich | f0d0a1e | 2018-08-25 16:08:32 -0700 | [diff] [blame] | 280 | 1, FMT_POWERS_OF_10(1) |
| 281 | }; |
| 282 | |
| 283 | template <typename T> |
| 284 | const uint32_t basic_data<T>::ZERO_OR_POWERS_OF_10_32[] = { |
| Victor Zverovich | 311251e | 2014-11-29 06:58:00 -0800 | [diff] [blame] | 285 | 0, FMT_POWERS_OF_10(1) |
| 286 | }; |
| 287 | |
| 288 | template <typename T> |
| Victor Zverovich | f0d0a1e | 2018-08-25 16:08:32 -0700 | [diff] [blame] | 289 | const uint64_t basic_data<T>::ZERO_OR_POWERS_OF_10_64[] = { |
| Victor Zverovich | 6f0387f | 2014-02-14 10:36:17 -0800 | [diff] [blame] | 290 | 0, |
| Victor Zverovich | f1d8516 | 2014-02-19 13:02:22 -0800 | [diff] [blame] | 291 | FMT_POWERS_OF_10(1), |
| Victor Zverovich | 016aceb | 2017-08-26 09:09:43 -0700 | [diff] [blame] | 292 | FMT_POWERS_OF_10(1000000000ull), |
| 293 | 10000000000000000000ull |
| Victor Zverovich | 6f0387f | 2014-02-14 10:36:17 -0800 | [diff] [blame] | 294 | }; |
| Victor Zverovich | 877abaf | 2013-01-08 09:56:05 -0800 | [diff] [blame] | 295 | |
| Victor Zverovich | 2768af2 | 2018-04-29 06:33:05 -0700 | [diff] [blame] | 296 | // Normalized 64-bit significands of pow(10, k), for k = -348, -340, ..., 340. |
| 297 | // These are generated by support/compute-powers.py. |
| 298 | template <typename T> |
| 299 | const uint64_t basic_data<T>::POW10_SIGNIFICANDS[] = { |
| Victor Zverovich | 9de3121 | 2018-08-15 06:54:43 -0700 | [diff] [blame] | 300 | 0xfa8fd5a0081c0288, 0xbaaee17fa23ebf76, 0x8b16fb203055ac76, |
| 301 | 0xcf42894a5dce35ea, 0x9a6bb0aa55653b2d, 0xe61acf033d1a45df, |
| 302 | 0xab70fe17c79ac6ca, 0xff77b1fcbebcdc4f, 0xbe5691ef416bd60c, |
| 303 | 0x8dd01fad907ffc3c, 0xd3515c2831559a83, 0x9d71ac8fada6c9b5, |
| 304 | 0xea9c227723ee8bcb, 0xaecc49914078536d, 0x823c12795db6ce57, |
| 305 | 0xc21094364dfb5637, 0x9096ea6f3848984f, 0xd77485cb25823ac7, |
| 306 | 0xa086cfcd97bf97f4, 0xef340a98172aace5, 0xb23867fb2a35b28e, |
| 307 | 0x84c8d4dfd2c63f3b, 0xc5dd44271ad3cdba, 0x936b9fcebb25c996, |
| 308 | 0xdbac6c247d62a584, 0xa3ab66580d5fdaf6, 0xf3e2f893dec3f126, |
| 309 | 0xb5b5ada8aaff80b8, 0x87625f056c7c4a8b, 0xc9bcff6034c13053, |
| 310 | 0x964e858c91ba2655, 0xdff9772470297ebd, 0xa6dfbd9fb8e5b88f, |
| 311 | 0xf8a95fcf88747d94, 0xb94470938fa89bcf, 0x8a08f0f8bf0f156b, |
| 312 | 0xcdb02555653131b6, 0x993fe2c6d07b7fac, 0xe45c10c42a2b3b06, |
| 313 | 0xaa242499697392d3, 0xfd87b5f28300ca0e, 0xbce5086492111aeb, |
| 314 | 0x8cbccc096f5088cc, 0xd1b71758e219652c, 0x9c40000000000000, |
| 315 | 0xe8d4a51000000000, 0xad78ebc5ac620000, 0x813f3978f8940984, |
| 316 | 0xc097ce7bc90715b3, 0x8f7e32ce7bea5c70, 0xd5d238a4abe98068, |
| 317 | 0x9f4f2726179a2245, 0xed63a231d4c4fb27, 0xb0de65388cc8ada8, |
| 318 | 0x83c7088e1aab65db, 0xc45d1df942711d9a, 0x924d692ca61be758, |
| 319 | 0xda01ee641a708dea, 0xa26da3999aef774a, 0xf209787bb47d6b85, |
| 320 | 0xb454e4a179dd1877, 0x865b86925b9bc5c2, 0xc83553c5c8965d3d, |
| 321 | 0x952ab45cfa97a0b3, 0xde469fbd99a05fe3, 0xa59bc234db398c25, |
| 322 | 0xf6c69a72a3989f5c, 0xb7dcbf5354e9bece, 0x88fcf317f22241e2, |
| 323 | 0xcc20ce9bd35c78a5, 0x98165af37b2153df, 0xe2a0b5dc971f303a, |
| 324 | 0xa8d9d1535ce3b396, 0xfb9b7cd9a4a7443c, 0xbb764c4ca7a44410, |
| 325 | 0x8bab8eefb6409c1a, 0xd01fef10a657842c, 0x9b10a4e5e9913129, |
| 326 | 0xe7109bfba19c0c9d, 0xac2820d9623bf429, 0x80444b5e7aa7cf85, |
| 327 | 0xbf21e44003acdd2d, 0x8e679c2f5e44ff8f, 0xd433179d9c8cb841, |
| 328 | 0x9e19db92b4e31ba9, 0xeb96bf6ebadf77d9, 0xaf87023b9bf0ee6b, |
| Victor Zverovich | 2768af2 | 2018-04-29 06:33:05 -0700 | [diff] [blame] | 329 | }; |
| 330 | |
| 331 | // Binary exponents of pow(10, k), for k = -348, -340, ..., 340, corresponding |
| 332 | // to significands above. |
| 333 | template <typename T> |
| 334 | const int16_t basic_data<T>::POW10_EXPONENTS[] = { |
| 335 | -1220, -1193, -1166, -1140, -1113, -1087, -1060, -1034, -1007, -980, -954, |
| 336 | -927, -901, -874, -847, -821, -794, -768, -741, -715, -688, -661, |
| 337 | -635, -608, -582, -555, -529, -502, -475, -449, -422, -396, -369, |
| 338 | -343, -316, -289, -263, -236, -210, -183, -157, -130, -103, -77, |
| 339 | -50, -24, 3, 30, 56, 83, 109, 136, 162, 189, 216, |
| 340 | 242, 269, 295, 322, 348, 375, 402, 428, 455, 481, 508, |
| 341 | 534, 561, 588, 614, 641, 667, 694, 720, 747, 774, 800, |
| 342 | 827, 853, 880, 907, 933, 960, 986, 1013, 1039, 1066 |
| 343 | }; |
| 344 | |
| Daniela Engert | 73c53d7 | 2018-09-17 18:21:24 +0200 | [diff] [blame] | 345 | template <typename T> const char basic_data<T>::FOREGROUND_COLOR[] = "\x1b[38;2;"; |
| 346 | template <typename T> const char basic_data<T>::BACKGROUND_COLOR[] = "\x1b[48;2;"; |
| Dhruv Paranjape | ec218a3 | 2018-06-28 10:43:00 +0530 | [diff] [blame] | 347 | template <typename T> const char basic_data<T>::RESET_COLOR[] = "\x1b[0m"; |
| 348 | template <typename T> const wchar_t basic_data<T>::WRESET_COLOR[] = L"\x1b[0m"; |
| 349 | |
| Victor Zverovich | dd8c5ce | 2018-08-29 09:34:57 -0700 | [diff] [blame] | 350 | // A handmade floating-point number f * pow(2, e). |
| 351 | class fp { |
| 352 | private: |
| 353 | typedef uint64_t significand_type; |
| 354 | |
| 355 | // All sizes are in bits. |
| 356 | static FMT_CONSTEXPR_DECL const int char_size = |
| 357 | std::numeric_limits<unsigned char>::digits; |
| 358 | // Subtract 1 to account for an implicit most significant bit in the |
| 359 | // normalized form. |
| 360 | static FMT_CONSTEXPR_DECL const int double_significand_size = |
| 361 | std::numeric_limits<double>::digits - 1; |
| 362 | static FMT_CONSTEXPR_DECL const uint64_t implicit_bit = |
| 363 | 1ull << double_significand_size; |
| 364 | |
| 365 | public: |
| 366 | significand_type f; |
| 367 | int e; |
| 368 | |
| 369 | static FMT_CONSTEXPR_DECL const int significand_size = |
| 370 | sizeof(significand_type) * char_size; |
| 371 | |
| 372 | fp(): f(0), e(0) {} |
| 373 | fp(uint64_t f, int e): f(f), e(e) {} |
| 374 | |
| 375 | // Constructs fp from an IEEE754 double. It is a template to prevent compile |
| 376 | // errors on platforms where double is not IEEE754. |
| 377 | template <typename Double> |
| 378 | explicit fp(Double d) { |
| 379 | // Assume double is in the format [sign][exponent][significand]. |
| 380 | typedef std::numeric_limits<Double> limits; |
| medithe | 8cbfb6e | 2018-09-11 15:14:39 +0200 | [diff] [blame] | 381 | const int double_size = static_cast<int>(sizeof(Double) * char_size); |
| Victor Zverovich | dd8c5ce | 2018-08-29 09:34:57 -0700 | [diff] [blame] | 382 | const int exponent_size = |
| 383 | double_size - double_significand_size - 1; // -1 for sign |
| 384 | const uint64_t significand_mask = implicit_bit - 1; |
| 385 | const uint64_t exponent_mask = (~0ull >> 1) & ~significand_mask; |
| 386 | const int exponent_bias = (1 << exponent_size) - limits::max_exponent - 1; |
| 387 | auto u = bit_cast<uint64_t>(d); |
| 388 | auto biased_e = (u & exponent_mask) >> double_significand_size; |
| 389 | f = u & significand_mask; |
| 390 | if (biased_e != 0) |
| 391 | f += implicit_bit; |
| 392 | else |
| 393 | biased_e = 1; // Subnormals use biased exponent 1 (min exponent). |
| 394 | e = static_cast<int>(biased_e - exponent_bias - double_significand_size); |
| 395 | } |
| 396 | |
| 397 | // Normalizes the value converted from double and multiplied by (1 << SHIFT). |
| 398 | template <int SHIFT = 0> |
| 399 | void normalize() { |
| 400 | // Handle subnormals. |
| 401 | auto shifted_implicit_bit = implicit_bit << SHIFT; |
| 402 | while ((f & shifted_implicit_bit) == 0) { |
| 403 | f <<= 1; |
| 404 | --e; |
| 405 | } |
| 406 | // Subtract 1 to account for hidden bit. |
| 407 | auto offset = significand_size - double_significand_size - SHIFT - 1; |
| 408 | f <<= offset; |
| 409 | e -= offset; |
| 410 | } |
| 411 | |
| 412 | // Compute lower and upper boundaries (m^- and m^+ in the Grisu paper), where |
| 413 | // a boundary is a value half way between the number and its predecessor |
| 414 | // (lower) or successor (upper). The upper boundary is normalized and lower |
| 415 | // has the same exponent but may be not normalized. |
| 416 | void compute_boundaries(fp &lower, fp &upper) const { |
| 417 | lower = f == implicit_bit ? |
| 418 | fp((f << 2) - 1, e - 2) : fp((f << 1) - 1, e - 1); |
| 419 | upper = fp((f << 1) + 1, e - 1); |
| 420 | upper.normalize<1>(); // 1 is to account for the exponent shift above. |
| 421 | lower.f <<= lower.e - upper.e; |
| 422 | lower.e = upper.e; |
| 423 | } |
| 424 | }; |
| 425 | |
| 426 | // Returns an fp number representing x - y. Result may not be normalized. |
| 427 | inline fp operator-(fp x, fp y) { |
| 428 | FMT_ASSERT(x.f >= y.f && x.e == y.e, "invalid operands"); |
| 429 | return fp(x.f - y.f, x.e); |
| 430 | } |
| 431 | |
| 432 | // Computes an fp number r with r.f = x.f * y.f / pow(2, 64) rounded to nearest |
| 433 | // with half-up tie breaking, r.e = x.e + y.e + 64. Result may not be normalized. |
| 434 | FMT_API fp operator*(fp x, fp y); |
| 435 | |
| 436 | // Returns cached power (of 10) c_k = c_k.f * pow(2, c_k.e) such that its |
| 437 | // (binary) exponent satisfies min_exponent <= c_k.e <= min_exponent + 3. |
| 438 | FMT_API fp get_cached_power(int min_exponent, int &pow10_exponent); |
| 439 | |
| Victor Zverovich | cd90097 | 2018-04-21 17:26:24 -0700 | [diff] [blame] | 440 | FMT_FUNC fp operator*(fp x, fp y) { |
| 441 | // Multiply 32-bit parts of significands. |
| 442 | uint64_t mask = (1ULL << 32) - 1; |
| 443 | uint64_t a = x.f >> 32, b = x.f & mask; |
| 444 | uint64_t c = y.f >> 32, d = y.f & mask; |
| 445 | uint64_t ac = a * c, bc = b * c, ad = a * d, bd = b * d; |
| 446 | // Compute mid 64-bit of result and round. |
| 447 | uint64_t mid = (bd >> 32) + (ad & mask) + (bc & mask) + (1U << 31); |
| Daniela Engert | 6cd6661 | 2018-04-30 10:07:43 +0200 | [diff] [blame] | 448 | return fp(ac + (ad >> 32) + (bc >> 32) + (mid >> 32), x.e + y.e + 64); |
| Victor Zverovich | cd90097 | 2018-04-21 17:26:24 -0700 | [diff] [blame] | 449 | } |
| Victor Zverovich | 468c243 | 2018-05-27 10:57:26 -0700 | [diff] [blame] | 450 | |
| 451 | FMT_FUNC fp get_cached_power(int min_exponent, int &pow10_exponent) { |
| 452 | const double one_over_log2_10 = 0.30102999566398114; // 1 / log2(10) |
| 453 | int index = static_cast<int>(std::ceil( |
| Victor Zverovich | 4e4b857 | 2018-05-28 11:25:07 -0700 | [diff] [blame] | 454 | (min_exponent + fp::significand_size - 1) * one_over_log2_10)); |
| Victor Zverovich | 468c243 | 2018-05-27 10:57:26 -0700 | [diff] [blame] | 455 | // Decimal exponent of the first (smallest) cached power of 10. |
| 456 | const int first_dec_exp = -348; |
| Victor Zverovich | 9de3121 | 2018-08-15 06:54:43 -0700 | [diff] [blame] | 457 | // Difference between 2 consecutive decimal exponents in cached powers of 10. |
| Victor Zverovich | 468c243 | 2018-05-27 10:57:26 -0700 | [diff] [blame] | 458 | const int dec_exp_step = 8; |
| 459 | index = (index - first_dec_exp - 1) / dec_exp_step + 1; |
| 460 | pow10_exponent = first_dec_exp + index * dec_exp_step; |
| 461 | return fp(data::POW10_SIGNIFICANDS[index], data::POW10_EXPONENTS[index]); |
| 462 | } |
| Victor Zverovich | f0d0a1e | 2018-08-25 16:08:32 -0700 | [diff] [blame] | 463 | |
| Victor Zverovich | 50b18a3 | 2018-10-13 22:14:36 -0700 | [diff] [blame] | 464 | FMT_FUNC bool grisu2_round( |
| 465 | char *buffer, size_t &size, size_t max_digits, uint64_t delta, |
| 466 | uint64_t remainder, uint64_t exp, uint64_t diff, int &exp10) { |
| Victor Zverovich | 6992975 | 2018-10-13 07:44:34 -0700 | [diff] [blame] | 467 | while (remainder < diff && delta - remainder >= exp && |
| 468 | (remainder + exp < diff || diff - remainder > remainder + exp - diff)) { |
| 469 | --buffer[size - 1]; |
| 470 | remainder += exp; |
| 471 | } |
| Victor Zverovich | 50b18a3 | 2018-10-13 22:14:36 -0700 | [diff] [blame] | 472 | if (size > max_digits) { |
| 473 | --size; |
| 474 | ++exp10; |
| 475 | if (buffer[size] >= '5') |
| 476 | return false; |
| 477 | } |
| 478 | return true; |
| Victor Zverovich | 6992975 | 2018-10-13 07:44:34 -0700 | [diff] [blame] | 479 | } |
| 480 | |
| Victor Zverovich | f0d0a1e | 2018-08-25 16:08:32 -0700 | [diff] [blame] | 481 | // Generates output using Grisu2 digit-gen algorithm. |
| Victor Zverovich | 50b18a3 | 2018-10-13 22:14:36 -0700 | [diff] [blame] | 482 | FMT_FUNC bool grisu2_gen_digits( |
| 483 | char *buffer, size_t &size, uint32_t hi, uint64_t lo, int &exp, |
| 484 | uint64_t delta, const fp &one, const fp &diff, size_t max_digits) { |
| Victor Zverovich | 6992975 | 2018-10-13 07:44:34 -0700 | [diff] [blame] | 485 | // Generate digits for the most significant part (hi). |
| Victor Zverovich | 0de44a4 | 2018-08-26 08:12:35 -0700 | [diff] [blame] | 486 | while (exp > 0) { |
| Victor Zverovich | f0d0a1e | 2018-08-25 16:08:32 -0700 | [diff] [blame] | 487 | uint32_t digit = 0; |
| 488 | // This optimization by miloyip reduces the number of integer divisions by |
| 489 | // one per iteration. |
| Victor Zverovich | 0de44a4 | 2018-08-26 08:12:35 -0700 | [diff] [blame] | 490 | switch (exp) { |
| Victor Zverovich | f0d0a1e | 2018-08-25 16:08:32 -0700 | [diff] [blame] | 491 | case 10: digit = hi / 1000000000; hi %= 1000000000; break; |
| 492 | case 9: digit = hi / 100000000; hi %= 100000000; break; |
| 493 | case 8: digit = hi / 10000000; hi %= 10000000; break; |
| 494 | case 7: digit = hi / 1000000; hi %= 1000000; break; |
| 495 | case 6: digit = hi / 100000; hi %= 100000; break; |
| 496 | case 5: digit = hi / 10000; hi %= 10000; break; |
| 497 | case 4: digit = hi / 1000; hi %= 1000; break; |
| 498 | case 3: digit = hi / 100; hi %= 100; break; |
| 499 | case 2: digit = hi / 10; hi %= 10; break; |
| 500 | case 1: digit = hi; hi = 0; break; |
| 501 | default: |
| 502 | FMT_ASSERT(false, "invalid number of digits"); |
| 503 | } |
| 504 | if (digit != 0 || size != 0) |
| medithe | 95a7189 | 2018-08-29 15:38:56 +0200 | [diff] [blame] | 505 | buffer[size++] = static_cast<char>('0' + digit); |
| Victor Zverovich | 0de44a4 | 2018-08-26 08:12:35 -0700 | [diff] [blame] | 506 | --exp; |
| Victor Zverovich | f0d0a1e | 2018-08-25 16:08:32 -0700 | [diff] [blame] | 507 | uint64_t remainder = (static_cast<uint64_t>(hi) << -one.e) + lo; |
| Victor Zverovich | 50b18a3 | 2018-10-13 22:14:36 -0700 | [diff] [blame] | 508 | if (remainder <= delta || size > max_digits) { |
| 509 | return grisu2_round( |
| 510 | buffer, size, max_digits, delta, remainder, |
| 511 | static_cast<uint64_t>(data::POWERS_OF_10_32[exp]) << -one.e, |
| 512 | diff.f, exp); |
| Victor Zverovich | f0d0a1e | 2018-08-25 16:08:32 -0700 | [diff] [blame] | 513 | } |
| 514 | } |
| Victor Zverovich | 6992975 | 2018-10-13 07:44:34 -0700 | [diff] [blame] | 515 | // Generate digits for the least significant part (lo). |
| Victor Zverovich | f0d0a1e | 2018-08-25 16:08:32 -0700 | [diff] [blame] | 516 | for (;;) { |
| 517 | lo *= 10; |
| 518 | delta *= 10; |
| 519 | char digit = static_cast<char>(lo >> -one.e); |
| 520 | if (digit != 0 || size != 0) |
| medithe | 95a7189 | 2018-08-29 15:38:56 +0200 | [diff] [blame] | 521 | buffer[size++] = static_cast<char>('0' + digit); |
| Victor Zverovich | f0d0a1e | 2018-08-25 16:08:32 -0700 | [diff] [blame] | 522 | lo &= one.f - 1; |
| Victor Zverovich | 0de44a4 | 2018-08-26 08:12:35 -0700 | [diff] [blame] | 523 | --exp; |
| Victor Zverovich | 50b18a3 | 2018-10-13 22:14:36 -0700 | [diff] [blame] | 524 | if (lo < delta || size > max_digits) { |
| 525 | return grisu2_round(buffer, size, max_digits, delta, lo, one.f, |
| 526 | diff.f * data::POWERS_OF_10_32[-exp], exp); |
| Victor Zverovich | f0d0a1e | 2018-08-25 16:08:32 -0700 | [diff] [blame] | 527 | } |
| 528 | } |
| 529 | } |
| 530 | |
| Victor Zverovich | 6992975 | 2018-10-13 07:44:34 -0700 | [diff] [blame] | 531 | // Writes the exponent exp in the form "[+-]d{2,3}" to buffer. |
| Victor Zverovich | 1489d3b | 2018-08-29 10:07:29 -0700 | [diff] [blame] | 532 | FMT_FUNC char *write_exponent(char *buffer, int exp) { |
| 533 | FMT_ASSERT(-1000 < exp && exp < 1000, "exponent out of range"); |
| 534 | if (exp < 0) { |
| 535 | *buffer++ = '-'; |
| 536 | exp = -exp; |
| 537 | } else { |
| 538 | *buffer++ = '+'; |
| 539 | } |
| 540 | if (exp >= 100) { |
| 541 | *buffer++ = static_cast<char>('0' + exp / 100); |
| 542 | exp %= 100; |
| 543 | const char *d = data::DIGITS + exp * 2; |
| 544 | *buffer++ = d[0]; |
| 545 | *buffer++ = d[1]; |
| 546 | } else { |
| 547 | const char *d = data::DIGITS + exp * 2; |
| 548 | *buffer++ = d[0]; |
| 549 | *buffer++ = d[1]; |
| 550 | } |
| 551 | return buffer; |
| 552 | } |
| 553 | |
| Victor Zverovich | 1489d3b | 2018-08-29 10:07:29 -0700 | [diff] [blame] | 554 | #if FMT_CLANG_VERSION |
| 555 | # define FMT_FALLTHROUGH [[clang::fallthrough]]; |
| medithe | 981797f | 2018-09-07 17:53:15 +0200 | [diff] [blame] | 556 | #elif FMT_GCC_VERSION >= 700 |
| 557 | # define FMT_FALLTHROUGH [[gnu::fallthrough]]; |
| Victor Zverovich | 1489d3b | 2018-08-29 10:07:29 -0700 | [diff] [blame] | 558 | #else |
| 559 | # define FMT_FALLTHROUGH |
| 560 | #endif |
| Victor Zverovich | e483a01 | 2018-08-26 09:51:49 -0700 | [diff] [blame] | 561 | |
| Victor Zverovich | 50b18a3 | 2018-10-13 22:14:36 -0700 | [diff] [blame] | 562 | struct gen_digits_params { |
| 563 | unsigned min_digits; |
| 564 | unsigned max_digits; |
| 565 | bool fixed; |
| 566 | bool upper; |
| 567 | bool trailing_zeros; |
| 568 | |
| 569 | // Creates digit generation parameters from format specifiers for a number in |
| 570 | // the range [pow(10, exp - 1), pow(10, exp) or 0 if exp == 1. |
| 571 | gen_digits_params(const grisu2_specs &specs, int exp) |
| 572 | : min_digits(specs.precision >= 0 ? to_unsigned(specs.precision) : 6), |
| 573 | fixed(false), upper(false), trailing_zeros(false) { |
| 574 | switch (specs.type) { |
| 575 | case 'G': |
| 576 | upper = true; |
| 577 | FMT_FALLTHROUGH |
| 578 | case '\0': case 'g': |
| 579 | trailing_zeros = (specs.flags & HASH_FLAG) != 0; |
| 580 | if (-4 <= exp && exp < static_cast<int>(min_digits) + 1) { |
| 581 | fixed = true; |
| 582 | if (!specs.type && trailing_zeros && exp >= 0) |
| 583 | min_digits = to_unsigned(exp) + 1; |
| Victor Zverovich | 1489d3b | 2018-08-29 10:07:29 -0700 | [diff] [blame] | 584 | } |
| Victor Zverovich | 50b18a3 | 2018-10-13 22:14:36 -0700 | [diff] [blame] | 585 | break; |
| 586 | case 'F': |
| 587 | upper = true; |
| 588 | FMT_FALLTHROUGH |
| 589 | case 'f': { |
| 590 | fixed = true; |
| 591 | trailing_zeros = true; |
| 592 | int adjusted_min_digits = static_cast<int>(min_digits) + exp; |
| 593 | if (adjusted_min_digits > 0) |
| 594 | min_digits = to_unsigned(adjusted_min_digits); |
| 595 | break; |
| Victor Zverovich | dd8c5ce | 2018-08-29 09:34:57 -0700 | [diff] [blame] | 596 | } |
| Victor Zverovich | 50b18a3 | 2018-10-13 22:14:36 -0700 | [diff] [blame] | 597 | case 'E': |
| 598 | upper = true; |
| 599 | FMT_FALLTHROUGH |
| 600 | case 'e': |
| 601 | ++min_digits; |
| 602 | break; |
| Victor Zverovich | 1489d3b | 2018-08-29 10:07:29 -0700 | [diff] [blame] | 603 | } |
| Victor Zverovich | 50b18a3 | 2018-10-13 22:14:36 -0700 | [diff] [blame] | 604 | max_digits = min_digits; |
| Victor Zverovich | 1489d3b | 2018-08-29 10:07:29 -0700 | [diff] [blame] | 605 | } |
| Victor Zverovich | 50b18a3 | 2018-10-13 22:14:36 -0700 | [diff] [blame] | 606 | }; |
| 607 | |
| 608 | // The number is given as v = buffer * pow(10, exp). |
| 609 | FMT_FUNC void format_float(char *buffer, size_t &size, int exp, |
| 610 | const gen_digits_params ¶ms) { |
| 611 | if (!params.fixed) { |
| 612 | // Insert a decimal point after the first digit and add an exponent. |
| 613 | std::memmove(buffer + 2, buffer + 1, size - 1); |
| 614 | buffer[1] = '.'; |
| 615 | exp += static_cast<int>(size) - 1; |
| 616 | if (size < params.min_digits) { |
| 617 | std::uninitialized_fill_n(buffer + size + 1, |
| 618 | params.min_digits - size, '0'); |
| 619 | size = params.min_digits; |
| 620 | } |
| 621 | char *p = buffer + size + 1; |
| 622 | *p++ = params.upper ? 'E' : 'e'; |
| 623 | size = to_unsigned(write_exponent(p, exp) - buffer); |
| Victor Zverovich | 1489d3b | 2018-08-29 10:07:29 -0700 | [diff] [blame] | 624 | return; |
| 625 | } |
| Victor Zverovich | 50b18a3 | 2018-10-13 22:14:36 -0700 | [diff] [blame] | 626 | // pow(10, full_exp - 1) <= v <= pow(10, full_exp). |
| 627 | int int_size = static_cast<int>(size); |
| 628 | int full_exp = int_size + exp; |
| 629 | const int exp_threshold = 21; |
| 630 | if (int_size <= full_exp && full_exp <= exp_threshold) { |
| 631 | // 1234e7 -> 12340000000[.0+] |
| 632 | std::uninitialized_fill_n(buffer + int_size, full_exp - int_size, '0'); |
| 633 | char *p = buffer + full_exp; |
| 634 | int num_zeros = static_cast<int>(params.min_digits) - full_exp; |
| 635 | if (num_zeros > 0 && params.trailing_zeros) { |
| 636 | *p++ = '.'; |
| 637 | std::uninitialized_fill_n(p, num_zeros, '0'); |
| 638 | p += num_zeros; |
| 639 | } |
| 640 | size = to_unsigned(p - buffer); |
| 641 | } else if (full_exp > 0) { |
| 642 | // 1234e-2 -> 12.34[0+] |
| 643 | int fractional_size = -exp; |
| 644 | std::memmove(buffer + full_exp + 1, buffer + full_exp, |
| 645 | to_unsigned(fractional_size)); |
| 646 | buffer[full_exp] = '.'; |
| 647 | ++size; |
| 648 | if (!params.trailing_zeros) { |
| 649 | // Remove trailing zeros. |
| 650 | while (buffer[size - 1] == '0') --size; |
| 651 | } else if (params.min_digits >= size) { |
| 652 | // Add trailing zeros. |
| 653 | size_t num_zeros = params.min_digits - size + 1; |
| 654 | std::uninitialized_fill_n(buffer + size, num_zeros, '0'); |
| 655 | size += to_unsigned(num_zeros); |
| 656 | } |
| 657 | } else { |
| 658 | // 1234e-6 -> 0.001234 |
| 659 | int offset = 2 - full_exp; |
| 660 | std::memmove(buffer + offset, buffer, size); |
| 661 | buffer[0] = '0'; |
| 662 | buffer[1] = '.'; |
| 663 | std::uninitialized_fill_n(buffer + 2, -full_exp, '0'); |
| 664 | size = to_unsigned(int_size + offset); |
| 665 | } |
| 666 | } |
| 667 | |
| 668 | template <typename Double> |
| 669 | FMT_FUNC typename std::enable_if<sizeof(Double) == sizeof(uint64_t), bool>::type |
| 670 | grisu2_format(Double value, char *buffer, size_t &size, |
| 671 | grisu2_specs specs) { |
| 672 | FMT_ASSERT(value >= 0, "value is negative"); |
| 673 | if (value == 0) { |
| 674 | gen_digits_params params(specs, 1); |
| 675 | *buffer = '0'; |
| 676 | size = 1; |
| 677 | format_float(buffer, size, 0, params); |
| 678 | return true; |
| 679 | } |
| 680 | |
| 681 | fp fp_value(value); |
| 682 | fp lower, upper; // w^- and w^+ in the Grisu paper. |
| 683 | fp_value.compute_boundaries(lower, upper); |
| 684 | |
| 685 | // Find a cached power of 10 close to 1 / upper and use it to scale upper. |
| 686 | const int min_exp = -60; // alpha in Grisu. |
| 687 | int cached_exp = 0; // K in Grisu. |
| 688 | auto cached_pow = get_cached_power( // \tilde{c}_{-k} in Grisu. |
| 689 | min_exp - (upper.e + fp::significand_size), cached_exp); |
| 690 | cached_exp = -cached_exp; |
| 691 | upper = upper * cached_pow; // \tilde{M}^+ in Grisu. |
| 692 | --upper.f; // \tilde{M}^+ - 1 ulp -> M^+_{\downarrow}. |
| 693 | fp one(1ull << -upper.e, upper.e); |
| 694 | // hi (p1 in Grisu) contains the most significant digits of scaled_upper. |
| 695 | // hi = floor(upper / one). |
| 696 | uint32_t hi = static_cast<uint32_t>(upper.f >> -one.e); |
| 697 | int exp = static_cast<int>(count_digits(hi)); // kappa in Grisu. |
| 698 | gen_digits_params params(specs, cached_exp + exp); |
| 699 | fp_value.normalize(); |
| 700 | fp scaled_value = fp_value * cached_pow; |
| 701 | lower = lower * cached_pow; // \tilde{M}^- in Grisu. |
| 702 | ++lower.f; // \tilde{M}^- + 1 ulp -> M^-_{\uparrow}. |
| 703 | uint64_t delta = upper.f - lower.f; |
| 704 | fp diff = upper - scaled_value; // wp_w in Grisu. |
| 705 | // lo (p2 in Grisu) contains the least significants digits of scaled_upper. |
| 706 | // lo = supper % one. |
| 707 | uint64_t lo = upper.f & (one.f - 1); |
| 708 | size = 0; |
| 709 | if (!grisu2_gen_digits(buffer, size, hi, lo, exp, delta, one, diff, |
| 710 | params.max_digits)) { |
| 711 | return false; |
| 712 | } |
| 713 | format_float(buffer, size, cached_exp + exp, params); |
| 714 | return true; |
| Victor Zverovich | f0d0a1e | 2018-08-25 16:08:32 -0700 | [diff] [blame] | 715 | } |
| Victor Zverovich | cd90097 | 2018-04-21 17:26:24 -0700 | [diff] [blame] | 716 | } // namespace internal |
| 717 | |
| vitaut | 24c309f | 2015-06-12 07:15:57 -0700 | [diff] [blame] | 718 | #if FMT_USE_WINDOWS_H |
| Victor Zverovich | da9aeab | 2014-04-30 07:23:43 -0700 | [diff] [blame] | 719 | |
| Victor Zverovich | 6a2ff28 | 2017-02-19 06:46:51 -0800 | [diff] [blame] | 720 | FMT_FUNC internal::utf8_to_utf16::utf8_to_utf16(string_view s) { |
| Victor Zverovich | dff2137 | 2014-12-16 07:01:01 -0800 | [diff] [blame] | 721 | static const char ERROR_MSG[] = "cannot convert string from UTF-8 to UTF-16"; |
| vitaut | c3ba615 | 2015-08-07 07:34:58 -0700 | [diff] [blame] | 722 | if (s.size() > INT_MAX) |
| Victor Zverovich | c333dca | 2017-02-19 08:41:38 -0800 | [diff] [blame] | 723 | FMT_THROW(windows_error(ERROR_INVALID_PARAMETER, ERROR_MSG)); |
| vitaut | c3ba615 | 2015-08-07 07:34:58 -0700 | [diff] [blame] | 724 | int s_size = static_cast<int>(s.size()); |
| Vasili Galka | acb469a | 2018-03-12 14:43:29 +0200 | [diff] [blame] | 725 | if (s_size == 0) { |
| 726 | // MultiByteToWideChar does not support zero length, handle separately. |
| 727 | buffer_.resize(1); |
| 728 | buffer_[0] = 0; |
| 729 | return; |
| 730 | } |
| 731 | |
| vitaut | c3ba615 | 2015-08-07 07:34:58 -0700 | [diff] [blame] | 732 | int length = MultiByteToWideChar( |
| Victor Zverovich | d8c25a1 | 2018-01-20 18:37:57 -0800 | [diff] [blame] | 733 | CP_UTF8, MB_ERR_INVALID_CHARS, s.data(), s_size, FMT_NULL, 0); |
| Victor Zverovich | da9aeab | 2014-04-30 07:23:43 -0700 | [diff] [blame] | 734 | if (length == 0) |
| Victor Zverovich | c333dca | 2017-02-19 08:41:38 -0800 | [diff] [blame] | 735 | FMT_THROW(windows_error(GetLastError(), ERROR_MSG)); |
| vitaut | 7154238 | 2015-06-27 09:11:15 -0700 | [diff] [blame] | 736 | buffer_.resize(length + 1); |
| Victor Zverovich | da9aeab | 2014-04-30 07:23:43 -0700 | [diff] [blame] | 737 | length = MultiByteToWideChar( |
| vitaut | c3ba615 | 2015-08-07 07:34:58 -0700 | [diff] [blame] | 738 | CP_UTF8, MB_ERR_INVALID_CHARS, s.data(), s_size, &buffer_[0], length); |
| Victor Zverovich | da9aeab | 2014-04-30 07:23:43 -0700 | [diff] [blame] | 739 | if (length == 0) |
| Victor Zverovich | c333dca | 2017-02-19 08:41:38 -0800 | [diff] [blame] | 740 | FMT_THROW(windows_error(GetLastError(), ERROR_MSG)); |
| vitaut | 7154238 | 2015-06-27 09:11:15 -0700 | [diff] [blame] | 741 | buffer_[length] = 0; |
| Victor Zverovich | da9aeab | 2014-04-30 07:23:43 -0700 | [diff] [blame] | 742 | } |
| 743 | |
| Victor Zverovich | c333dca | 2017-02-19 08:41:38 -0800 | [diff] [blame] | 744 | FMT_FUNC internal::utf16_to_utf8::utf16_to_utf8(wstring_view s) { |
| Victor Zverovich | 5d4803a | 2014-07-27 12:53:42 -0700 | [diff] [blame] | 745 | if (int error_code = convert(s)) { |
| Victor Zverovich | c333dca | 2017-02-19 08:41:38 -0800 | [diff] [blame] | 746 | FMT_THROW(windows_error(error_code, |
| Victor Zverovich | 8b76e97 | 2014-10-06 08:30:55 -0700 | [diff] [blame] | 747 | "cannot convert string from UTF-16 to UTF-8")); |
| Victor Zverovich | da9aeab | 2014-04-30 07:23:43 -0700 | [diff] [blame] | 748 | } |
| 749 | } |
| 750 | |
| Victor Zverovich | c333dca | 2017-02-19 08:41:38 -0800 | [diff] [blame] | 751 | FMT_FUNC int internal::utf16_to_utf8::convert(wstring_view s) { |
| vitaut | ca74781 | 2015-08-07 07:08:46 -0700 | [diff] [blame] | 752 | if (s.size() > INT_MAX) |
| 753 | return ERROR_INVALID_PARAMETER; |
| 754 | int s_size = static_cast<int>(s.size()); |
| Vasili Galka | acb469a | 2018-03-12 14:43:29 +0200 | [diff] [blame] | 755 | if (s_size == 0) { |
| 756 | // WideCharToMultiByte does not support zero length, handle separately. |
| 757 | buffer_.resize(1); |
| 758 | buffer_[0] = 0; |
| 759 | return 0; |
| 760 | } |
| 761 | |
| Victor Zverovich | d8c25a1 | 2018-01-20 18:37:57 -0800 | [diff] [blame] | 762 | int length = WideCharToMultiByte( |
| 763 | CP_UTF8, 0, s.data(), s_size, FMT_NULL, 0, FMT_NULL, FMT_NULL); |
| Victor Zverovich | da9aeab | 2014-04-30 07:23:43 -0700 | [diff] [blame] | 764 | if (length == 0) |
| 765 | return GetLastError(); |
| vitaut | 7154238 | 2015-06-27 09:11:15 -0700 | [diff] [blame] | 766 | buffer_.resize(length + 1); |
| Victor Zverovich | da9aeab | 2014-04-30 07:23:43 -0700 | [diff] [blame] | 767 | length = WideCharToMultiByte( |
| Victor Zverovich | d8c25a1 | 2018-01-20 18:37:57 -0800 | [diff] [blame] | 768 | CP_UTF8, 0, s.data(), s_size, &buffer_[0], length, FMT_NULL, FMT_NULL); |
| Victor Zverovich | da9aeab | 2014-04-30 07:23:43 -0700 | [diff] [blame] | 769 | if (length == 0) |
| 770 | return GetLastError(); |
| vitaut | 7154238 | 2015-06-27 09:11:15 -0700 | [diff] [blame] | 771 | buffer_[length] = 0; |
| Victor Zverovich | da9aeab | 2014-04-30 07:23:43 -0700 | [diff] [blame] | 772 | return 0; |
| 773 | } |
| 774 | |
| Victor Zverovich | c333dca | 2017-02-19 08:41:38 -0800 | [diff] [blame] | 775 | FMT_FUNC void windows_error::init( |
| Victor Zverovich | 7f351de | 2017-12-03 09:18:06 -0800 | [diff] [blame] | 776 | int err_code, string_view format_str, format_args args) { |
| Carter Li | 3f574c1 | 2015-02-17 10:11:42 +0800 | [diff] [blame] | 777 | error_code_ = err_code; |
| Victor Zverovich | 6a2ff28 | 2017-02-19 06:46:51 -0800 | [diff] [blame] | 778 | memory_buffer buffer; |
| Victor Zverovich | e022c21 | 2017-02-17 06:38:53 -0800 | [diff] [blame] | 779 | internal::format_windows_error(buffer, err_code, vformat(format_str, args)); |
| Victor Zverovich | 5320103 | 2014-06-30 14:26:29 -0700 | [diff] [blame] | 780 | std::runtime_error &base = *this; |
| Victor Zverovich | e022c21 | 2017-02-17 06:38:53 -0800 | [diff] [blame] | 781 | base = std::runtime_error(to_string(buffer)); |
| Victor Zverovich | 5320103 | 2014-06-30 14:26:29 -0700 | [diff] [blame] | 782 | } |
| 783 | |
| Victor Zverovich | 0d5ef5c | 2016-07-12 06:59:35 -0700 | [diff] [blame] | 784 | FMT_FUNC void internal::format_windows_error( |
| Victor Zverovich | f6fd38b | 2018-01-15 08:22:31 -0800 | [diff] [blame] | 785 | internal::buffer &out, int error_code, string_view message) FMT_NOEXCEPT { |
| Victor Zverovich | 8b76e97 | 2014-10-06 08:30:55 -0700 | [diff] [blame] | 786 | FMT_TRY { |
| Victor Zverovich | c095445 | 2018-01-06 09:09:50 -0800 | [diff] [blame] | 787 | wmemory_buffer buf; |
| Victor Zverovich | f1ede63 | 2018-03-04 10:33:42 -0800 | [diff] [blame] | 788 | buf.resize(inline_buffer_size); |
| Michael Winterberg | 2a05a87 | 2016-03-02 17:35:34 -0800 | [diff] [blame] | 789 | for (;;) { |
| Victor Zverovich | c095445 | 2018-01-06 09:09:50 -0800 | [diff] [blame] | 790 | wchar_t *system_message = &buf[0]; |
| Victor Zverovich | f85d5f4 | 2016-10-22 08:04:20 -0700 | [diff] [blame] | 791 | int result = FormatMessageW( |
| 792 | FORMAT_MESSAGE_FROM_SYSTEM | FORMAT_MESSAGE_IGNORE_INSERTS, |
| Victor Zverovich | d8c25a1 | 2018-01-20 18:37:57 -0800 | [diff] [blame] | 793 | FMT_NULL, error_code, MAKELANGID(LANG_NEUTRAL, SUBLANG_DEFAULT), |
| 794 | system_message, static_cast<uint32_t>(buf.size()), FMT_NULL); |
| Michael Winterberg | 2a05a87 | 2016-03-02 17:35:34 -0800 | [diff] [blame] | 795 | if (result != 0) { |
| Victor Zverovich | c333dca | 2017-02-19 08:41:38 -0800 | [diff] [blame] | 796 | utf16_to_utf8 utf8_message; |
| Michael Winterberg | 2a05a87 | 2016-03-02 17:35:34 -0800 | [diff] [blame] | 797 | if (utf8_message.convert(system_message) == ERROR_SUCCESS) { |
| Victor Zverovich | 217e7c7 | 2018-01-14 07:19:23 -0800 | [diff] [blame] | 798 | writer w(out); |
| Victor Zverovich | e022c21 | 2017-02-17 06:38:53 -0800 | [diff] [blame] | 799 | w.write(message); |
| 800 | w.write(": "); |
| 801 | w.write(utf8_message); |
| Michael Winterberg | 2a05a87 | 2016-03-02 17:35:34 -0800 | [diff] [blame] | 802 | return; |
| 803 | } |
| 804 | break; |
| Victor Zverovich | 22f75d8 | 2014-09-03 08:03:05 -0700 | [diff] [blame] | 805 | } |
| Michael Winterberg | 2a05a87 | 2016-03-02 17:35:34 -0800 | [diff] [blame] | 806 | if (GetLastError() != ERROR_INSUFFICIENT_BUFFER) |
| 807 | break; // Can't get error message, report error code instead. |
| Victor Zverovich | c095445 | 2018-01-06 09:09:50 -0800 | [diff] [blame] | 808 | buf.resize(buf.size() * 2); |
| Victor Zverovich | 53b4c31 | 2014-04-30 15:00:41 -0700 | [diff] [blame] | 809 | } |
| Victor Zverovich | 8b76e97 | 2014-10-06 08:30:55 -0700 | [diff] [blame] | 810 | } FMT_CATCH(...) {} |
| Victor Zverovich | c095445 | 2018-01-06 09:09:50 -0800 | [diff] [blame] | 811 | format_error_code(out, error_code, message); |
| Victor Zverovich | 53b4c31 | 2014-04-30 15:00:41 -0700 | [diff] [blame] | 812 | } |
| vitaut | 24c309f | 2015-06-12 07:15:57 -0700 | [diff] [blame] | 813 | |
| 814 | #endif // FMT_USE_WINDOWS_H |
| 815 | |
| Victor Zverovich | 0d5ef5c | 2016-07-12 06:59:35 -0700 | [diff] [blame] | 816 | FMT_FUNC void format_system_error( |
| Victor Zverovich | c2fecb9 | 2018-01-14 14:15:59 -0800 | [diff] [blame] | 817 | internal::buffer &out, int error_code, string_view message) FMT_NOEXCEPT { |
| vitaut | 24c309f | 2015-06-12 07:15:57 -0700 | [diff] [blame] | 818 | FMT_TRY { |
| Victor Zverovich | 3663414 | 2017-12-26 09:00:22 -0800 | [diff] [blame] | 819 | memory_buffer buf; |
| Victor Zverovich | f1ede63 | 2018-03-04 10:33:42 -0800 | [diff] [blame] | 820 | buf.resize(inline_buffer_size); |
| vitaut | 24c309f | 2015-06-12 07:15:57 -0700 | [diff] [blame] | 821 | for (;;) { |
| Victor Zverovich | 3663414 | 2017-12-26 09:00:22 -0800 | [diff] [blame] | 822 | char *system_message = &buf[0]; |
| 823 | int result = safe_strerror(error_code, system_message, buf.size()); |
| vitaut | 24c309f | 2015-06-12 07:15:57 -0700 | [diff] [blame] | 824 | if (result == 0) { |
| Victor Zverovich | 217e7c7 | 2018-01-14 07:19:23 -0800 | [diff] [blame] | 825 | writer w(out); |
| Victor Zverovich | fefaf07 | 2017-02-14 16:29:47 -0500 | [diff] [blame] | 826 | w.write(message); |
| 827 | w.write(": "); |
| 828 | w.write(system_message); |
| vitaut | 24c309f | 2015-06-12 07:15:57 -0700 | [diff] [blame] | 829 | return; |
| 830 | } |
| 831 | if (result != ERANGE) |
| 832 | break; // Can't get error message, report error code instead. |
| Victor Zverovich | 3663414 | 2017-12-26 09:00:22 -0800 | [diff] [blame] | 833 | buf.resize(buf.size() * 2); |
| vitaut | 24c309f | 2015-06-12 07:15:57 -0700 | [diff] [blame] | 834 | } |
| 835 | } FMT_CATCH(...) {} |
| Victor Zverovich | f164e4c | 2018-02-01 16:49:47 -0800 | [diff] [blame] | 836 | format_error_code(out, error_code, message); |
| vitaut | 24c309f | 2015-06-12 07:15:57 -0700 | [diff] [blame] | 837 | } |
| Victor Zverovich | 53b4c31 | 2014-04-30 15:00:41 -0700 | [diff] [blame] | 838 | |
| Abdó Roig-Maranges | af0f21d | 2017-12-09 16:50:53 +0100 | [diff] [blame] | 839 | FMT_FUNC void internal::error_handler::on_error(const char *message) { |
| Victor Zverovich | 94edb1a | 2017-12-06 07:42:42 -0800 | [diff] [blame] | 840 | FMT_THROW(format_error(message)); |
| 841 | } |
| 842 | |
| Victor Zverovich | 0d5ef5c | 2016-07-12 06:59:35 -0700 | [diff] [blame] | 843 | FMT_FUNC void report_system_error( |
| Victor Zverovich | 50e7167 | 2017-02-18 06:52:52 -0800 | [diff] [blame] | 844 | int error_code, fmt::string_view message) FMT_NOEXCEPT { |
| Victor Zverovich | 0d5ef5c | 2016-07-12 06:59:35 -0700 | [diff] [blame] | 845 | report_error(format_system_error, error_code, message); |
| Victor Zverovich | 1a2d7be | 2014-05-03 09:48:54 -0700 | [diff] [blame] | 846 | } |
| 847 | |
| vitaut | 24c309f | 2015-06-12 07:15:57 -0700 | [diff] [blame] | 848 | #if FMT_USE_WINDOWS_H |
| Victor Zverovich | 0d5ef5c | 2016-07-12 06:59:35 -0700 | [diff] [blame] | 849 | FMT_FUNC void report_windows_error( |
| Victor Zverovich | 50e7167 | 2017-02-18 06:52:52 -0800 | [diff] [blame] | 850 | int error_code, fmt::string_view message) FMT_NOEXCEPT { |
| Victor Zverovich | 0d5ef5c | 2016-07-12 06:59:35 -0700 | [diff] [blame] | 851 | report_error(internal::format_windows_error, error_code, message); |
| Victor Zverovich | 1a2d7be | 2014-05-03 09:48:54 -0700 | [diff] [blame] | 852 | } |
| Victor Zverovich | 400812a | 2014-04-30 12:38:17 -0700 | [diff] [blame] | 853 | #endif |
| Victor Zverovich | f793986 | 2014-04-30 10:18:11 -0700 | [diff] [blame] | 854 | |
| Victor Zverovich | 81bd9e8 | 2017-12-03 07:32:04 -0800 | [diff] [blame] | 855 | FMT_FUNC void vprint(std::FILE *f, string_view format_str, format_args args) { |
| Victor Zverovich | eedfd07 | 2017-02-18 09:13:12 -0800 | [diff] [blame] | 856 | memory_buffer buffer; |
| Victor Zverovich | 3832524 | 2018-10-03 18:22:26 -0700 | [diff] [blame] | 857 | vformat_to(buffer, format_str, |
| 858 | basic_format_args<buffer_context<char>::type>(args)); |
| Victor Zverovich | fefaf07 | 2017-02-14 16:29:47 -0500 | [diff] [blame] | 859 | std::fwrite(buffer.data(), 1, buffer.size(), f); |
| Victor Zverovich | d5b8196 | 2014-06-28 21:56:40 -0700 | [diff] [blame] | 860 | } |
| 861 | |
| Daniela Engert | 2570f1a | 2018-04-26 20:32:14 +0200 | [diff] [blame] | 862 | FMT_FUNC void vprint(std::FILE *f, wstring_view format_str, wformat_args args) { |
| 863 | wmemory_buffer buffer; |
| 864 | vformat_to(buffer, format_str, args); |
| 865 | std::fwrite(buffer.data(), sizeof(wchar_t), buffer.size(), f); |
| 866 | } |
| 867 | |
| Victor Zverovich | 81bd9e8 | 2017-12-03 07:32:04 -0800 | [diff] [blame] | 868 | FMT_FUNC void vprint(string_view format_str, format_args args) { |
| Victor Zverovich | 0028ce5 | 2016-08-26 17:23:13 -0700 | [diff] [blame] | 869 | vprint(stdout, format_str, args); |
| Victor Zverovich | 163178e | 2014-09-25 07:08:25 -0700 | [diff] [blame] | 870 | } |
| 871 | |
| Daniela Engert | 2570f1a | 2018-04-26 20:32:14 +0200 | [diff] [blame] | 872 | FMT_FUNC void vprint(wstring_view format_str, wformat_args args) { |
| 873 | vprint(stdout, format_str, args); |
| 874 | } |
| 875 | |
| Thomas Bernard | abde38b | 2018-08-17 11:22:56 +0200 | [diff] [blame] | 876 | #if !defined(FMT_STATIC_THOUSANDS_SEPARATOR) |
| Victor Zverovich | d165d9c | 2017-12-26 17:22:07 -0800 | [diff] [blame] | 877 | FMT_FUNC locale locale_provider::locale() { return fmt::locale(); } |
| Thomas Bernard | abde38b | 2018-08-17 11:22:56 +0200 | [diff] [blame] | 878 | #endif |
| Victor Zverovich | d165d9c | 2017-12-26 17:22:07 -0800 | [diff] [blame] | 879 | |
| Victor Zverovich | 838400d | 2018-05-12 08:33:51 -0700 | [diff] [blame] | 880 | FMT_END_NAMESPACE |
| Victor Zverovich | 0d5ef5c | 2016-07-12 06:59:35 -0700 | [diff] [blame] | 881 | |
| Ingo van Lil | b4b13ee | 2015-11-02 12:34:46 +0100 | [diff] [blame] | 882 | #ifdef _MSC_VER |
| jdale88 | a9862fd | 2014-03-11 18:56:24 +0000 | [diff] [blame] | 883 | # pragma warning(pop) |
| 884 | #endif |
| Victor Zverovich | 3da71d5 | 2018-03-21 07:50:59 -0700 | [diff] [blame] | 885 | |
| 886 | #endif // FMT_FORMAT_INL_H_ |