}
-IconvProcessor & utf8ToUcs4()
-{
- static IconvProcessor iconv(ucs4_codeset, "UTF-8");
- return iconv;
-}
-
-
-
void utf8_to_ucs4(string const & utf8, docstring & ucs4)
{
size_t n = utf8.size();
// [+-]? [0-9]* .? [0-9]* ([eE] [+-]? [0-9]+)?
string s;
s.reserve(64);
- char c;
numpunct_facet p;
char const dot = p.decimal_point();
char const sep = p.thousands_sep();