1 // Debug-mode error formatting implementation -*- C++ -*-
3 // Copyright (C) 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012
4 // Free Software Foundation, Inc.
6 // This file is part of the GNU ISO C++ Library. This library is free
7 // software; you can redistribute it and/or modify it under the
8 // terms of the GNU General Public License as published by the
9 // Free Software Foundation; either version 3, or (at your option)
12 // This library is distributed in the hope that it will be useful,
13 // but WITHOUT ANY WARRANTY; without even the implied warranty of
14 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 // GNU General Public License for more details.
17 // Under Section 7 of GPL version 3, you are granted additional
18 // permissions described in the GCC Runtime Library Exception, version
19 // 3.1, as published by the Free Software Foundation.
21 // You should have received a copy of the GNU General Public License and
22 // a copy of the GCC Runtime Library Exception along with this program;
23 // see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
24 // <http://www.gnu.org/licenses/>.
26 /** @file debug/formatter.h
27 * This file is a GNU debug extension to the Standard C++ Library.
30 #ifndef _GLIBCXX_DEBUG_FORMATTER_H
31 #define _GLIBCXX_DEBUG_FORMATTER_H 1
33 #include <bits/c++config.h>
34 #include <bits/cpp_type_traits.h>
41 template<typename _Iterator
>
42 bool __check_singular(_Iterator
&);
44 class _Safe_sequence_base
;
46 template<typename _Iterator
, typename _Sequence
>
49 template<typename _Iterator
, typename _Sequence
>
50 class _Safe_local_iterator
;
52 template<typename _Sequence
>
59 __msg_insert_singular
,
60 __msg_insert_different
,
62 __msg_erase_different
,
66 __msg_unpartitioned_pred
,
72 __msg_bad_bitset_write
,
73 __msg_bad_bitset_read
,
74 __msg_bad_bitset_flip
,
83 __msg_init_copy_singular
,
84 __msg_init_const_singular
,
89 __msg_iter_subscript_oob
,
92 __msg_iter_compare_bad
,
93 __msg_compare_different
,
95 __msg_order_different
,
97 __msg_distance_different
,
102 __msg_output_ostream
,
103 // istreambuf_iterator
104 __msg_deref_istreambuf
,
105 __msg_inc_istreambuf
,
107 __msg_insert_after_end
,
108 __msg_erase_after_bad
,
110 // unordered container local iterators
111 __msg_local_iter_compare_bad
,
112 __msg_non_empty_range
,
114 __msg_self_move_assign
,
115 // unordered container buckets
116 __msg_bucket_index_oob
,
117 __msg_valid_load_factor
120 class _Error_formatter
122 /// Whether an iterator is constant, mutable, or unknown
131 // The state of the iterator (fine-grained), if we know it.
135 __singular
, // singular, may still be attached to a sequence
136 __begin
, // dereferenceable, and at the beginning
137 __middle
, // dereferenceable, not at the beginning
138 __end
, // past-the-end, may be at beginning if sequence empty
139 __before_begin
, // before begin
143 // Tags denoting the type of parameter for construction
144 struct _Is_iterator
{ };
145 struct _Is_sequence
{ };
147 // A parameter that may be referenced by an error message
161 // When _M_kind == __iterator
165 const void* _M_address
;
166 const type_info
* _M_type
;
167 _Constness _M_constness
;
168 _Iterator_state _M_state
;
169 const void* _M_sequence
;
170 const type_info
* _M_seq_type
;
173 // When _M_kind == __sequence
177 const void* _M_address
;
178 const type_info
* _M_type
;
181 // When _M_kind == __integer
188 // When _M_kind == __string
192 const char* _M_value
;
196 _Parameter() : _M_kind(__unused_param
), _M_variant() { }
198 _Parameter(long __value
, const char* __name
)
199 : _M_kind(__integer
), _M_variant()
201 _M_variant
._M_integer
._M_name
= __name
;
202 _M_variant
._M_integer
._M_value
= __value
;
205 _Parameter(const char* __value
, const char* __name
)
206 : _M_kind(__string
), _M_variant()
208 _M_variant
._M_string
._M_name
= __name
;
209 _M_variant
._M_string
._M_value
= __value
;
212 template<typename _Iterator
, typename _Sequence
>
213 _Parameter(const _Safe_iterator
<_Iterator
, _Sequence
>& __it
,
214 const char* __name
, _Is_iterator
)
215 : _M_kind(__iterator
), _M_variant()
217 _M_variant
._M_iterator
._M_name
= __name
;
218 _M_variant
._M_iterator
._M_address
= &__it
;
220 _M_variant
._M_iterator
._M_type
= &typeid(__it
);
222 _M_variant
._M_iterator
._M_type
= 0;
224 _M_variant
._M_iterator
._M_constness
=
225 std::__are_same
<_Safe_iterator
<_Iterator
, _Sequence
>,
226 typename
_Sequence::iterator
>::
227 __value
? __mutable_iterator
: __const_iterator
;
228 _M_variant
._M_iterator
._M_sequence
= __it
._M_get_sequence();
230 _M_variant
._M_iterator
._M_seq_type
= &typeid(_Sequence
);
232 _M_variant
._M_iterator
._M_seq_type
= 0;
235 if (__it
._M_singular())
236 _M_variant
._M_iterator
._M_state
= __singular
;
239 if (__it
._M_is_before_begin())
240 _M_variant
._M_iterator
._M_state
= __before_begin
;
241 else if (__it
._M_is_end())
242 _M_variant
._M_iterator
._M_state
= __end
;
243 else if (__it
._M_is_begin())
244 _M_variant
._M_iterator
._M_state
= __begin
;
246 _M_variant
._M_iterator
._M_state
= __middle
;
250 template<typename _Iterator
, typename _Sequence
>
251 _Parameter(const _Safe_local_iterator
<_Iterator
, _Sequence
>& __it
,
252 const char* __name
, _Is_iterator
)
253 : _M_kind(__iterator
), _M_variant()
255 _M_variant
._M_iterator
._M_name
= __name
;
256 _M_variant
._M_iterator
._M_address
= &__it
;
258 _M_variant
._M_iterator
._M_type
= &typeid(__it
);
260 _M_variant
._M_iterator
._M_type
= 0;
262 _M_variant
._M_iterator
._M_constness
=
263 std::__are_same
<_Safe_local_iterator
<_Iterator
, _Sequence
>,
264 typename
_Sequence::local_iterator
>::
265 __value
? __mutable_iterator
: __const_iterator
;
266 _M_variant
._M_iterator
._M_sequence
= __it
._M_get_sequence();
268 _M_variant
._M_iterator
._M_seq_type
= &typeid(_Sequence
);
270 _M_variant
._M_iterator
._M_seq_type
= 0;
273 if (__it
._M_singular())
274 _M_variant
._M_iterator
._M_state
= __singular
;
277 if (__it
._M_is_end())
278 _M_variant
._M_iterator
._M_state
= __end
;
279 else if (__it
._M_is_begin())
280 _M_variant
._M_iterator
._M_state
= __begin
;
282 _M_variant
._M_iterator
._M_state
= __middle
;
286 template<typename _Type
>
287 _Parameter(const _Type
*& __it
, const char* __name
, _Is_iterator
)
288 : _M_kind(__iterator
), _M_variant()
290 _M_variant
._M_iterator
._M_name
= __name
;
291 _M_variant
._M_iterator
._M_address
= &__it
;
293 _M_variant
._M_iterator
._M_type
= &typeid(__it
);
295 _M_variant
._M_iterator
._M_type
= 0;
297 _M_variant
._M_iterator
._M_constness
= __mutable_iterator
;
298 _M_variant
._M_iterator
._M_state
= __it
? __unknown_state
: __singular
;
299 _M_variant
._M_iterator
._M_sequence
= 0;
300 _M_variant
._M_iterator
._M_seq_type
= 0;
303 template<typename _Type
>
304 _Parameter(_Type
*& __it
, const char* __name
, _Is_iterator
)
305 : _M_kind(__iterator
), _M_variant()
307 _M_variant
._M_iterator
._M_name
= __name
;
308 _M_variant
._M_iterator
._M_address
= &__it
;
310 _M_variant
._M_iterator
._M_type
= &typeid(__it
);
312 _M_variant
._M_iterator
._M_type
= 0;
314 _M_variant
._M_iterator
._M_constness
= __const_iterator
;
315 _M_variant
._M_iterator
._M_state
= __it
? __unknown_state
: __singular
;
316 _M_variant
._M_iterator
._M_sequence
= 0;
317 _M_variant
._M_iterator
._M_seq_type
= 0;
320 template<typename _Iterator
>
321 _Parameter(const _Iterator
& __it
, const char* __name
, _Is_iterator
)
322 : _M_kind(__iterator
), _M_variant()
324 _M_variant
._M_iterator
._M_name
= __name
;
325 _M_variant
._M_iterator
._M_address
= &__it
;
327 _M_variant
._M_iterator
._M_type
= &typeid(__it
);
329 _M_variant
._M_iterator
._M_type
= 0;
331 _M_variant
._M_iterator
._M_constness
= __unknown_constness
;
332 _M_variant
._M_iterator
._M_state
=
333 __gnu_debug::__check_singular(__it
)? __singular
: __unknown_state
;
334 _M_variant
._M_iterator
._M_sequence
= 0;
335 _M_variant
._M_iterator
._M_seq_type
= 0;
338 template<typename _Sequence
>
339 _Parameter(const _Safe_sequence
<_Sequence
>& __seq
,
340 const char* __name
, _Is_sequence
)
341 : _M_kind(__sequence
), _M_variant()
343 _M_variant
._M_sequence
._M_name
= __name
;
344 _M_variant
._M_sequence
._M_address
=
345 static_cast<const _Sequence
*>(&__seq
);
347 _M_variant
._M_sequence
._M_type
= &typeid(_Sequence
);
349 _M_variant
._M_sequence
._M_type
= 0;
353 template<typename _Sequence
>
354 _Parameter(const _Sequence
& __seq
, const char* __name
, _Is_sequence
)
355 : _M_kind(__sequence
), _M_variant()
357 _M_variant
._M_sequence
._M_name
= __name
;
358 _M_variant
._M_sequence
._M_address
= &__seq
;
360 _M_variant
._M_sequence
._M_type
= &typeid(_Sequence
);
362 _M_variant
._M_sequence
._M_type
= 0;
367 _M_print_field(const _Error_formatter
* __formatter
,
368 const char* __name
) const;
371 _M_print_description(const _Error_formatter
* __formatter
) const;
374 friend struct _Parameter
;
377 template<typename _Iterator
>
378 const _Error_formatter
&
379 _M_iterator(const _Iterator
& __it
, const char* __name
= 0) const
381 if (_M_num_parameters
< std::size_t(__max_parameters
))
382 _M_parameters
[_M_num_parameters
++] = _Parameter(__it
, __name
,
387 const _Error_formatter
&
388 _M_integer(long __value
, const char* __name
= 0) const
390 if (_M_num_parameters
< std::size_t(__max_parameters
))
391 _M_parameters
[_M_num_parameters
++] = _Parameter(__value
, __name
);
395 const _Error_formatter
&
396 _M_string(const char* __value
, const char* __name
= 0) const
398 if (_M_num_parameters
< std::size_t(__max_parameters
))
399 _M_parameters
[_M_num_parameters
++] = _Parameter(__value
, __name
);
403 template<typename _Sequence
>
404 const _Error_formatter
&
405 _M_sequence(const _Sequence
& __seq
, const char* __name
= 0) const
407 if (_M_num_parameters
< std::size_t(__max_parameters
))
408 _M_parameters
[_M_num_parameters
++] = _Parameter(__seq
, __name
,
413 const _Error_formatter
&
414 _M_message(const char* __text
) const
415 { _M_text
= __text
; return *this; }
417 const _Error_formatter
&
418 _M_message(_Debug_msg_id __id
) const throw ();
420 _GLIBCXX_NORETURN
void
424 _Error_formatter(const char* __file
, std::size_t __line
)
425 : _M_file(__file
), _M_line(__line
), _M_num_parameters(0), _M_text(0),
426 _M_max_length(78), _M_column(1), _M_first_line(true), _M_wordwrap(false)
427 { _M_get_max_length(); }
429 template<typename _Tp
>
431 _M_format_word(char*, int, const char*, _Tp
) const throw ();
434 _M_print_word(const char* __word
) const;
437 _M_print_string(const char* __string
) const;
440 _M_get_max_length() const throw ();
442 enum { __max_parameters
= 9 };
446 mutable _Parameter _M_parameters
[__max_parameters
];
447 mutable std::size_t _M_num_parameters
;
448 mutable const char* _M_text
;
449 mutable std::size_t _M_max_length
;
450 enum { _M_indent
= 4 } ;
451 mutable std::size_t _M_column
;
452 mutable bool _M_first_line
;
453 mutable bool _M_wordwrap
;
456 static _Error_formatter
457 _M_at(const char* __file
, std::size_t __line
)
458 { return _Error_formatter(__file
, __line
); }
460 } // namespace __gnu_debug