2012-01-31 20:12:06 +01:00
|
|
|
#include "selection.hh"
|
|
|
|
|
2012-10-08 14:26:57 +02:00
|
|
|
#include "utf8.hh"
|
|
|
|
|
2012-01-31 20:12:06 +01:00
|
|
|
namespace Kakoune
|
|
|
|
{
|
|
|
|
|
2012-11-30 18:32:49 +01:00
|
|
|
void Range::merge_with(const Range& range)
|
|
|
|
{
|
2013-05-14 13:58:35 +02:00
|
|
|
m_last = range.m_last;
|
2012-11-30 18:32:49 +01:00
|
|
|
if (m_first < m_last)
|
|
|
|
m_first = std::min(m_first, range.m_first);
|
|
|
|
if (m_first > m_last)
|
|
|
|
m_first = std::max(m_first, range.m_first);
|
|
|
|
}
|
|
|
|
|
2013-05-02 19:04:59 +02:00
|
|
|
namespace
|
|
|
|
{
|
|
|
|
|
|
|
|
template<template <bool, bool> class UpdateFunc>
|
|
|
|
void on_buffer_change(SelectionList& sels, const BufferCoord& begin, const BufferCoord& end, LineCount end_line)
|
|
|
|
{
|
|
|
|
auto update_beg = std::lower_bound(sels.begin(), sels.end(), begin,
|
|
|
|
[](const Selection& s, const BufferCoord& c) { return std::max(s.first(), s.last()).coord() < c; });
|
|
|
|
auto update_only_line_beg = std::upper_bound(sels.begin(), sels.end(), end_line,
|
|
|
|
[](LineCount l, const Selection& s) { return l < std::min(s.first(), s.last()).line(); });
|
|
|
|
|
|
|
|
if (update_beg != update_only_line_beg)
|
|
|
|
{
|
|
|
|
// for the first one, we are not sure if min < begin
|
|
|
|
UpdateFunc<false, false>{}(update_beg->first(), begin, end);
|
|
|
|
UpdateFunc<false, false>{}(update_beg->last(), begin, end);
|
|
|
|
}
|
|
|
|
for (auto it = update_beg+1; it < update_only_line_beg; ++it)
|
|
|
|
{
|
|
|
|
UpdateFunc<false, true>{}(it->first(), begin, end);
|
|
|
|
UpdateFunc<false, true>{}(it->last(), begin, end);
|
|
|
|
}
|
|
|
|
if (end.line > begin.line)
|
|
|
|
{
|
|
|
|
for (auto it = update_only_line_beg; it != sels.end(); ++it)
|
|
|
|
{
|
|
|
|
UpdateFunc<true, true>{}(it->first(), begin, end);
|
|
|
|
UpdateFunc<true, true>{}(it->last(), begin, end);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
template<bool assume_different_line, bool assume_greater_than_begin>
|
|
|
|
struct UpdateInsert
|
|
|
|
{
|
|
|
|
void operator()(BufferIterator& it,
|
|
|
|
const BufferCoord& begin, const BufferCoord& end) const
|
|
|
|
{
|
|
|
|
BufferCoord coord = it.coord();
|
|
|
|
if (assume_different_line)
|
|
|
|
kak_assert(begin.line < coord.line);
|
|
|
|
if (not assume_greater_than_begin and coord < begin)
|
|
|
|
return;
|
|
|
|
if (not assume_different_line and begin.line == coord.line)
|
|
|
|
coord.column = end.column + coord.column - begin.column;
|
|
|
|
|
|
|
|
coord.line += end.line - begin.line;
|
|
|
|
it = coord;
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
template<bool assume_different_line, bool assume_greater_than_begin>
|
|
|
|
struct UpdateErase
|
|
|
|
{
|
|
|
|
void operator()(BufferIterator& it,
|
|
|
|
const BufferCoord& begin, const BufferCoord& end) const
|
|
|
|
{
|
|
|
|
BufferCoord coord = it.coord();
|
|
|
|
if (not assume_greater_than_begin and coord < begin)
|
|
|
|
return;
|
|
|
|
if (assume_different_line)
|
|
|
|
kak_assert(end.line < coord.line);
|
|
|
|
if (not assume_different_line and coord <= end)
|
|
|
|
coord = it.buffer().clamp(begin);
|
|
|
|
else
|
|
|
|
{
|
|
|
|
if (not assume_different_line and end.line == coord.line)
|
|
|
|
{
|
|
|
|
coord.line = begin.line;
|
|
|
|
coord.column = begin.column + coord.column - end.column;
|
|
|
|
}
|
|
|
|
else
|
|
|
|
coord.line -= end.line - begin.line;
|
|
|
|
}
|
|
|
|
it = coord;
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
void SelectionList::update_insert(const BufferCoord& begin, const BufferCoord& end)
|
|
|
|
{
|
|
|
|
on_buffer_change<UpdateInsert>(*this, begin, end, begin.line);
|
|
|
|
}
|
|
|
|
|
|
|
|
void SelectionList::update_erase(const BufferCoord& begin, const BufferCoord& end)
|
|
|
|
{
|
|
|
|
on_buffer_change<UpdateErase>(*this, begin, end, end.line);
|
|
|
|
}
|
|
|
|
|
2013-05-03 13:38:48 +02:00
|
|
|
void SelectionList::check_invariant() const
|
|
|
|
{
|
2013-05-27 14:22:45 +02:00
|
|
|
for (size_t i = 0; i+1 < size(); ++ i)
|
|
|
|
kak_assert((*this)[i].min() <= (*this)[i+1].min());
|
2013-05-03 13:38:48 +02:00
|
|
|
}
|
|
|
|
|
2012-01-31 20:12:06 +01:00
|
|
|
}
|