2011-09-21 16:37:09 +02:00
|
|
|
#include "selectors.hh"
|
|
|
|
|
2017-01-01 20:14:18 +01:00
|
|
|
#include "buffer_utils.hh"
|
2014-06-27 20:34:26 +02:00
|
|
|
#include "optional.hh"
|
2017-01-01 20:14:18 +01:00
|
|
|
#include "regex.hh"
|
2012-08-29 21:49:36 +02:00
|
|
|
#include "string.hh"
|
2017-01-01 20:14:18 +01:00
|
|
|
#include "unicode.hh"
|
2016-01-26 08:23:18 +01:00
|
|
|
#include "unit_tests.hh"
|
2017-01-01 20:14:18 +01:00
|
|
|
#include "utf8_iterator.hh"
|
2012-10-08 19:12:09 +02:00
|
|
|
|
2011-09-21 21:09:49 +02:00
|
|
|
#include <algorithm>
|
|
|
|
|
2011-09-21 16:37:09 +02:00
|
|
|
namespace Kakoune
|
|
|
|
{
|
|
|
|
|
2017-01-01 20:14:18 +01:00
|
|
|
using Utf8Iterator = utf8::iterator<BufferIterator>;
|
|
|
|
|
|
|
|
namespace
|
|
|
|
{
|
|
|
|
|
|
|
|
Selection target_eol(Selection sel)
|
|
|
|
{
|
|
|
|
sel.cursor().target = INT_MAX;
|
|
|
|
return sel;
|
|
|
|
}
|
|
|
|
|
|
|
|
Selection utf8_range(const BufferIterator& first, const BufferIterator& last)
|
|
|
|
{
|
|
|
|
return {first.coord(), last.coord()};
|
|
|
|
}
|
|
|
|
|
|
|
|
Selection utf8_range(const Utf8Iterator& first, const Utf8Iterator& last)
|
|
|
|
{
|
|
|
|
return {first.base().coord(), last.base().coord()};
|
|
|
|
}
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
template<WordType word_type>
|
2017-03-03 21:12:52 +01:00
|
|
|
Optional<Selection>
|
|
|
|
select_to_next_word(const Buffer& buffer, const Selection& selection)
|
2017-01-01 20:14:18 +01:00
|
|
|
{
|
|
|
|
Utf8Iterator begin{buffer.iterator_at(selection.cursor()), buffer};
|
|
|
|
if (begin+1 == buffer.end())
|
2017-03-03 21:12:52 +01:00
|
|
|
return {};
|
2017-01-01 20:14:18 +01:00
|
|
|
if (categorize<word_type>(*begin) != categorize<word_type>(*(begin+1)))
|
|
|
|
++begin;
|
|
|
|
|
|
|
|
if (not skip_while(begin, buffer.end(),
|
|
|
|
[](Codepoint c) { return is_eol(c); }))
|
2017-03-03 21:12:52 +01:00
|
|
|
return {};
|
2017-01-01 20:14:18 +01:00
|
|
|
Utf8Iterator end = begin+1;
|
|
|
|
|
|
|
|
if (word_type == Word and is_punctuation(*begin))
|
|
|
|
skip_while(end, buffer.end(), is_punctuation);
|
|
|
|
else if (is_word<word_type>(*begin))
|
|
|
|
skip_while(end, buffer.end(), is_word<word_type>);
|
|
|
|
|
|
|
|
skip_while(end, buffer.end(), is_horizontal_blank);
|
|
|
|
|
|
|
|
return utf8_range(begin, end-1);
|
|
|
|
}
|
2017-03-03 21:12:52 +01:00
|
|
|
template Optional<Selection> select_to_next_word<WordType::Word>(const Buffer&, const Selection&);
|
|
|
|
template Optional<Selection> select_to_next_word<WordType::WORD>(const Buffer&, const Selection&);
|
2017-01-01 20:14:18 +01:00
|
|
|
|
|
|
|
template<WordType word_type>
|
2017-03-03 23:03:20 +01:00
|
|
|
Optional<Selection>
|
|
|
|
select_to_next_word_end(const Buffer& buffer, const Selection& selection)
|
2017-01-01 20:14:18 +01:00
|
|
|
{
|
|
|
|
Utf8Iterator begin{buffer.iterator_at(selection.cursor()), buffer};
|
|
|
|
if (begin+1 == buffer.end())
|
2017-03-03 21:12:52 +01:00
|
|
|
return {};
|
2017-01-01 20:14:18 +01:00
|
|
|
if (categorize<word_type>(*begin) != categorize<word_type>(*(begin+1)))
|
|
|
|
++begin;
|
|
|
|
|
|
|
|
if (not skip_while(begin, buffer.end(),
|
|
|
|
[](Codepoint c) { return is_eol(c); }))
|
2017-03-03 21:12:52 +01:00
|
|
|
return {};
|
2017-01-01 20:14:18 +01:00
|
|
|
Utf8Iterator end = begin;
|
|
|
|
skip_while(end, buffer.end(), is_horizontal_blank);
|
|
|
|
|
|
|
|
if (word_type == Word and is_punctuation(*end))
|
|
|
|
skip_while(end, buffer.end(), is_punctuation);
|
|
|
|
else if (is_word<word_type>(*end))
|
|
|
|
skip_while(end, buffer.end(), is_word<word_type>);
|
|
|
|
|
|
|
|
return utf8_range(begin, end-1);
|
|
|
|
}
|
2017-03-03 21:12:52 +01:00
|
|
|
template Optional<Selection> select_to_next_word_end<WordType::Word>(const Buffer&, const Selection&);
|
|
|
|
template Optional<Selection> select_to_next_word_end<WordType::WORD>(const Buffer&, const Selection&);
|
2017-01-01 20:14:18 +01:00
|
|
|
|
|
|
|
template<WordType word_type>
|
2017-03-03 21:12:52 +01:00
|
|
|
Optional<Selection>
|
|
|
|
select_to_previous_word(const Buffer& buffer, const Selection& selection)
|
2017-01-01 20:14:18 +01:00
|
|
|
{
|
|
|
|
Utf8Iterator begin{buffer.iterator_at(selection.cursor()), buffer};
|
|
|
|
if (begin == buffer.begin())
|
2017-03-03 21:12:52 +01:00
|
|
|
return {};
|
2017-01-01 20:14:18 +01:00
|
|
|
if (categorize<word_type>(*begin) != categorize<word_type>(*(begin-1)))
|
|
|
|
--begin;
|
|
|
|
|
|
|
|
skip_while_reverse(begin, buffer.begin(), [](Codepoint c){ return is_eol(c); });
|
|
|
|
Utf8Iterator end = begin;
|
|
|
|
|
|
|
|
bool with_end = skip_while_reverse(end, buffer.begin(), is_horizontal_blank);
|
|
|
|
if (word_type == Word and is_punctuation(*end))
|
|
|
|
with_end = skip_while_reverse(end, buffer.begin(), is_punctuation);
|
|
|
|
|
|
|
|
else if (is_word<word_type>(*end))
|
|
|
|
with_end = skip_while_reverse(end, buffer.begin(), is_word<word_type>);
|
|
|
|
|
|
|
|
return utf8_range(begin, with_end ? end : end+1);
|
|
|
|
}
|
2017-03-03 21:12:52 +01:00
|
|
|
template Optional<Selection> select_to_previous_word<WordType::Word>(const Buffer&, const Selection&);
|
|
|
|
template Optional<Selection> select_to_previous_word<WordType::WORD>(const Buffer&, const Selection&);
|
2017-01-01 20:14:18 +01:00
|
|
|
|
|
|
|
template<WordType word_type>
|
2017-03-03 21:12:52 +01:00
|
|
|
Optional<Selection>
|
|
|
|
select_word(const Buffer& buffer, const Selection& selection,
|
|
|
|
int count, ObjectFlags flags)
|
2017-01-01 20:14:18 +01:00
|
|
|
{
|
|
|
|
Utf8Iterator first{buffer.iterator_at(selection.cursor()), buffer};
|
2017-03-04 18:43:44 +01:00
|
|
|
if (not is_word<word_type>(*first))
|
2017-03-03 21:12:52 +01:00
|
|
|
return {};
|
2017-01-01 20:14:18 +01:00
|
|
|
|
|
|
|
Utf8Iterator last = first;
|
|
|
|
if (flags & ObjectFlags::ToBegin)
|
|
|
|
{
|
|
|
|
skip_while_reverse(first, buffer.begin(), is_word<word_type>);
|
|
|
|
if (not is_word<word_type>(*first))
|
|
|
|
++first;
|
|
|
|
}
|
|
|
|
if (flags & ObjectFlags::ToEnd)
|
|
|
|
{
|
|
|
|
skip_while(last, buffer.end(), is_word<word_type>);
|
|
|
|
if (not (flags & ObjectFlags::Inner))
|
|
|
|
skip_while(last, buffer.end(), is_horizontal_blank);
|
|
|
|
--last;
|
|
|
|
}
|
|
|
|
return (flags & ObjectFlags::ToEnd) ? utf8_range(first, last)
|
|
|
|
: utf8_range(last, first);
|
|
|
|
}
|
2017-03-03 21:12:52 +01:00
|
|
|
template Optional<Selection> select_word<WordType::Word>(const Buffer&, const Selection&, int, ObjectFlags);
|
|
|
|
template Optional<Selection> select_word<WordType::WORD>(const Buffer&, const Selection&, int, ObjectFlags);
|
2017-01-01 20:14:18 +01:00
|
|
|
|
2017-03-03 21:12:52 +01:00
|
|
|
Optional<Selection>
|
|
|
|
select_line(const Buffer& buffer, const Selection& selection)
|
2011-09-21 16:37:09 +02:00
|
|
|
{
|
2015-09-23 20:39:21 +02:00
|
|
|
Utf8Iterator first{buffer.iterator_at(selection.cursor()), buffer};
|
2013-06-04 18:53:56 +02:00
|
|
|
if (*first == '\n' and first + 1 != buffer.end())
|
2011-10-27 20:57:31 +02:00
|
|
|
++first;
|
|
|
|
|
2013-06-04 18:53:56 +02:00
|
|
|
while (first != buffer.begin() and *(first - 1) != '\n')
|
2011-09-23 11:17:19 +02:00
|
|
|
--first;
|
|
|
|
|
2012-10-08 19:12:09 +02:00
|
|
|
Utf8Iterator last = first;
|
2013-06-04 18:53:56 +02:00
|
|
|
while (last + 1 != buffer.end() and *last != '\n')
|
2011-09-23 11:17:19 +02:00
|
|
|
++last;
|
2014-09-10 00:41:32 +02:00
|
|
|
return target_eol(utf8_range(first, last));
|
2011-09-21 16:37:09 +02:00
|
|
|
}
|
|
|
|
|
2017-01-01 20:14:18 +01:00
|
|
|
template<bool only_move>
|
2017-03-03 21:12:52 +01:00
|
|
|
Optional<Selection>
|
|
|
|
select_to_line_end(const Buffer& buffer, const Selection& selection)
|
2017-01-01 20:14:18 +01:00
|
|
|
{
|
|
|
|
BufferCoord begin = selection.cursor();
|
|
|
|
LineCount line = begin.line;
|
|
|
|
BufferCoord end = utf8::previous(buffer.iterator_at({line, buffer[line].length() - 1}),
|
|
|
|
buffer.iterator_at(line)).coord();
|
|
|
|
if (end < begin) // Do not go backward when cursor is on eol
|
|
|
|
end = begin;
|
|
|
|
return target_eol({only_move ? end : begin, end});
|
|
|
|
}
|
2017-03-03 21:12:52 +01:00
|
|
|
template Optional<Selection> select_to_line_end<false>(const Buffer&, const Selection&);
|
|
|
|
template Optional<Selection> select_to_line_end<true>(const Buffer&, const Selection&);
|
2017-01-01 20:14:18 +01:00
|
|
|
|
|
|
|
template<bool only_move>
|
2017-03-03 21:12:52 +01:00
|
|
|
Optional<Selection>
|
|
|
|
select_to_line_begin(const Buffer& buffer, const Selection& selection)
|
2017-01-01 20:14:18 +01:00
|
|
|
{
|
|
|
|
BufferCoord begin = selection.cursor();
|
|
|
|
BufferCoord end = begin.line;
|
2017-03-03 21:12:52 +01:00
|
|
|
return Selection{only_move ? end : begin, end};
|
2017-01-01 20:14:18 +01:00
|
|
|
}
|
2017-03-03 21:12:52 +01:00
|
|
|
template Optional<Selection> select_to_line_begin<false>(const Buffer&, const Selection&);
|
|
|
|
template Optional<Selection> select_to_line_begin<true>(const Buffer&, const Selection&);
|
2017-01-01 20:14:18 +01:00
|
|
|
|
2017-03-03 21:12:52 +01:00
|
|
|
Optional<Selection>
|
|
|
|
select_to_first_non_blank(const Buffer& buffer, const Selection& selection)
|
2017-01-23 00:53:08 +01:00
|
|
|
{
|
|
|
|
auto it = buffer.iterator_at(selection.cursor().line);
|
|
|
|
skip_while(it, buffer.iterator_at(selection.cursor().line+1),
|
|
|
|
is_horizontal_blank);
|
|
|
|
return {it.coord()};
|
|
|
|
}
|
|
|
|
|
2017-03-03 21:12:52 +01:00
|
|
|
Optional<Selection>
|
|
|
|
select_matching(const Buffer& buffer, const Selection& selection)
|
2011-09-21 21:09:49 +02:00
|
|
|
{
|
2015-01-12 14:58:41 +01:00
|
|
|
Vector<Codepoint> matching_pairs = { '(', ')', '{', '}', '[', ']', '<', '>' };
|
2015-09-23 20:39:21 +02:00
|
|
|
Utf8Iterator it{buffer.iterator_at(selection.cursor()), buffer};
|
2017-01-08 23:30:15 +01:00
|
|
|
auto match = matching_pairs.end();
|
2011-09-21 21:09:49 +02:00
|
|
|
while (not is_eol(*it))
|
|
|
|
{
|
|
|
|
match = std::find(matching_pairs.begin(), matching_pairs.end(), *it);
|
|
|
|
if (match != matching_pairs.end())
|
|
|
|
break;
|
|
|
|
++it;
|
|
|
|
}
|
|
|
|
if (match == matching_pairs.end())
|
2017-03-03 21:12:52 +01:00
|
|
|
return {};
|
2011-09-21 21:09:49 +02:00
|
|
|
|
2012-10-08 19:12:09 +02:00
|
|
|
Utf8Iterator begin = it;
|
2011-09-21 21:09:49 +02:00
|
|
|
|
|
|
|
if (((match - matching_pairs.begin()) % 2) == 0)
|
|
|
|
{
|
|
|
|
int level = 0;
|
2012-10-11 01:17:29 +02:00
|
|
|
const Codepoint opening = *match;
|
|
|
|
const Codepoint closing = *(match+1);
|
2013-06-04 18:53:56 +02:00
|
|
|
while (it != buffer.end())
|
2011-09-21 21:09:49 +02:00
|
|
|
{
|
|
|
|
if (*it == opening)
|
|
|
|
++level;
|
|
|
|
else if (*it == closing and --level == 0)
|
2013-04-22 14:18:49 +02:00
|
|
|
return utf8_range(begin, it);
|
2011-09-21 21:09:49 +02:00
|
|
|
++it;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
|
|
|
int level = 0;
|
2012-10-11 01:17:29 +02:00
|
|
|
const Codepoint opening = *(match-1);
|
|
|
|
const Codepoint closing = *match;
|
2012-12-27 13:41:45 +01:00
|
|
|
while (true)
|
2011-09-21 21:09:49 +02:00
|
|
|
{
|
|
|
|
if (*it == closing)
|
|
|
|
++level;
|
|
|
|
else if (*it == opening and --level == 0)
|
2013-04-22 14:18:49 +02:00
|
|
|
return utf8_range(begin, it);
|
2013-06-04 18:53:56 +02:00
|
|
|
if (it == buffer.begin())
|
2012-12-27 13:41:45 +01:00
|
|
|
break;
|
2011-09-21 21:09:49 +02:00
|
|
|
--it;
|
|
|
|
}
|
|
|
|
}
|
2017-03-03 21:12:52 +01:00
|
|
|
return {};
|
2011-09-21 21:09:49 +02:00
|
|
|
}
|
|
|
|
|
2016-01-27 09:28:25 +01:00
|
|
|
template<typename Iterator, typename Container>
|
|
|
|
Optional<Iterator> find_closing(Iterator pos, Iterator end,
|
|
|
|
Container opening, Container closing,
|
|
|
|
int init_level, bool nestable)
|
|
|
|
{
|
|
|
|
const auto opening_len = opening.end() - opening.begin();
|
|
|
|
const auto closing_len = closing.end() - closing.begin();
|
|
|
|
|
|
|
|
int level = nestable ? init_level : 0;
|
|
|
|
|
|
|
|
if (end - pos >= opening_len and
|
|
|
|
std::equal(opening.begin(), opening.end(), pos))
|
|
|
|
pos += opening_len;
|
|
|
|
|
|
|
|
while (pos != end)
|
|
|
|
{
|
|
|
|
auto close = std::search(pos, end, closing.begin(), closing.end());
|
|
|
|
if (close == end)
|
|
|
|
return {};
|
|
|
|
|
|
|
|
if (nestable)
|
|
|
|
{
|
|
|
|
for (auto open = pos; open != close; open += opening_len)
|
|
|
|
{
|
|
|
|
open = std::search(open, close, opening.begin(), opening.end());
|
|
|
|
if (open == close)
|
|
|
|
break;
|
|
|
|
++level;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
pos = close + closing_len;
|
|
|
|
if (level == 0)
|
|
|
|
return pos-1;
|
|
|
|
--level;
|
|
|
|
}
|
|
|
|
return {};
|
|
|
|
}
|
|
|
|
|
2016-01-26 08:23:18 +01:00
|
|
|
template<typename Iterator>
|
|
|
|
Optional<std::pair<Iterator, Iterator>>
|
|
|
|
find_surrounding(Iterator begin, Iterator end,
|
2016-01-27 09:28:25 +01:00
|
|
|
Iterator pos, StringView opening, StringView closing,
|
2016-01-26 08:23:18 +01:00
|
|
|
ObjectFlags flags, int init_level)
|
2012-01-04 15:18:08 +01:00
|
|
|
{
|
2013-05-15 14:24:09 +02:00
|
|
|
const bool to_begin = flags & ObjectFlags::ToBegin;
|
|
|
|
const bool to_end = flags & ObjectFlags::ToEnd;
|
2016-01-27 09:28:25 +01:00
|
|
|
const bool nestable = opening != closing;
|
|
|
|
|
|
|
|
auto first = pos;
|
2013-01-07 18:53:27 +01:00
|
|
|
if (to_begin)
|
2012-01-04 15:18:08 +01:00
|
|
|
{
|
2016-01-27 09:28:25 +01:00
|
|
|
using RevIt = std::reverse_iterator<Iterator>;
|
|
|
|
auto res = find_closing(RevIt{pos+1}, RevIt{begin},
|
2016-03-08 22:35:56 +01:00
|
|
|
closing | reverse(), opening | reverse(),
|
2016-01-27 09:28:25 +01:00
|
|
|
init_level, nestable);
|
|
|
|
if (not res)
|
2016-01-26 08:23:18 +01:00
|
|
|
return {};
|
2016-01-27 09:28:25 +01:00
|
|
|
|
|
|
|
first = res->base() - 1;
|
2012-01-04 15:18:08 +01:00
|
|
|
}
|
|
|
|
|
2016-01-27 09:28:25 +01:00
|
|
|
auto last = pos;
|
2013-01-07 18:53:27 +01:00
|
|
|
if (to_end)
|
2012-01-04 15:18:08 +01:00
|
|
|
{
|
2016-01-27 09:28:25 +01:00
|
|
|
auto res = find_closing(pos, end, opening, closing,
|
|
|
|
init_level, nestable);
|
|
|
|
if (not res)
|
2016-01-26 08:23:18 +01:00
|
|
|
return {};
|
2016-01-27 09:28:25 +01:00
|
|
|
|
|
|
|
last = *res;
|
2012-01-04 15:18:08 +01:00
|
|
|
}
|
|
|
|
|
2013-05-15 14:24:09 +02:00
|
|
|
if (flags & ObjectFlags::Inner)
|
2012-01-04 15:18:08 +01:00
|
|
|
{
|
2013-10-08 20:24:56 +02:00
|
|
|
if (to_begin and first != last)
|
2016-01-27 09:28:25 +01:00
|
|
|
first += (int)opening.length();
|
2013-01-07 18:53:27 +01:00
|
|
|
if (to_end and first != last)
|
2016-01-27 09:28:25 +01:00
|
|
|
last -= (int)closing.length();
|
2012-01-04 15:18:08 +01:00
|
|
|
}
|
2016-01-27 09:28:25 +01:00
|
|
|
return to_end ? std::pair<Iterator, Iterator>{first, last}
|
|
|
|
: std::pair<Iterator, Iterator>{last, first};
|
2016-01-26 08:23:18 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
template<typename Container, typename Iterator>
|
|
|
|
Optional<std::pair<Iterator, Iterator>>
|
|
|
|
find_surrounding(const Container& container, Iterator pos,
|
2016-01-27 09:28:25 +01:00
|
|
|
StringView opening, StringView closing,
|
|
|
|
ObjectFlags flags, int init_level)
|
2016-01-26 08:23:18 +01:00
|
|
|
{
|
|
|
|
return find_surrounding(begin(container), end(container), pos,
|
2016-01-27 09:28:25 +01:00
|
|
|
opening, closing, flags, init_level);
|
2013-04-22 14:18:49 +02:00
|
|
|
}
|
|
|
|
|
2017-03-03 21:12:52 +01:00
|
|
|
Optional<Selection>
|
|
|
|
select_surrounding(const Buffer& buffer, const Selection& selection,
|
|
|
|
StringView opening, StringView closing, int level,
|
|
|
|
ObjectFlags flags)
|
2013-04-22 14:18:49 +02:00
|
|
|
{
|
2016-01-27 09:28:25 +01:00
|
|
|
const bool nestable = opening != closing;
|
2014-01-28 20:05:49 +01:00
|
|
|
auto pos = selection.cursor();
|
2014-01-05 15:30:26 +01:00
|
|
|
if (not nestable or flags & ObjectFlags::Inner)
|
|
|
|
{
|
2016-01-26 08:23:18 +01:00
|
|
|
if (auto res = find_surrounding(buffer, buffer.iterator_at(pos),
|
2016-01-27 09:28:25 +01:00
|
|
|
opening, closing, flags, level))
|
2016-01-26 08:23:18 +01:00
|
|
|
return utf8_range(res->first, res->second);
|
2017-03-03 21:12:52 +01:00
|
|
|
return {};
|
2014-01-05 15:30:26 +01:00
|
|
|
}
|
2013-10-08 20:24:56 +02:00
|
|
|
|
2014-01-05 15:30:26 +01:00
|
|
|
auto c = buffer.byte_at(pos);
|
2016-01-27 09:28:25 +01:00
|
|
|
if ((flags == ObjectFlags::ToBegin and c == opening) or
|
|
|
|
(flags == ObjectFlags::ToEnd and c == closing))
|
2013-10-08 20:24:56 +02:00
|
|
|
++level;
|
|
|
|
|
2016-01-26 08:23:18 +01:00
|
|
|
auto res = find_surrounding(buffer, buffer.iterator_at(pos),
|
2016-01-27 09:28:25 +01:00
|
|
|
opening, closing, flags, level);
|
2013-04-22 14:18:49 +02:00
|
|
|
if (not res)
|
2017-03-03 21:12:52 +01:00
|
|
|
return {};
|
2013-04-22 14:18:49 +02:00
|
|
|
|
2016-01-26 08:23:18 +01:00
|
|
|
Selection sel = utf8_range(res->first, res->second);
|
|
|
|
|
2017-03-03 21:12:52 +01:00
|
|
|
if (flags != (ObjectFlags::ToBegin | ObjectFlags::ToEnd) or
|
|
|
|
sel.min() != selection.min() or sel.max() != selection.max())
|
|
|
|
return sel;
|
|
|
|
|
|
|
|
if (auto res_parent = find_surrounding(buffer, buffer.iterator_at(pos),
|
|
|
|
opening, closing, flags, level+1))
|
|
|
|
return utf8_range(res_parent->first, res_parent->second);
|
|
|
|
return {};
|
2012-01-04 15:18:08 +01:00
|
|
|
}
|
|
|
|
|
2017-03-03 21:12:52 +01:00
|
|
|
Optional<Selection>
|
|
|
|
select_to(const Buffer& buffer, const Selection& selection,
|
|
|
|
Codepoint c, int count, bool inclusive)
|
2011-09-22 16:35:28 +02:00
|
|
|
{
|
2015-09-23 20:39:21 +02:00
|
|
|
Utf8Iterator begin{buffer.iterator_at(selection.cursor()), buffer};
|
2012-10-08 19:12:09 +02:00
|
|
|
Utf8Iterator end = begin;
|
2011-09-27 16:27:48 +02:00
|
|
|
do
|
|
|
|
{
|
|
|
|
++end;
|
2013-06-04 18:53:56 +02:00
|
|
|
skip_while(end, buffer.end(), [c](Codepoint cur) { return cur != c; });
|
|
|
|
if (end == buffer.end())
|
2017-03-03 21:12:52 +01:00
|
|
|
return {};
|
2011-09-27 16:27:48 +02:00
|
|
|
}
|
|
|
|
while (--count > 0);
|
|
|
|
|
2013-04-22 14:18:49 +02:00
|
|
|
return utf8_range(begin, inclusive ? end : end-1);
|
2011-09-22 16:35:28 +02:00
|
|
|
}
|
|
|
|
|
2017-03-03 21:12:52 +01:00
|
|
|
Optional<Selection>
|
|
|
|
select_to_reverse(const Buffer& buffer, const Selection& selection,
|
|
|
|
Codepoint c, int count, bool inclusive)
|
2011-10-03 16:29:44 +02:00
|
|
|
{
|
2015-09-23 20:39:21 +02:00
|
|
|
Utf8Iterator begin{buffer.iterator_at(selection.cursor()), buffer};
|
2012-10-08 19:12:09 +02:00
|
|
|
Utf8Iterator end = begin;
|
2011-10-03 16:29:44 +02:00
|
|
|
do
|
|
|
|
{
|
|
|
|
--end;
|
2016-09-19 10:20:55 +02:00
|
|
|
if (skip_while_reverse(end, buffer.begin(),
|
|
|
|
[c](Codepoint cur) { return cur != c; }))
|
2017-03-03 21:12:52 +01:00
|
|
|
return {};
|
2011-10-03 16:29:44 +02:00
|
|
|
}
|
|
|
|
while (--count > 0);
|
|
|
|
|
2013-04-22 14:18:49 +02:00
|
|
|
return utf8_range(begin, inclusive ? end : end+1);
|
2011-10-03 16:29:44 +02:00
|
|
|
}
|
|
|
|
|
2017-03-03 21:12:52 +01:00
|
|
|
Optional<Selection>
|
|
|
|
select_number(const Buffer& buffer, const Selection& selection,
|
|
|
|
int count, ObjectFlags flags)
|
2014-05-27 10:50:12 +02:00
|
|
|
{
|
|
|
|
auto is_number = [&](char c) {
|
|
|
|
return (c >= '0' and c <= '9') or
|
|
|
|
(not (flags & ObjectFlags::Inner) and c == '.');
|
|
|
|
};
|
|
|
|
|
|
|
|
BufferIterator first = buffer.iterator_at(selection.cursor());
|
2015-04-20 14:55:42 +02:00
|
|
|
BufferIterator last = first;
|
2016-08-22 14:52:37 +02:00
|
|
|
|
|
|
|
if (not is_number(*first) and *first != '-')
|
2017-03-03 21:12:52 +01:00
|
|
|
return {};
|
2016-08-22 14:52:37 +02:00
|
|
|
|
2014-05-27 10:50:12 +02:00
|
|
|
if (flags & ObjectFlags::ToBegin)
|
|
|
|
{
|
|
|
|
skip_while_reverse(first, buffer.begin(), is_number);
|
2015-04-20 14:55:42 +02:00
|
|
|
if (not is_number(*first) and *first != '-' and
|
|
|
|
first+1 != buffer.end())
|
2014-05-27 10:50:12 +02:00
|
|
|
++first;
|
|
|
|
}
|
2015-04-20 14:55:42 +02:00
|
|
|
|
2014-05-27 10:50:12 +02:00
|
|
|
if (flags & ObjectFlags::ToEnd)
|
|
|
|
{
|
2016-08-22 14:52:37 +02:00
|
|
|
if (*last == '-')
|
|
|
|
++last;
|
2014-05-27 10:50:12 +02:00
|
|
|
skip_while(last, buffer.end(), is_number);
|
2016-08-22 14:52:37 +02:00
|
|
|
if (last != buffer.begin())
|
|
|
|
--last;
|
2014-05-27 10:50:12 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
return (flags & ObjectFlags::ToEnd) ? Selection{first.coord(), last.coord()}
|
|
|
|
: Selection{last.coord(), first.coord()};
|
|
|
|
}
|
|
|
|
|
2017-03-03 21:12:52 +01:00
|
|
|
Optional<Selection>
|
|
|
|
select_sentence(const Buffer& buffer, const Selection& selection,
|
|
|
|
int count, ObjectFlags flags)
|
2013-04-30 14:21:48 +02:00
|
|
|
{
|
2015-07-02 00:54:17 +02:00
|
|
|
auto is_end_of_sentence = [](char c) {
|
|
|
|
return c == '.' or c == ';' or c == '!' or c == '?';
|
|
|
|
};
|
|
|
|
|
2014-01-28 20:05:49 +01:00
|
|
|
BufferIterator first = buffer.iterator_at(selection.cursor());
|
2014-03-31 22:46:47 +02:00
|
|
|
|
|
|
|
if (not (flags & ObjectFlags::ToEnd))
|
|
|
|
{
|
|
|
|
BufferIterator prev_non_blank = first-1;
|
|
|
|
skip_while_reverse(prev_non_blank, buffer.begin(),
|
2015-04-15 01:34:00 +02:00
|
|
|
[](char c) { return is_horizontal_blank(c) or is_eol(c); });
|
2014-03-31 22:46:47 +02:00
|
|
|
if (is_end_of_sentence(*prev_non_blank))
|
|
|
|
first = prev_non_blank;
|
|
|
|
}
|
|
|
|
|
2013-05-15 14:24:09 +02:00
|
|
|
BufferIterator last = first;
|
2013-04-30 14:21:48 +02:00
|
|
|
|
2013-05-15 14:24:09 +02:00
|
|
|
if (flags & ObjectFlags::ToBegin)
|
2013-04-30 14:21:48 +02:00
|
|
|
{
|
2013-05-15 14:24:09 +02:00
|
|
|
bool saw_non_blank = false;
|
2013-06-04 18:53:56 +02:00
|
|
|
while (first != buffer.begin())
|
2013-04-30 14:21:48 +02:00
|
|
|
{
|
2013-05-15 14:24:09 +02:00
|
|
|
char cur = *first;
|
|
|
|
char prev = *(first-1);
|
2015-04-15 01:34:00 +02:00
|
|
|
if (not is_horizontal_blank(cur))
|
2013-05-15 14:24:09 +02:00
|
|
|
saw_non_blank = true;
|
|
|
|
if (is_eol(prev) and is_eol(cur))
|
|
|
|
{
|
|
|
|
++first;
|
|
|
|
break;
|
|
|
|
}
|
2014-03-30 12:13:37 +02:00
|
|
|
else if (is_end_of_sentence(prev))
|
2013-05-15 14:24:09 +02:00
|
|
|
{
|
|
|
|
if (saw_non_blank)
|
|
|
|
break;
|
|
|
|
else if (flags & ObjectFlags::ToEnd)
|
|
|
|
last = first-1;
|
|
|
|
}
|
|
|
|
--first;
|
2013-04-30 14:21:48 +02:00
|
|
|
}
|
2015-04-15 01:34:00 +02:00
|
|
|
skip_while(first, buffer.end(), is_horizontal_blank);
|
2013-04-30 14:21:48 +02:00
|
|
|
}
|
2013-05-15 14:24:09 +02:00
|
|
|
if (flags & ObjectFlags::ToEnd)
|
2013-04-30 14:21:48 +02:00
|
|
|
{
|
2013-06-04 18:53:56 +02:00
|
|
|
while (last != buffer.end())
|
2013-05-15 14:24:09 +02:00
|
|
|
{
|
|
|
|
char cur = *last;
|
2014-03-30 12:13:37 +02:00
|
|
|
if (is_end_of_sentence(cur) or
|
2013-06-04 18:53:56 +02:00
|
|
|
(is_eol(cur) and (last+1 == buffer.end() or is_eol(*(last+1)))))
|
2013-05-15 14:24:09 +02:00
|
|
|
break;
|
|
|
|
++last;
|
|
|
|
}
|
2013-06-04 18:53:56 +02:00
|
|
|
if (not (flags & ObjectFlags::Inner) and last != buffer.end())
|
2013-05-15 14:24:09 +02:00
|
|
|
{
|
|
|
|
++last;
|
2015-04-15 01:34:00 +02:00
|
|
|
skip_while(last, buffer.end(), is_horizontal_blank);
|
2013-05-15 14:24:09 +02:00
|
|
|
--last;
|
|
|
|
}
|
2013-04-30 14:21:48 +02:00
|
|
|
}
|
2013-06-04 19:23:11 +02:00
|
|
|
return (flags & ObjectFlags::ToEnd) ? Selection{first.coord(), last.coord()}
|
|
|
|
: Selection{last.coord(), first.coord()};
|
2013-04-30 14:21:48 +02:00
|
|
|
}
|
|
|
|
|
2017-03-03 21:12:52 +01:00
|
|
|
Optional<Selection>
|
|
|
|
select_paragraph(const Buffer& buffer, const Selection& selection,
|
|
|
|
int count, ObjectFlags flags)
|
2013-04-30 14:29:18 +02:00
|
|
|
{
|
2014-01-28 20:05:49 +01:00
|
|
|
BufferIterator first = buffer.iterator_at(selection.cursor());
|
2014-03-31 22:46:47 +02:00
|
|
|
|
2016-09-22 21:36:26 +02:00
|
|
|
if (not (flags & ObjectFlags::ToEnd) and first.coord() > BufferCoord{0,1} and
|
2014-03-31 22:46:47 +02:00
|
|
|
*(first-1) == '\n' and *(first-2) == '\n')
|
|
|
|
--first;
|
2014-05-04 12:21:19 +02:00
|
|
|
else if ((flags & ObjectFlags::ToEnd) and
|
|
|
|
first != buffer.begin() and (first+1) != buffer.end() and
|
|
|
|
*(first-1) == '\n' and *first == '\n')
|
|
|
|
++first;
|
2014-03-31 22:46:47 +02:00
|
|
|
|
2013-05-15 14:24:09 +02:00
|
|
|
BufferIterator last = first;
|
2013-04-30 14:29:18 +02:00
|
|
|
|
2014-03-31 22:46:47 +02:00
|
|
|
if ((flags & ObjectFlags::ToBegin) and first != buffer.begin())
|
2013-04-30 14:29:18 +02:00
|
|
|
{
|
2015-12-23 22:43:07 +01:00
|
|
|
skip_while_reverse(first, buffer.begin(),
|
|
|
|
[](Codepoint c){ return is_eol(c); });
|
2013-05-15 14:24:09 +02:00
|
|
|
if (flags & ObjectFlags::ToEnd)
|
|
|
|
last = first;
|
2013-06-04 18:53:56 +02:00
|
|
|
while (first != buffer.begin())
|
2013-04-30 14:29:18 +02:00
|
|
|
{
|
2013-05-15 14:24:09 +02:00
|
|
|
char cur = *first;
|
|
|
|
char prev = *(first-1);
|
|
|
|
if (is_eol(prev) and is_eol(cur))
|
|
|
|
{
|
|
|
|
++first;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
--first;
|
2013-04-30 14:29:18 +02:00
|
|
|
}
|
|
|
|
}
|
2013-05-15 14:24:09 +02:00
|
|
|
if (flags & ObjectFlags::ToEnd)
|
2013-04-30 14:29:18 +02:00
|
|
|
{
|
2014-12-29 13:19:16 +01:00
|
|
|
if (last != buffer.end() and is_eol(*last))
|
2014-03-30 12:13:45 +02:00
|
|
|
++last;
|
2013-06-04 18:53:56 +02:00
|
|
|
while (last != buffer.end())
|
2013-04-30 14:29:18 +02:00
|
|
|
{
|
2014-06-14 15:07:03 +02:00
|
|
|
if (last != buffer.begin() and is_eol(*last) and is_eol(*(last-1)))
|
2013-05-15 14:24:09 +02:00
|
|
|
{
|
|
|
|
if (not (flags & ObjectFlags::Inner))
|
2015-12-23 22:43:07 +01:00
|
|
|
skip_while(last, buffer.end(),
|
|
|
|
[](Codepoint c){ return is_eol(c); });
|
2013-05-15 14:24:09 +02:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
++last;
|
2013-04-30 14:29:18 +02:00
|
|
|
}
|
2013-06-03 14:27:51 +02:00
|
|
|
--last;
|
2013-04-30 14:29:18 +02:00
|
|
|
}
|
2013-06-04 19:23:11 +02:00
|
|
|
return (flags & ObjectFlags::ToEnd) ? Selection{first.coord(), last.coord()}
|
|
|
|
: Selection{last.coord(), first.coord()};
|
2013-04-30 14:29:18 +02:00
|
|
|
}
|
|
|
|
|
2017-03-03 21:12:52 +01:00
|
|
|
Optional<Selection>
|
|
|
|
select_whitespaces(const Buffer& buffer, const Selection& selection,
|
|
|
|
int count, ObjectFlags flags)
|
2014-06-11 15:00:45 +02:00
|
|
|
{
|
|
|
|
auto is_whitespace = [&](char c) {
|
|
|
|
return c == ' ' or c == '\t' or
|
|
|
|
(not (flags & ObjectFlags::Inner) and c == '\n');
|
|
|
|
};
|
|
|
|
BufferIterator first = buffer.iterator_at(selection.cursor());
|
|
|
|
BufferIterator last = first;
|
2017-03-03 21:12:52 +01:00
|
|
|
|
|
|
|
if (not is_whitespace(*first))
|
|
|
|
return {};
|
|
|
|
|
2014-06-11 15:00:45 +02:00
|
|
|
if (flags & ObjectFlags::ToBegin)
|
|
|
|
{
|
|
|
|
if (is_whitespace(*first))
|
|
|
|
{
|
|
|
|
skip_while_reverse(first, buffer.begin(), is_whitespace);
|
|
|
|
if (not is_whitespace(*first))
|
|
|
|
++first;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
if (flags & ObjectFlags::ToEnd)
|
|
|
|
{
|
|
|
|
if (is_whitespace(*last))
|
|
|
|
{
|
|
|
|
skip_while(last, buffer.end(), is_whitespace);
|
|
|
|
--last;
|
|
|
|
}
|
|
|
|
}
|
2015-09-23 20:39:21 +02:00
|
|
|
return (flags & ObjectFlags::ToEnd) ? Selection{first.coord(), last.coord()}
|
|
|
|
: Selection{last.coord(), first.coord()};
|
2014-06-11 15:00:45 +02:00
|
|
|
}
|
|
|
|
|
2017-03-03 21:12:52 +01:00
|
|
|
Optional<Selection>
|
|
|
|
select_indent(const Buffer& buffer, const Selection& selection,
|
|
|
|
int count, ObjectFlags flags)
|
2014-10-02 00:41:06 +02:00
|
|
|
{
|
2015-07-02 00:54:17 +02:00
|
|
|
auto get_indent = [](StringView str, int tabstop) {
|
|
|
|
CharCount indent = 0;
|
|
|
|
for (auto& c : str)
|
|
|
|
{
|
|
|
|
if (c == ' ')
|
|
|
|
++indent;
|
|
|
|
else if (c =='\t')
|
|
|
|
indent = (indent / tabstop + 1) * tabstop;
|
|
|
|
else
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
return indent;
|
|
|
|
};
|
2014-10-02 00:41:06 +02:00
|
|
|
|
2015-07-02 00:54:17 +02:00
|
|
|
auto is_only_whitespaces = [](StringView str) {
|
|
|
|
auto it = str.begin();
|
|
|
|
skip_while(it, str.end(),
|
|
|
|
[](char c){ return c == ' ' or c == '\t' or c == '\n'; });
|
|
|
|
return it == str.end();
|
|
|
|
};
|
2014-05-26 22:33:31 +02:00
|
|
|
|
2017-03-03 23:03:20 +01:00
|
|
|
const bool to_begin = flags & ObjectFlags::ToBegin;
|
|
|
|
const bool to_end = flags & ObjectFlags::ToEnd;
|
|
|
|
|
2013-07-22 19:58:16 +02:00
|
|
|
int tabstop = buffer.options()["tabstop"].get<int>();
|
2017-03-03 23:03:20 +01:00
|
|
|
auto pos = selection.cursor();
|
|
|
|
LineCount line = pos.line;
|
2013-07-22 19:58:16 +02:00
|
|
|
auto indent = get_indent(buffer[line], tabstop);
|
|
|
|
|
|
|
|
LineCount begin_line = line - 1;
|
2017-03-03 23:03:20 +01:00
|
|
|
if (to_begin)
|
2013-07-22 19:58:16 +02:00
|
|
|
{
|
2014-10-07 10:15:32 +02:00
|
|
|
while (begin_line >= 0 and (buffer[begin_line] == StringView{"\n"} or
|
|
|
|
get_indent(buffer[begin_line], tabstop) >= indent))
|
2013-07-22 19:58:16 +02:00
|
|
|
--begin_line;
|
|
|
|
}
|
|
|
|
++begin_line;
|
|
|
|
LineCount end_line = line + 1;
|
2017-03-03 23:03:20 +01:00
|
|
|
if (to_end)
|
2013-07-22 19:58:16 +02:00
|
|
|
{
|
2014-05-26 22:33:31 +02:00
|
|
|
const LineCount end = buffer.line_count();
|
2014-10-07 10:15:32 +02:00
|
|
|
while (end_line < end and (buffer[end_line] == StringView{"\n"} or
|
|
|
|
get_indent(buffer[end_line], tabstop) >= indent))
|
2013-07-22 19:58:16 +02:00
|
|
|
++end_line;
|
|
|
|
}
|
|
|
|
--end_line;
|
2014-05-26 22:33:31 +02:00
|
|
|
// remove only whitespaces lines in inner mode
|
2013-07-27 15:37:28 +02:00
|
|
|
if (flags & ObjectFlags::Inner)
|
|
|
|
{
|
2014-05-26 22:33:31 +02:00
|
|
|
while (begin_line < end_line and
|
|
|
|
is_only_whitespaces(buffer[begin_line]))
|
|
|
|
++begin_line;
|
|
|
|
while (begin_line < end_line and
|
|
|
|
is_only_whitespaces(buffer[end_line]))
|
|
|
|
--end_line;
|
2013-07-27 15:37:28 +02:00
|
|
|
}
|
2017-03-03 23:03:20 +01:00
|
|
|
|
|
|
|
auto first = to_begin ? begin_line : pos;
|
|
|
|
auto last = to_end ? BufferCoord{end_line, buffer[end_line].length() - 1} : pos;
|
|
|
|
return to_end ? Selection{first, last} : Selection{last, first};
|
2013-07-22 19:58:16 +02:00
|
|
|
}
|
|
|
|
|
2017-03-03 21:12:52 +01:00
|
|
|
Optional<Selection>
|
|
|
|
select_argument(const Buffer& buffer, const Selection& selection,
|
|
|
|
int level, ObjectFlags flags)
|
2015-06-25 15:44:43 +02:00
|
|
|
{
|
2015-07-02 14:30:16 +02:00
|
|
|
enum Class { None, Opening, Closing, Delimiter };
|
2015-06-25 15:44:43 +02:00
|
|
|
auto classify = [](Codepoint c) {
|
|
|
|
switch (c)
|
|
|
|
{
|
2015-08-25 15:56:49 +02:00
|
|
|
case '(': case '[': case '{': return Opening;
|
|
|
|
case ')': case ']': case '}': return Closing;
|
2015-07-02 14:30:16 +02:00
|
|
|
case ',': case ';': return Delimiter;
|
2015-06-25 15:44:43 +02:00
|
|
|
default: return None;
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2015-07-02 00:47:22 +02:00
|
|
|
BufferIterator pos = buffer.iterator_at(selection.cursor());
|
2015-07-02 14:30:16 +02:00
|
|
|
switch (classify(*pos))
|
|
|
|
{
|
|
|
|
//case Closing: if (pos+1 != buffer.end()) ++pos; break;
|
|
|
|
case Opening:
|
|
|
|
case Delimiter: if (pos != buffer.begin()) --pos; break;
|
|
|
|
default: break;
|
|
|
|
};
|
|
|
|
|
2015-07-02 00:47:22 +02:00
|
|
|
bool first_arg = false;
|
|
|
|
BufferIterator begin = pos;
|
|
|
|
for (int lev = level; begin != buffer.begin(); --begin)
|
2015-06-25 15:44:43 +02:00
|
|
|
{
|
2015-07-02 14:30:16 +02:00
|
|
|
Class c = classify(*begin);
|
2015-07-02 00:47:22 +02:00
|
|
|
if (c == Closing)
|
|
|
|
++lev;
|
2015-07-02 14:30:16 +02:00
|
|
|
else if (c == Opening and (lev-- == 0))
|
2015-06-25 15:44:43 +02:00
|
|
|
{
|
2015-07-02 14:30:16 +02:00
|
|
|
first_arg = true;
|
|
|
|
++begin;
|
|
|
|
break;
|
2015-06-25 15:44:43 +02:00
|
|
|
}
|
2015-07-02 14:30:16 +02:00
|
|
|
else if (c == Delimiter and lev == 0)
|
2015-07-02 00:47:22 +02:00
|
|
|
{
|
|
|
|
++begin;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
2015-06-25 15:44:43 +02:00
|
|
|
|
2015-07-02 00:47:22 +02:00
|
|
|
bool last_arg = false;
|
|
|
|
BufferIterator end = pos;
|
|
|
|
for (int lev = level; end != buffer.end(); ++end)
|
2015-06-25 15:44:43 +02:00
|
|
|
{
|
2015-07-02 14:30:16 +02:00
|
|
|
Class c = classify(*end);
|
2015-07-02 00:47:22 +02:00
|
|
|
if (c == Opening)
|
|
|
|
++lev;
|
2015-07-02 14:30:16 +02:00
|
|
|
else if (end != pos and c == Closing and (lev-- == 0))
|
2015-06-25 15:44:43 +02:00
|
|
|
{
|
2015-07-02 14:30:16 +02:00
|
|
|
last_arg = true;
|
|
|
|
--end;
|
|
|
|
break;
|
2015-06-25 15:44:43 +02:00
|
|
|
}
|
2015-07-02 14:30:16 +02:00
|
|
|
else if (c == Delimiter and lev == 0)
|
2015-06-25 15:44:43 +02:00
|
|
|
{
|
2015-07-02 14:30:16 +02:00
|
|
|
// include whitespaces *after* the delimiter only for first argument
|
2015-07-02 00:47:22 +02:00
|
|
|
if (first_arg and not (flags & ObjectFlags::Inner))
|
2015-06-25 15:44:43 +02:00
|
|
|
{
|
2015-07-02 00:47:22 +02:00
|
|
|
while (end + 1 != buffer.end() and is_blank(*(end+1)))
|
|
|
|
++end;
|
2015-06-25 15:44:43 +02:00
|
|
|
}
|
2015-07-02 00:47:22 +02:00
|
|
|
break;
|
2015-06-25 15:44:43 +02:00
|
|
|
}
|
2015-07-02 00:47:22 +02:00
|
|
|
}
|
2015-06-25 15:44:43 +02:00
|
|
|
|
|
|
|
if (flags & ObjectFlags::Inner)
|
|
|
|
{
|
2015-07-02 00:47:22 +02:00
|
|
|
if (not last_arg)
|
2015-06-25 15:44:43 +02:00
|
|
|
--end;
|
2015-07-02 00:47:22 +02:00
|
|
|
skip_while(begin, end, is_blank);
|
|
|
|
skip_while_reverse(end, begin, is_blank);
|
2015-06-25 15:44:43 +02:00
|
|
|
}
|
2015-07-02 14:30:16 +02:00
|
|
|
// get starting delimiter for non inner last arg
|
2015-07-02 00:47:22 +02:00
|
|
|
else if (not first_arg and last_arg)
|
|
|
|
--begin;
|
|
|
|
|
|
|
|
if (end == buffer.end())
|
|
|
|
--end;
|
2015-06-25 15:44:43 +02:00
|
|
|
|
|
|
|
if (flags & ObjectFlags::ToBegin and not (flags & ObjectFlags::ToEnd))
|
2017-03-03 21:12:52 +01:00
|
|
|
return Selection{pos.coord(), begin.coord()};
|
|
|
|
return Selection{(flags & ObjectFlags::ToBegin ? begin : pos).coord(),
|
|
|
|
end.coord()};
|
2015-06-25 15:44:43 +02:00
|
|
|
}
|
|
|
|
|
2017-03-03 21:12:52 +01:00
|
|
|
Optional<Selection>
|
|
|
|
select_lines(const Buffer& buffer, const Selection& selection)
|
2011-11-21 19:53:22 +01:00
|
|
|
{
|
2016-09-22 21:36:26 +02:00
|
|
|
BufferCoord anchor = selection.anchor();
|
|
|
|
BufferCoord cursor = selection.cursor();
|
|
|
|
BufferCoord& to_line_start = anchor <= cursor ? anchor : cursor;
|
|
|
|
BufferCoord& to_line_end = anchor <= cursor ? cursor : anchor;
|
2011-11-22 19:58:05 +01:00
|
|
|
|
2015-07-23 22:03:38 +02:00
|
|
|
to_line_start.column = 0;
|
|
|
|
to_line_end.column = buffer[to_line_end.line].length()-1;
|
2011-11-21 19:53:22 +01:00
|
|
|
|
2015-07-23 22:03:38 +02:00
|
|
|
return target_eol({anchor, cursor});
|
2012-02-07 15:26:51 +01:00
|
|
|
}
|
|
|
|
|
2017-03-03 21:12:52 +01:00
|
|
|
Optional<Selection>
|
|
|
|
trim_partial_lines(const Buffer& buffer, const Selection& selection)
|
2013-04-16 14:30:11 +02:00
|
|
|
{
|
2016-09-22 21:36:26 +02:00
|
|
|
BufferCoord anchor = selection.anchor();
|
|
|
|
BufferCoord cursor = selection.cursor();
|
|
|
|
BufferCoord& to_line_start = anchor <= cursor ? anchor : cursor;
|
|
|
|
BufferCoord& to_line_end = anchor <= cursor ? cursor : anchor;
|
2015-07-23 22:03:38 +02:00
|
|
|
|
|
|
|
if (to_line_start.column != 0)
|
|
|
|
to_line_start = to_line_start.line+1;
|
|
|
|
if (to_line_end.column != buffer[to_line_end.line].length()-1)
|
|
|
|
{
|
|
|
|
if (to_line_end.line == 0)
|
2017-03-03 21:12:52 +01:00
|
|
|
return {};
|
2015-07-23 22:03:38 +02:00
|
|
|
|
|
|
|
auto prev_line = to_line_end.line-1;
|
2016-09-22 21:36:26 +02:00
|
|
|
to_line_end = BufferCoord{ prev_line, buffer[prev_line].length()-1 };
|
2015-07-23 22:03:38 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
if (to_line_start > to_line_end)
|
2017-03-03 21:12:52 +01:00
|
|
|
return {};
|
2015-07-23 22:03:38 +02:00
|
|
|
|
|
|
|
return target_eol({anchor, cursor});
|
2013-04-16 14:30:11 +02:00
|
|
|
}
|
|
|
|
|
2014-05-27 01:35:12 +02:00
|
|
|
void select_buffer(SelectionList& selections)
|
2012-02-07 15:26:51 +01:00
|
|
|
{
|
2014-05-25 21:28:32 +02:00
|
|
|
auto& buffer = selections.buffer();
|
2014-09-10 00:41:32 +02:00
|
|
|
selections = SelectionList{ buffer, target_eol({{0,0}, buffer.back_coord()}) };
|
2011-11-21 19:53:22 +01:00
|
|
|
}
|
|
|
|
|
2017-03-04 00:43:54 +01:00
|
|
|
static RegexConstant::match_flag_type
|
|
|
|
match_flags(const Buffer& buf, BufferIterator begin, BufferIterator end)
|
2017-01-01 20:14:18 +01:00
|
|
|
{
|
2017-03-04 00:43:54 +01:00
|
|
|
return match_flags(is_bol(begin.coord()), is_eol(buf, end.coord()),
|
|
|
|
is_bow(buf, begin.coord()), is_eow(buf, end.coord()));
|
|
|
|
}
|
2017-01-01 20:14:18 +01:00
|
|
|
|
2017-03-04 00:43:54 +01:00
|
|
|
static bool find_next(const Buffer& buffer, BufferIterator pos,
|
|
|
|
MatchResults<BufferIterator>& matches,
|
|
|
|
const Regex& ex, bool& wrapped)
|
|
|
|
{
|
|
|
|
if (pos != buffer.end() and
|
|
|
|
regex_search(pos, buffer.end(), matches, ex,
|
|
|
|
match_flags(buffer, pos, buffer.end())))
|
|
|
|
return true;
|
|
|
|
wrapped = true;
|
|
|
|
return regex_search(buffer.begin(), buffer.end(), matches, ex,
|
|
|
|
match_flags(buffer, buffer.begin(), buffer.end()));
|
|
|
|
}
|
|
|
|
|
|
|
|
static bool find_prev(const Buffer& buffer, BufferIterator pos,
|
|
|
|
MatchResults<BufferIterator>& matches,
|
|
|
|
const Regex& ex, bool& wrapped)
|
|
|
|
{
|
|
|
|
auto find_last_match = [&](const BufferIterator& pos) {
|
|
|
|
MatchResults<BufferIterator> m;
|
|
|
|
const bool is_pos_eol = is_eol(buffer, pos.coord());
|
|
|
|
const bool is_pos_eow = is_eow(buffer, pos.coord());
|
|
|
|
auto begin = buffer.begin();
|
|
|
|
while (begin != pos and
|
|
|
|
regex_search(begin, pos, m, ex,
|
|
|
|
match_flags(is_bol(begin.coord()), is_pos_eol,
|
|
|
|
is_bow(buffer, begin.coord()), is_pos_eow)))
|
|
|
|
{
|
|
|
|
begin = utf8::next(m[0].first, pos);
|
|
|
|
if (matches.empty() or m[0].second > matches[0].second)
|
|
|
|
matches.swap(m);
|
|
|
|
}
|
|
|
|
return not matches.empty();
|
|
|
|
};
|
|
|
|
if (find_last_match(pos))
|
|
|
|
return true;
|
|
|
|
wrapped = true;
|
|
|
|
return find_last_match(buffer.end());
|
2017-01-01 20:14:18 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
template<Direction direction>
|
|
|
|
Selection find_next_match(const Buffer& buffer, const Selection& sel, const Regex& regex, bool& wrapped)
|
|
|
|
{
|
|
|
|
MatchResults<BufferIterator> matches;
|
2017-03-04 00:43:54 +01:00
|
|
|
auto pos = buffer.iterator_at(direction == Backward ? sel.min() : sel.max());
|
|
|
|
wrapped = false;
|
|
|
|
const bool found = (direction == Forward) ?
|
|
|
|
find_next(buffer, utf8::next(pos, buffer.end()), matches, regex, wrapped)
|
|
|
|
: find_prev(buffer, pos, matches, regex, wrapped);
|
|
|
|
|
|
|
|
if (not found or matches[0].first == buffer.end())
|
2017-01-01 20:14:18 +01:00
|
|
|
throw runtime_error(format("'{}': no matches found", regex.str()));
|
|
|
|
|
2017-03-04 00:43:54 +01:00
|
|
|
CaptureList captures;
|
|
|
|
for (const auto& match : matches)
|
|
|
|
captures.push_back(buffer.string(match.first.coord(), match.second.coord()));
|
|
|
|
|
|
|
|
auto begin = matches[0].first, end = matches[0].second;
|
2017-01-01 20:14:18 +01:00
|
|
|
end = (begin == end) ? end : utf8::previous(end, begin);
|
|
|
|
if (direction == Backward)
|
|
|
|
std::swap(begin, end);
|
|
|
|
|
|
|
|
return {begin.coord(), end.coord(), std::move(captures)};
|
|
|
|
}
|
|
|
|
template Selection find_next_match<Forward>(const Buffer&, const Selection&, const Regex&, bool&);
|
|
|
|
template Selection find_next_match<Backward>(const Buffer&, const Selection&, const Regex&, bool&);
|
|
|
|
|
2014-10-13 14:12:33 +02:00
|
|
|
using RegexIt = RegexIterator<BufferIterator>;
|
|
|
|
|
2017-01-16 19:49:27 +01:00
|
|
|
void select_all_matches(SelectionList& selections, const Regex& regex, int capture)
|
2011-11-21 20:08:51 +01:00
|
|
|
{
|
2017-01-16 19:49:27 +01:00
|
|
|
const int mark_count = (int)regex.mark_count();
|
|
|
|
if (capture < 0 or capture > mark_count)
|
2015-11-26 14:36:26 +01:00
|
|
|
throw runtime_error("invalid capture number");
|
|
|
|
|
2015-01-12 14:58:41 +01:00
|
|
|
Vector<Selection> result;
|
2014-05-25 21:28:32 +02:00
|
|
|
auto& buffer = selections.buffer();
|
2013-12-13 00:56:53 +01:00
|
|
|
for (auto& sel : selections)
|
2013-04-05 19:28:08 +02:00
|
|
|
{
|
2015-12-23 22:43:07 +01:00
|
|
|
auto sel_beg = buffer.iterator_at(sel.min());
|
2014-07-02 22:14:01 +02:00
|
|
|
auto sel_end = utf8::next(buffer.iterator_at(sel.max()), buffer.end());
|
2017-03-04 00:43:54 +01:00
|
|
|
RegexIt re_it(sel_beg, sel_end, regex,
|
|
|
|
match_flags(buffer, sel_beg, sel_end));
|
2014-10-13 14:12:33 +02:00
|
|
|
RegexIt re_end;
|
2012-03-04 21:11:22 +01:00
|
|
|
|
2013-12-13 00:56:53 +01:00
|
|
|
for (; re_it != re_end; ++re_it)
|
|
|
|
{
|
2016-05-10 10:12:30 +02:00
|
|
|
auto begin = (*re_it)[capture].first;
|
2013-12-13 00:56:53 +01:00
|
|
|
if (begin == sel_end)
|
|
|
|
continue;
|
2016-05-10 10:12:30 +02:00
|
|
|
auto end = (*re_it)[capture].second;
|
2012-09-19 14:04:09 +02:00
|
|
|
|
2013-12-13 00:56:53 +01:00
|
|
|
CaptureList captures;
|
2015-11-09 09:42:12 +01:00
|
|
|
captures.reserve(mark_count);
|
2016-05-10 10:12:30 +02:00
|
|
|
for (const auto& match : *re_it)
|
2015-11-09 09:42:12 +01:00
|
|
|
captures.push_back(buffer.string(match.first.coord(),
|
|
|
|
match.second.coord()));
|
2011-11-21 20:30:44 +01:00
|
|
|
|
2014-09-18 01:34:23 +02:00
|
|
|
result.push_back(
|
|
|
|
keep_direction({ begin.coord(),
|
|
|
|
(begin == end ? end : utf8::previous(end, begin)).coord(),
|
|
|
|
std::move(captures) }, sel));
|
2013-12-13 00:56:53 +01:00
|
|
|
}
|
2011-11-21 20:30:44 +01:00
|
|
|
}
|
2013-12-13 10:11:48 +01:00
|
|
|
if (result.empty())
|
|
|
|
throw runtime_error("nothing selected");
|
2015-11-04 20:43:25 +01:00
|
|
|
|
|
|
|
// Avoid SelectionList::operator=(Vector<Selection>) as we know result is
|
|
|
|
// already sorted and non overlapping.
|
|
|
|
selections = SelectionList{buffer, std::move(result)};
|
2011-11-21 20:30:44 +01:00
|
|
|
}
|
|
|
|
|
2017-01-16 19:49:27 +01:00
|
|
|
void split_selections(SelectionList& selections, const Regex& regex, int capture)
|
2011-11-21 20:30:44 +01:00
|
|
|
{
|
2017-01-16 19:49:27 +01:00
|
|
|
if (capture < 0 or capture > (int)regex.mark_count())
|
2015-11-26 14:36:26 +01:00
|
|
|
throw runtime_error("invalid capture number");
|
|
|
|
|
2015-01-12 14:58:41 +01:00
|
|
|
Vector<Selection> result;
|
2014-05-25 21:28:32 +02:00
|
|
|
auto& buffer = selections.buffer();
|
2014-12-17 14:21:20 +01:00
|
|
|
auto buf_end = buffer.end();
|
2016-04-30 11:37:31 +02:00
|
|
|
auto buf_begin = buffer.begin();
|
2013-12-13 00:56:53 +01:00
|
|
|
for (auto& sel : selections)
|
2012-03-04 21:11:22 +01:00
|
|
|
{
|
2013-12-13 00:56:53 +01:00
|
|
|
auto begin = buffer.iterator_at(sel.min());
|
2014-07-02 22:14:01 +02:00
|
|
|
auto sel_end = utf8::next(buffer.iterator_at(sel.max()), buffer.end());
|
2015-12-23 22:43:07 +01:00
|
|
|
|
2017-03-04 00:43:54 +01:00
|
|
|
RegexIt re_it(begin, sel_end, regex,
|
|
|
|
match_flags(buffer, begin, sel_end));
|
2014-10-13 14:12:33 +02:00
|
|
|
RegexIt re_end;
|
2013-04-05 19:28:08 +02:00
|
|
|
|
2013-12-13 00:56:53 +01:00
|
|
|
for (; re_it != re_end; ++re_it)
|
|
|
|
{
|
2015-11-26 14:36:26 +01:00
|
|
|
BufferIterator end = (*re_it)[capture].first;
|
2014-12-17 14:21:20 +01:00
|
|
|
if (end == buf_end)
|
|
|
|
continue;
|
2013-12-13 00:56:53 +01:00
|
|
|
|
2016-04-30 11:37:31 +02:00
|
|
|
if (end != buf_begin)
|
|
|
|
{
|
|
|
|
auto sel_end = (begin == end) ? end : utf8::previous(end, begin);
|
|
|
|
result.push_back(keep_direction({ begin.coord(), sel_end.coord() }, sel));
|
|
|
|
}
|
2016-05-10 10:12:30 +02:00
|
|
|
begin = (*re_it)[capture].second;
|
2013-12-13 00:56:53 +01:00
|
|
|
}
|
2014-01-04 15:23:08 +01:00
|
|
|
if (begin.coord() <= sel.max())
|
2014-09-18 01:34:23 +02:00
|
|
|
result.push_back(keep_direction({ begin.coord(), sel.max() }, sel));
|
2011-11-21 20:08:51 +01:00
|
|
|
}
|
2016-09-04 12:15:27 +02:00
|
|
|
if (result.empty())
|
|
|
|
throw runtime_error("nothing selected");
|
|
|
|
|
2013-12-13 10:11:48 +01:00
|
|
|
selections = std::move(result);
|
2011-11-21 20:08:51 +01:00
|
|
|
}
|
|
|
|
|
2016-01-26 08:23:18 +01:00
|
|
|
UnitTest test_find_surrounding{[]()
|
|
|
|
{
|
|
|
|
StringView s("[salut { toi[] }]");
|
2017-03-04 18:43:24 +01:00
|
|
|
auto check_equal = [&](const char* pos, StringView opening, StringView closing,
|
|
|
|
ObjectFlags flags, int init_level, StringView expected) {
|
|
|
|
auto res = find_surrounding(s, pos, opening, closing, flags, init_level);
|
|
|
|
auto min = std::min(res->first, res->second),
|
|
|
|
max = std::max(res->first, res->second);
|
|
|
|
kak_assert(res and StringView{min, max+1} == expected);
|
|
|
|
};
|
|
|
|
|
|
|
|
check_equal(s.begin() + 10, '{', '}', ObjectFlags::ToBegin | ObjectFlags::ToEnd, 0, "{ toi[] }");
|
|
|
|
check_equal(s.begin() + 10, '[', ']', ObjectFlags::ToBegin | ObjectFlags::ToEnd | ObjectFlags::Inner, 0, "salut { toi[] }");
|
|
|
|
check_equal(s.begin(), '[', ']', ObjectFlags::ToBegin | ObjectFlags::ToEnd, 0, "[salut { toi[] }]");
|
|
|
|
check_equal(s.begin()+7, '{', '}', ObjectFlags::ToBegin | ObjectFlags::ToEnd, 0, "{ toi[] }");
|
|
|
|
check_equal(s.begin() + 12, '[', ']', ObjectFlags::ToBegin | ObjectFlags::ToEnd | ObjectFlags::Inner, 0, "]");
|
|
|
|
check_equal(s.begin() + 14, '[', ']', ObjectFlags::ToBegin | ObjectFlags::ToEnd, 0, "[salut { toi[] }]");
|
|
|
|
check_equal(s.begin() + 1, '[', ']', ObjectFlags::ToBegin, 0, "[s");
|
|
|
|
|
2016-01-27 09:28:25 +01:00
|
|
|
s = "[]";
|
2017-03-04 18:43:24 +01:00
|
|
|
check_equal(s.begin() + 1, '[', ']', ObjectFlags::ToBegin | ObjectFlags::ToEnd, 0, "[]");
|
|
|
|
|
2016-01-27 09:28:25 +01:00
|
|
|
s = "[*][] hehe";
|
2017-03-04 18:43:24 +01:00
|
|
|
kak_assert(not find_surrounding(s, s.begin() + 6, '[', ']', ObjectFlags::ToBegin, 0));
|
|
|
|
|
2016-01-27 23:04:04 +01:00
|
|
|
s = "begin tchou begin tchaa end end";
|
2017-03-04 18:43:24 +01:00
|
|
|
check_equal(s.begin() + 6, "begin", "end", ObjectFlags::ToBegin | ObjectFlags::ToEnd, 0, s);
|
2016-01-26 08:23:18 +01:00
|
|
|
}};
|
|
|
|
|
2011-09-21 16:37:09 +02:00
|
|
|
}
|