2012-10-08 14:25:05 +02:00
|
|
|
#ifndef utf8_hh_INCLUDED
|
|
|
|
#define utf8_hh_INCLUDED
|
|
|
|
|
2013-04-09 20:05:40 +02:00
|
|
|
#include "assert.hh"
|
2012-10-09 19:15:05 +02:00
|
|
|
#include "unicode.hh"
|
2012-10-27 13:26:40 +02:00
|
|
|
#include "units.hh"
|
2013-04-09 20:05:40 +02:00
|
|
|
|
|
|
|
#include <cstddef>
|
2012-10-09 14:29:37 +02:00
|
|
|
|
2012-10-08 14:25:05 +02:00
|
|
|
namespace Kakoune
|
|
|
|
{
|
|
|
|
|
|
|
|
namespace utf8
|
|
|
|
{
|
|
|
|
|
2015-09-25 14:19:21 +02:00
|
|
|
template<typename Iterator>
|
|
|
|
[[gnu::always_inline]]
|
2017-04-23 13:47:26 +02:00
|
|
|
inline char read(Iterator& it) noexcept { char c = *it; ++it; return c; }
|
2015-09-25 14:19:21 +02:00
|
|
|
|
2016-07-15 21:19:44 +02:00
|
|
|
// return true if it points to the first byte of a (either single or
|
|
|
|
// multibyte) character
|
|
|
|
[[gnu::always_inline]]
|
2017-04-23 13:47:26 +02:00
|
|
|
inline bool is_character_start(char c) noexcept
|
2016-07-15 21:19:44 +02:00
|
|
|
{
|
|
|
|
return (c & 0xC0) != 0x80;
|
|
|
|
}
|
|
|
|
|
2014-07-02 22:14:01 +02:00
|
|
|
namespace InvalidPolicy
|
2012-10-13 18:31:29 +02:00
|
|
|
{
|
|
|
|
|
2012-10-17 17:01:51 +02:00
|
|
|
struct Assert
|
2012-10-13 18:31:29 +02:00
|
|
|
{
|
2014-07-02 22:14:01 +02:00
|
|
|
Codepoint operator()(Codepoint cp) const { kak_assert(false); return cp; }
|
2012-10-13 18:31:29 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
struct Pass
|
|
|
|
{
|
2017-04-23 13:47:26 +02:00
|
|
|
Codepoint operator()(Codepoint cp) const noexcept { return cp; }
|
2012-10-13 18:31:29 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
}
|
|
|
|
|
2012-10-08 14:25:05 +02:00
|
|
|
// returns the codepoint of the character whose first byte
|
|
|
|
// is pointed by it
|
2014-10-13 20:54:40 +02:00
|
|
|
template<typename InvalidPolicy = utf8::InvalidPolicy::Pass,
|
2012-10-13 18:31:29 +02:00
|
|
|
typename Iterator>
|
2015-09-25 00:00:47 +02:00
|
|
|
Codepoint read_codepoint(Iterator& it, const Iterator& end)
|
2017-04-23 13:47:26 +02:00
|
|
|
noexcept(noexcept(InvalidPolicy{}(0)))
|
2012-10-08 14:25:05 +02:00
|
|
|
{
|
2014-07-02 22:14:01 +02:00
|
|
|
if (it == end)
|
|
|
|
return InvalidPolicy{}(-1);
|
2012-10-08 14:25:05 +02:00
|
|
|
// According to rfc3629, UTF-8 allows only up to 4 bytes.
|
|
|
|
// (21 bits codepoint)
|
2015-09-25 14:19:21 +02:00
|
|
|
unsigned char byte = read(it);
|
2017-04-20 17:18:49 +02:00
|
|
|
if ((byte & 0x80) == 0) // 0xxxxxxx
|
2014-07-02 22:14:01 +02:00
|
|
|
return byte;
|
|
|
|
|
|
|
|
if (it == end)
|
|
|
|
return InvalidPolicy{}(byte);
|
|
|
|
|
|
|
|
if ((byte & 0xE0) == 0xC0) // 110xxxxx
|
2015-09-25 14:19:21 +02:00
|
|
|
return ((byte & 0x1F) << 6) | (read(it) & 0x3F);
|
2014-07-02 22:14:01 +02:00
|
|
|
|
|
|
|
if ((byte & 0xF0) == 0xE0) // 1110xxxx
|
2012-10-08 14:25:05 +02:00
|
|
|
{
|
2015-09-25 14:19:21 +02:00
|
|
|
Codepoint cp = ((byte & 0x0F) << 12) | ((read(it) & 0x3F) << 6);
|
2014-07-02 22:14:01 +02:00
|
|
|
if (it == end)
|
|
|
|
return InvalidPolicy{}(cp);
|
2015-09-25 14:19:21 +02:00
|
|
|
return cp | (read(it) & 0x3F);
|
2012-10-08 14:25:05 +02:00
|
|
|
}
|
2014-07-02 22:14:01 +02:00
|
|
|
|
|
|
|
if ((byte & 0xF8) == 0xF0) // 11110xxx
|
2012-10-08 14:25:05 +02:00
|
|
|
{
|
2015-09-25 14:19:21 +02:00
|
|
|
Codepoint cp = ((byte & 0x0F) << 18) | ((read(it) & 0x3F) << 12);
|
2014-07-02 22:14:01 +02:00
|
|
|
if (it == end)
|
|
|
|
return InvalidPolicy{}(cp);
|
2015-09-25 14:19:21 +02:00
|
|
|
cp |= (read(it) & 0x3F) << 6;
|
2014-07-02 22:14:01 +02:00
|
|
|
if (it == end)
|
|
|
|
return InvalidPolicy{}(cp);
|
2015-09-25 14:19:21 +02:00
|
|
|
return cp | (read(it) & 0x3F);
|
2012-10-08 14:25:05 +02:00
|
|
|
}
|
2014-07-02 22:14:01 +02:00
|
|
|
return InvalidPolicy{}(byte);
|
2012-10-08 14:25:05 +02:00
|
|
|
}
|
|
|
|
|
2015-09-25 00:00:47 +02:00
|
|
|
template<typename InvalidPolicy = utf8::InvalidPolicy::Pass,
|
|
|
|
typename Iterator>
|
|
|
|
Codepoint codepoint(Iterator it, const Iterator& end)
|
2017-04-23 13:47:26 +02:00
|
|
|
noexcept(noexcept(read_codepoint<InvalidPolicy>(it, end)))
|
2015-09-25 00:00:47 +02:00
|
|
|
{
|
2017-04-23 13:47:26 +02:00
|
|
|
return read_codepoint<InvalidPolicy>(it, end);
|
2015-09-25 00:00:47 +02:00
|
|
|
}
|
|
|
|
|
2014-10-13 20:54:40 +02:00
|
|
|
template<typename InvalidPolicy = utf8::InvalidPolicy::Pass>
|
2014-07-02 22:14:01 +02:00
|
|
|
ByteCount codepoint_size(char byte)
|
2017-04-23 13:47:26 +02:00
|
|
|
noexcept(noexcept(InvalidPolicy{}(0)))
|
2013-05-30 18:49:50 +02:00
|
|
|
{
|
2017-04-20 17:18:49 +02:00
|
|
|
if ((byte & 0x80) == 0) // 0xxxxxxx
|
2013-05-30 18:49:50 +02:00
|
|
|
return 1;
|
|
|
|
else if ((byte & 0xE0) == 0xC0) // 110xxxxx
|
|
|
|
return 2;
|
|
|
|
else if ((byte & 0xF0) == 0xE0) // 1110xxxx
|
|
|
|
return 3;
|
|
|
|
else if ((byte & 0xF8) == 0xF0) // 11110xxx
|
|
|
|
return 4;
|
|
|
|
else
|
|
|
|
{
|
|
|
|
InvalidPolicy{}(byte);
|
2014-10-13 20:54:40 +02:00
|
|
|
return 1;
|
2013-05-30 18:49:50 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-10-09 14:29:37 +02:00
|
|
|
struct invalid_codepoint{};
|
|
|
|
|
2016-02-05 10:13:07 +01:00
|
|
|
inline ByteCount codepoint_size(Codepoint cp)
|
|
|
|
{
|
|
|
|
if (cp <= 0x7F)
|
|
|
|
return 1;
|
|
|
|
else if (cp <= 0x7FF)
|
|
|
|
return 2;
|
|
|
|
else if (cp <= 0xFFFF)
|
|
|
|
return 3;
|
|
|
|
else if (cp <= 0x10FFFF)
|
|
|
|
return 4;
|
|
|
|
else
|
|
|
|
throw invalid_codepoint{};
|
|
|
|
}
|
|
|
|
|
2016-09-22 21:36:26 +02:00
|
|
|
template<typename Iterator>
|
2017-04-23 13:47:26 +02:00
|
|
|
void to_next(Iterator& it, const Iterator& end) noexcept
|
2016-09-22 21:36:26 +02:00
|
|
|
{
|
2017-04-20 17:18:49 +02:00
|
|
|
if (it != end)
|
|
|
|
++it;
|
|
|
|
while (it != end and not is_character_start(*it))
|
|
|
|
++it;
|
2016-09-22 21:36:26 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
// returns an iterator to next character first byte
|
|
|
|
template<typename Iterator>
|
2017-04-23 13:47:26 +02:00
|
|
|
Iterator next(Iterator it, const Iterator& end) noexcept
|
2016-09-22 21:36:26 +02:00
|
|
|
{
|
|
|
|
to_next(it, end);
|
|
|
|
return it;
|
|
|
|
}
|
|
|
|
|
|
|
|
// returns it's parameter if it points to a character first byte,
|
|
|
|
// or else returns next character first byte
|
|
|
|
template<typename Iterator>
|
2017-04-23 13:47:26 +02:00
|
|
|
Iterator finish(Iterator it, const Iterator& end) noexcept
|
2016-09-22 21:36:26 +02:00
|
|
|
{
|
|
|
|
while (it != end and (*(it) & 0xC0) == 0x80)
|
|
|
|
++it;
|
|
|
|
return it;
|
|
|
|
}
|
|
|
|
|
|
|
|
template<typename Iterator>
|
2017-04-23 13:47:26 +02:00
|
|
|
void to_previous(Iterator& it, const Iterator& begin) noexcept
|
2016-09-22 21:36:26 +02:00
|
|
|
{
|
2017-04-20 17:18:49 +02:00
|
|
|
if (it != begin)
|
|
|
|
--it;
|
|
|
|
while (not is_character_start(*it))
|
|
|
|
--it;
|
2016-09-22 21:36:26 +02:00
|
|
|
}
|
|
|
|
// returns an iterator to the previous character first byte
|
|
|
|
template<typename Iterator>
|
2017-04-23 13:47:26 +02:00
|
|
|
Iterator previous(Iterator it, const Iterator& begin) noexcept
|
2016-09-22 21:36:26 +02:00
|
|
|
{
|
|
|
|
to_previous(it, begin);
|
|
|
|
return it;
|
|
|
|
}
|
|
|
|
|
|
|
|
// returns an iterator pointing to the first byte of the
|
|
|
|
// dth character after (or before if d < 0) the character
|
|
|
|
// pointed by it
|
|
|
|
template<typename Iterator>
|
2017-04-23 13:47:26 +02:00
|
|
|
Iterator advance(Iterator it, const Iterator& end, CharCount d) noexcept
|
2016-09-22 21:36:26 +02:00
|
|
|
{
|
|
|
|
if (it == end)
|
|
|
|
return it;
|
|
|
|
|
|
|
|
if (d < 0)
|
|
|
|
{
|
2017-04-20 17:18:49 +02:00
|
|
|
while (it != end and d++ != 0)
|
|
|
|
to_previous(it, end);
|
2016-09-22 21:36:26 +02:00
|
|
|
}
|
|
|
|
else if (d > 0)
|
|
|
|
{
|
2017-04-20 17:18:49 +02:00
|
|
|
while (it != end and d-- != 0)
|
|
|
|
to_next(it, end);
|
2016-09-22 21:36:26 +02:00
|
|
|
}
|
|
|
|
return it;
|
|
|
|
}
|
|
|
|
|
|
|
|
// returns an iterator pointing to the first byte of the
|
|
|
|
// character at the dth column after (or before if d < 0)
|
|
|
|
// the character pointed by it
|
|
|
|
template<typename Iterator>
|
2017-04-23 13:47:26 +02:00
|
|
|
Iterator advance(Iterator it, const Iterator& end, ColumnCount d) noexcept
|
2016-09-22 21:36:26 +02:00
|
|
|
{
|
|
|
|
if (it == end)
|
|
|
|
return it;
|
|
|
|
|
|
|
|
if (d < 0)
|
|
|
|
{
|
|
|
|
while (it != end and d < 0)
|
|
|
|
{
|
|
|
|
auto cur = it;
|
|
|
|
to_previous(it, end);
|
2016-09-25 11:55:57 +02:00
|
|
|
d += codepoint_width(codepoint(it, cur));
|
2016-09-22 21:36:26 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
else if (d > 0)
|
|
|
|
{
|
|
|
|
auto begin = it;
|
|
|
|
while (it != end and d > 0)
|
|
|
|
{
|
2016-09-25 11:55:57 +02:00
|
|
|
d -= codepoint_width(read_codepoint(it, end));
|
2016-09-22 21:36:26 +02:00
|
|
|
if (it != end and d < 0)
|
|
|
|
to_previous(it, begin);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return it;
|
|
|
|
}
|
|
|
|
|
|
|
|
// returns the character count between begin and end
|
|
|
|
template<typename Iterator>
|
2017-04-23 13:47:26 +02:00
|
|
|
CharCount distance(Iterator begin, const Iterator& end) noexcept
|
2016-09-22 21:36:26 +02:00
|
|
|
{
|
|
|
|
CharCount dist = 0;
|
|
|
|
|
|
|
|
while (begin != end)
|
|
|
|
{
|
|
|
|
if (is_character_start(read(begin)))
|
|
|
|
++dist;
|
|
|
|
}
|
|
|
|
return dist;
|
|
|
|
}
|
|
|
|
|
|
|
|
// returns the column count between begin and end
|
|
|
|
template<typename Iterator>
|
2017-04-23 13:47:26 +02:00
|
|
|
ColumnCount column_distance(Iterator begin, const Iterator& end) noexcept
|
2016-09-22 21:36:26 +02:00
|
|
|
{
|
|
|
|
ColumnCount dist = 0;
|
|
|
|
|
|
|
|
while (begin != end)
|
2016-09-25 11:55:57 +02:00
|
|
|
dist += codepoint_width(read_codepoint(begin, end));
|
2016-09-22 21:36:26 +02:00
|
|
|
return dist;
|
|
|
|
}
|
|
|
|
|
|
|
|
// returns an iterator to the first byte of the character it is into
|
|
|
|
template<typename Iterator>
|
2017-04-23 13:47:26 +02:00
|
|
|
Iterator character_start(Iterator it, const Iterator& begin) noexcept
|
2016-09-22 21:36:26 +02:00
|
|
|
{
|
|
|
|
while (it != begin and not is_character_start(*it))
|
|
|
|
--it;
|
|
|
|
return it;
|
|
|
|
}
|
|
|
|
|
2012-10-09 14:29:37 +02:00
|
|
|
template<typename OutputIterator>
|
2013-02-27 21:36:28 +01:00
|
|
|
void dump(OutputIterator&& it, Codepoint cp)
|
2012-10-09 14:29:37 +02:00
|
|
|
{
|
|
|
|
if (cp <= 0x7F)
|
|
|
|
*it++ = cp;
|
|
|
|
else if (cp <= 0x7FF)
|
|
|
|
{
|
|
|
|
*it++ = 0xC0 | (cp >> 6);
|
|
|
|
*it++ = 0x80 | (cp & 0x3F);
|
|
|
|
}
|
|
|
|
else if (cp <= 0xFFFF)
|
|
|
|
{
|
|
|
|
*it++ = 0xE0 | (cp >> 12);
|
|
|
|
*it++ = 0x80 | ((cp >> 6) & 0x3F);
|
|
|
|
*it++ = 0x80 | (cp & 0x3F);
|
|
|
|
}
|
|
|
|
else if (cp <= 0x10FFFF)
|
|
|
|
{
|
|
|
|
*it++ = 0xF0 | (cp >> 18);
|
|
|
|
*it++ = 0x80 | ((cp >> 12) & 0x3F);
|
|
|
|
*it++ = 0x80 | ((cp >> 6) & 0x3F);
|
|
|
|
*it++ = 0x80 | (cp & 0x3F);
|
|
|
|
}
|
|
|
|
else
|
|
|
|
throw invalid_codepoint{};
|
|
|
|
}
|
|
|
|
|
2012-10-08 14:25:05 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
#endif // utf8_hh_INCLUDED
|