2011-09-21 16:37:09 +02:00
|
|
|
#ifndef selectors_hh_INCLUDED
|
|
|
|
#define selectors_hh_INCLUDED
|
|
|
|
|
2014-10-23 19:55:45 +02:00
|
|
|
#include "flags.hh"
|
2012-02-07 15:26:51 +01:00
|
|
|
#include "selection.hh"
|
2014-04-28 20:48:23 +02:00
|
|
|
#include "buffer_utils.hh"
|
2013-01-07 18:53:27 +01:00
|
|
|
#include "unicode.hh"
|
2013-12-14 15:49:10 +01:00
|
|
|
#include "utf8_iterator.hh"
|
2014-10-13 14:12:33 +02:00
|
|
|
#include "regex.hh"
|
2011-09-21 16:37:09 +02:00
|
|
|
|
|
|
|
namespace Kakoune
|
|
|
|
{
|
|
|
|
|
2014-09-18 01:34:23 +02:00
|
|
|
inline Selection keep_direction(Selection res, const Selection& ref)
|
|
|
|
{
|
|
|
|
if ((res.cursor() < res.anchor()) != (ref.cursor() < ref.anchor()))
|
|
|
|
std::swap<ByteCoord>(res.cursor(), res.anchor());
|
|
|
|
return res;
|
|
|
|
}
|
|
|
|
|
2014-05-25 21:28:32 +02:00
|
|
|
inline void clear_selections(SelectionList& selections)
|
2013-12-14 15:08:26 +01:00
|
|
|
{
|
2014-07-04 20:05:00 +02:00
|
|
|
for (auto& sel : selections)
|
|
|
|
sel.anchor() = sel.cursor();
|
2013-12-14 15:08:26 +01:00
|
|
|
}
|
|
|
|
|
2013-12-14 19:38:14 +01:00
|
|
|
inline void flip_selections(SelectionList& selections)
|
2013-12-14 15:08:26 +01:00
|
|
|
{
|
|
|
|
for (auto& sel : selections)
|
2014-09-09 20:35:54 +02:00
|
|
|
{
|
|
|
|
ByteCoord tmp = sel.anchor();
|
|
|
|
sel.anchor() = sel.cursor();
|
|
|
|
sel.cursor() = tmp;
|
|
|
|
}
|
2013-12-14 15:08:26 +01:00
|
|
|
selections.check_invariant();
|
|
|
|
}
|
|
|
|
|
2013-12-14 19:38:14 +01:00
|
|
|
inline void keep_selection(SelectionList& selections, int index)
|
2013-12-14 15:08:26 +01:00
|
|
|
{
|
|
|
|
if (index < selections.size())
|
2014-07-04 20:05:00 +02:00
|
|
|
selections = SelectionList{ selections.buffer(), std::move(selections[index]) };
|
2013-12-14 15:08:26 +01:00
|
|
|
selections.check_invariant();
|
|
|
|
}
|
|
|
|
|
2013-12-14 19:38:14 +01:00
|
|
|
inline void remove_selection(SelectionList& selections, int index)
|
2013-12-14 15:08:26 +01:00
|
|
|
{
|
|
|
|
if (selections.size() > 1 and index < selections.size())
|
|
|
|
{
|
2014-07-04 20:05:00 +02:00
|
|
|
selections.remove(index);
|
2013-12-14 15:08:26 +01:00
|
|
|
size_t main_index = selections.main_index();
|
2014-07-04 20:05:00 +02:00
|
|
|
if (index < main_index or main_index == selections.size())
|
|
|
|
selections.set_main_index(main_index - 1);
|
2013-12-14 15:08:26 +01:00
|
|
|
}
|
|
|
|
selections.check_invariant();
|
|
|
|
}
|
|
|
|
|
2014-07-02 22:14:01 +02:00
|
|
|
using Utf8Iterator = utf8::iterator<BufferIterator, utf8::InvalidPolicy::Pass>;
|
2013-12-14 15:49:10 +01:00
|
|
|
|
2014-03-29 09:55:45 +01:00
|
|
|
inline Selection utf8_range(const Utf8Iterator& first, const Utf8Iterator& last)
|
2013-12-14 15:49:10 +01:00
|
|
|
{
|
|
|
|
return {first.base().coord(), last.base().coord()};
|
|
|
|
}
|
|
|
|
|
2013-10-07 19:44:22 +02:00
|
|
|
template<WordType word_type>
|
2013-12-14 15:49:10 +01:00
|
|
|
Selection select_to_next_word(const Buffer& buffer, const Selection& selection)
|
|
|
|
{
|
2014-01-28 20:05:49 +01:00
|
|
|
Utf8Iterator begin = buffer.iterator_at(selection.cursor());
|
2013-12-14 15:49:10 +01:00
|
|
|
if (begin+1 == buffer.end())
|
|
|
|
return selection;
|
|
|
|
if (categorize<word_type>(*begin) != categorize<word_type>(*(begin+1)))
|
|
|
|
++begin;
|
|
|
|
|
|
|
|
skip_while(begin, buffer.end(), is_eol);
|
|
|
|
if (begin == buffer.end())
|
|
|
|
return selection;
|
|
|
|
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_blank);
|
|
|
|
|
|
|
|
return utf8_range(begin, end-1);
|
|
|
|
}
|
|
|
|
|
2013-10-07 19:44:22 +02:00
|
|
|
template<WordType word_type>
|
2013-12-14 15:49:10 +01:00
|
|
|
Selection select_to_next_word_end(const Buffer& buffer, const Selection& selection)
|
|
|
|
{
|
2014-01-28 20:05:49 +01:00
|
|
|
Utf8Iterator begin = buffer.iterator_at(selection.cursor());
|
2013-12-14 15:49:10 +01:00
|
|
|
if (begin+1 == buffer.end())
|
|
|
|
return selection;
|
|
|
|
if (categorize<word_type>(*begin) != categorize<word_type>(*(begin+1)))
|
|
|
|
++begin;
|
|
|
|
|
|
|
|
skip_while(begin, buffer.end(), is_eol);
|
|
|
|
if (begin == buffer.end())
|
|
|
|
return selection;
|
|
|
|
Utf8Iterator end = begin;
|
|
|
|
skip_while(end, buffer.end(), is_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);
|
|
|
|
}
|
|
|
|
|
2013-10-07 19:44:22 +02:00
|
|
|
template<WordType word_type>
|
2013-12-14 15:49:10 +01:00
|
|
|
Selection select_to_previous_word(const Buffer& buffer, const Selection& selection)
|
|
|
|
{
|
2014-01-28 20:05:49 +01:00
|
|
|
Utf8Iterator begin = buffer.iterator_at(selection.cursor());
|
2013-12-14 15:49:10 +01:00
|
|
|
if (begin == buffer.begin())
|
|
|
|
return selection;
|
|
|
|
if (categorize<word_type>(*begin) != categorize<word_type>(*(begin-1)))
|
|
|
|
--begin;
|
|
|
|
|
|
|
|
skip_while_reverse(begin, buffer.begin(), is_eol);
|
|
|
|
Utf8Iterator end = begin;
|
|
|
|
skip_while_reverse(end, buffer.begin(), is_blank);
|
|
|
|
|
|
|
|
bool with_end = false;
|
|
|
|
if (word_type == Word and is_punctuation(*end))
|
|
|
|
{
|
|
|
|
skip_while_reverse(end, buffer.begin(), is_punctuation);
|
|
|
|
with_end = is_punctuation(*end);
|
|
|
|
}
|
|
|
|
else if (is_word<word_type>(*end))
|
|
|
|
{
|
|
|
|
skip_while_reverse(end, buffer.begin(), is_word<word_type>);
|
|
|
|
with_end = is_word<word_type>(*end);
|
|
|
|
}
|
|
|
|
|
|
|
|
return utf8_range(begin, with_end ? end : end+1);
|
|
|
|
}
|
2012-10-08 19:12:09 +02:00
|
|
|
|
2014-05-27 10:50:12 +02:00
|
|
|
Selection select_line(const Buffer& buffer, const Selection& selection);
|
|
|
|
Selection select_matching(const Buffer& buffer, const Selection& selection);
|
2012-10-08 19:12:09 +02:00
|
|
|
|
2013-06-01 14:22:57 +02:00
|
|
|
Selection select_to(const Buffer& buffer, const Selection& selection,
|
2012-11-30 18:32:49 +01:00
|
|
|
Codepoint c, int count, bool inclusive);
|
2013-06-01 14:22:57 +02:00
|
|
|
Selection select_to_reverse(const Buffer& buffer, const Selection& selection,
|
2012-11-30 18:32:49 +01:00
|
|
|
Codepoint c, int count, bool inclusive);
|
2012-02-10 00:47:55 +01:00
|
|
|
|
2013-06-01 14:22:57 +02:00
|
|
|
Selection select_to_eol(const Buffer& buffer, const Selection& selection);
|
|
|
|
Selection select_to_eol_reverse(const Buffer& buffer, const Selection& selection);
|
2012-02-10 00:47:55 +01:00
|
|
|
|
2013-05-15 14:24:09 +02:00
|
|
|
enum class ObjectFlags
|
|
|
|
{
|
|
|
|
ToBegin = 1,
|
|
|
|
ToEnd = 2,
|
|
|
|
Inner = 4
|
|
|
|
};
|
2014-10-23 19:55:45 +02:00
|
|
|
|
|
|
|
template<> struct WithBitOps<ObjectFlags> : std::true_type {};
|
2013-05-15 14:24:09 +02:00
|
|
|
|
2013-10-07 19:44:22 +02:00
|
|
|
template<WordType word_type>
|
2014-05-27 10:50:12 +02:00
|
|
|
Selection select_word(const Buffer& buffer,
|
|
|
|
const Selection& selection,
|
|
|
|
ObjectFlags flags)
|
2013-12-14 15:49:10 +01:00
|
|
|
{
|
2014-01-28 20:05:49 +01:00
|
|
|
Utf8Iterator first = buffer.iterator_at(selection.cursor());
|
2013-12-14 15:49:10 +01:00
|
|
|
Utf8Iterator last = first;
|
|
|
|
if (is_word<word_type>(*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_blank);
|
|
|
|
--last;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
else if (not (flags & ObjectFlags::Inner))
|
|
|
|
{
|
|
|
|
if (flags & ObjectFlags::ToBegin)
|
|
|
|
{
|
|
|
|
skip_while_reverse(first, buffer.begin(), is_blank);
|
|
|
|
if (not is_word<word_type>(*first))
|
|
|
|
return selection;
|
|
|
|
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_blank);
|
|
|
|
--last;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return (flags & ObjectFlags::ToEnd) ? utf8_range(first, last)
|
|
|
|
: utf8_range(last, first);
|
|
|
|
}
|
|
|
|
|
2014-05-27 10:50:12 +02:00
|
|
|
Selection select_number(const Buffer& buffer,
|
|
|
|
const Selection& selection,
|
|
|
|
ObjectFlags flags);
|
|
|
|
|
2014-05-26 22:44:57 +02:00
|
|
|
Selection select_sentence(const Buffer& buffer,
|
|
|
|
const Selection& selection,
|
|
|
|
ObjectFlags flags);
|
|
|
|
|
|
|
|
Selection select_paragraph(const Buffer& buffer,
|
|
|
|
const Selection& selection,
|
|
|
|
ObjectFlags flags);
|
|
|
|
|
2014-06-11 15:00:45 +02:00
|
|
|
Selection select_whitespaces(const Buffer& buffer,
|
|
|
|
const Selection& selection,
|
|
|
|
ObjectFlags flags);
|
|
|
|
|
2014-05-26 22:44:57 +02:00
|
|
|
Selection select_indent(const Buffer& buffer,
|
|
|
|
const Selection& selection,
|
|
|
|
ObjectFlags flags);
|
|
|
|
|
|
|
|
Selection select_lines(const Buffer& buffer, const Selection& selection);
|
|
|
|
|
2013-06-01 14:22:57 +02:00
|
|
|
Selection trim_partial_lines(const Buffer& buffer, const Selection& selection);
|
2012-02-10 00:47:55 +01:00
|
|
|
|
2014-05-27 01:35:12 +02:00
|
|
|
void select_buffer(SelectionList& selections);
|
2014-05-26 22:44:57 +02:00
|
|
|
|
2013-07-02 14:55:34 +02:00
|
|
|
enum Direction { Forward, Backward };
|
|
|
|
|
2014-01-27 21:28:38 +01:00
|
|
|
inline bool find_last_match(BufferIterator begin, const BufferIterator& end,
|
2014-10-13 14:12:33 +02:00
|
|
|
MatchResults<BufferIterator>& res,
|
|
|
|
const Regex& regex)
|
2013-12-13 00:56:53 +01:00
|
|
|
{
|
2014-10-13 14:12:33 +02:00
|
|
|
MatchResults<BufferIterator> matches;
|
|
|
|
while (regex_search(begin, end, matches, regex))
|
2013-12-13 00:56:53 +01:00
|
|
|
{
|
|
|
|
if (begin == matches[0].second)
|
|
|
|
break;
|
|
|
|
begin = matches[0].second;
|
|
|
|
res.swap(matches);
|
|
|
|
}
|
|
|
|
return not res.empty();
|
|
|
|
}
|
|
|
|
|
2013-07-02 14:55:34 +02:00
|
|
|
template<Direction direction>
|
2013-12-13 00:56:53 +01:00
|
|
|
bool find_match_in_buffer(const Buffer& buffer, const BufferIterator pos,
|
2014-10-13 14:12:33 +02:00
|
|
|
MatchResults<BufferIterator>& matches,
|
|
|
|
const Regex& ex)
|
2013-12-13 00:56:53 +01:00
|
|
|
{
|
|
|
|
if (direction == Forward)
|
2014-10-13 14:12:33 +02:00
|
|
|
return (regex_search(pos, buffer.end(), matches, ex) or
|
|
|
|
regex_search(buffer.begin(), buffer.end(), matches, ex));
|
2013-12-13 00:56:53 +01:00
|
|
|
else
|
|
|
|
return (find_last_match(buffer.begin(), pos, matches, ex) or
|
2014-10-01 14:54:33 +02:00
|
|
|
find_last_match(buffer.begin(), buffer.end(), matches, ex));
|
2013-12-13 00:56:53 +01:00
|
|
|
}
|
|
|
|
|
2015-02-02 23:48:54 +01:00
|
|
|
inline BufferIterator ensure_char_start(const Buffer& buffer, const BufferIterator& it)
|
|
|
|
{
|
|
|
|
return it != buffer.end() ?
|
|
|
|
utf8::character_start(it, buffer.iterator_at(it.coord().line)) : it;
|
|
|
|
}
|
|
|
|
|
2013-12-14 19:39:03 +01:00
|
|
|
template<Direction direction>
|
|
|
|
Selection find_next_match(const Buffer& buffer, const Selection& sel, const Regex& regex)
|
2013-12-13 00:56:53 +01:00
|
|
|
{
|
2014-09-26 01:27:23 +02:00
|
|
|
auto begin = buffer.iterator_at(direction == Backward ? sel.min() : sel.max());
|
2013-12-13 00:56:53 +01:00
|
|
|
auto end = begin;
|
|
|
|
|
2013-12-14 19:39:03 +01:00
|
|
|
CaptureList captures;
|
2014-10-13 14:12:33 +02:00
|
|
|
MatchResults<BufferIterator> matches;
|
2013-12-13 00:56:53 +01:00
|
|
|
bool found = false;
|
2014-10-09 19:55:58 +02:00
|
|
|
auto pos = direction == Forward ? utf8::next(begin, buffer.end())
|
|
|
|
: utf8::previous(begin, buffer.begin());
|
|
|
|
if ((found = find_match_in_buffer<direction>(buffer, pos, matches, regex)))
|
2013-12-13 00:56:53 +01:00
|
|
|
{
|
2015-02-02 23:48:54 +01:00
|
|
|
begin = ensure_char_start(buffer, matches[0].first);
|
|
|
|
end = ensure_char_start(buffer, matches[0].second);
|
2013-12-13 00:56:53 +01:00
|
|
|
for (auto& match : matches)
|
|
|
|
captures.emplace_back(match.first, match.second);
|
|
|
|
}
|
|
|
|
if (not found or begin == buffer.end())
|
|
|
|
throw runtime_error("'" + regex.str() + "': no matches found");
|
|
|
|
|
2014-07-02 22:14:01 +02:00
|
|
|
end = (begin == end) ? end : utf8::previous(end, begin);
|
2013-12-13 00:56:53 +01:00
|
|
|
if (direction == Backward)
|
|
|
|
std::swap(begin, end);
|
|
|
|
|
2014-09-25 14:29:53 +02:00
|
|
|
return {begin.coord(), end.coord(), std::move(captures)};
|
2013-12-14 19:39:03 +01:00
|
|
|
}
|
|
|
|
|
2014-05-25 21:28:32 +02:00
|
|
|
void select_all_matches(SelectionList& selections,
|
2013-12-14 15:08:26 +01:00
|
|
|
const Regex& regex);
|
2012-02-10 00:47:55 +01:00
|
|
|
|
2014-05-25 21:28:32 +02:00
|
|
|
void split_selections(SelectionList& selections,
|
2013-12-14 19:38:14 +01:00
|
|
|
const Regex& separator_regex);
|
2011-11-21 20:30:44 +01:00
|
|
|
|
2013-01-07 18:53:27 +01:00
|
|
|
using CodepointPair = std::pair<Codepoint, Codepoint>;
|
2013-06-01 14:22:57 +02:00
|
|
|
Selection select_surrounding(const Buffer& buffer, const Selection& selection,
|
2013-10-08 20:24:56 +02:00
|
|
|
CodepointPair matching, int level, ObjectFlags flags);
|
2013-01-07 18:53:27 +01:00
|
|
|
|
2011-09-21 16:37:09 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
#endif // selectors_hh_INCLUDED
|