2012-12-07 16:31:09 +00:00
|
|
|
/*
|
2012-12-12 15:44:41 +00:00
|
|
|
String formatting library for C++
|
|
|
|
|
|
|
|
Copyright (c) 2012, Victor Zverovich
|
|
|
|
All rights reserved.
|
|
|
|
|
|
|
|
Redistribution and use in source and binary forms, with or without
|
|
|
|
modification, are permitted provided that the following conditions are met:
|
|
|
|
|
|
|
|
1. Redistributions of source code must retain the above copyright notice, this
|
|
|
|
list of conditions and the following disclaimer.
|
|
|
|
2. Redistributions in binary form must reproduce the above copyright notice,
|
|
|
|
this list of conditions and the following disclaimer in the documentation
|
|
|
|
and/or other materials provided with the distribution.
|
|
|
|
|
|
|
|
THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND
|
|
|
|
ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
|
|
|
|
WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
|
|
|
|
DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR
|
|
|
|
ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
|
|
|
|
(INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
|
|
|
|
LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND
|
|
|
|
ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
|
|
|
|
(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
|
|
|
|
SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
2012-12-07 16:31:09 +00:00
|
|
|
*/
|
|
|
|
|
2012-12-16 23:06:31 +00:00
|
|
|
// Disable useless MSVC warnings.
|
2012-12-17 23:41:00 +00:00
|
|
|
#undef _CRT_SECURE_NO_WARNINGS
|
2012-12-16 23:06:31 +00:00
|
|
|
#define _CRT_SECURE_NO_WARNINGS
|
2012-12-21 23:02:25 +00:00
|
|
|
#undef _SCL_SECURE_NO_WARNINGS
|
|
|
|
#define _SCL_SECURE_NO_WARNINGS
|
2012-12-16 23:06:31 +00:00
|
|
|
|
2012-12-07 16:31:09 +00:00
|
|
|
#include "format.h"
|
|
|
|
|
2012-12-28 16:27:54 +00:00
|
|
|
#include <math.h>
|
2012-12-10 19:08:16 +00:00
|
|
|
#include <stdint.h>
|
|
|
|
|
2012-12-07 16:31:09 +00:00
|
|
|
#include <cassert>
|
2012-12-12 17:17:28 +00:00
|
|
|
#include <cctype>
|
2012-12-08 16:17:12 +00:00
|
|
|
#include <climits>
|
2012-12-07 16:31:09 +00:00
|
|
|
#include <cstring>
|
|
|
|
#include <algorithm>
|
|
|
|
|
|
|
|
using std::size_t;
|
2012-12-26 01:55:41 +00:00
|
|
|
using fmt::BasicFormatter;
|
2012-12-12 23:21:11 +00:00
|
|
|
using fmt::Formatter;
|
2012-12-21 17:14:18 +00:00
|
|
|
using fmt::FormatSpec;
|
2012-12-25 21:30:42 +00:00
|
|
|
using fmt::StringRef;
|
2012-12-07 16:31:09 +00:00
|
|
|
|
2012-12-12 17:29:50 +00:00
|
|
|
#if _MSC_VER
|
2012-12-17 23:41:00 +00:00
|
|
|
# undef snprintf
|
2012-12-12 17:29:50 +00:00
|
|
|
# define snprintf _snprintf
|
|
|
|
#endif
|
|
|
|
|
2012-12-09 02:45:35 +00:00
|
|
|
namespace {
|
|
|
|
|
2012-12-10 19:08:16 +00:00
|
|
|
// Flags.
|
2012-12-26 02:19:51 +00:00
|
|
|
enum { SIGN_FLAG = 1, PLUS_FLAG = 2, HASH_FLAG = 4 };
|
2012-12-21 17:12:04 +00:00
|
|
|
|
2012-12-10 21:30:06 +00:00
|
|
|
void ReportUnknownType(char code, const char *type) {
|
2012-12-16 23:56:44 +00:00
|
|
|
if (std::isprint(static_cast<unsigned char>(code))) {
|
2012-12-10 21:30:06 +00:00
|
|
|
throw fmt::FormatError(
|
|
|
|
str(fmt::Format("unknown format code '{0}' for {1}") << code << type));
|
|
|
|
}
|
|
|
|
throw fmt::FormatError(
|
|
|
|
str(fmt::Format("unknown format code '\\x{0:02x}' for {1}")
|
|
|
|
<< static_cast<unsigned>(code) << type));
|
|
|
|
}
|
|
|
|
|
2012-12-12 05:47:05 +00:00
|
|
|
// Information about an integer type.
|
2012-12-10 19:08:16 +00:00
|
|
|
template <typename T>
|
2012-12-12 05:47:05 +00:00
|
|
|
struct IntTraits {
|
|
|
|
typedef T UnsignedType;
|
|
|
|
static bool IsNegative(T) { return false; }
|
2012-12-10 19:08:16 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
template <>
|
2012-12-12 05:47:05 +00:00
|
|
|
struct IntTraits<int> {
|
|
|
|
typedef unsigned UnsignedType;
|
|
|
|
static bool IsNegative(int value) { return value < 0; }
|
2012-12-10 19:08:16 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
template <>
|
2012-12-12 05:47:05 +00:00
|
|
|
struct IntTraits<long> {
|
|
|
|
typedef unsigned long UnsignedType;
|
|
|
|
static bool IsNegative(long value) { return value < 0; }
|
2012-12-10 19:08:16 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
template <typename T>
|
|
|
|
struct IsLongDouble { enum {VALUE = 0}; };
|
|
|
|
|
|
|
|
template <>
|
|
|
|
struct IsLongDouble<long double> { enum {VALUE = 1}; };
|
2012-12-24 16:34:44 +00:00
|
|
|
|
2012-12-25 02:19:33 +00:00
|
|
|
inline unsigned CountDigits(uint64_t n) {
|
2012-12-24 16:34:44 +00:00
|
|
|
unsigned count = 1;
|
|
|
|
for (;;) {
|
|
|
|
// Integer division is slow so do it for a group of four digits instead
|
|
|
|
// of for every digit. The idea comes from the talk by Alexandrescu
|
|
|
|
// "Three Optimization Tips for C++". See speed-test for a comparison.
|
|
|
|
if (n < 10) return count;
|
|
|
|
if (n < 100) return count + 1;
|
|
|
|
if (n < 1000) return count + 2;
|
|
|
|
if (n < 10000) return count + 3;
|
|
|
|
n /= 10000u;
|
|
|
|
count += 4;
|
|
|
|
}
|
|
|
|
}
|
2012-12-25 17:00:11 +00:00
|
|
|
|
|
|
|
const char DIGITS[] =
|
|
|
|
"0001020304050607080910111213141516171819"
|
|
|
|
"2021222324252627282930313233343536373839"
|
|
|
|
"4041424344454647484950515253545556575859"
|
|
|
|
"6061626364656667686970717273747576777879"
|
|
|
|
"8081828384858687888990919293949596979899";
|
|
|
|
|
|
|
|
void FormatDecimal(char *buffer, uint64_t value, unsigned num_digits) {
|
|
|
|
--num_digits;
|
|
|
|
while (value >= 100) {
|
|
|
|
// Integer division is slow so do it for a group of two digits instead
|
|
|
|
// of for every digit. The idea comes from the talk by Alexandrescu
|
|
|
|
// "Three Optimization Tips for C++". See speed-test for a comparison.
|
|
|
|
unsigned index = (value % 100) * 2;
|
|
|
|
value /= 100;
|
|
|
|
buffer[num_digits] = DIGITS[index + 1];
|
|
|
|
buffer[num_digits - 1] = DIGITS[index];
|
|
|
|
num_digits -= 2;
|
|
|
|
}
|
|
|
|
if (value < 10) {
|
|
|
|
*buffer = static_cast<char>('0' + value);
|
|
|
|
return;
|
|
|
|
}
|
2012-12-25 21:45:12 +00:00
|
|
|
unsigned index = static_cast<unsigned>(value * 2);
|
2012-12-25 17:00:11 +00:00
|
|
|
buffer[1] = DIGITS[index + 1];
|
|
|
|
buffer[0] = DIGITS[index];
|
|
|
|
}
|
2012-12-10 19:08:16 +00:00
|
|
|
}
|
|
|
|
|
2012-12-26 01:55:41 +00:00
|
|
|
void BasicFormatter::operator<<(int value) {
|
|
|
|
unsigned abs_value = value;
|
|
|
|
unsigned num_digits = 0;
|
|
|
|
char *out = 0;
|
|
|
|
if (value >= 0) {
|
|
|
|
num_digits = CountDigits(abs_value);
|
|
|
|
out = GrowBuffer(num_digits);
|
|
|
|
} else {
|
|
|
|
abs_value = 0 - abs_value;
|
|
|
|
num_digits = CountDigits(abs_value);
|
|
|
|
out = GrowBuffer(num_digits + 1);
|
|
|
|
*out++ = '-';
|
|
|
|
}
|
|
|
|
FormatDecimal(out, abs_value, num_digits);
|
|
|
|
}
|
|
|
|
|
2012-12-12 23:21:11 +00:00
|
|
|
// Throws Exception(message) if format contains '}', otherwise throws
|
|
|
|
// FormatError reporting unmatched '{'. The idea is that unmatched '{'
|
|
|
|
// should override other errors.
|
2012-12-25 21:25:14 +00:00
|
|
|
void Formatter::ReportError(const char *s, StringRef message) const {
|
2012-12-12 23:21:11 +00:00
|
|
|
for (int num_open_braces = num_open_braces_; *s; ++s) {
|
|
|
|
if (*s == '{') {
|
|
|
|
++num_open_braces;
|
|
|
|
} else if (*s == '}') {
|
|
|
|
if (--num_open_braces == 0)
|
|
|
|
throw fmt::FormatError(message);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
throw fmt::FormatError("unmatched '{' in format");
|
|
|
|
}
|
|
|
|
|
2012-12-25 03:37:50 +00:00
|
|
|
// Fills the padding around the content and returns the pointer to the
|
|
|
|
// content area.
|
|
|
|
char *FillPadding(char *buffer,
|
2012-12-26 01:55:41 +00:00
|
|
|
unsigned total_size, std::size_t content_size, char fill) {
|
2012-12-27 14:56:55 +00:00
|
|
|
std::size_t padding = total_size - content_size;
|
|
|
|
std::size_t left_padding = padding / 2;
|
2012-12-25 03:37:50 +00:00
|
|
|
std::fill_n(buffer, left_padding, fill);
|
|
|
|
buffer += left_padding;
|
|
|
|
char *content = buffer;
|
|
|
|
std::fill_n(buffer + content_size, padding - left_padding, fill);
|
|
|
|
return content;
|
|
|
|
}
|
|
|
|
|
2012-12-22 22:05:56 +00:00
|
|
|
char *Formatter::PrepareFilledBuffer(
|
2012-12-24 16:34:44 +00:00
|
|
|
unsigned size, const FormatSpec &spec, char sign) {
|
2012-12-22 22:05:56 +00:00
|
|
|
if (spec.width <= size) {
|
|
|
|
char *p = GrowBuffer(size);
|
|
|
|
*p = sign;
|
|
|
|
return p + size - 1;
|
|
|
|
}
|
|
|
|
char *p = GrowBuffer(spec.width);
|
|
|
|
char *end = p + spec.width;
|
2012-12-25 03:37:50 +00:00
|
|
|
if (spec.align == ALIGN_LEFT) {
|
|
|
|
*p = sign;
|
|
|
|
p += size;
|
|
|
|
std::fill(p, end, spec.fill);
|
|
|
|
} else if (spec.align == ALIGN_CENTER) {
|
|
|
|
p = FillPadding(p, spec.width, size, spec.fill);
|
|
|
|
*p = sign;
|
|
|
|
p += size;
|
|
|
|
} else {
|
2012-12-23 01:53:13 +00:00
|
|
|
if (spec.align == ALIGN_NUMERIC) {
|
|
|
|
if (sign) {
|
|
|
|
*p++ = sign;
|
|
|
|
--size;
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
*(end - size) = sign;
|
|
|
|
}
|
2012-12-22 22:05:56 +00:00
|
|
|
std::fill(p, end - size, spec.fill);
|
|
|
|
p = end;
|
|
|
|
}
|
|
|
|
return p - 1;
|
|
|
|
}
|
|
|
|
|
2012-12-10 19:08:16 +00:00
|
|
|
template <typename T>
|
2012-12-24 16:34:44 +00:00
|
|
|
void Formatter::FormatInt(T value, const FormatSpec &spec) {
|
2012-12-21 04:10:55 +00:00
|
|
|
unsigned size = 0;
|
2012-12-10 19:08:16 +00:00
|
|
|
char sign = 0;
|
2012-12-12 05:47:05 +00:00
|
|
|
typedef typename IntTraits<T>::UnsignedType UnsignedType;
|
2012-12-10 19:08:16 +00:00
|
|
|
UnsignedType abs_value = value;
|
2012-12-12 05:47:05 +00:00
|
|
|
if (IntTraits<T>::IsNegative(value)) {
|
2012-12-10 19:08:16 +00:00
|
|
|
sign = '-';
|
|
|
|
++size;
|
2012-12-21 23:43:10 +00:00
|
|
|
abs_value = 0 - abs_value;
|
2012-12-25 21:45:12 +00:00
|
|
|
} else if ((spec.flags & SIGN_FLAG) != 0) {
|
|
|
|
sign = (spec.flags & PLUS_FLAG) != 0 ? '+' : ' ';
|
2012-12-10 19:08:16 +00:00
|
|
|
++size;
|
|
|
|
}
|
2012-12-21 04:10:55 +00:00
|
|
|
switch (spec.type) {
|
2012-12-10 19:08:16 +00:00
|
|
|
case 0: case 'd': {
|
2012-12-25 17:00:11 +00:00
|
|
|
unsigned num_digits = CountDigits(abs_value);
|
|
|
|
char *p = PrepareFilledBuffer(size + num_digits, spec, sign)
|
|
|
|
- num_digits + 1;
|
|
|
|
FormatDecimal(p, abs_value, num_digits);
|
2012-12-10 19:08:16 +00:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
case 'x': case 'X': {
|
|
|
|
UnsignedType n = abs_value;
|
2012-12-26 02:19:51 +00:00
|
|
|
bool print_prefix = (spec.flags & HASH_FLAG) != 0;
|
2012-12-10 19:08:16 +00:00
|
|
|
if (print_prefix) size += 2;
|
|
|
|
do {
|
|
|
|
++size;
|
|
|
|
} while ((n >>= 4) != 0);
|
2012-12-22 22:05:56 +00:00
|
|
|
char *p = PrepareFilledBuffer(size, spec, sign);
|
2012-12-10 19:08:16 +00:00
|
|
|
n = abs_value;
|
2012-12-21 04:10:55 +00:00
|
|
|
const char *digits = spec.type == 'x' ?
|
|
|
|
"0123456789abcdef" : "0123456789ABCDEF";
|
2012-12-10 19:08:16 +00:00
|
|
|
do {
|
|
|
|
*p-- = digits[n & 0xf];
|
|
|
|
} while ((n >>= 4) != 0);
|
|
|
|
if (print_prefix) {
|
2012-12-21 04:10:55 +00:00
|
|
|
*p-- = spec.type;
|
2012-12-26 02:19:51 +00:00
|
|
|
*p = '0';
|
2012-12-10 19:08:16 +00:00
|
|
|
}
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case 'o': {
|
|
|
|
UnsignedType n = abs_value;
|
2012-12-26 02:19:51 +00:00
|
|
|
bool print_prefix = (spec.flags & HASH_FLAG) != 0;
|
|
|
|
if (print_prefix) ++size;
|
2012-12-10 19:08:16 +00:00
|
|
|
do {
|
|
|
|
++size;
|
|
|
|
} while ((n >>= 3) != 0);
|
2012-12-22 22:05:56 +00:00
|
|
|
char *p = PrepareFilledBuffer(size, spec, sign);
|
2012-12-10 19:08:16 +00:00
|
|
|
n = abs_value;
|
|
|
|
do {
|
|
|
|
*p-- = '0' + (n & 7);
|
|
|
|
} while ((n >>= 3) != 0);
|
2012-12-26 02:19:51 +00:00
|
|
|
if (print_prefix)
|
|
|
|
*p = '0';
|
2012-12-10 19:08:16 +00:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
default:
|
2012-12-21 04:10:55 +00:00
|
|
|
ReportUnknownType(spec.type, "integer");
|
2012-12-10 21:30:06 +00:00
|
|
|
break;
|
2012-12-10 19:08:16 +00:00
|
|
|
}
|
2012-12-09 02:45:35 +00:00
|
|
|
}
|
|
|
|
|
2012-12-07 16:31:09 +00:00
|
|
|
template <typename T>
|
2012-12-21 04:10:55 +00:00
|
|
|
void Formatter::FormatDouble(T value, const FormatSpec &spec, int precision) {
|
2012-12-10 19:08:16 +00:00
|
|
|
// Check type.
|
2012-12-21 04:10:55 +00:00
|
|
|
char type = spec.type;
|
2012-12-28 16:27:54 +00:00
|
|
|
bool upper = false;
|
2012-12-10 19:08:16 +00:00
|
|
|
switch (type) {
|
2012-12-10 20:16:02 +00:00
|
|
|
case 0:
|
|
|
|
type = 'g';
|
|
|
|
break;
|
2012-12-28 16:27:54 +00:00
|
|
|
case 'e': case 'f': case 'g':
|
2012-12-12 18:11:40 +00:00
|
|
|
break;
|
|
|
|
case 'F':
|
2012-12-12 23:21:11 +00:00
|
|
|
#ifdef _MSC_VER
|
|
|
|
// MSVC's printf doesn't support 'F'.
|
2012-12-12 18:11:40 +00:00
|
|
|
type = 'f';
|
2012-12-12 23:21:11 +00:00
|
|
|
#endif
|
2012-12-28 16:27:54 +00:00
|
|
|
// Fall through.
|
|
|
|
case 'E': case 'G':
|
|
|
|
upper = true;
|
2012-12-10 19:08:16 +00:00
|
|
|
break;
|
|
|
|
default:
|
2012-12-10 21:30:06 +00:00
|
|
|
ReportUnknownType(type, "double");
|
|
|
|
break;
|
2012-12-10 19:08:16 +00:00
|
|
|
}
|
|
|
|
|
2012-12-24 16:34:44 +00:00
|
|
|
char sign = 0;
|
2012-12-28 16:27:54 +00:00
|
|
|
// Use signbit instead of value < 0 because the latter is always
|
|
|
|
// false for NaN.
|
|
|
|
if (signbit(value)) {
|
2012-12-24 16:34:44 +00:00
|
|
|
sign = '-';
|
|
|
|
value = -value;
|
2012-12-25 21:45:12 +00:00
|
|
|
} else if ((spec.flags & SIGN_FLAG) != 0) {
|
|
|
|
sign = (spec.flags & PLUS_FLAG) != 0 ? '+' : ' ';
|
2012-12-24 16:34:44 +00:00
|
|
|
}
|
2012-12-28 16:27:54 +00:00
|
|
|
|
|
|
|
if (isnan(value)) {
|
|
|
|
// Format NaN ourselves because sprintf's output is not consistent
|
|
|
|
// across platforms.
|
|
|
|
std::size_t size = 4;
|
|
|
|
const char *nan = upper ? " NAN" : " nan";
|
|
|
|
if (!sign) {
|
|
|
|
--size;
|
|
|
|
++nan;
|
|
|
|
}
|
|
|
|
char *out = FormatString(nan, size, spec);
|
|
|
|
if (sign)
|
|
|
|
*out = sign;
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
2012-12-24 16:34:44 +00:00
|
|
|
size_t offset = buffer_.size();
|
|
|
|
unsigned width = spec.width;
|
|
|
|
if (sign) {
|
|
|
|
buffer_.reserve(buffer_.size() + std::max(width, 1u));
|
|
|
|
if (width > 0)
|
|
|
|
--width;
|
|
|
|
++offset;
|
|
|
|
}
|
|
|
|
|
2012-12-10 19:08:16 +00:00
|
|
|
// Build format string.
|
2012-12-26 02:19:51 +00:00
|
|
|
enum { MAX_FORMAT_SIZE = 10}; // longest format: %#-*.*Lg
|
2012-12-10 19:08:16 +00:00
|
|
|
char format[MAX_FORMAT_SIZE];
|
|
|
|
char *format_ptr = format;
|
|
|
|
*format_ptr++ = '%';
|
2012-12-25 03:37:50 +00:00
|
|
|
unsigned width_for_sprintf = width;
|
2012-12-26 02:19:51 +00:00
|
|
|
if ((spec.flags & HASH_FLAG) != 0)
|
|
|
|
*format_ptr++ = '#';
|
2012-12-25 03:37:50 +00:00
|
|
|
if (spec.align == ALIGN_CENTER) {
|
|
|
|
width_for_sprintf = 0;
|
|
|
|
} else {
|
|
|
|
if (spec.align == ALIGN_LEFT)
|
|
|
|
*format_ptr++ = '-';
|
|
|
|
if (width != 0)
|
|
|
|
*format_ptr++ = '*';
|
|
|
|
}
|
2012-12-10 19:08:16 +00:00
|
|
|
if (precision >= 0) {
|
|
|
|
*format_ptr++ = '.';
|
|
|
|
*format_ptr++ = '*';
|
|
|
|
}
|
|
|
|
if (IsLongDouble<T>::VALUE)
|
|
|
|
*format_ptr++ = 'L';
|
2012-12-10 20:16:02 +00:00
|
|
|
*format_ptr++ = type;
|
2012-12-10 19:08:16 +00:00
|
|
|
*format_ptr = '\0';
|
|
|
|
|
|
|
|
// Format using snprintf.
|
2012-12-07 16:31:09 +00:00
|
|
|
for (;;) {
|
2012-12-11 01:16:08 +00:00
|
|
|
size_t size = buffer_.capacity() - offset;
|
2012-12-07 16:31:09 +00:00
|
|
|
int n = 0;
|
2012-12-21 04:10:55 +00:00
|
|
|
char *start = &buffer_[offset];
|
2012-12-25 03:37:50 +00:00
|
|
|
if (width_for_sprintf == 0) {
|
2012-12-07 16:31:09 +00:00
|
|
|
n = precision < 0 ?
|
2012-12-21 04:10:55 +00:00
|
|
|
snprintf(start, size, format, value) :
|
|
|
|
snprintf(start, size, format, precision, value);
|
2012-12-07 16:31:09 +00:00
|
|
|
} else {
|
|
|
|
n = precision < 0 ?
|
2012-12-25 03:37:50 +00:00
|
|
|
snprintf(start, size, format, width_for_sprintf, value) :
|
|
|
|
snprintf(start, size, format, width_for_sprintf, precision, value);
|
2012-12-07 16:31:09 +00:00
|
|
|
}
|
2012-12-11 01:16:08 +00:00
|
|
|
if (n >= 0 && offset + n < buffer_.capacity()) {
|
2012-12-24 16:34:44 +00:00
|
|
|
if (sign) {
|
|
|
|
if ((spec.align != ALIGN_RIGHT && spec.align != ALIGN_DEFAULT) ||
|
|
|
|
*start != ' ') {
|
|
|
|
*(start - 1) = sign;
|
|
|
|
sign = 0;
|
|
|
|
} else {
|
|
|
|
*(start - 1) = spec.fill;
|
|
|
|
}
|
|
|
|
++n;
|
|
|
|
}
|
2012-12-25 03:37:50 +00:00
|
|
|
if (spec.align == ALIGN_CENTER && spec.width > static_cast<unsigned>(n)) {
|
|
|
|
char *p = GrowBuffer(spec.width);
|
|
|
|
std::copy(p, p + n, p + (spec.width - n) / 2);
|
|
|
|
FillPadding(p, spec.width, n, spec.fill);
|
|
|
|
return;
|
|
|
|
}
|
2012-12-24 16:34:44 +00:00
|
|
|
if (spec.fill != ' ' || sign) {
|
2012-12-21 17:12:04 +00:00
|
|
|
while (*start == ' ')
|
|
|
|
*start++ = spec.fill;
|
2012-12-24 16:34:44 +00:00
|
|
|
if (sign)
|
|
|
|
*(start - 1) = sign;
|
2012-12-21 17:12:04 +00:00
|
|
|
}
|
2012-12-11 02:08:04 +00:00
|
|
|
GrowBuffer(n);
|
2012-12-07 16:31:09 +00:00
|
|
|
return;
|
|
|
|
}
|
2012-12-11 01:16:08 +00:00
|
|
|
buffer_.reserve(n >= 0 ? offset + n + 1 : 2 * buffer_.capacity());
|
2012-12-07 16:31:09 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-12-28 16:27:54 +00:00
|
|
|
char *Formatter::FormatString(
|
2012-12-23 01:53:13 +00:00
|
|
|
const char *s, std::size_t size, const FormatSpec &spec) {
|
|
|
|
char *out = 0;
|
|
|
|
if (spec.width > size) {
|
|
|
|
out = GrowBuffer(spec.width);
|
2012-12-24 19:41:20 +00:00
|
|
|
if (spec.align == ALIGN_RIGHT) {
|
|
|
|
std::fill_n(out, spec.width - size, spec.fill);
|
|
|
|
out += spec.width - size;
|
2012-12-25 03:37:50 +00:00
|
|
|
} else if (spec.align == ALIGN_CENTER) {
|
|
|
|
out = FillPadding(out, spec.width, size, spec.fill);
|
2012-12-24 19:41:20 +00:00
|
|
|
} else {
|
2012-12-23 01:53:13 +00:00
|
|
|
std::fill_n(out + size, spec.width - size, spec.fill);
|
2012-12-24 19:41:20 +00:00
|
|
|
}
|
2012-12-23 01:53:13 +00:00
|
|
|
} else {
|
|
|
|
out = GrowBuffer(size);
|
|
|
|
}
|
|
|
|
std::copy(s, s + size, out);
|
2012-12-28 16:27:54 +00:00
|
|
|
return out;
|
2012-12-23 01:53:13 +00:00
|
|
|
}
|
|
|
|
|
2012-12-12 23:21:11 +00:00
|
|
|
// Parses an unsigned integer advancing s to the end of the parsed input.
|
|
|
|
// This function assumes that the first character of s is a digit.
|
|
|
|
unsigned Formatter::ParseUInt(const char *&s) const {
|
|
|
|
assert('0' <= *s && *s <= '9');
|
|
|
|
unsigned value = 0;
|
|
|
|
do {
|
|
|
|
unsigned new_value = value * 10 + (*s++ - '0');
|
|
|
|
if (new_value < value) // Check if value wrapped around.
|
|
|
|
ReportError(s, "number is too big in format");
|
|
|
|
value = new_value;
|
|
|
|
} while ('0' <= *s && *s <= '9');
|
|
|
|
return value;
|
|
|
|
}
|
|
|
|
|
2012-12-27 14:56:55 +00:00
|
|
|
const Formatter::Arg &Formatter::ParseArgIndex(const char *&s) {
|
|
|
|
unsigned arg_index = 0;
|
|
|
|
if (*s < '0' || *s > '9') {
|
|
|
|
if (*s != '}' && *s != ':')
|
|
|
|
ReportError(s, "invalid argument index in format string");
|
|
|
|
if (next_arg_index_ < 0) {
|
|
|
|
ReportError(s,
|
|
|
|
"cannot switch from manual to automatic argument indexing");
|
|
|
|
}
|
|
|
|
arg_index = next_arg_index_++;
|
|
|
|
} else {
|
|
|
|
if (next_arg_index_ > 0) {
|
|
|
|
ReportError(s,
|
|
|
|
"cannot switch from automatic to manual argument indexing");
|
|
|
|
}
|
|
|
|
next_arg_index_ = -1;
|
|
|
|
arg_index = ParseUInt(s);
|
|
|
|
if (arg_index >= args_.size())
|
|
|
|
ReportError(s, "argument index is out of range in format");
|
|
|
|
}
|
2012-12-12 23:21:11 +00:00
|
|
|
return *args_[arg_index];
|
|
|
|
}
|
|
|
|
|
2012-12-25 21:45:12 +00:00
|
|
|
void Formatter::CheckSign(const char *&s, const Arg &arg) {
|
|
|
|
if (arg.type > LAST_NUMERIC_TYPE) {
|
|
|
|
ReportError(s,
|
|
|
|
Format("format specifier '{0}' requires numeric argument") << *s);
|
|
|
|
}
|
|
|
|
if (arg.type == UINT || arg.type == ULONG) {
|
|
|
|
ReportError(s,
|
|
|
|
Format("format specifier '{0}' requires signed argument") << *s);
|
|
|
|
}
|
|
|
|
++s;
|
|
|
|
}
|
|
|
|
|
2012-12-12 23:21:11 +00:00
|
|
|
void Formatter::DoFormat() {
|
2012-12-07 16:31:09 +00:00
|
|
|
const char *start = format_;
|
2012-12-11 20:23:52 +00:00
|
|
|
format_ = 0;
|
2012-12-27 14:56:55 +00:00
|
|
|
next_arg_index_ = 0;
|
2012-12-07 16:31:09 +00:00
|
|
|
const char *s = start;
|
2012-12-08 01:48:10 +00:00
|
|
|
while (*s) {
|
2012-12-10 23:04:55 +00:00
|
|
|
char c = *s++;
|
|
|
|
if (c != '{' && c != '}') continue;
|
|
|
|
if (*s == c) {
|
2012-12-11 01:16:08 +00:00
|
|
|
buffer_.append(start, s);
|
2012-12-10 23:04:55 +00:00
|
|
|
start = ++s;
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
if (c == '}')
|
|
|
|
throw FormatError("unmatched '}' in format");
|
2012-12-12 23:21:11 +00:00
|
|
|
num_open_braces_= 1;
|
2012-12-11 01:16:08 +00:00
|
|
|
buffer_.append(start, s - 1);
|
2012-12-07 16:31:09 +00:00
|
|
|
|
2012-12-12 23:21:11 +00:00
|
|
|
const Arg &arg = ParseArgIndex(s);
|
2012-12-07 16:31:09 +00:00
|
|
|
|
2012-12-21 17:12:04 +00:00
|
|
|
FormatSpec spec;
|
2012-12-07 16:31:09 +00:00
|
|
|
int precision = -1;
|
|
|
|
if (*s == ':') {
|
|
|
|
++s;
|
2012-12-21 17:12:04 +00:00
|
|
|
|
|
|
|
// Parse fill and alignment.
|
2012-12-21 04:10:55 +00:00
|
|
|
if (char c = *s) {
|
2012-12-21 17:12:04 +00:00
|
|
|
const char *p = s + 1;
|
2012-12-22 22:05:56 +00:00
|
|
|
spec.align = ALIGN_DEFAULT;
|
2012-12-21 17:12:04 +00:00
|
|
|
do {
|
|
|
|
switch (*p) {
|
|
|
|
case '<':
|
2012-12-22 22:05:56 +00:00
|
|
|
spec.align = ALIGN_LEFT;
|
2012-12-21 17:12:04 +00:00
|
|
|
break;
|
|
|
|
case '>':
|
2012-12-22 22:05:56 +00:00
|
|
|
spec.align = ALIGN_RIGHT;
|
2012-12-21 17:12:04 +00:00
|
|
|
break;
|
|
|
|
case '=':
|
2012-12-22 22:05:56 +00:00
|
|
|
spec.align = ALIGN_NUMERIC;
|
2012-12-21 17:12:04 +00:00
|
|
|
break;
|
|
|
|
case '^':
|
2012-12-22 22:05:56 +00:00
|
|
|
spec.align = ALIGN_CENTER;
|
2012-12-21 17:12:04 +00:00
|
|
|
break;
|
2012-12-21 04:10:55 +00:00
|
|
|
}
|
2012-12-22 22:05:56 +00:00
|
|
|
if (spec.align != ALIGN_DEFAULT) {
|
2012-12-24 16:34:44 +00:00
|
|
|
if (p != s) {
|
|
|
|
if (c == '}') break;
|
|
|
|
if (c == '{')
|
|
|
|
ReportError(s, "invalid fill character '{'");
|
2012-12-21 17:12:04 +00:00
|
|
|
s += 2;
|
|
|
|
spec.fill = c;
|
|
|
|
} else ++s;
|
2012-12-24 16:34:44 +00:00
|
|
|
if (spec.align == ALIGN_NUMERIC && arg.type > LAST_NUMERIC_TYPE)
|
|
|
|
ReportError(s, "format specifier '=' requires numeric argument");
|
2012-12-21 17:12:04 +00:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
} while (--p >= s);
|
2012-12-21 04:10:55 +00:00
|
|
|
}
|
2012-12-21 17:12:04 +00:00
|
|
|
|
|
|
|
// Parse sign.
|
2012-12-25 21:25:14 +00:00
|
|
|
switch (*s) {
|
|
|
|
case '+':
|
2012-12-25 21:45:12 +00:00
|
|
|
CheckSign(s, arg);
|
|
|
|
spec.flags |= SIGN_FLAG | PLUS_FLAG;
|
|
|
|
break;
|
2012-12-25 21:25:14 +00:00
|
|
|
case '-':
|
2012-12-25 21:45:12 +00:00
|
|
|
CheckSign(s, arg);
|
|
|
|
break;
|
|
|
|
case ' ':
|
|
|
|
CheckSign(s, arg);
|
|
|
|
spec.flags |= SIGN_FLAG;
|
2012-12-25 21:25:14 +00:00
|
|
|
break;
|
2012-12-09 02:45:35 +00:00
|
|
|
}
|
2012-12-07 16:31:09 +00:00
|
|
|
|
2012-12-26 02:19:51 +00:00
|
|
|
if (*s == '#') {
|
|
|
|
if (arg.type > LAST_NUMERIC_TYPE)
|
|
|
|
ReportError(s, "format specifier '#' requires numeric argument");
|
|
|
|
spec.flags |= HASH_FLAG;
|
|
|
|
++s;
|
|
|
|
}
|
|
|
|
|
2012-12-21 17:12:04 +00:00
|
|
|
// Parse width and zero flag.
|
2012-12-07 16:31:09 +00:00
|
|
|
if ('0' <= *s && *s <= '9') {
|
2012-12-21 17:12:04 +00:00
|
|
|
if (*s == '0') {
|
|
|
|
if (arg.type > LAST_NUMERIC_TYPE)
|
|
|
|
ReportError(s, "format specifier '0' requires numeric argument");
|
2012-12-22 22:05:56 +00:00
|
|
|
spec.align = ALIGN_NUMERIC;
|
2012-12-21 17:12:04 +00:00
|
|
|
spec.fill = '0';
|
|
|
|
}
|
|
|
|
// Zero may be parsed again as a part of the width, but it is simpler
|
|
|
|
// and more efficient than checking if the next char is a digit.
|
2012-12-09 19:32:39 +00:00
|
|
|
unsigned value = ParseUInt(s);
|
|
|
|
if (value > INT_MAX)
|
2012-12-10 19:08:16 +00:00
|
|
|
ReportError(s, "number is too big in format");
|
2012-12-21 04:10:55 +00:00
|
|
|
spec.width = value;
|
2012-12-07 16:31:09 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
// Parse precision.
|
|
|
|
if (*s == '.') {
|
|
|
|
++s;
|
|
|
|
precision = 0;
|
|
|
|
if ('0' <= *s && *s <= '9') {
|
2012-12-09 19:32:39 +00:00
|
|
|
unsigned value = ParseUInt(s);
|
|
|
|
if (value > INT_MAX)
|
2012-12-10 19:08:16 +00:00
|
|
|
ReportError(s, "number is too big in format");
|
2012-12-09 19:32:39 +00:00
|
|
|
precision = value;
|
2012-12-12 23:21:11 +00:00
|
|
|
} else if (*s == '{') {
|
|
|
|
++s;
|
|
|
|
++num_open_braces_;
|
|
|
|
const Arg &precision_arg = ParseArgIndex(s);
|
|
|
|
unsigned long value = 0;
|
|
|
|
switch (precision_arg.type) {
|
|
|
|
case INT:
|
|
|
|
if (precision_arg.int_value < 0)
|
|
|
|
ReportError(s, "negative precision in format");
|
|
|
|
value = precision_arg.int_value;
|
|
|
|
break;
|
|
|
|
case UINT:
|
|
|
|
value = precision_arg.uint_value;
|
|
|
|
break;
|
|
|
|
case LONG:
|
|
|
|
if (precision_arg.long_value < 0)
|
|
|
|
ReportError(s, "negative precision in format");
|
|
|
|
value = precision_arg.long_value;
|
|
|
|
break;
|
|
|
|
case ULONG:
|
|
|
|
value = precision_arg.ulong_value;
|
|
|
|
break;
|
|
|
|
default:
|
|
|
|
ReportError(s, "precision is not integer");
|
|
|
|
}
|
|
|
|
if (value > INT_MAX)
|
|
|
|
ReportError(s, "number is too big in format");
|
|
|
|
precision = value;
|
|
|
|
if (*s++ != '}')
|
|
|
|
throw FormatError("unmatched '{' in format");
|
|
|
|
--num_open_braces_;
|
2012-12-07 16:31:09 +00:00
|
|
|
} else {
|
2012-12-10 19:08:16 +00:00
|
|
|
ReportError(s, "missing precision in format");
|
2012-12-09 22:13:23 +00:00
|
|
|
}
|
2012-12-10 19:08:16 +00:00
|
|
|
if (arg.type != DOUBLE && arg.type != LONG_DOUBLE) {
|
|
|
|
ReportError(s,
|
|
|
|
"precision specifier requires floating-point argument");
|
2012-12-07 16:31:09 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// Parse type.
|
2012-12-10 19:08:16 +00:00
|
|
|
if (*s != '}' && *s)
|
2012-12-21 04:10:55 +00:00
|
|
|
spec.type = *s++;
|
2012-12-07 16:31:09 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
if (*s++ != '}')
|
2012-12-09 02:45:35 +00:00
|
|
|
throw FormatError("unmatched '{' in format");
|
2012-12-07 16:31:09 +00:00
|
|
|
start = s;
|
|
|
|
|
|
|
|
// Format argument.
|
|
|
|
switch (arg.type) {
|
|
|
|
case INT:
|
2012-12-21 04:10:55 +00:00
|
|
|
FormatInt(arg.int_value, spec);
|
2012-12-07 16:31:09 +00:00
|
|
|
break;
|
|
|
|
case UINT:
|
2012-12-21 04:10:55 +00:00
|
|
|
FormatInt(arg.uint_value, spec);
|
2012-12-07 16:31:09 +00:00
|
|
|
break;
|
|
|
|
case LONG:
|
2012-12-21 04:10:55 +00:00
|
|
|
FormatInt(arg.long_value, spec);
|
2012-12-07 16:31:09 +00:00
|
|
|
break;
|
|
|
|
case ULONG:
|
2012-12-21 04:10:55 +00:00
|
|
|
FormatInt(arg.ulong_value, spec);
|
2012-12-07 16:31:09 +00:00
|
|
|
break;
|
|
|
|
case DOUBLE:
|
2012-12-21 04:10:55 +00:00
|
|
|
FormatDouble(arg.double_value, spec, precision);
|
2012-12-07 16:31:09 +00:00
|
|
|
break;
|
|
|
|
case LONG_DOUBLE:
|
2012-12-21 04:10:55 +00:00
|
|
|
FormatDouble(arg.long_double_value, spec, precision);
|
2012-12-09 22:13:23 +00:00
|
|
|
break;
|
2012-12-11 01:16:08 +00:00
|
|
|
case CHAR: {
|
2012-12-21 04:10:55 +00:00
|
|
|
if (spec.type && spec.type != 'c')
|
|
|
|
ReportUnknownType(spec.type, "char");
|
2012-12-23 01:53:13 +00:00
|
|
|
char *out = 0;
|
|
|
|
if (spec.width > 1) {
|
|
|
|
out = GrowBuffer(spec.width);
|
2012-12-24 19:58:49 +00:00
|
|
|
if (spec.align == ALIGN_RIGHT) {
|
|
|
|
std::fill_n(out, spec.width - 1, spec.fill);
|
|
|
|
out += spec.width - 1;
|
2012-12-25 03:37:50 +00:00
|
|
|
} else if (spec.align == ALIGN_CENTER) {
|
|
|
|
out = FillPadding(out, spec.width, 1, spec.fill);
|
2012-12-24 19:58:49 +00:00
|
|
|
} else {
|
2012-12-23 01:53:13 +00:00
|
|
|
std::fill_n(out + 1, spec.width - 1, spec.fill);
|
2012-12-24 19:58:49 +00:00
|
|
|
}
|
2012-12-23 01:53:13 +00:00
|
|
|
} else {
|
|
|
|
out = GrowBuffer(1);
|
|
|
|
}
|
|
|
|
*out = arg.int_value;
|
2012-12-09 22:13:23 +00:00
|
|
|
break;
|
2012-12-11 01:16:08 +00:00
|
|
|
}
|
2012-12-10 19:08:16 +00:00
|
|
|
case STRING: {
|
2012-12-21 04:10:55 +00:00
|
|
|
if (spec.type && spec.type != 's')
|
|
|
|
ReportUnknownType(spec.type, "string");
|
2012-12-12 05:47:05 +00:00
|
|
|
const char *str = arg.string.value;
|
|
|
|
size_t size = arg.string.size;
|
2012-12-18 00:39:49 +00:00
|
|
|
if (size == 0) {
|
|
|
|
if (!str)
|
|
|
|
throw FormatError("string pointer is null");
|
|
|
|
if (*str)
|
|
|
|
size = std::strlen(str);
|
|
|
|
}
|
2012-12-23 01:53:13 +00:00
|
|
|
FormatString(str, size, spec);
|
2012-12-07 16:31:09 +00:00
|
|
|
break;
|
2012-12-10 19:08:16 +00:00
|
|
|
}
|
|
|
|
case POINTER:
|
2012-12-21 04:10:55 +00:00
|
|
|
if (spec.type && spec.type != 'p')
|
|
|
|
ReportUnknownType(spec.type, "pointer");
|
2012-12-26 02:19:51 +00:00
|
|
|
spec.flags = HASH_FLAG;
|
2012-12-21 04:10:55 +00:00
|
|
|
spec.type = 'x';
|
|
|
|
FormatInt(reinterpret_cast<uintptr_t>(arg.pointer_value), spec);
|
2012-12-07 16:31:09 +00:00
|
|
|
break;
|
2012-12-09 17:03:47 +00:00
|
|
|
case CUSTOM:
|
2012-12-21 04:10:55 +00:00
|
|
|
if (spec.type)
|
|
|
|
ReportUnknownType(spec.type, "object");
|
|
|
|
(this->*arg.custom.format)(arg.custom.value, spec);
|
2012-12-08 16:17:12 +00:00
|
|
|
break;
|
2012-12-07 16:31:09 +00:00
|
|
|
default:
|
|
|
|
assert(false);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
2012-12-11 01:16:08 +00:00
|
|
|
buffer_.append(start, s + 1);
|
2012-12-11 04:37:35 +00:00
|
|
|
buffer_.resize(buffer_.size() - 1); // Don't count the terminating zero.
|
2012-12-07 16:31:09 +00:00
|
|
|
}
|