pikotools/src/convert
Tomasz Sowa c0838de3a4
use a char32_t character in the base Stream class
Add an operator<<(char32_t) to the Stream class, char32_t will be used
as a main character instead of a wchar_t (this is needed on systems
where sizeof(wchar_t) is equal to 2).

while here:
- add to utf8:
  size_t wide_to_int(const Stream & stream, size_t stream_index, int & res, bool & correct)
  template<typename StreamType, typename OutputFunction> bool wide_to_output_function(StreamType & buffer, OutputFunction output_function, int mode = 1)
  template<typename OutputFunction> bool wide_to_output_function_by_index(const Stream & stream, OutputFunction output_function, int mode)
- add to convert/misc:
  bool try_esc_to_tex(char32_t c, pt::Stream & out)
  bool try_esc_to_html(char32_t c, pt::Stream & out)
2024-05-31 23:11:11 +02:00
..
baseparser.cpp add a virtual dctor to BaseParser() 2022-12-23 04:38:03 +01:00
baseparser.h add a virtual dctor to BaseParser() 2022-12-23 04:38:03 +01:00
convert.h allow to parse a time decimal fraction in ParseTime() method 2022-12-23 02:15:11 +01:00
double.cpp set 2-Clause BSD licence in *.cpp files 2022-06-30 13:44:21 +02:00
double.h allow to parse a time decimal fraction in ParseTime() method 2022-12-23 02:15:11 +01:00
inttostr.cpp set 2-Clause BSD licence in *.cpp files 2022-06-30 13:44:21 +02:00
inttostr.h change headerfile_picotools_* macros to headerfile_pikotools_* 2022-06-30 12:45:08 +02:00
misc.cpp use a char32_t character in the base Stream class 2024-05-31 23:11:11 +02:00
misc.h use a char32_t character in the base Stream class 2024-05-31 23:11:11 +02:00
patternreplacer.h fix: rename Toul -> to_ul in PatternReplacer 2022-11-16 16:14:16 +01:00
strtoint.h rename functions for converting strings to integers to snake case 2022-11-14 03:20:17 +01:00
text.cpp add methods for trimming \r\n from the end of a string 2022-07-30 02:43:29 +02:00
text.h add methods for trimming \r\n from the end of a string 2022-07-30 02:43:29 +02:00
text_private.h add methods for trimming \r\n from the end of a string 2022-07-30 02:43:29 +02:00