| 1 | // ---------------------------------------------------------------------------- |
| 2 | // format_implementation.hpp Implementation of the basic_format class |
| 3 | // ---------------------------------------------------------------------------- |
| 4 | |
| 5 | // Copyright Samuel Krempp 2003. Use, modification, and distribution are |
| 6 | // subject to the Boost Software License, Version 1.0. (See accompanying |
| 7 | // file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt) |
| 8 | |
| 9 | // See http://www.boost.org/libs/format for library home page |
| 10 | |
| 11 | |
| 12 | // ---------------------------------------------------------------------------- |
| 13 | |
| 14 | #ifndef BOOST_FORMAT_IMPLEMENTATION_HPP |
| 15 | #define BOOST_FORMAT_IMPLEMENTATION_HPP |
| 16 | |
| 17 | #include <boost/config.hpp> |
| 18 | #include <boost/throw_exception.hpp> |
| 19 | #include <boost/assert.hpp> |
| 20 | #include <boost/format/format_class.hpp> |
| 21 | #include <algorithm> // std::swap |
| 22 | |
| 23 | namespace boost { |
| 24 | |
| 25 | // --- basic_format implementation -----------------------------------------// |
| 26 | |
| 27 | template< class Ch, class Tr, class Alloc> |
| 28 | basic_format<Ch, Tr, Alloc>:: basic_format(const Ch* s) |
| 29 | : style_(0), cur_arg_(0), num_args_(0), dumped_(false), |
| 30 | exceptions_(io::all_error_bits) |
| 31 | { |
| 32 | if( s) |
| 33 | parse( s ); |
| 34 | } |
| 35 | |
| 36 | #if !defined(BOOST_NO_STD_LOCALE) |
| 37 | template< class Ch, class Tr, class Alloc> |
| 38 | basic_format<Ch, Tr, Alloc>:: basic_format(const Ch* s, const std::locale & loc) |
| 39 | : style_(0), cur_arg_(0), num_args_(0), dumped_(false), |
| 40 | exceptions_(io::all_error_bits), loc_(loc) |
| 41 | { |
| 42 | if(s) parse( s ); |
| 43 | } |
| 44 | |
| 45 | template< class Ch, class Tr, class Alloc> |
| 46 | basic_format<Ch, Tr, Alloc>:: basic_format(const string_type& s, const std::locale & loc) |
| 47 | : style_(0), cur_arg_(0), num_args_(0), dumped_(false), |
| 48 | exceptions_(io::all_error_bits), loc_(loc) |
| 49 | { |
| 50 | parse(s); |
| 51 | } |
| 52 | #endif // ! BOOST_NO_STD_LOCALE |
| 53 | template< class Ch, class Tr, class Alloc> |
| 54 | io::detail::locale_t basic_format<Ch, Tr, Alloc>:: |
| 55 | getloc() const { |
| 56 | return loc_ ? loc_.get() : io::detail::locale_t(); |
| 57 | } |
| 58 | |
| 59 | template< class Ch, class Tr, class Alloc> |
| 60 | basic_format<Ch, Tr, Alloc>:: basic_format(const string_type& s) |
| 61 | : style_(0), cur_arg_(0), num_args_(0), dumped_(false), |
| 62 | exceptions_(io::all_error_bits) |
| 63 | { |
| 64 | parse(s); |
| 65 | } |
| 66 | |
| 67 | template< class Ch, class Tr, class Alloc> // just don't copy the buf_ member |
| 68 | basic_format<Ch, Tr, Alloc>:: basic_format(const basic_format& x) |
| 69 | : items_(x.items_), bound_(x.bound_), style_(x.style_), |
| 70 | cur_arg_(x.cur_arg_), num_args_(x.num_args_), dumped_(x.dumped_), |
| 71 | prefix_(x.prefix_), exceptions_(x.exceptions_), loc_(x.loc_) |
| 72 | { |
| 73 | } |
| 74 | |
| 75 | template< class Ch, class Tr, class Alloc> // just don't copy the buf_ member |
| 76 | basic_format<Ch, Tr, Alloc>& basic_format<Ch, Tr, Alloc>:: |
| 77 | operator= (const basic_format& x) { |
| 78 | if(this == &x) |
| 79 | return *this; |
| 80 | (basic_format<Ch, Tr, Alloc>(x)).swap(*this); |
| 81 | return *this; |
| 82 | } |
| 83 | template< class Ch, class Tr, class Alloc> |
| 84 | void basic_format<Ch, Tr, Alloc>:: |
| 85 | swap (basic_format & x) { |
| 86 | std::swap(exceptions_, x.exceptions_); |
| 87 | std::swap(style_, x.style_); |
| 88 | std::swap(cur_arg_, x.cur_arg_); |
| 89 | std::swap(num_args_, x.num_args_); |
| 90 | std::swap(dumped_, x.dumped_); |
| 91 | |
| 92 | items_.swap(x.items_); |
| 93 | prefix_.swap(x.prefix_); |
| 94 | bound_.swap(x.bound_); |
| 95 | } |
| 96 | |
| 97 | template< class Ch, class Tr, class Alloc> |
| 98 | unsigned char basic_format<Ch,Tr, Alloc>:: exceptions() const { |
| 99 | return exceptions_; |
| 100 | } |
| 101 | |
| 102 | template< class Ch, class Tr, class Alloc> |
| 103 | unsigned char basic_format<Ch,Tr, Alloc>:: exceptions(unsigned char newexcept) { |
| 104 | unsigned char swp = exceptions_; |
| 105 | exceptions_ = newexcept; |
| 106 | return swp; |
| 107 | } |
| 108 | |
| 109 | template<class Ch, class Tr, class Alloc> |
| 110 | void basic_format<Ch, Tr, Alloc>:: |
| 111 | make_or_reuse_data (std::size_t nbitems) { |
| 112 | #if !defined(BOOST_NO_STD_LOCALE) |
| 113 | Ch fill = ( BOOST_USE_FACET(std::ctype<Ch>, getloc()) ). widen(' '); |
| 114 | #else |
| 115 | Ch fill = ' '; |
| 116 | #endif |
| 117 | if(items_.size() == 0) |
| 118 | items_.assign( nbitems, format_item_t(fill) ); |
| 119 | else { |
| 120 | if(nbitems>items_.size()) |
| 121 | items_.resize(nbitems, format_item_t(fill)); |
| 122 | bound_.resize(new_size: 0); |
| 123 | for(std::size_t i=0; i < nbitems; ++i) |
| 124 | items_[i].reset(fill); // strings are resized, instead of reallocated |
| 125 | } |
| 126 | prefix_.resize(0); |
| 127 | } |
| 128 | |
| 129 | template< class Ch, class Tr, class Alloc> |
| 130 | basic_format<Ch,Tr, Alloc>& basic_format<Ch,Tr, Alloc>:: |
| 131 | clear () { |
| 132 | // empty the string buffers (except bound arguments) |
| 133 | // and make the format object ready for formatting a new set of arguments |
| 134 | |
| 135 | BOOST_ASSERT( bound_.size()==0 || num_args_ == static_cast<int>(bound_.size()) ); |
| 136 | |
| 137 | for(unsigned long i=0; i<items_.size(); ++i) { |
| 138 | // clear converted strings only if the corresponding argument is not bound : |
| 139 | if( bound_.size()==0 || items_[i].argN_<0 || !bound_[ items_[i].argN_ ] ) |
| 140 | items_[i].res_.resize(0); |
| 141 | } |
| 142 | cur_arg_=0; dumped_=false; |
| 143 | // maybe first arg is bound: |
| 144 | if(bound_.size() != 0) { |
| 145 | for(; cur_arg_ < num_args_ && bound_[cur_arg_]; ++cur_arg_) |
| 146 | {} |
| 147 | } |
| 148 | return *this; |
| 149 | } |
| 150 | |
| 151 | template< class Ch, class Tr, class Alloc> |
| 152 | basic_format<Ch,Tr, Alloc>& basic_format<Ch,Tr, Alloc>:: |
| 153 | clear_binds () { |
| 154 | // remove all binds, then clear() |
| 155 | bound_.resize(new_size: 0); |
| 156 | clear(); |
| 157 | return *this; |
| 158 | } |
| 159 | |
| 160 | template< class Ch, class Tr, class Alloc> |
| 161 | basic_format<Ch,Tr, Alloc>& basic_format<Ch,Tr, Alloc>:: |
| 162 | clear_bind (int argN) { |
| 163 | // remove the bind of ONE argument then clear() |
| 164 | if(argN<1 || argN > num_args_ || bound_.size()==0 || !bound_[argN-1] ) { |
| 165 | if( exceptions() & io::out_of_range_bit) |
| 166 | boost::throw_exception(e: io::out_of_range(argN, 1, num_args_+1 ) ); |
| 167 | else return *this; |
| 168 | } |
| 169 | bound_[argN-1]=false; |
| 170 | clear(); |
| 171 | return *this; |
| 172 | } |
| 173 | |
| 174 | template< class Ch, class Tr, class Alloc> |
| 175 | int basic_format<Ch,Tr, Alloc>:: |
| 176 | bound_args() const { |
| 177 | if(bound_.size()==0) |
| 178 | return 0; |
| 179 | int n=0; |
| 180 | for(int i=0; i<num_args_ ; ++i) |
| 181 | if(bound_[i]) |
| 182 | ++n; |
| 183 | return n; |
| 184 | } |
| 185 | |
| 186 | template< class Ch, class Tr, class Alloc> |
| 187 | int basic_format<Ch,Tr, Alloc>:: |
| 188 | fed_args() const { |
| 189 | if(bound_.size()==0) |
| 190 | return cur_arg_; |
| 191 | int n=0; |
| 192 | for(int i=0; i<cur_arg_ ; ++i) |
| 193 | if(!bound_[i]) |
| 194 | ++n; |
| 195 | return n; |
| 196 | } |
| 197 | |
| 198 | template< class Ch, class Tr, class Alloc> |
| 199 | int basic_format<Ch,Tr, Alloc>:: |
| 200 | cur_arg() const { |
| 201 | return cur_arg_+1; } |
| 202 | |
| 203 | template< class Ch, class Tr, class Alloc> |
| 204 | int basic_format<Ch,Tr, Alloc>:: |
| 205 | remaining_args() const { |
| 206 | if(bound_.size()==0) |
| 207 | return num_args_-cur_arg_; |
| 208 | int n=0; |
| 209 | for(int i=cur_arg_; i<num_args_ ; ++i) |
| 210 | if(!bound_[i]) |
| 211 | ++n; |
| 212 | return n; |
| 213 | } |
| 214 | |
| 215 | template< class Ch, class Tr, class Alloc> |
| 216 | typename basic_format<Ch, Tr, Alloc>::string_type |
| 217 | basic_format<Ch,Tr, Alloc>:: |
| 218 | str () const { |
| 219 | if(items_.size()==0) |
| 220 | return prefix_; |
| 221 | if( cur_arg_ < num_args_) |
| 222 | if( exceptions() & io::too_few_args_bit ) |
| 223 | // not enough variables supplied |
| 224 | boost::throw_exception(e: io::too_few_args(cur_arg_, num_args_)); |
| 225 | |
| 226 | unsigned long i; |
| 227 | string_type res; |
| 228 | res.reserve(size()); |
| 229 | res += prefix_; |
| 230 | for(i=0; i < items_.size(); ++i) { |
| 231 | const format_item_t& item = items_[i]; |
| 232 | res += item.res_; |
| 233 | if( item.argN_ == format_item_t::argN_tabulation) { |
| 234 | BOOST_ASSERT( item.pad_scheme_ & format_item_t::tabulation); |
| 235 | if( static_cast<size_type>(item.fmtstate_.width_) > res.size() ) |
| 236 | res.append( static_cast<size_type>(item.fmtstate_.width_) - res.size(), |
| 237 | item.fmtstate_.fill_ ); |
| 238 | } |
| 239 | res += item.appendix_; |
| 240 | } |
| 241 | dumped_=true; |
| 242 | return res; |
| 243 | } |
| 244 | template< class Ch, class Tr, class Alloc> |
| 245 | typename std::basic_string<Ch, Tr, Alloc>::size_type basic_format<Ch,Tr, Alloc>:: |
| 246 | size () const { |
| 247 | #ifdef BOOST_MSVC |
| 248 | // If std::min<unsigned> or std::max<unsigned> are already instantiated |
| 249 | // at this point then we get a blizzard of warning messages when we call |
| 250 | // those templates with std::size_t as arguments. Weird and very annoyning... |
| 251 | #pragma warning(push) |
| 252 | #pragma warning(disable:4267) |
| 253 | #endif |
| 254 | BOOST_USING_STD_MAX(); |
| 255 | size_type sz = prefix_.size(); |
| 256 | unsigned long i; |
| 257 | for(i=0; i < items_.size(); ++i) { |
| 258 | const format_item_t& item = items_[i]; |
| 259 | sz += item.res_.size(); |
| 260 | if( item.argN_ == format_item_t::argN_tabulation) |
| 261 | sz = max BOOST_PREVENT_MACRO_SUBSTITUTION (sz, |
| 262 | static_cast<size_type>(item.fmtstate_.width_) ); |
| 263 | sz += item.appendix_.size(); |
| 264 | } |
| 265 | return sz; |
| 266 | #ifdef BOOST_MSVC |
| 267 | #pragma warning(pop) |
| 268 | #endif |
| 269 | } |
| 270 | |
| 271 | namespace io { |
| 272 | namespace detail { |
| 273 | |
| 274 | template<class Ch, class Tr, class Alloc, class T> |
| 275 | basic_format<Ch, Tr, Alloc>& |
| 276 | bind_arg_body (basic_format<Ch, Tr, Alloc>& self, int argN, const T& val) { |
| 277 | // bind one argument to a fixed value |
| 278 | // this is persistent over clear() calls, thus also over str() and << |
| 279 | if(self.dumped_) |
| 280 | self.clear(); // needed because we will modify cur_arg_ |
| 281 | if(argN<1 || argN > self.num_args_) { |
| 282 | if( self.exceptions() & io::out_of_range_bit ) |
| 283 | boost::throw_exception(e: io::out_of_range(argN, 1, self.num_args_+1 ) ); |
| 284 | else return self; |
| 285 | } |
| 286 | if(self.bound_.size()==0) |
| 287 | self.bound_.assign(self.num_args_,false); |
| 288 | else |
| 289 | BOOST_ASSERT( self.num_args_ == static_cast<signed int>(self.bound_.size()) ); |
| 290 | int o_cur_arg = self.cur_arg_; |
| 291 | self.cur_arg_ = argN-1; // arrays begin at 0 |
| 292 | |
| 293 | self.bound_[self.cur_arg_]=false; // if already set, we unset and re-sets.. |
| 294 | self.operator%(val); // put val at the right place, because cur_arg is set |
| 295 | |
| 296 | |
| 297 | // Now re-position cur_arg before leaving : |
| 298 | self.cur_arg_ = o_cur_arg; |
| 299 | self.bound_[argN-1]=true; |
| 300 | if(self.cur_arg_ == argN-1 ) { |
| 301 | // hum, now this arg is bound, so move to next free arg |
| 302 | while(self.cur_arg_ < self.num_args_ && self.bound_[self.cur_arg_]) |
| 303 | ++self.cur_arg_; |
| 304 | } |
| 305 | // In any case, we either have all args, or are on an unbound arg : |
| 306 | BOOST_ASSERT( self.cur_arg_ >= self.num_args_ || ! self.bound_[self.cur_arg_]); |
| 307 | return self; |
| 308 | } |
| 309 | |
| 310 | template<class Ch, class Tr, class Alloc, class T> basic_format<Ch, Tr, Alloc>& |
| 311 | modify_item_body (basic_format<Ch, Tr, Alloc>& self, int itemN, T manipulator) { |
| 312 | // applies a manipulator to the format_item describing a given directive. |
| 313 | // this is a permanent change, clear or reset won't cancel that. |
| 314 | if(itemN<1 || itemN > static_cast<signed int>(self.items_.size() )) { |
| 315 | if( self.exceptions() & io::out_of_range_bit ) |
| 316 | boost::throw_exception(e: io::out_of_range(itemN, 1, static_cast<int>(self.items_.size()) )); |
| 317 | else return self; |
| 318 | } |
| 319 | self.items_[itemN-1].fmtstate_. template apply_manip<T> ( manipulator ); |
| 320 | return self; |
| 321 | } |
| 322 | |
| 323 | } // namespace detail |
| 324 | } // namespace io |
| 325 | } // namespace boost |
| 326 | |
| 327 | |
| 328 | |
| 329 | #endif // BOOST_FORMAT_IMPLEMENTATION_HPP |
| 330 | |