1b0d29bc4SBrooks Davis // Copyright 2010 The Kyua Authors.
2b0d29bc4SBrooks Davis // All rights reserved.
3b0d29bc4SBrooks Davis //
4b0d29bc4SBrooks Davis // Redistribution and use in source and binary forms, with or without
5b0d29bc4SBrooks Davis // modification, are permitted provided that the following conditions are
6b0d29bc4SBrooks Davis // met:
7b0d29bc4SBrooks Davis //
8b0d29bc4SBrooks Davis // * Redistributions of source code must retain the above copyright
9b0d29bc4SBrooks Davis // notice, this list of conditions and the following disclaimer.
10b0d29bc4SBrooks Davis // * Redistributions in binary form must reproduce the above copyright
11b0d29bc4SBrooks Davis // notice, this list of conditions and the following disclaimer in the
12b0d29bc4SBrooks Davis // documentation and/or other materials provided with the distribution.
13b0d29bc4SBrooks Davis // * Neither the name of Google Inc. nor the names of its contributors
14b0d29bc4SBrooks Davis // may be used to endorse or promote products derived from this software
15b0d29bc4SBrooks Davis // without specific prior written permission.
16b0d29bc4SBrooks Davis //
17b0d29bc4SBrooks Davis // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
18b0d29bc4SBrooks Davis // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
19b0d29bc4SBrooks Davis // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
20b0d29bc4SBrooks Davis // A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
21b0d29bc4SBrooks Davis // OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
22b0d29bc4SBrooks Davis // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
23b0d29bc4SBrooks Davis // LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
24b0d29bc4SBrooks Davis // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
25b0d29bc4SBrooks Davis // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
26b0d29bc4SBrooks Davis // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
27b0d29bc4SBrooks Davis // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
28b0d29bc4SBrooks Davis
29b0d29bc4SBrooks Davis #include "utils/format/formatter.hpp"
30b0d29bc4SBrooks Davis
31b0d29bc4SBrooks Davis #include <memory>
32b0d29bc4SBrooks Davis #include <string>
33b0d29bc4SBrooks Davis #include <utility>
34b0d29bc4SBrooks Davis
35b0d29bc4SBrooks Davis #include "utils/format/exceptions.hpp"
36b0d29bc4SBrooks Davis #include "utils/sanity.hpp"
37b0d29bc4SBrooks Davis #include "utils/text/exceptions.hpp"
38b0d29bc4SBrooks Davis #include "utils/text/operations.ipp"
39b0d29bc4SBrooks Davis
40b0d29bc4SBrooks Davis namespace format = utils::format;
41b0d29bc4SBrooks Davis namespace text = utils::text;
42b0d29bc4SBrooks Davis
43b0d29bc4SBrooks Davis
44b0d29bc4SBrooks Davis namespace {
45b0d29bc4SBrooks Davis
46b0d29bc4SBrooks Davis
47b0d29bc4SBrooks Davis /// Finds the next placeholder in a string.
48b0d29bc4SBrooks Davis ///
49b0d29bc4SBrooks Davis /// \param format The original format string provided by the user; needed for
50b0d29bc4SBrooks Davis /// error reporting purposes only.
51b0d29bc4SBrooks Davis /// \param expansion The string containing the placeholder to look for. Any
52b0d29bc4SBrooks Davis /// '%%' in the string will be skipped, and they must be stripped later by
53b0d29bc4SBrooks Davis /// strip_double_percent().
54b0d29bc4SBrooks Davis /// \param begin The position from which to start looking for the next
55b0d29bc4SBrooks Davis /// placeholder.
56b0d29bc4SBrooks Davis ///
57b0d29bc4SBrooks Davis /// \return The position in the string in which the placeholder is located and
58b0d29bc4SBrooks Davis /// the placeholder itself. If there are no placeholders left, this returns
59b0d29bc4SBrooks Davis /// the length of the string and an empty string.
60b0d29bc4SBrooks Davis ///
61b0d29bc4SBrooks Davis /// \throw bad_format_error If the input string contains a trailing formatting
62b0d29bc4SBrooks Davis /// character. We cannot detect any other kind of invalid formatter because
63b0d29bc4SBrooks Davis /// we do not implement a full parser for them.
64b0d29bc4SBrooks Davis static std::pair< std::string::size_type, std::string >
find_next_placeholder(const std::string & format,const std::string & expansion,std::string::size_type begin)65b0d29bc4SBrooks Davis find_next_placeholder(const std::string& format,
66b0d29bc4SBrooks Davis const std::string& expansion,
67b0d29bc4SBrooks Davis std::string::size_type begin)
68b0d29bc4SBrooks Davis {
69b0d29bc4SBrooks Davis begin = expansion.find('%', begin);
70b0d29bc4SBrooks Davis while (begin != std::string::npos && expansion[begin + 1] == '%')
71b0d29bc4SBrooks Davis begin = expansion.find('%', begin + 2);
72b0d29bc4SBrooks Davis if (begin == std::string::npos)
73b0d29bc4SBrooks Davis return std::make_pair(expansion.length(), "");
74b0d29bc4SBrooks Davis if (begin == expansion.length() - 1)
75b0d29bc4SBrooks Davis throw format::bad_format_error(format, "Trailing %");
76b0d29bc4SBrooks Davis
77b0d29bc4SBrooks Davis std::string::size_type end = begin + 1;
78b0d29bc4SBrooks Davis while (end < expansion.length() && expansion[end] != 's')
79b0d29bc4SBrooks Davis end++;
80b0d29bc4SBrooks Davis const std::string placeholder = expansion.substr(begin, end - begin + 1);
81b0d29bc4SBrooks Davis if (end == expansion.length() ||
82b0d29bc4SBrooks Davis placeholder.find('%', 1) != std::string::npos)
83b0d29bc4SBrooks Davis throw format::bad_format_error(format, "Unterminated placeholder '" +
84b0d29bc4SBrooks Davis placeholder + "'");
85b0d29bc4SBrooks Davis return std::make_pair(begin, placeholder);
86b0d29bc4SBrooks Davis }
87b0d29bc4SBrooks Davis
88b0d29bc4SBrooks Davis
89b0d29bc4SBrooks Davis /// Converts a string to an integer.
90b0d29bc4SBrooks Davis ///
91b0d29bc4SBrooks Davis /// \param format The format string; for error reporting purposes only.
92b0d29bc4SBrooks Davis /// \param str The string to conver.
93b0d29bc4SBrooks Davis /// \param what The name of the field this integer belongs to; for error
94b0d29bc4SBrooks Davis /// reporting purposes only.
95b0d29bc4SBrooks Davis ///
96b0d29bc4SBrooks Davis /// \return An integer representing the input string.
97b0d29bc4SBrooks Davis inline int
to_int(const std::string & format,const std::string & str,const char * what)98b0d29bc4SBrooks Davis to_int(const std::string& format, const std::string& str, const char* what)
99b0d29bc4SBrooks Davis {
100b0d29bc4SBrooks Davis try {
101b0d29bc4SBrooks Davis return text::to_type< int >(str);
102b0d29bc4SBrooks Davis } catch (const text::value_error& e) {
103b0d29bc4SBrooks Davis throw format::bad_format_error(format, "Invalid " + std::string(what) +
104b0d29bc4SBrooks Davis "specifier");
105b0d29bc4SBrooks Davis }
106b0d29bc4SBrooks Davis }
107b0d29bc4SBrooks Davis
108b0d29bc4SBrooks Davis
109b0d29bc4SBrooks Davis /// Constructs an std::ostringstream based on a formatting placeholder.
110b0d29bc4SBrooks Davis ///
111b0d29bc4SBrooks Davis /// \param format The format placeholder; may be empty.
112b0d29bc4SBrooks Davis ///
113b0d29bc4SBrooks Davis /// \return A new std::ostringstream that is prepared to format a single
114b0d29bc4SBrooks Davis /// object in the manner specified by the format placeholder.
115b0d29bc4SBrooks Davis ///
116b0d29bc4SBrooks Davis /// \throw bad_format_error If the format string is bad. We do minimal
117b0d29bc4SBrooks Davis /// validation on this string though.
118b0d29bc4SBrooks Davis static std::ostringstream*
new_ostringstream(const std::string & format)119b0d29bc4SBrooks Davis new_ostringstream(const std::string& format)
120b0d29bc4SBrooks Davis {
121*b392a90bSJohn Baldwin std::unique_ptr< std::ostringstream > output(new std::ostringstream());
122b0d29bc4SBrooks Davis
123b0d29bc4SBrooks Davis if (format.length() <= 2) {
124b0d29bc4SBrooks Davis // If the format is empty, we create a new stream so that we don't have
125b0d29bc4SBrooks Davis // to check for NULLs later on. We rarely should hit this condition
126b0d29bc4SBrooks Davis // (and when we do it's a bug in the caller), so this is not a big deal.
127b0d29bc4SBrooks Davis //
128b0d29bc4SBrooks Davis // Otherwise, if the format is a regular '%s', then we don't have to do
129b0d29bc4SBrooks Davis // any processing for additional formatters. So this is just a "fast
130b0d29bc4SBrooks Davis // path".
131b0d29bc4SBrooks Davis } else {
132b0d29bc4SBrooks Davis std::string partial = format.substr(1, format.length() - 2);
133b0d29bc4SBrooks Davis if (partial[0] == '0') {
134b0d29bc4SBrooks Davis output->fill('0');
135b0d29bc4SBrooks Davis partial.erase(0, 1);
136b0d29bc4SBrooks Davis }
137b0d29bc4SBrooks Davis if (!partial.empty()) {
138b0d29bc4SBrooks Davis const std::string::size_type dot = partial.find('.');
139b0d29bc4SBrooks Davis if (dot != 0)
140b0d29bc4SBrooks Davis output->width(to_int(format, partial.substr(0, dot), "width"));
141b0d29bc4SBrooks Davis if (dot != std::string::npos) {
142b0d29bc4SBrooks Davis output->setf(std::ios::fixed, std::ios::floatfield);
143b0d29bc4SBrooks Davis output->precision(to_int(format, partial.substr(dot + 1),
144b0d29bc4SBrooks Davis "precision"));
145b0d29bc4SBrooks Davis }
146b0d29bc4SBrooks Davis }
147b0d29bc4SBrooks Davis }
148b0d29bc4SBrooks Davis
149b0d29bc4SBrooks Davis return output.release();
150b0d29bc4SBrooks Davis }
151b0d29bc4SBrooks Davis
152b0d29bc4SBrooks Davis
153b0d29bc4SBrooks Davis /// Replaces '%%' by '%' in a given string range.
154b0d29bc4SBrooks Davis ///
155b0d29bc4SBrooks Davis /// \param in The input string to be rewritten.
156b0d29bc4SBrooks Davis /// \param begin The position at which to start the replacement.
157b0d29bc4SBrooks Davis /// \param end The position at which to end the replacement.
158b0d29bc4SBrooks Davis ///
159b0d29bc4SBrooks Davis /// \return The modified string and the amount of characters removed.
160b0d29bc4SBrooks Davis static std::pair< std::string, int >
strip_double_percent(const std::string & in,const std::string::size_type begin,std::string::size_type end)161b0d29bc4SBrooks Davis strip_double_percent(const std::string& in, const std::string::size_type begin,
162b0d29bc4SBrooks Davis std::string::size_type end)
163b0d29bc4SBrooks Davis {
164b0d29bc4SBrooks Davis std::string part = in.substr(begin, end - begin);
165b0d29bc4SBrooks Davis
166b0d29bc4SBrooks Davis int removed = 0;
167b0d29bc4SBrooks Davis std::string::size_type pos = part.find("%%");
168b0d29bc4SBrooks Davis while (pos != std::string::npos) {
169b0d29bc4SBrooks Davis part.erase(pos, 1);
170b0d29bc4SBrooks Davis ++removed;
171b0d29bc4SBrooks Davis pos = part.find("%%", pos + 1);
172b0d29bc4SBrooks Davis }
173b0d29bc4SBrooks Davis
174b0d29bc4SBrooks Davis return std::make_pair(in.substr(0, begin) + part + in.substr(end), removed);
175b0d29bc4SBrooks Davis }
176b0d29bc4SBrooks Davis
177b0d29bc4SBrooks Davis
178b0d29bc4SBrooks Davis } // anonymous namespace
179b0d29bc4SBrooks Davis
180b0d29bc4SBrooks Davis
181b0d29bc4SBrooks Davis /// Performs internal initialization of the formatter.
182b0d29bc4SBrooks Davis ///
183b0d29bc4SBrooks Davis /// This is separate from the constructor just because it is shared by different
184b0d29bc4SBrooks Davis /// overloaded constructors.
185b0d29bc4SBrooks Davis void
init(void)186b0d29bc4SBrooks Davis format::formatter::init(void)
187b0d29bc4SBrooks Davis {
188b0d29bc4SBrooks Davis const std::pair< std::string::size_type, std::string > placeholder =
189b0d29bc4SBrooks Davis find_next_placeholder(_format, _expansion, _last_pos);
190b0d29bc4SBrooks Davis const std::pair< std::string, int > no_percents =
191b0d29bc4SBrooks Davis strip_double_percent(_expansion, _last_pos, placeholder.first);
192b0d29bc4SBrooks Davis
193b0d29bc4SBrooks Davis _oss = new_ostringstream(placeholder.second);
194b0d29bc4SBrooks Davis
195b0d29bc4SBrooks Davis _expansion = no_percents.first;
196b0d29bc4SBrooks Davis _placeholder_pos = placeholder.first - no_percents.second;
197b0d29bc4SBrooks Davis _placeholder = placeholder.second;
198b0d29bc4SBrooks Davis }
199b0d29bc4SBrooks Davis
200b0d29bc4SBrooks Davis
201b0d29bc4SBrooks Davis /// Constructs a new formatter object (internal).
202b0d29bc4SBrooks Davis ///
203b0d29bc4SBrooks Davis /// \param format The format string.
204b0d29bc4SBrooks Davis /// \param expansion The format string with any replacements performed so far.
205b0d29bc4SBrooks Davis /// \param last_pos The position from which to start looking for formatting
206b0d29bc4SBrooks Davis /// placeholders. This must be maintained in case one of the replacements
207b0d29bc4SBrooks Davis /// introduced a new placeholder, which must be ignored. Think, for
208b0d29bc4SBrooks Davis /// example, replacing a "%s" string with "foo %s".
formatter(const std::string & format,const std::string & expansion,const std::string::size_type last_pos)209b0d29bc4SBrooks Davis format::formatter::formatter(const std::string& format,
210b0d29bc4SBrooks Davis const std::string& expansion,
211b0d29bc4SBrooks Davis const std::string::size_type last_pos) :
212b0d29bc4SBrooks Davis _format(format),
213b0d29bc4SBrooks Davis _expansion(expansion),
214b0d29bc4SBrooks Davis _last_pos(last_pos),
215b0d29bc4SBrooks Davis _oss(NULL)
216b0d29bc4SBrooks Davis {
217b0d29bc4SBrooks Davis init();
218b0d29bc4SBrooks Davis }
219b0d29bc4SBrooks Davis
220b0d29bc4SBrooks Davis
221b0d29bc4SBrooks Davis /// Constructs a new formatter object.
222b0d29bc4SBrooks Davis ///
223b0d29bc4SBrooks Davis /// \param format The format string. The formatters in the string are not
224b0d29bc4SBrooks Davis /// validated during construction, but will cause errors when used later if
225b0d29bc4SBrooks Davis /// they are invalid.
formatter(const std::string & format)226b0d29bc4SBrooks Davis format::formatter::formatter(const std::string& format) :
227b0d29bc4SBrooks Davis _format(format),
228b0d29bc4SBrooks Davis _expansion(format),
229b0d29bc4SBrooks Davis _last_pos(0),
230b0d29bc4SBrooks Davis _oss(NULL)
231b0d29bc4SBrooks Davis {
232b0d29bc4SBrooks Davis init();
233b0d29bc4SBrooks Davis }
234b0d29bc4SBrooks Davis
235b0d29bc4SBrooks Davis
~formatter(void)236b0d29bc4SBrooks Davis format::formatter::~formatter(void)
237b0d29bc4SBrooks Davis {
238b0d29bc4SBrooks Davis delete _oss;
239b0d29bc4SBrooks Davis }
240b0d29bc4SBrooks Davis
241b0d29bc4SBrooks Davis
242b0d29bc4SBrooks Davis /// Returns the formatted string.
243b0d29bc4SBrooks Davis ///
244b0d29bc4SBrooks Davis /// \return A string representation of the formatted string.
245b0d29bc4SBrooks Davis const std::string&
str(void) const246b0d29bc4SBrooks Davis format::formatter::str(void) const
247b0d29bc4SBrooks Davis {
248b0d29bc4SBrooks Davis return _expansion;
249b0d29bc4SBrooks Davis }
250b0d29bc4SBrooks Davis
251b0d29bc4SBrooks Davis
252b0d29bc4SBrooks Davis /// Automatic conversion of formatter objects to strings.
253b0d29bc4SBrooks Davis ///
254b0d29bc4SBrooks Davis /// This is provided to allow painless injection of formatter objects into
255b0d29bc4SBrooks Davis /// streams, without having to manually call the str() method.
operator const std::string&(void) const256b0d29bc4SBrooks Davis format::formatter::operator const std::string&(void) const
257b0d29bc4SBrooks Davis {
258b0d29bc4SBrooks Davis return _expansion;
259b0d29bc4SBrooks Davis }
260b0d29bc4SBrooks Davis
261b0d29bc4SBrooks Davis
262b0d29bc4SBrooks Davis /// Specialization of operator% for booleans.
263b0d29bc4SBrooks Davis ///
264b0d29bc4SBrooks Davis /// \param value The boolean to inject into the format string.
265b0d29bc4SBrooks Davis ///
266b0d29bc4SBrooks Davis /// \return A new formatter that has one less format placeholder.
267b0d29bc4SBrooks Davis format::formatter
operator %(const bool & value) const268b0d29bc4SBrooks Davis format::formatter::operator%(const bool& value) const
269b0d29bc4SBrooks Davis {
270b0d29bc4SBrooks Davis (*_oss) << (value ? "true" : "false");
271b0d29bc4SBrooks Davis return replace(_oss->str());
272b0d29bc4SBrooks Davis }
273b0d29bc4SBrooks Davis
274b0d29bc4SBrooks Davis
275b0d29bc4SBrooks Davis /// Replaces the first formatting placeholder with a value.
276b0d29bc4SBrooks Davis ///
277b0d29bc4SBrooks Davis /// \param arg The replacement string.
278b0d29bc4SBrooks Davis ///
279b0d29bc4SBrooks Davis /// \return A new formatter in which the first formatting placeholder has been
280b0d29bc4SBrooks Davis /// replaced by arg and is ready to replace the next item.
281b0d29bc4SBrooks Davis ///
282b0d29bc4SBrooks Davis /// \throw utils::format::extra_args_error If there are no more formatting
283b0d29bc4SBrooks Davis /// placeholders in the input string, or if the placeholder is invalid.
284b0d29bc4SBrooks Davis format::formatter
replace(const std::string & arg) const285b0d29bc4SBrooks Davis format::formatter::replace(const std::string& arg) const
286b0d29bc4SBrooks Davis {
287b0d29bc4SBrooks Davis if (_placeholder_pos == _expansion.length())
288b0d29bc4SBrooks Davis throw format::extra_args_error(_format, arg);
289b0d29bc4SBrooks Davis
290b0d29bc4SBrooks Davis const std::string expansion = _expansion.substr(0, _placeholder_pos)
291b0d29bc4SBrooks Davis + arg + _expansion.substr(_placeholder_pos + _placeholder.length());
292b0d29bc4SBrooks Davis return formatter(_format, expansion, _placeholder_pos + arg.length());
293b0d29bc4SBrooks Davis }
294